| | Effective Spaced Repetition (borretti.me) |
|
3 points by StefanBatory 27 days ago | past
|
|
| | The Design Space of Wikis (borretti.me) |
|
29 points by mooreds 48 days ago | past | 7 comments
|
|
| | Austral: A Systems Language with Linear Types and Capabilities (2022) (borretti.me) |
|
3 points by yinso 3 months ago | past
|
|
| | Emacs Microfeature (borretti.me) |
|
27 points by Tomte 3 months ago | past | 13 comments
|
|
| | The Design Space of Wikis (borretti.me) |
|
1 point by Tomte 3 months ago | past
|
|
| | Type Inference Was a Mistake (borretti.me) |
|
83 points by anatoly 6 months ago | past | 128 comments
|
|
| | Unbundling Tools for Thought (borretti.me) |
|
3 points by kirso 6 months ago | past
|
|
| | Thoughts on LLM Agents (Fernando Boretti) (borretti.me) |
|
2 points by amitmahbubani 8 months ago | past
|
|
| | You Need More Constraints (borretti.me) |
|
2 points by gravitate on Aug 29, 2023 | past
|
|
| | You Need More Constraints (borretti.me) |
|
3 points by verdagon on July 30, 2023 | past
|
|
| | Type Systems for Memory Safety (borretti.me) |
|
4 points by Ygg2 on July 26, 2023 | past
|
|
| | Type Systems for Memory Safety (borretti.me) |
|
2 points by zetalyrae on July 25, 2023 | past
|
|
| | Type Systems for Memory Safety (borretti.me) |
|
6 points by ibobev on July 23, 2023 | past | 1 comment
|
|
| | Why checked exceptions failed (borretti.me) |
|
108 points by rsaarelm on July 15, 2023 | past | 314 comments
|
|
| | Test Against Reality (borretti.me) |
|
78 points by susam on July 9, 2023 | past | 90 comments
|
|
| | Test Against Reality (borretti.me) |
|
2 points by varjag on July 8, 2023 | past
|
|
| | Test Autodiscovery Is a Silver Bullet (borretti.me) |
|
12 points by beauHD on July 1, 2023 | past
|
|
| | NixOS for the Impatient (borretti.me) |
|
169 points by yarapavan on June 9, 2023 | past | 89 comments
|
|
| | Depth-First Procrastination (borretti.me) |
|
2 points by todsacerdoti on June 9, 2023 | past
|
|
| | Why Lisp Syntax Works (borretti.me) |
|
331 points by Tomte on June 5, 2023 | past | 306 comments
|
|
| | Sketch of a Post-ORM (borretti.me) |
|
83 points by Tomte on June 2, 2023 | past | 80 comments
|
|
| | Language Pragmatics Engineering (borretti.me) |
|
2 points by varjag on May 31, 2023 | past
|
|
| | Language Pragmatics Engineering (borretti.me) |
|
15 points by distcs on May 31, 2023 | past
|
|
| | Language Pragmatics Engineering (borretti.me) |
|
106 points by ashpil on May 30, 2023 | past | 26 comments
|
|
| | Language Tooling Antipatterns (borretti.me) |
|
1 point by azhenley on May 29, 2023 | past
|
|
| | Language Tooling Antipatterns (borretti.me) |
|
4 points by bo0tzz on May 14, 2023 | past
|
|
| | NixOS for the Impatient (borretti.me) |
|
6 points by ghuntley on May 10, 2023 | past
|
|
| | How Capabilities Work in Austral (borretti.me) |
|
5 points by g0xA52A2A on May 8, 2023 | past
|
|
| | Two Years of OCaml (borretti.me) |
|
37 points by susam on May 1, 2023 | past | 43 comments
|
|
| | Two Years of OCaml (borretti.me) |
|
9 points by ghuntley on May 1, 2023 | past
|
|
|
|
More |
