| 1. | | TinySystems course: Write your own tiny programming systems [video] (youtube.com) |
| 5 points by dwenzek 74 days ago | past | 1 comment |
|
| 2. | | Rel: A Programming Language for Relational Data (arxiv.org) |
| 3 points by dwenzek 8 months ago | past | 1 comment |
|
| 3. | | Hexagonal Architecture (Alistair Cockburn) [video] (youtube.com) |
| 2 points by dwenzek on Nov 23, 2024 | past | 1 comment |
|
| 4. | | What if mass storage were free? (1980) (acm.org) |
| 51 points by dwenzek on Feb 15, 2023 | past | 48 comments |
|
| 5. | | TigerBeetle: Magical Memory Tour (Joran Dirk Greef) (CMU Database Group) (youtube.com) |
| 3 points by dwenzek on Nov 25, 2022 | past | 1 comment |
|
| 6. | | Fluent APIs in Functional Languages (arxiv.org) |
| 2 points by dwenzek on Nov 4, 2022 | past | 1 comment |
|
| 7. | | Persistence Programming (acm.org) |
| 2 points by dwenzek on Aug 22, 2022 | past |
|
| 8. | | Implementing Dependent Types in pi-forall (arxiv.org) |
| 1 point by dwenzek on July 6, 2022 | past |
|
| 9. | | Low head eco-friendly hydropower (turbulent.be) |
| 2 points by dwenzek on May 17, 2022 | past |
|
| 10. | | Using rubbish to make clean drinking water (bbc.co.uk) |
| 1 point by dwenzek on Jan 29, 2022 | past | 2 comments |
|
| 11. | | Implementing a File Pager in Zig (ayende.com) |
| 4 points by dwenzek on Jan 16, 2022 | past | 1 comment |
|
| 12. | | Verification for Dummies: SMT and Induction (ocamlpro.github.io) |
| 3 points by dwenzek on Oct 15, 2021 | past |
|
| 13. | | 25 Years of OCaml (ocaml.org) |
| 3 points by dwenzek on May 9, 2021 | past |
|
| 14. | | Functional UI – A Stream-Based Equational Approach (2020) (infoq.com) |
| 2 points by dwenzek on March 25, 2021 | past |
|
| 15. | | Three surprising things you can make with mushrooms (bbc.co.uk) |
| 1 point by dwenzek on March 6, 2021 | past |
|
| 16. | | Thesis: Partial State in Dataflow-Based Materialized Views (youtube.com) |
| 2 points by dwenzek on Nov 28, 2020 | past | 1 comment |
|
| 17. | | Testing Database Engines via Pivoted Query Synthesis [pdf] (usenix.org) |
| 7 points by dwenzek on Nov 14, 2020 | past | 1 comment |
|
| 18. | | Bubble barriers: a smart solution to plastic pollution in rivers (thegreatbubblebarrier.com) |
| 323 points by dwenzek on Sept 15, 2020 | past | 140 comments |
|
| 19. | | The Fascinating Influence of Cyclone (2019) (jondgoodwin.com) |
| 1 point by dwenzek on May 2, 2020 | past |
|
| 20. | | Hydro SHEDS: open geo-data of rivers, lakes and watersheds (hydrosheds.org) |
| 3 points by dwenzek on Dec 13, 2019 | past | 1 comment |
|
| 21. | | My students made zines, and so can you(rs) (composition.al) |
| 61 points by dwenzek on July 3, 2019 | past | 7 comments |
|
| 22. | | One SQL to Rule Them All: Management of Streams and Tables (arxiv.org) |
| 260 points by dwenzek on May 31, 2019 | past | 35 comments |
|
| 23. | | Why strong consistency matters with event-driven architectures (fauna.com) |
| 3 points by dwenzek on June 29, 2018 | past |
|
| 24. | | CASPaxos: Replicated State Machines Without Logs (arxiv.org) |
| 2 points by dwenzek on Feb 21, 2018 | past |
|
| 25. | | 330 Ivy League courses you can take online right now for free (freecodecamp.org) |
| 3 points by dwenzek on Feb 9, 2018 | past |
|
| 26. | | Just-Right Consistency: reconciling availability and safety (arxiv.org) |
| 2 points by dwenzek on Jan 22, 2018 | past |
|
| 27. | | Multistroke gesture recognizer (erratique.ch) |
| 1 point by dwenzek on Nov 14, 2017 | past |
|
| 28. | | Supervised Learning: Localizing Novice Type Errors with Data-Driven Diagnosis (arxiv.org) |
| 1 point by dwenzek on Aug 31, 2017 | past | 1 comment |
|
| 29. | | The Gamma: Tools for open data-driven storytelling (thegamma.net) |
| 2 points by dwenzek on July 12, 2017 | past |
|
| 30. | | Malfunction: high-performance, low-level untyped program representation (github.com/stedolan) |
| 1 point by dwenzek on March 30, 2017 | past |
|
|
| More |
