Hacker News: dumpstate

New comment by dumpstate in "A digestion of the Jacobian conjecture counterexample"

dumpstate — Fri, 24 Jul 2026 10:06:44 +0000

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?

New comment by dumpstate in "A digestion of the Jacobian conjecture counterexample"

dumpstate — Wed, 22 Jul 2026 07:08:52 +0000

What’s a chance the counterexample was in the training?

New comment by dumpstate in "Voxtral Transcribe 2"

dumpstate — Wed, 04 Feb 2026 17:31:35 +0000

I'm on voxtral-mini-latest and that's why I started seeing 500s today lol

Customising Pattern Matching Behaviour (In Python)

dumpstate — Mon, 09 Dec 2024 17:20:40 +0000

Article URL: https://blog.changs.co.uk/customising-pattern-matching-behaviour.html

Comments URL: https://news.ycombinator.com/item?id=42368096

Points: 4

# Comments: 0

New comment by dumpstate in "I Like Makefiles"

dumpstate — Sat, 21 Sep 2024 06:32:20 +0000

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

dumpstate — Fri, 20 Sep 2024 17:21:38 +0000

Article URL: https://blog.changs.co.uk/free-threaded-python-with-asyncio.html

Comments URL: https://news.ycombinator.com/item?id=41603946

Points: 2

# Comments: 0

New comment by dumpstate in "Replit Mobile App"

dumpstate — Thu, 20 Oct 2022 06:01:14 +0000

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).

New comment by dumpstate in "Leap: Neovim’s Answer to the Mouse"

dumpstate — Sat, 08 Oct 2022 21:15:15 +0000

In a similar vein, but voice driven: https://github.com/cursorless-dev/cursorless.