| | Refinement in Rust: optimization, arithmetic, and stateful predicates (jordankaye.dev) |
| 2 points by todsacerdoti 9 months ago | past |
|
| | Refined: Simple Refinement Types for Rust (jordankaye.dev) |
| 4 points by fofoz 10 months ago | past |
|
| | Simple refinement types for Rust – parse, don't validate (jordankaye.dev) |
| 3 points by virtualritz 10 months ago | past |
|
| | Refined: Simple Refinement Types for Rust (jordankaye.dev) |
| 4 points by pierremenard 10 months ago | past | 1 comment |
|
| | Refined: Simple Refinement Types for Rust (jordankaye.dev) |
| 2 points by todsacerdoti 10 months ago | past |
|
| | a Rust and WASM development environment with Nix (jordankaye.dev) |
| 2 points by todsacerdoti on May 15, 2024 | past |
|
| | Enabling Constraints (jordankaye.dev) |
| 3 points by todsacerdoti on March 6, 2024 | past |
|
| | A few fast solutions for Advent of Code 2023 (jordankaye.dev) |
| 1 point by lukastyrychtr on Jan 5, 2024 | past |
|
| | Minimize Global Process (jordankaye.dev) |
| 2 points by bo0tzz on Nov 15, 2023 | past |
|
| | Software engineering is about thinking, not typing (jordankaye.dev) |
| 3 points by stanislavb on Oct 17, 2023 | past |
|
| | Cheat Codes for leading engineers toward solutions (or not) (jordankaye.dev) |
| 1 point by mooreds on July 14, 2023 | past |
|
| | Flexible Systems (jordankaye.dev) |
| 1 point by asicsp on June 22, 2023 | past |
|
| | Flexible Systems (jordankaye.dev) |
| 4 points by soopurman on June 21, 2023 | past | 1 comment |
|
| | Go Slow to Move Fast (jordankaye.dev) |
| 18 points by mooreds on March 22, 2023 | past |
|
| | Go Slow to Move Fast (jordankaye.dev) |
| 2 points by Bender on March 19, 2023 | past |
|
| | Go Slow to Move Fast (jordankaye.dev) |
| 2 points by darccio on March 19, 2023 | past |
|
| | Go Slow to Move Fast (jordankaye.dev) |
| 3 points by todsacerdoti on March 18, 2023 | past |
|
| | Striped Development (jordankaye.dev) |
| 1 point by todsacerdoti on Oct 1, 2022 | past |
|
