Hacker News Reader

typesafeJon The internet discovers TLA+. Now what?

The header is buggy.

typesafeJon Asana cleared 5 years of engineering work in 2 weeks with Codex

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.

typesafeJon The front end framework for correctness: built on Effect, architected like Elm

Reminds me of Mint Lang https://mint-lang.com/. (The programming language for writing single page applications)

typesafeJon After 7 years in production, Scarf has reluctantly moved away from Haskell

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.

typesafeJon DOGE Track

I built https://dogedownloadtool.pages.dev/ to download doge data as CSV.

typesafeJon OpenSCAD is kinda neat

I created a simple go library to output OpenSCAD code a few years ago. https://github.com/richi0/gocad