Readit Newscrvdgc commented on Claude Skills are awesome, maybe a bigger deal than MCP simonwillison.net/2025/Oc... · Posted by u/weinzierl
> imagine a folder full of skills that covers tasks like the following:
> Where to get US census data from and how to understand its structure
Reminds me of my first time using Wolfram Alpha and got blown away by its ability to use actual structured tools to solve the problem, compared to normal search engine.
In fact, I tried again just now and am still amazed: https://www.wolframalpha.com/input?i=what%27s+the+total+popu...
I think my mental model for Skills would be Wolfram Alpha with custom extensions.
Some Chinese language source claims that it's a reaction to the Pakistan-US rare earth deal.
My pet theory is that this is intended as an attack to the concept of long-arm jurisdiction itself, due to
1. This is the first ever long-arm jurisdiction policy from China.
2. Diplomatically, China usually advocates for the total sovereignty of each country within its border.
3. The recent chip entity list has been a huge headache.
4. Notice how the language mirrors the US justification for the chip restriction: dual use, national security.
crvdgc commented on Automated Lean Proofs for Every Type galois.com/articles/autom... · Posted by u/surprisetalk
From the title I thought they solved math! Turns out to be a framework to use SMT solvers for decision-based proof. For additional types, you still need to write the bridging part. Interesting nonetheless.
crvdgc commented on Managing context on the Claude Developer Platform anthropic.com/news/contex... · Posted by u/benzguo
crvdgc commented on Managing context on the Claude Developer Platform anthropic.com/news/contex... · Posted by u/benzguo
Nice. When using OpenAI Codex CLI, I find the /compact command very useful for large tasks. In a way it's similar to the context editing tool. Maybe I can ask it to use a dedicated directory to simulate the memory tool.
crvdgc commented on An opinionated critique of Duolingo isomorphism.xyz/blog/2025... · Posted by u/agnishom
Duolingo is useful, but not efficient. When people say I want to learn a language, they often mean I want to learn this language efficiently, e.g. to be able to write an essay like the post says after a realistic period of time.
I personally don't believe its pedagogical deficiency is mere incompetence. The whole business model is to keep you on the platform as long as possible, so why would they make you learn faster rather than just enough to keep you there?
As a long time user before, I have observed a lot of mechanism changes that bear out this observation.
It's like Chess, checking who wins for a given board state is easy, but coming up with the next move is hard.
Of course, one can try all possible moves and see what happens. Similar to Chess AI based on search methods (e.g. MinMax), there are proof search methods. See the related work section of the paper.