Hacker News: sroerick

New comment by sroerick in "The Case Against Formal Verification, 50 Years Later"

sroerick — Mon, 17 Aug 2026 00:51:00 +0000

I'd love to know more about your experience on this, generally. What have you been doing in Lean? How have you approached this?

New comment by sroerick in "Yadda 3.0.0: BDD in the Age of AI Agents"

sroerick — Sat, 15 Aug 2026 21:47:40 +0000

I hadn't heard of BDD before, but the idea of "executable spec" is certainly very interesting

New comment by sroerick in "Why Target Common Lisp for Code Generation?"

sroerick — Thu, 13 Aug 2026 16:20:15 +0000

That's good to know. The open weight models are still pretty awful getting stuck in this loop

New comment by sroerick in "Why Target Common Lisp for Code Generation?"

sroerick — Thu, 13 Aug 2026 16:19:46 +0000

Thanks, appreciate this also, vibe coding in my own lisp and this has been frustrating

New comment by sroerick in "DeepSeek Harness"

sroerick — Thu, 13 Aug 2026 16:13:46 +0000

I'm interested in this but why those four separate languages

Edit: okay I read the code, it's actually four separate implementations

New comment by sroerick in "Why Target Common Lisp for Code Generation?"

sroerick — Thu, 13 Aug 2026 05:32:01 +0000

How do you teach LLMs to close parens properly??

New comment by sroerick in "U.S. Department of Energy Launches the Genesis Open Models Initiative"

sroerick — Sun, 09 Aug 2026 00:26:52 +0000

Yeah, I felt this way too, and it's probably beyond the capacity of the federal government to organize in this way - but it is theoretically possible that the DOE could build a copyright respecting model (which it seems like they are doing here) and then a like minded DoJ could come a calling for the Labs. It may never happen, but something to ponder.

New comment by sroerick in "U.S. Department of Energy Launches the Genesis Open Models Initiative"

sroerick — Sat, 08 Aug 2026 17:27:45 +0000

It would be extremely interesting to me if the usgov produces a model which honors copyright and is also useful. This would give them extreme leverage over the labs, who may be violating copyright in significant and obvious ways.

New comment by sroerick in "AMD acquires Taalas to boost inference performance by etching models in silicon"

sroerick — Fri, 07 Aug 2026 06:54:21 +0000

They are both the differentiator.

AI previously provided speed but not quality. As soon as quality reached an acceptable threshold, the speed became the reigning factor.

In my opinion the quality is still much lower, but speed means the cost is significantly lower also.

New comment by sroerick in "My phone detects going on a run as “someone snatching my phone and running off”"

sroerick — Thu, 06 Aug 2026 19:00:06 +0000

Solution is simple, run slower!

New comment by sroerick in "I'm switching my phone from Android to Linux"

sroerick — Wed, 05 Aug 2026 21:21:16 +0000

Even if you're sour on American exceptionalism, this seems like a valid and good product to me, both from a privacy standpoint and from an ethical labor standpoint?

Am I the only one who remembers the suicide nets at Foxconn?

New comment by sroerick in "Cloudflare OS: an open platform for agents, apps, and work"

sroerick — Wed, 05 Aug 2026 16:23:14 +0000

My approach has been an interpreted Lisp running on a web server backend and it basically does everything described here

New comment by sroerick in "Pi's Minimalism Is Its Advantage"

sroerick — Wed, 05 Aug 2026 06:12:49 +0000

Pi and XMPP is excellent

New comment by sroerick in "Harness Engineering for Self-Improvement"

sroerick — Tue, 04 Aug 2026 18:31:10 +0000

I stuck a lisp interpreter inside a web server and its a pretty cool pattern. I do have a basic harness but I'm still kind of just using the REPL from an external agent over REST, which seems to work just as well without having to go through the brain damage of building a harness

New comment by sroerick in "Harness Engineering for Self-Improvement"

sroerick — Tue, 04 Aug 2026 18:29:47 +0000

I'm curious to learn more about your experiences here, what you've learned, if you've enjoyed using the REPL with agents

New comment by sroerick in "You don't need React: creating a minimal UI library in Vanilla JavaScript"

sroerick — Tue, 04 Aug 2026 12:40:32 +0000

Isn't React specifically an attempt to build an immediate mode UI on top of the DOM?

New comment by sroerick in "You don't need React: creating a minimal UI library in Vanilla JavaScript"

sroerick — Tue, 04 Aug 2026 12:39:03 +0000

Isn't that literally React? I find it so immeasurably funny that in his effort to simplify code and invent immediate mode UI, Casey Muratori accidentally invented React

New comment by sroerick in "Bonsai: Janestreet's UI Library"

sroerick — Mon, 03 Aug 2026 18:49:04 +0000

My understanding is that js_of_ocaml has been around longer and likely has a stronger ecosystem, but Melange was designed more specifically to play nice with the JS ecosystem.

New comment by sroerick in "Show HN: Mu – Tools for Agents"

sroerick — Mon, 03 Aug 2026 03:36:51 +0000

I honestly don't really get MCPs. They're like all the bad design choices of LSP multiplied by 5

New comment by sroerick in "F*: A general-purpose proof-oriented programming language"

sroerick — Sun, 02 Aug 2026 15:31:33 +0000

So I'm very seriously considering making my language indentation based. You're saying you wouldn't like that?