| 1. | | Functorio: Build Factorio factories in the Lean 4 (github.com/konne88) |
| 2 points by adamnemecek 5 hours ago | past | discuss |
|
| 2. | | GG: GUI for Jujutsu (github.com/gulbanana) |
| 2 points by adamnemecek 10 days ago | past | discuss |
|
| 3. | | Annotated History of Modern AI and Deep Learning (2022) (idsia.ch) |
| 3 points by adamnemecek 13 days ago | past | discuss |
|
| 4. | | Diagrammatic algebra: On the road to category theory (chalkdustmagazine.com) |
| 1 point by adamnemecek 21 days ago | past |
|
| 5. | | Open source PDF reader built with Rust, Dioxus and PDFium (github.com/lailogue) |
| 2 points by adamnemecek 25 days ago | past | 1 comment |
|
| 6. | | TurnFormal: Theorem Prover Written in Rust (github.com/turnersoft) |
| 1 point by adamnemecek 48 days ago | past |
|
| 7. | | Quantum Computing without the Linear Algebra [pdf] (iacr.org) |
| 2 points by adamnemecek 73 days ago | past |
|
| 8. | | Rewriting SymCrypt in Rust to modernize Microsoft's cryptographic library (microsoft.com) |
| 2 points by adamnemecek 75 days ago | past |
|
| 9. | | Injectorpp for Rust: Rust crate for streamlining unit testing by Microsoft (github.com/microsoft) |
| 1 point by adamnemecek 80 days ago | past |
|
| 10. | | Does Using Rust Make Our Software Safer? (rustfoundation.org) |
| 2 points by adamnemecek 3 months ago | past |
|
| 11. | | Does Using Rust Make Our Software Safer? (rustfoundation.org) |
| 2 points by adamnemecek 3 months ago | past |
|
| 12. | | Proxyman: HTTP network debugging tool written in Rust (github.com/stickmy) |
| 2 points by adamnemecek 4 months ago | past |
|
| 13. | | Sapphire: Rust based package manager for macOS (github.com/alexykn) |
| 443 points by adamnemecek 4 months ago | past | 290 comments |
|
| 14. | | Control Theory for Distributed Systems: A New View of Operations at Scale (evilchili.github.io) |
| 1 point by adamnemecek 5 months ago | past |
|
| 15. | | Hyperspeedcube: 3D and 4D Rubik's Cube simulator in Rust (hypercubing.xyz) |
| 1 point by adamnemecek 7 months ago | past |
|
| 16. | | RFC 9669: BPF Instruction Set (rfc-editor.org) |
| 2 points by adamnemecek 9 months ago | past |
|
| 17. | | Fast Rust expression evaluation with custom assembly (symbolica.io) |
| 3 points by adamnemecek 10 months ago | past |
|
| 18. | | List of OSINT Exercises (gralhix.com) |
| 4 points by adamnemecek 11 months ago | past |
|
| 19. | | Changes to `impl Trait` in Rust 2024 (rust-lang.org) |
| 2 points by adamnemecek 11 months ago | past |
|
| 20. | | Differential Geometry: An Autistic Introduction (github.com/abogatskiy) |
| 4 points by adamnemecek 11 months ago | past |
|
| 21. | | Algorithms through the lens of symbolic pattern matching (symbolica.io) |
| 71 points by adamnemecek on Aug 14, 2024 | past | 8 comments |
|
| 22. | | Visualizing Convex Conjugates (remilepriol.github.io) |
| 2 points by adamnemecek on Aug 3, 2024 | past |
|
| 23. | | Crafting types with Scala 3 macros – Part 1: Introduction to macros (inoio.de) |
| 2 points by adamnemecek on July 16, 2024 | past | 1 comment |
|
| 24. | | In order to better compete at GenAI, Google has fired the Python language team (twitter.com/revhowardarson) |
| 29 points by adamnemecek on April 25, 2024 | past | 7 comments |
|
| 25. | | Rust for Malware Development (github.com/whitecat18) |
| 1 point by adamnemecek on April 25, 2024 | past |
|
| 26. | | List of CLI tools written in Rust (twitter.com/milescranmer) |
| 1 point by adamnemecek on April 24, 2024 | past |
|
| 27. | | Google Director of Engineering: Rust teams are 2x as productive as C++ teams (reddit.com) |
| 4 points by adamnemecek on March 28, 2024 | past |
|
| 28. | | Boost.Parser Has Been Accepted (reddit.com) |
| 2 points by adamnemecek on March 16, 2024 | past |
|
| 29. | | Analytic Combinatorics in Several Variables (acsvproject.com) |
| 1 point by adamnemecek on Feb 16, 2024 | past |
|
| 30. | | Haskell Compiler Written in Rust (github.com/marwes) |
| 4 points by adamnemecek on Dec 22, 2023 | past |
|
|
| More |
