| 1. | | Implementing, and Understanding Type Classes (okmij.org) |
| 3 points by kalaracey on Oct 18, 2024 | past |
|
| 2. | | AutoDelegate: Java annotation processor for delegating compositionally (github.com/ryandens) |
| 5 points by kalaracey on Oct 3, 2024 | past |
|
| 3. | | The Expression Problem and its solutions (2016) (thegreenplace.net) |
| 1 point by kalaracey on June 14, 2024 | past |
|
| 4. | | Flojoy: Python-based test and measure automation for hardware QA (flojoy.ai) |
| 2 points by kalaracey on Jan 9, 2024 | past |
|
| 5. | | TLA+ in Isabelle/HOL (davecturner.github.io) |
| 79 points by kalaracey on Dec 25, 2023 | past | 2 comments |
|
| 6. | | Scalability But at what COST? (2015) [pdf] (usenix.org) |
| 2 points by kalaracey on Sept 16, 2023 | past |
|
| 7. | | Speeding up Overcooked training performance by 60x (bsarkar321.github.io) |
| 3 points by kalaracey on Aug 10, 2023 | past |
|
| 8. | | Dependency Injection in Swift using latest Swift features (avanderlee.com) |
| 1 point by kalaracey on March 15, 2023 | past |
|
| 9. | | Rux: A JSX-inspired way to render view components in Ruby (github.com/camertron) |
| 135 points by kalaracey on March 6, 2023 | past | 40 comments |
|
| 10. | | Fleet Below Deck, Part III – State Management (jetbrains.com) |
| 1 point by kalaracey on Oct 12, 2022 | past | 1 comment |
|
| 11. | | How short links work (e.g. http://go/foo-bar) (kalaracey.github.io) |
| 3 points by kalaracey on April 19, 2022 | past |
|
| 12. | | How ZeroTier Eliminated Kernel Extensions on macOS (2019) (zerotier.com) |
| 1 point by kalaracey on Dec 29, 2020 | past |
|
| 13. | | SRE School: Instrumentation (2018) (john-millikin.com) |
| 3 points by kalaracey on Dec 28, 2020 | past |
|
| 14. | | TTYtest: Acceptance test framework for interactive console applications with TMUX (github.com/jhawthorn) |
| 2 points by kalaracey on March 21, 2017 | past |
|
