| 1. | | Ribir: Non-intrusive GUI framework for Rust/WASM (github.com/ribirx) |
| 77 points by adamnemecek 4 days ago | past | 24 comments |
|
| 2. | | Shiroa: MdBook for Typst (github.com/myriad-dreamin) |
| 1 point by adamnemecek 6 days ago | past | discuss |
|
| 3. | | Fast Forward: macOS window switcher built with Rust and GPUI (github.com/gaauwe) |
| 3 points by adamnemecek 8 days ago | past | discuss |
|
| 4. | | Nipdf: PDF Reader in Rust (github.com/redforks) |
| 4 points by adamnemecek 57 days ago | past | 1 comment |
|
| 5. | | 2x Perf, $300k Savings: A Case Study in Rewriting a Critical Service in Rust (wxiaoyun.com) |
| 3 points by adamnemecek 68 days ago | past |
|
| 6. | | Functorio: Build Factorio factories in the Lean 4 (github.com/konne88) |
| 2 points by adamnemecek 78 days ago | past |
|
| 7. | | GG: GUI for Jujutsu (github.com/gulbanana) |
| 2 points by adamnemecek 88 days ago | past |
|
| 8. | | Annotated History of Modern AI and Deep Learning (2022) (idsia.ch) |
| 3 points by adamnemecek 3 months ago | past |
|
| 9. | | Diagrammatic algebra: On the road to category theory (chalkdustmagazine.com) |
| 1 point by adamnemecek 3 months ago | past |
|
| 10. | | Open source PDF reader built with Rust, Dioxus and PDFium (github.com/lailogue) |
| 2 points by adamnemecek 3 months ago | past | 1 comment |
|
| 11. | | TurnFormal: Theorem Prover Written in Rust (github.com/turnersoft) |
| 1 point by adamnemecek 4 months ago | past |
|
| 12. | | Quantum Computing without the Linear Algebra [pdf] (iacr.org) |
| 2 points by adamnemecek 5 months ago | past |
|
| 13. | | Rewriting SymCrypt in Rust to modernize Microsoft's cryptographic library (microsoft.com) |
| 2 points by adamnemecek 5 months ago | past |
|
| 14. | | Injectorpp for Rust: Rust crate for streamlining unit testing by Microsoft (github.com/microsoft) |
| 1 point by adamnemecek 5 months ago | past |
|
| 15. | | Does Using Rust Make Our Software Safer? (rustfoundation.org) |
| 2 points by adamnemecek 6 months ago | past |
|
| 16. | | Does Using Rust Make Our Software Safer? (rustfoundation.org) |
| 2 points by adamnemecek 6 months ago | past |
|
| 17. | | Proxyman: HTTP network debugging tool written in Rust (github.com/stickmy) |
| 2 points by adamnemecek 6 months ago | past |
|
| 18. | | Sapphire: Rust based package manager for macOS (github.com/alexykn) |
| 443 points by adamnemecek 6 months ago | past | 290 comments |
|
| 19. | | Control Theory for Distributed Systems: A New View of Operations at Scale (evilchili.github.io) |
| 1 point by adamnemecek 8 months ago | past |
|
| 20. | | Hyperspeedcube: 3D and 4D Rubik's Cube simulator in Rust (hypercubing.xyz) |
| 1 point by adamnemecek 10 months ago | past |
|
| 21. | | RFC 9669: BPF Instruction Set (rfc-editor.org) |
| 2 points by adamnemecek 12 months ago | past |
|
| 22. | | Fast Rust expression evaluation with custom assembly (symbolica.io) |
| 3 points by adamnemecek on Oct 10, 2024 | past |
|
| 23. | | List of OSINT Exercises (gralhix.com) |
| 4 points by adamnemecek on Sept 14, 2024 | past |
|
| 24. | | Changes to `impl Trait` in Rust 2024 (rust-lang.org) |
| 2 points by adamnemecek on Sept 6, 2024 | past |
|
| 25. | | Differential Geometry: An Autistic Introduction (github.com/abogatskiy) |
| 4 points by adamnemecek on Sept 6, 2024 | past |
|
| 26. | | Algorithms through the lens of symbolic pattern matching (symbolica.io) |
| 71 points by adamnemecek on Aug 14, 2024 | past | 8 comments |
|
| 27. | | Visualizing Convex Conjugates (remilepriol.github.io) |
| 2 points by adamnemecek on Aug 3, 2024 | past |
|
| 28. | | Crafting types with Scala 3 macros – Part 1: Introduction to macros (inoio.de) |
| 2 points by adamnemecek on July 16, 2024 | past | 1 comment |
|
| 29. | | 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 |
|
| 30. | | Rust for Malware Development (github.com/whitecat18) |
| 1 point by adamnemecek on April 25, 2024 | past |
|
|
| More |
