| 31. | | How to implement dependent type theory I (2012) (andrej.com) |
| 58 points by todsacerdoti on June 14, 2023 | 9 comments |
|
| 32. | | Building a new database management system in academia (2017) (cmu.edu) |
| 83 points by greghn on June 16, 2023 | 42 comments |
|
| 33. | | It’s not wrong that "🤦🏼♂️".length == 7 (2019) (hsivonen.fi) |
| 280 points by triyambakam on June 2, 2023 | 303 comments |
|
| 34. | | Algebraic graph calculus (2021) (gabarro.org) |
| 120 points by aebtebeten on April 15, 2023 | 21 comments |
|
| 35. | | Looplets: A Language for Structured Coiteration (acm.org) |
| 56 points by matt_d on April 21, 2023 | 33 comments |
|
| 36. | | Writing a SQLite Clone from Scratch in C (2022) (cstack.github.io) |
| 328 points by lispybanana on May 3, 2023 | 52 comments |
|
| 37. | | Type Inference from Scratch (2019) [video] (youtube.com) |
| 57 points by surprisetalk on May 1, 2023 | 7 comments |
|
| 38. | | GNU poke: The extensible editor for structured binary data (jemarch.net) |
| 282 points by marcodiego on March 1, 2023 | 34 comments |
|
| 39. | | People can read their manager's mind (2015) (yosefk.com) |
| 190 points by l0b0 on Feb 14, 2023 | 68 comments |
|
| 40. | | 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 |
|
| 41. | | Introduction to FPGAs (smist08.wordpress.com) |
| 145 points by ingve on Feb 5, 2023 | 67 comments |
|
| 42. | | Poline – esoteric color palette generator (meodai.github.io) |
| 343 points by davidbarker on Feb 5, 2023 | 63 comments |
|
| 43. | | Introduction to Homotopy Type Theory (arxiv.org) |
| 153 points by euler1729 on Dec 25, 2022 | 81 comments |
|
| 44. | | A look at Unison: a revolutionary programming language (athaydes.com) |
| 296 points by lycopodiopsida on Jan 9, 2023 | 84 comments |
|
| 45. | | Idris: A language for type-driven development (idris-lang.org) |
| 275 points by peter_d_sherman on Jan 20, 2023 | 185 comments |
|
| 46. | | Typst: A Programmable Markup Language for Typesetting [pdf] (tu-berlin.de) |
| 116 points by kindaAnIdiot on Jan 18, 2023 | 53 comments |
|
| 47. | | PRQL: a simple, powerful, pipelined SQL replacement (prql-lang.org) |
| 430 points by NicoJuicy on Dec 30, 2022 | 215 comments |
|
| 48. | | Why I am learning category theory (scapegoat.dev) |
| 209 points by larve on Nov 30, 2022 | 220 comments |
|
| 49. | | I wrote my own “proper” programming language (mukulrathi.com) |
| 40 points by UncleOxidant on Nov 29, 2022 | 4 comments |
|
| 50. | | Introduction to Embedded Systems Programming (Ada) (adacore.com) |
| 135 points by gusthoff on Nov 21, 2022 | 19 comments |
|
| 51. | | Building a BFT JSON CRDT (jzhao.xyz) |
| 205 points by raykyri on Nov 21, 2022 | 36 comments |
|
| 52. | | Solo founder dilemma; CEO or CTO? (nvnt.substack.com) |
| 248 points by navaneethpk on Oct 1, 2022 | 96 comments |
|
| 53. | | Applied category theory in chemistry, computing, and social networks [pdf] (ams.org) |
| 135 points by larve on Nov 1, 2022 | 58 comments |
|
| 54. | | Solarized (ethanschoonover.com) |
| 409 points by behnamoh on Oct 31, 2022 | 179 comments |
|
| 55. | | Nord – An Arctic, north-bluish color palette (nordtheme.com) |
| 317 points by Brajeshwar on Oct 31, 2022 | 156 comments |
|
| 56. | | Bringing a dynamic environment to C: My linker project (macoy.me) |
| 137 points by todsacerdoti on Oct 28, 2022 | 88 comments |
|
| 57. | | David Deutsch’s Constructor Theory (constructortheory.org) |
| 108 points by qualudeheart on April 7, 2022 | 44 comments |
|
| 58. | | Wargame: LaTeX package to prepare hex'n'counter wargames (ctan.org) |
| 149 points by ddougj on Oct 19, 2022 | 27 comments |
|
| 59. | | The Little Typer (2018) (thelittletyper.com) |
| 297 points by bmer on Oct 11, 2022 | 96 comments |
|
| 60. | | Calculus with types (stackoverflow.com) |
| 123 points by isomorph on Oct 7, 2022 | 61 comments |
|
|
| More |
