What’s a chance the counterexample was in the training?
HN user
dumpstate
6 karma
Posts2
Comments5
A digestion of the Jacobian conjecture counterexample 16 hours ago
Voxtral Transcribe 2 6 months ago
I'm on voxtral-mini-latest and that's why I started seeing 500s today lol
I Like Makefiles 2 years ago
I went through a similar phase of excitement, but then realised it's a confusing layer of indirection on top of 'whatever-your-project-default-is' (e.g. npm + package.json). But I always need Make for BE+FE (small) projects, e.g. backend build with go and frontend is an SPA - this is where the power of Make to track dependencies really shines.
Replit Mobile App 4 years ago
Input is a problem. Can’t imagine using mobile keyboard for anything more complex than texting. Curious whether Replit will integrate with voice coding solutions one day (like https://github.com/cursorless-dev/cursorless).
Leap: Neovim’s Answer to the Mouse 4 years ago
In a similar vein, but voice driven: https://github.com/cursorless-dev/cursorless.