| | Refined: Simple Refinement Types for Rust (jordankaye.dev) |
|
4 points by fofoz 3 days ago | past | discuss
|
|
| | Simple refinement types for Rust – parse, don't validate (jordankaye.dev) |
|
3 points by virtualritz 7 days ago | past | discuss
|
|
| | Refined: Simple Refinement Types for Rust (jordankaye.dev) |
|
4 points by pierremenard 12 days ago | past | 1 comment
|
|
| | Refined: Simple Refinement Types for Rust (jordankaye.dev) |
|
2 points by todsacerdoti 14 days ago | past
|
|
| | a Rust and WASM development environment with Nix (jordankaye.dev) |
|
2 points by todsacerdoti 9 months ago | past
|
|
| | Enabling Constraints (jordankaye.dev) |
|
3 points by todsacerdoti 11 months ago | 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 LinuxBender 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
|
|
