Stories by -J

Ask HN: What is our history on trying to standardize configuration languages?

Teaching Program Verification in Dafny at Amazon (2023)

I Made a Puzzle Game

Saw a guy coding today. No cursor. No windsurf. Just typing. Like a psychopath

Show HN: ChatDelta

Bureaucracy (2024)

Texas Right to Repair bill passes, heads to the governor's desk

Conformance checking at MongoDB: Testing that our code matches our TLA+ specs

Kubesolo.io, a special purpose Kubernetes distribution for IoT Devices

Open Desk View

Automated ML research, AI drives the process from idea to report

Hardening fixes lead to hard questions

Demo of kons-9 Common Lisp 3D graphics system [video]

Dev snapshot: Godot 4.5 dev 5

Japanese scientists develop artificial blood compatible with all blood types

The Oracle of Lexiconia – A Fantasy That Explains How LLMs Work