| | Typst as a Language (justinpombrio.net) |
| 4 points by weinzierl 74 days ago | past |
|
| | Imagining a language without booleans (justinpombrio.net) |
| 77 points by todsacerdoti 3 months ago | past | 73 comments |
|
| | JJ Cheat Sheet (justinpombrio.net) |
| 186 points by justinpombrio 10 months ago | past | 116 comments |
|
| | Typst as a Programming Language (justinpombrio.net) |
| 6 points by fanf2 11 months ago | past |
|
| | Penrose Mazes (2020) (justinpombrio.net) |
| 104 points by aebtebeten on Dec 28, 2024 | past | 13 comments |
|
| | Typst as a Language (justinpombrio.net) |
| 5 points by PaulHoule on Dec 24, 2024 | past | 1 comment |
|
| | Typst as a Language (justinpombrio.net) |
| 17 points by p4ul on Dec 1, 2024 | past |
|
| | Typst as a Language (justinpombrio.net) |
| 1 point by todsacerdoti on Dec 1, 2024 | past |
|
| | Using algebra to refactor data types (justinpombrio.net) |
| 3 points by fanf2 on Nov 9, 2024 | past |
|
| | A Twist on Wadler's Printer (justinpombrio.net) |
| 65 points by chubot on Feb 26, 2024 | past | 7 comments |
|
| | Algebraic Types in Rust Explained (justinpombrio.net) |
| 2 points by debdut on April 30, 2023 | past |
|
| | A capability-safe language would have minimized the Log4j vulnerability (justinpombrio.net) |
| 99 points by justinpombrio on Dec 26, 2021 | past | 152 comments |
|
| | Algebra and Data Types (justinpombrio.net) |
| 3 points by todsacerdoti on March 12, 2021 | past |
|
| | Tree Editors by Justin Pombrio (justinpombrio.net) |
| 1 point by based2 on Dec 19, 2018 | past | 1 comment |
|
| | Invariants across languages (justinpombrio.net) |
| 2 points by makmanalp on Oct 18, 2013 | past |
|
