| 1. | | Open source PDF reader built with Rust, Dioxus and PDFium (github.com/lailogue) |
| 2 points by adamnemecek 2 days ago | past | 1 comment |
|
| 2. | | TurnFormal: Theorem Prover Written in Rust (github.com/turnersoft) |
| 1 point by adamnemecek 25 days ago | past |
|
| 3. | | Quantum Computing without the Linear Algebra [pdf] (iacr.org) |
| 2 points by adamnemecek 50 days ago | past |
|
| 4. | | Rewriting SymCrypt in Rust to modernize Microsoft's cryptographic library (microsoft.com) |
| 2 points by adamnemecek 52 days ago | past |
|
| 5. | | Injectorpp for Rust: Rust crate for streamlining unit testing by Microsoft (github.com/microsoft) |
| 1 point by adamnemecek 57 days ago | past |
|
| 6. | | Does Using Rust Make Our Software Safer? (rustfoundation.org) |
| 2 points by adamnemecek 3 months ago | past |
|
| 7. | | Does Using Rust Make Our Software Safer? (rustfoundation.org) |
| 2 points by adamnemecek 3 months ago | past |
|
| 8. | | Proxyman: HTTP network debugging tool written in Rust (github.com/stickmy) |
| 2 points by adamnemecek 3 months ago | past |
|
| 9. | | Sapphire: Rust based package manager for macOS (github.com/alexykn) |
| 443 points by adamnemecek 3 months ago | past | 290 comments |
|
| 10. | | Control Theory for Distributed Systems: A New View of Operations at Scale (evilchili.github.io) |
| 1 point by adamnemecek 4 months ago | past |
|
| 11. | | Hyperspeedcube: 3D and 4D Rubik's Cube simulator in Rust (hypercubing.xyz) |
| 1 point by adamnemecek 7 months ago | past |
|
| 12. | | RFC 9669: BPF Instruction Set (rfc-editor.org) |
| 2 points by adamnemecek 8 months ago | past |
|
| 13. | | Fast Rust expression evaluation with custom assembly (symbolica.io) |
| 3 points by adamnemecek 9 months ago | past |
|
| 14. | | List of OSINT Exercises (gralhix.com) |
| 4 points by adamnemecek 10 months ago | past |
|
| 15. | | Changes to `impl Trait` in Rust 2024 (rust-lang.org) |
| 2 points by adamnemecek 11 months ago | past |
|
| 16. | | Differential Geometry: An Autistic Introduction (github.com/abogatskiy) |
| 4 points by adamnemecek 11 months ago | past |
|
| 17. | | Algorithms through the lens of symbolic pattern matching (symbolica.io) |
| 71 points by adamnemecek 11 months ago | past | 8 comments |
|
| 18. | | Visualizing Convex Conjugates (remilepriol.github.io) |
| 2 points by adamnemecek 12 months ago | past |
|
| 19. | | Crafting types with Scala 3 macros – Part 1: Introduction to macros (inoio.de) |
| 2 points by adamnemecek on July 16, 2024 | past | 1 comment |
|
| 20. | | 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 |
|
| 21. | | Rust for Malware Development (github.com/whitecat18) |
| 1 point by adamnemecek on April 25, 2024 | past |
|
| 22. | | List of CLI tools written in Rust (twitter.com/milescranmer) |
| 1 point by adamnemecek on April 24, 2024 | past |
|
| 23. | | Google Director of Engineering: Rust teams are 2x as productive as C++ teams (reddit.com) |
| 4 points by adamnemecek on March 28, 2024 | past |
|
| 24. | | Boost.Parser Has Been Accepted (reddit.com) |
| 2 points by adamnemecek on March 16, 2024 | past |
|
| 25. | | Analytic Combinatorics in Several Variables (acsvproject.com) |
| 1 point by adamnemecek on Feb 16, 2024 | past |
|
| 26. | | Haskell Compiler Written in Rust (github.com/marwes) |
| 4 points by adamnemecek on Dec 22, 2023 | past |
|
| 27. | | RZK: Experimental proof assistant for synthetic ∞-categories (github.com/rzk-lang) |
| 61 points by adamnemecek on Sept 28, 2023 | past | 46 comments |
|
| 28. | | RZK: Experimental proof assistant for synthetic ∞-categories (github.com/rzk-lang) |
| 2 points by adamnemecek on Sept 18, 2023 | past |
|
| 29. | | Go game formal revealing by Ising model (2017) (arxiv.org) |
| 1 point by adamnemecek on Sept 7, 2023 | past |
|
| 30. | | MIT 18.06 Spring 2023 Linear Algebra Source Code (github.com/mitmath) |
| 3 points by adamnemecek on Aug 11, 2023 | past |
|
|
| More |
