rbr94
Re:OpenIDEA: The IDE you know, rebuilt in Rust
on Sunday November 01, 2026 @09:16AM (#50325919)
"we have Rust at home"
Rust at home:
Re:Who Cares Whether Academics Use AI to Write?
on Monday October 26, 2026 @01:48AM (#50239615)
Re:OpenAI halts training of latest models as reports mount of AI agent...
on Sunday September 27, 2026 @01:45PM (#49868964)
Re:AI may have just solved a million-dollar math problem
on Tuesday September 08, 2026 @11:22AM (#49611678)
Re:The safest job from AI may be writing
on Monday August 31, 2026 @04:48PM (#49514679)
> ... and model checkers can instantly catch errors.
Lol. If that were true software would've been a lot better historically... Model checkers don't scale to 90% of the software we write. Typically you have to 1) heavily abstract the program and 2) put it in some sort of harness to specify how you want to model the outside world (which will always fall short of practice). And probably 10 other workarounds since most model checkers are Research Grade Software™. Not saying they're not tremendously useful, but that bullet doesn't hold up at all.
Re:Show HN: Wyzer Programming Language
on Friday August 07, 2026 @01:07PM (#49213401)
For anyone looking for an easily digestible primer on choreographies: https://decomposition.al/zines/communicating-chorrectly-zine...
Too bad the github readme doesn't explain how the choreographic side of Wyzer works, or even what it looks like (please correct me if I'm wrong, couldn't find it after a quick skim).