| 1. | | The Art of the Rolling Start (youtube.com) |
| 1 point by creata 5 months ago | past |
|
| 2. | | Bcachefs Coding Style (kernel.org) |
| 3 points by creata on June 11, 2024 | past |
|
| 3. | | Fantastic Timers and Where to Find Them [pdf] (gruss.cc) |
| 2 points by creata on Dec 3, 2023 | past |
|
| 4. | | WebGL2 State Diagram (webgl2fundamentals.org) |
| 3 points by creata on Feb 17, 2023 | past |
|
| 5. | | Knuth-Plass Thoughts (github.com/jaroslov) |
| 71 points by creata on Feb 7, 2023 | past | 10 comments |
|
| 6. | | Fighting fraud using partially blind signatures (fb.com) |
| 1 point by creata on Jan 31, 2023 | past |
|
| 7. | | Amenity Types on OpenStreetMap (openstreetmap.org) |
| 1 point by creata on Jan 30, 2023 | past |
|
| 8. | | MilkyTracker (milkytracker.org) |
| 161 points by creata on Nov 4, 2022 | past | 50 comments |
|
| 9. | | Randomized Condorcet Voting [French] (youtube.com) |
| 2 points by creata on May 13, 2022 | past |
|
| 10. | | Web Audio API example and tutorial: simple synth keyboard (developer.mozilla.org) |
| 3 points by creata on March 31, 2022 | past |
|
| 11. | | Hex: A Strategy Guide (mseymour.ca) |
| 158 points by creata on March 23, 2022 | past | 43 comments |
|
| 12. | | Sidebery – Firefox extension for managing tabs and bookmarks in sidebar (github.com/mbnuqw) |
| 1 point by creata on Feb 16, 2022 | past |
|
| 13. | | Higher-Order Reverse-Mode Automatic Differentiation [pdf] (cam.ac.uk) |
| 2 points by creata on Feb 13, 2022 | past |
|
| 14. | | Learn TLA+ (learntla.com) |
| 3 points by creata on Feb 8, 2022 | past |
|
| 15. | | Effects bibliography – bibliography of work related to computational effects (github.com/yallop) |
| 1 point by creata on Feb 5, 2022 | past |
|
| 16. | | Fluid Simulation – Siggraph 2007 Course Notes [pdf] (ubc.ca) |
| 44 points by creata on Jan 29, 2022 | past | 13 comments |
|
| 17. | | Little Orphan Impls (2015) (smallcultfollowing.com) |
| 1 point by creata on Jan 7, 2022 | past |
|
| 18. | | Primitives for Computational Geometry [pdf] (stanford.edu) |
| 1 point by creata on Dec 6, 2021 | past |
|
| 19. | | RustBelt: Logical Foundations for the Future of Safe Systems Programming (2019) (janestreet.com) |
| 21 points by creata on Nov 24, 2021 | past | 1 comment |
|
| 20. | | The blue-eyed islanders puzzle (terrytao.wordpress.com) |
| 2 points by creata on Sept 20, 2021 | past | 1 comment |
|
| 21. | | Diffractor.jl – Next Generation Automatic Differentiation (github.com/juliadiff) |
| 3 points by creata on Aug 15, 2021 | past |
|
| 22. | | Half a year of the Liquid Tensor Experiment: developments (xenaproject.wordpress.com) |
| 1 point by creata on Aug 7, 2021 | past |
|
| 23. | | Representations of Uncomputable and Uncountable Sets (2008) (andrej.com) |
| 45 points by creata on July 30, 2021 | past | 9 comments |
|
| 24. | | Checking Dependent Types with Normalization by Evaluation [pdf] (davidchristiansen.dk) |
| 1 point by creata on May 27, 2021 | past | 1 comment |
|
| 25. | | Wadler: Type Classes (ed.ac.uk) |
| 2 points by creata on May 12, 2021 | past |
|
| 26. | | The Programming Languages Zoo (andrej.com) |
| 147 points by creata on May 3, 2021 | past | 13 comments |
|
| 27. | | Compiling Tree Transforms to Operate on Packed Representations (2017) [pdf] (purdue.edu) |
| 6 points by creata on May 1, 2021 | past |
|
| 28. | | Replit Dotcom (repl.it) |
| 5 points by creata on March 11, 2021 | past | 1 comment |
|
| 29. | | Painting a simple eye ball with maths (youtube.com) |
| 1 point by creata on Nov 8, 2020 | past |
|
| 30. | | Metaprogramming in Idris [pdf] (core.ac.uk) |
| 2 points by creata on Oct 7, 2020 | past |
|
|
| More |
