| 1. | | SkiftOS: A hobby OS built from scratch using C/C++ for ARM, x86, and RISC-V (skiftos.org) |
| 466 points by ksec 3 months ago | 97 comments |
|
| 2. | | Local-first software (2019) (inkandswitch.com) |
| 883 points by gasull 5 months ago | 297 comments |
|
| 3. | | Concurrency in Haskell: Fast, Simple, Correct (bitbashing.io) |
| 193 points by ingve 8 months ago | 125 comments |
|
| 4. | | STEPS Toward the Reinvention of Programming (2012) [pdf] (tinlizzie.org) |
| 109 points by pcfwik 9 months ago | 87 comments |
|
| 5. | | I wrote my own “proper” programming language (2020) (mukulrathi.com) |
| 93 points by upmind 10 months ago | 27 comments |
|
| 6. | | A Proper x86 Assembler in Haskell Using the Escardó-Oliva Functional (vmchale.com) |
| 90 points by Smaug123 10 months ago | 19 comments |
|
| 7. | | Ask HN: What would you preserve if the internet were to go down tomorrow? |
| 259 points by gooob on Nov 3, 2024 | 310 comments |
|
| 8. | | Air Con: $1697 for an on/off switch (hopefullyuseful.com) |
| 2001 points by ranebo on Aug 29, 2024 | 478 comments |
|
| 9. | | EWritable – e-ink tablet news and reviews (ewritable.com) |
| 89 points by SushiHippie on Aug 2, 2024 | 55 comments |
|
| 10. | | Writing a BIOS bootloader for 64-bit mode from scratch (thasso.xyz) |
| 260 points by thasso on July 14, 2024 | 80 comments |
|
| 11. | | WTF Ubiquiti (imraniqbal.org) |
| 24 points by imran-iq on Jan 24, 2024 | 24 comments |
|
| 12. | | Introduction to Univalent Foundations of Mathematics with Agda (bham.ac.uk) |
| 114 points by haltist on Nov 11, 2023 | 6 comments |
|
| 13. | | Thunderbolt, Displayport and Docks (stderr.nl) |
| 371 points by Hackbraten on Sept 4, 2022 | 265 comments |
|
| 14. | | Our smartphones are stuffed with photos. The challenge is finding the good ones (newyorker.com) |
| 84 points by ciprian_craciun on April 1, 2022 | 58 comments |
|
