| | And Yet It Understands (borretti.me) |
| 1 point by optimalsolver on March 16, 2023 | past |
|
| | Design of the Austral Compiler (borretti.me) |
| 10 points by todsacerdoti on March 9, 2023 | past |
|
| | And yet It Understands (borretti.me) |
| 15 points by hcks on Feb 23, 2023 | past | 1 comment |
|
| | Shells are two things (borretti.me) |
| 211 points by todsacerdoti on Feb 8, 2023 | past | 220 comments |
|
| | How Austral’s Linear Type Checker Works (borretti.me) |
| 2 points by ifreund on Jan 29, 2023 | past |
|
| | Roam, Twenty Years Before Roam (borretti.me) |
| 64 points by Tomte on Jan 29, 2023 | past | 43 comments |
|
| | How Austral’s Linear Type Checker Works (borretti.me) |
| 23 points by Laaas on Jan 29, 2023 | past | 1 comment |
|
| | Better XML Editing for Emacs (borretti.me) |
| 3 points by Tomte on Jan 14, 2023 | past |
|
| | A Brief Defense of XML (borretti.me) |
| 74 points by Tomte on Jan 6, 2023 | past | 95 comments |
|
| | Roam, Twenty Years Before Roam (borretti.me) |
| 1 point by Tomte on Jan 3, 2023 | past |
|
| | Austral: A systems language with linear types and capabilities (borretti.me) |
| 211 points by riidom on Dec 29, 2022 | past | 120 comments |
|
| | Unbundling Tools for Thought (borretti.me) |
| 337 points by exp1orer on Dec 26, 2022 | past | 192 comments |
|
| | Languages Are Not Ecosystems (borretti.me) |
| 1 point by goranmoomin on Dec 20, 2022 | past |
|
| | Astronomical Calculations for Hard SF in Common Lisp (borretti.me) |
| 197 points by varjag on Dec 19, 2022 | past | 42 comments |
|
| | You're Not Going Anywhere (borretti.me) |
| 2 points by _dain_ on Nov 21, 2022 | past |
|
| | Simplicity and Survival (borretti.me) |
| 32 points by bobnamob on Sept 3, 2022 | past | 6 comments |
|
| | Lessons from Writing a Compiler (borretti.me) |
| 246 points by zetalyrae on July 14, 2022 | past | 86 comments |
|
| | Signed integers are asymmetrical (borretti.me) |
| 136 points by zetalyrae on Oct 24, 2021 | past | 148 comments |
|
| | Languages Are Not Ecosystems (borretti.me) |
| 2 points by _dain_ on Sept 5, 2021 | past |
|
| | Linear Types and Exceptions (borretti.me) |
| 3 points by zetalyrae on Aug 18, 2021 | past |
|
