Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

Reply to @sun@shitposter.world
Q.U.I.N.N.@icedquinn@blob.cat (2026-10-10 07:18:57)
@sun i haven't seen it, no. i've been adjacent to the proof space recently though. Maude is used for defense verification. (though i'm trying to use maude for codegen, which ran in to some stupid errors.)

there is a controversy right now, though, because openai is flooding math papers with bad proofs.
---Reply---
Blurry Moon@sun@shitposter.world (2026-10-10 07:20:18)
@icedquinn bend is interesting but I might be vibe coding something similar for my specific needs

---Replies---

Q.U.I.N.N.@icedquinn@blob.cat (2026-10-10 07:26:09)
@sun i still ultimately think model-based code, with fixed transforms, and a notebook interface, is probably the "best" form of code.

my huge annoyance with years of language cycling is that they all scuff being able to actually reuse patterns. or they make pattern reuse more expensive than it needs to be (lisp, rust, nim, zig, et all, "macros" just dump you with an AST and fuck off. they don't really help you get there faster.)

maude has the tools to try out if term rewriting is gonna work. current side note is something like an Io runtime as a kernel, and then refal-esque for the term rewriting part, though i'm tired of writing parsers and term rewriters are inherently regex machines with extra steps.

a lot of days idk what the point is. i waste time caring about things not breaking while everyone is getting paid to vibe :blobcatghost: