| 1. | | Compilers: Incrementally and Extensibly (2024) (okmij.org) |
|
142 points by todsacerdoti 2 days ago | 41 comments
|
|
| 2. | | KOReader: Open-Source eBook Reader (github.com/koreader) |
|
419 points by charleshan 7 days ago | 105 comments
|
|
| 3. | | Show HN: Duolingo-style exercises but with real-world content like the news (fluentsubs.com) |
|
470 points by ph4evers 7 days ago | 183 comments
|
|
| 4. | | A proof checker meant for education (jsiek.github.io) |
|
145 points by alabhyajindal 17 days ago | 51 comments
|
|
| 5. | | Zest: a programming language for malleable and legible systems (github.com/jamii) |
|
56 points by one-more-minute 22 days ago | 14 comments
|
|
| 6. | | Rhombus Language (rhombus-lang.org) |
|
242 points by swatson741 21 days ago | 158 comments
|
|
| 7. | | [flagged] Occupry your next lease to negotiate a better deal (occupry.com) |
|
51 points by jason_archmint 21 days ago | 78 comments
|
|
| 8. | | Everything Picolisp can do, and more (picolisp.com) |
|
110 points by damir 22 days ago | 14 comments
|
|
| 9. | | Sunset Geometry (2016) (shapeoperator.com) |
|
110 points by Tomte 23 days ago | 21 comments
|
|
| 10. | | The Lost Art of Logarithms (lostartoflogarithms.com) |
|
570 points by ozanonay 25 days ago | 195 comments
|
|
| 11. | | Rotors: A practical introduction for 3D graphics (2023) (jacquesheunis.com) |
|
77 points by bladeee 36 days ago | 20 comments
|
|
| 12. | | TinyCompiler: A compiler in a week-end (ssloy.github.io) |
|
319 points by sebg 46 days ago | 113 comments
|
|
| 13. | | Maxima in the browser using Embedded Common Lisp on WASM (maxima-on-wasm.pages.dev) |
|
248 points by v9v 69 days ago | 53 comments
|
|
| 14. | | Show HN: WASM-powered codespaces for Python notebooks on GitHub (marimo.io) |
|
204 points by mscolnick 83 days ago | 27 comments
|
|
| 15. | | Misty: A secure distributed actor language (mistysystem.com) |
|
90 points by m90 86 days ago | 38 comments
|
|
| 16. | | TinyStories: How Small Can Language Models Be and Still Speak Coherent English? (2023) (arxiv.org) |
|
218 points by tzury 3 months ago | 104 comments
|
|
| 17. | | Ts_zip: Text Compression Using Large Language Models (bellard.org) |
|
184 points by signa11 3 months ago | 68 comments
|
|
| 18. | | How I run LLMs locally (abishekmuthian.com) |
|
400 points by Abishek_Muthian 3 months ago | 231 comments
|
|
| 19. | | Implementing SM-2 in Rust (borretti.me) |
|
108 points by Tomte 3 months ago | 22 comments
|
|
| 20. | | Hoarder: Self-hostable bookmark-everything app (github.com/hoarder-app) |
|
475 points by thunderbong 3 months ago | 106 comments
|
|
| 21. | | Rosetta 2 creator leaves Apple to work on Lean full-time (linkedin.com) |
|
407 points by ladberg 3 months ago | 134 comments
|
|
| 22. | | Natural Number Game: build the basic theory of the natural numbers from scratch (hhu.de) |
|
191 points by mildog8 3 months ago | 32 comments
|
|
| 23. | | Crunch – a Scheme compiler with a minimal runtime (more-magic.net) |
|
190 points by sjamaan 3 months ago | 71 comments
|
|
| 24. | | Luon programming language (github.com/rochus-keller) |
|
233 points by thunderbong 3 months ago | 119 comments
|
|
| 25. | | C Compiler to SPIR-V (github.com/heroseh) |
|
89 points by bwidlar 4 months ago | 11 comments
|
|
| 26. | | Kibi – A text editor in less than 1024 lines of code, written in Rust (terminaltrove.com) |
|
20 points by jkstill 4 months ago | 8 comments
|
|
| 27. | | Λ-2D: An Exploration of Drawing as Programming Language (media.mit.edu) |
|
246 points by threeme3 5 months ago | 55 comments
|
|
| 28. | | Don't implement unification by recursion (philipzucker.com) |
|
83 points by mathgenius 5 months ago | 62 comments
|
|
| 29. | | Moonshine, the new state of the art for speech to text (petewarden.com) |
|
172 points by freediver 5 months ago | 36 comments
|
|
| 30. | | Damas-Hindley-Milner inference two ways (bernsteinbear.com) |
|
139 points by todsacerdoti 5 months ago | 11 comments
|
|
|
|
More |
