Hacker News
- Type Inference Was a Mistake https://borretti.me/article/type-inference-was-a-mistake 128 comments
- Why checked exceptions failed https://borretti.me/article/why-checked-exceptions-failed 314 comments
- Test Against Reality https://borretti.me/article/test-against-reality 90 comments
- NixOS for the Impatient https://borretti.me/article/nixos-for-the-impatient 89 comments
- Why Lisp Syntax Works https://borretti.me/article/why-lisp-syntax-works 306 comments
- Language Pragmatics Engineering https://borretti.me/article/language-pragmatics 26 comments
- Two Years of OCaml https://borretti.me/article/two-years-ocaml 43 comments
- The Best of Orion's Arm https://borretti.me/article/best-of-orions-arm 12 comments
- And yet It Understands https://borretti.me/article/and-yet-it-understands 226 comments
- Shells are two things https://borretti.me/article/shells-are-two-things 220 comments
- Roam, Twenty Years Before Roam https://borretti.me/article/roam-twenty-years-before-roam 43 comments
- Austral: A systems language with linear types and capabilities https://borretti.me/article/introducing-austral 120 comments
- Astronomical Calculations for Hard SF in Common Lisp https://borretti.me/article/astronomical-calculations-for-hard-sf-common-lisp 42 comments
- Simplicity and Survival https://borretti.me/article/simplicity-and-survival 6 comments
- Signed integers are asymmetrical https://borretti.me/article/signed-integers-asymmetrical 148 comments
Lobsters
- Type Inference Was a Mistake https://borretti.me/article/type-inference-was-a-mistake 84 comments plt
- Why Checked Exceptions Failed https://borretti.me/article/why-checked-exceptions-failed 42 comments java , plt
- Type Systems for Memory Safety https://borretti.me/article/type-systems-memory-safety#ref1 5 comments plt
- Test Against Reality https://borretti.me/article/test-against-reality 11 comments testing
- Why Lisp Syntax Works https://borretti.me/article/why-lisp-syntax-works 6 comments lisp
- NixOS for the Impatient https://borretti.me/article/nixos-for-the-impatient 4 comments nix
- How Capabilities Work in Austral https://borretti.me/article/how-capabilities-work-austral 29 comments plt
- Two Years of OCaml https://borretti.me/article/two-years-ocaml 30 comments ml
- Languages are not Ecosystems https://borretti.me/article/languages-not-ecosystems 3 comments plt
- Shells are Two Things https://borretti.me/article/shells-are-two-things 50 comments api , plt , unix
- How Austral’s Linear Type Checker Works https://borretti.me/article/how-australs-linear-type-checker-works 24 comments plt , rust
- A Brief Defense of XML https://borretti.me/article/brief-defense-of-xml 31 comments practices
- Introducing Austral: A Systems Language with Linear Types and Capabilities https://borretti.me/article/introducing-austral 20 comments plt
- Lessons from Writing a Compiler https://borretti.me/article/lessons-writing-compiler 12 comments plt
- Type Systems for Memory Safety https://borretti.me/article/type-systems-memory-safety 16 comments programminglanguages
- Two Years of OCaml https://borretti.me/article/two-years-ocaml 6 comments programming
- And Yet It Understands https://borretti.me/article/and-yet-it-understands 193 comments programming
- Shells are Two Things https://borretti.me/article/shells-are-two-things 28 comments programminglanguages
- A Wishlist of Zero-Cost Abstractions https://borretti.me/article/wishlist-zero-cost-abstractions 27 comments programminglanguages
- Introducing Austral: A Systems Language with Linear Types and Capabilities https://borretti.me/article/introducing-austral 11 comments programminglanguages
- Astronomical Calculations for Hard Science Fiction in Common Lisp, by Fernando Borretti https://borretti.me/article/astronomical-calculations-for-hard-sf-common-lisp 2 comments common_lisp
- Lessons from Writing a Compiler https://borretti.me/article/lessons-writing-compiler 2 comments compilers
- Lessons from Writing a Compiler https://borretti.me/article/lessons-writing-compiler 2 comments coding
- Lessons from Writing a Compiler https://borretti.me/article/lessons-writing-compiler 30 comments programming
- [Common Lisp] Good resource on Clack/Cavemen2 based web development stack? https://borretti.me/ 14 comments lisp