| 31. | | Algebraic graph calculus (2021) (gabarro.org) |
| 120 points by aebtebeten on April 15, 2023 | 21 comments |
|
| 32. | | Looplets: A Language for Structured Coiteration (acm.org) |
| 56 points by matt_d on April 21, 2023 | 33 comments |
|
| 33. | | Writing a SQLite Clone from Scratch in C (2022) (cstack.github.io) |
| 328 points by lispybanana on May 3, 2023 | 52 comments |
|
| 34. | | Type Inference from Scratch (2019) [video] (youtube.com) |
| 57 points by surprisetalk on May 1, 2023 | 7 comments |
|
| 35. | | GNU poke: The extensible editor for structured binary data (jemarch.net) |
| 282 points by marcodiego on March 1, 2023 | 34 comments |
|
| 36. | | People can read their manager's mind (2015) (yosefk.com) |
| 190 points by l0b0 on Feb 14, 2023 | 68 comments |
|
| 37. | | I used GPT to build a search tool for my second brain note-taking system (reasonabledeviations.com) |
| 291 points by abbabon on Feb 6, 2023 | 98 comments |
|
| 38. | | Introduction to FPGAs (smist08.wordpress.com) |
| 145 points by ingve on Feb 5, 2023 | 67 comments |
|
| 39. | | Poline – esoteric color palette generator (meodai.github.io) |
| 343 points by davidbarker on Feb 5, 2023 | 63 comments |
|
| 40. | | Introduction to Homotopy Type Theory (arxiv.org) |
| 153 points by euler1729 on Dec 25, 2022 | 81 comments |
|
| 41. | | A look at Unison: a revolutionary programming language (athaydes.com) |
| 296 points by lycopodiopsida on Jan 9, 2023 | 84 comments |
|
| 42. | | Idris: A language for type-driven development (idris-lang.org) |
| 275 points by peter_d_sherman on Jan 20, 2023 | 185 comments |
|
| 43. | | Typst: A Programmable Markup Language for Typesetting [pdf] (tu-berlin.de) |
| 116 points by kindaAnIdiot on Jan 18, 2023 | 53 comments |
|
| 44. | | PRQL: a simple, powerful, pipelined SQL replacement (prql-lang.org) |
| 430 points by NicoJuicy on Dec 30, 2022 | 215 comments |
|
| 45. | | Why I am learning category theory (scapegoat.dev) |
| 209 points by larve on Nov 30, 2022 | 220 comments |
|
| 46. | | I wrote my own “proper” programming language (mukulrathi.com) |
| 40 points by UncleOxidant on Nov 29, 2022 | 4 comments |
|
| 47. | | Introduction to Embedded Systems Programming (Ada) (adacore.com) |
| 135 points by gusthoff on Nov 21, 2022 | 19 comments |
|
| 48. | | Building a BFT JSON CRDT (jzhao.xyz) |
| 205 points by raykyri on Nov 21, 2022 | 36 comments |
|
| 49. | | Solo founder dilemma; CEO or CTO? (nvnt.substack.com) |
| 248 points by navaneethpk on Oct 1, 2022 | 96 comments |
|
| 50. | | Applied category theory in chemistry, computing, and social networks [pdf] (ams.org) |
| 135 points by larve on Nov 1, 2022 | 58 comments |
|
| 51. | | Solarized (ethanschoonover.com) |
| 409 points by behnamoh on Oct 31, 2022 | 179 comments |
|
| 52. | | Nord – An Arctic, north-bluish color palette (nordtheme.com) |
| 317 points by Brajeshwar on Oct 31, 2022 | 156 comments |
|
| 53. | | Bringing a dynamic environment to C: My linker project (macoy.me) |
| 137 points by todsacerdoti on Oct 28, 2022 | 88 comments |
|
| 54. | | David Deutsch’s Constructor Theory (constructortheory.org) |
| 108 points by qualudeheart on April 7, 2022 | 44 comments |
|
| 55. | | Wargame: LaTeX package to prepare hex'n'counter wargames (ctan.org) |
| 149 points by ddougj on Oct 19, 2022 | 27 comments |
|
| 56. | | The Little Typer (2018) (thelittletyper.com) |
| 297 points by bmer on Oct 11, 2022 | 96 comments |
|
| 57. | | Calculus with types (stackoverflow.com) |
| 123 points by isomorph on Oct 7, 2022 | 61 comments |
|
| 58. | | I have come to bury the BIOS, not to open it [video] (osfc.io) |
| 287 points by pclmulqdq on Oct 9, 2022 | 157 comments |
|
| 59. | | Codebase as Database: Turning the IDE Inside Out with Datalog (2020) (petevilter.me) |
| 258 points by rohitpaulk on Oct 4, 2022 | 39 comments |
|
| 60. | | The Fundamentals of Control Theory (engineeringmedia.com) |
| 511 points by teleforce on Oct 3, 2022 | 70 comments |
|
|
| More |
