typesafeJ
Re:The internet discovers TLA+. Now what?
on Sunday September 27, 2026 @08:53AM (#49866255)
The header is buggy.
Re:Asana cleared 5 years of engineering work in 2 weeks with Codex
on Friday August 21, 2026 @01:49PM (#49391595)
This is 100% made up. I just replaced all our Enzyme tests with Jest tests about 3 months ago. The process is very straight forward. No way this would ever take 5 years. No matter how big the code base is. It is basically grep + replace.
Re:The front end framework for correctness: built on Effect, architect...
on Friday July 24, 2026 @06:31PM (#49042420)
Reminds me of Mint Lang https://mint-lang.com/. (The programming language for writing single page applications)
Re:Scarf has moved away from Haskell
on Friday July 10, 2026 @11:50AM (#48861604)
Very surprised about this decision. I use strict languages much more with LLMs and they improve quality a lot. Working on a big python codebase is very painful with an LLM.
Re:DOGE Track
on Sunday February 22, 2026 @07:40PM (#47116549)
I built https://dogedownloadtool.pages.dev/ to download doge data as CSV.
Re:OpenSCAD is kinda neat
on Sunday December 21, 2025 @09:08AM (#46344952)
I created a simple go library to output OpenSCAD code a few years ago. https://github.com/richi0/gocad