dumpstate
Re:A digestion of the Jacobian conjecture counterexample
on Friday July 24, 2026 @06:06AM (#49033337)
Right. Nothing obvious in public. Where I'm heading is that all labs pay for solutions to software engineering task and never publicize those, I assume they do the same with maths?
Re:A digestion of the Jacobian conjecture counterexample
on Wednesday July 22, 2026 @03:08AM (#49002880)
What’s a chance the counterexample was in the training?
Re:Voxtral Transcribe 2
on Wednesday February 04, 2026 @12:31PM (#46888729)
I'm on voxtral-mini-latest and that's why I started seeing 500s today lol
Re:I Like Makefiles
on Saturday September 21, 2024 @02:32AM (#41607945)
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.
Free Threaded Python with Asyncio
Re:Replit Mobile App
on Thursday October 20, 2022 @02:01AM (#33271349)
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).
Re:Leap: Neovim’s Answer to the Mouse
on Saturday October 08, 2022 @05:15PM (#33136081)
In a similar vein, but voice driven: https://github.com/cursorless-dev/cursorless.