| | Configuration files are user interfaces (ochagavia.nl) |
| 165 points by todsacerdoti 57 days ago | past | 135 comments |
|
| | Tic-tac-toe meets Lean 4 (ochagavia.nl) |
| 3 points by thunderbong 78 days ago | past | 1 comment |
|
| | Tic-tac-toe meets Lean 4 (ochagavia.nl) |
| 4 points by todsacerdoti 78 days ago | past |
|
| | The high-level OS challenge (ochagavia.nl) |
| 5 points by Bogdanp 5 months ago | past |
|
| | What the heck is AEAD again? (ochagavia.nl) |
| 52 points by wofo 6 months ago | past | 64 comments |
|
| | JIT Calculators Finale (ochagavia.nl) |
| 2 points by todsacerdoti 7 months ago | past |
|
| | The JIT Calculator Challenge (ochagavia.nl) |
| 13 points by azhenley 8 months ago | past | 3 comments |
|
| | The JIT Calculator Challenge (ochagavia.nl) |
| 3 points by azhenley 8 months ago | past |
|
| | Solving the JIT Calculator Challenge (ochagavia.nl) |
| 2 points by todsacerdoti 8 months ago | past |
|
| | The JIT Calculator Challenge (ochagavia.nl) |
| 2 points by wofo 10 months ago | past |
|
| | My Personal Bell Labs (ochagavia.nl) |
| 3 points by thunderbong 11 months ago | past |
|
| | An Experiment in Async Rust (ochagavia.nl) |
| 2 points by thunderbong on Oct 11, 2024 | past |
|
| | Rocket – a Rust game running on WASM (2017) (ochagavia.nl) |
| 1 point by tosh on Sept 3, 2024 | past |
|
| | To broadcast or not to broadcast (ochagavia.nl) |
| 3 points by wofo on Aug 19, 2024 | past |
|
| | Using S3 as a Container Registry (ochagavia.nl) |
| 319 points by jandeboevrie on July 12, 2024 | past | 154 comments |
|
| | Waiter, there's a whale in my bucket (ochagavia.nl) |
| 2 points by wofo on July 3, 2024 | past |
|
| | Low Latency Logging in Rust (ochagavia.nl) |
| 2 points by eatonphil on June 23, 2024 | past |
|
| | Download Accelerator – Async Rust Edition (ochagavia.nl) |
| 9 points by wofo on June 23, 2024 | past | 3 comments |
|
| | Chasing a Bug in a SAT Solver (ochagavia.nl) |
| 75 points by wofo on June 19, 2024 | past | 31 comments |
|
| | Download Accelerator – Async Rust Edition (ochagavia.nl) |
| 1 point by wofo on May 6, 2024 | past |
|
| | The Joys of the Craft (ochagavia.nl) |
| 2 points by wofo on April 19, 2024 | past | 1 comment |
|
| | From full-stack development to systems programming (ochagavia.nl) |
| 25 points by wofo on March 25, 2024 | past | 14 comments |
|
| | 10 Years in Open Source (ochagavia.nl) |
| 2 points by wofo on March 13, 2024 | past |
|
| | Chasing a Bug in a SAT Solver (ochagavia.nl) |
| 1 point by lukastyrychtr on Feb 15, 2024 | past |
|
| | A Love Letter to the Internet (ochagavia.nl) |
| 2 points by wofo on Feb 14, 2024 | past |
|
| | The Undercover Generalist (ochagavia.nl) |
| 208 points by wofo on Feb 1, 2024 | past | 101 comments |
|
| | Azure sneakily hides cheaper option in it's UI (ochagavia.nl) |
| 2 points by wofo on Jan 31, 2024 | past |
|
| | RSS is dead, subscribe through email (ochagavia.nl) |
| 3 points by wofo on Jan 16, 2024 | past | 2 comments |
|
| | Continuous Benchmarking for Rustls (ochagavia.nl) |
| 5 points by wofo on Jan 5, 2024 | past |
|
| | Low Latency Logging in Rust (ochagavia.nl) |
| 4 points by hermanradtke on Sept 20, 2023 | past |
|
|
| More |
