99
1
Google Books has been effectively killed by the last algorithm update (reddit.com)
2
RustCast: Free, open-source Raycast-style launcher written in Rust (umangsurana.com)
2
T * sin (t) ≈ Christmas tree (2013) (github.com/anvaka)
1
Céu: Language for Structured Synchronous Reactive Programming (ceu-lang.org)
2
Symbolica 1.0 released: Symbolic mathematics in Rust (symbolica.io)
23
Ribir: Non-intrusive GUI framework for Rust/WASM (github.com/ribirx)
1
Shiroa: MdBook for Typst (github.com/myriad-dreamin)
2
Fast Forward: macOS window switcher built with Rust and GPUI (github.com/gaauwe)
3
Nipdf: PDF Reader in Rust (github.com/redforks)
3
2x Perf, $300k Savings: A Case Study in Rewriting a Critical Service in Rust (wxiaoyun.com)
2
Functorio: Build Factorio factories in the Lean 4 (github.com/konne88)
1
GG: GUI for Jujutsu (github.com/gulbanana)
1
Annotated History of Modern AI and Deep Learning (2022) (idsia.ch)
1
Diagrammatic algebra: On the road to category theory (chalkdustmagazine.com)
1
Open source PDF reader built with Rust, Dioxus and PDFium (github.com/lailogue)
1
TurnFormal: Theorem Prover Written in Rust (github.com/turnersoft)
2
Quantum Computing without the Linear Algebra [pdf] (iacr.org)
2
Rewriting SymCrypt in Rust to modernize Microsoft's cryptographic library (microsoft.com)
1
Injectorpp for Rust: Rust crate for streamlining unit testing by Microsoft (github.com/microsoft)
2
Does Using Rust Make Our Software Safer? (rustfoundation.org)
1
Does Using Rust Make Our Software Safer? (rustfoundation.org)
1
Proxyman: HTTP network debugging tool written in Rust (github.com/stickmy)
176
Sapphire: Rust based package manager for macOS (github.com/alexykn)
1
Control Theory for Distributed Systems: A New View of Operations at Scale (evilchili.github.io)
1
Hyperspeedcube: 3D and 4D Rubik's Cube simulator in Rust (hypercubing.xyz)
1
RFC 9669: BPF Instruction Set (rfc-editor.org)
1
Fast Rust expression evaluation with custom assembly (symbolica.io)
4
List of OSINT Exercises (gralhix.com)
2
Changes to `impl Trait` in Rust 2024 (rust-lang.org)
2
Differential Geometry: An Autistic Introduction (github.com/abogatskiy)
1
SQL Has Problems. We Can Fix Them: Pipe Syntax in SQL [pdf] (storage.googleapis.com)
14
Algorithms through the lens of symbolic pattern matching (symbolica.io)
1
Visualizing Convex Conjugates (remilepriol.github.io)
1
Crafting types with Scala 3 macros – Part 1: Introduction to macros (inoio.de)
19
In order to better compete at GenAI, Google has fired the Python language team (twitter.com/revhowardarson)
1
Rust for Malware Development (github.com/whitecat18)
1
List of CLI tools written in Rust (twitter.com/milescranmer)
3
Google Director of Engineering: Rust teams are 2x as productive as C++ teams (reddit.com)
2
Boost.Parser Has Been Accepted (reddit.com)
1
Analytic Combinatorics in Several Variables (acsvproject.com)
2
Haskell Compiler Written in Rust (github.com/marwes)
39
RZK: Experimental proof assistant for synthetic ∞-categories (github.com/rzk-lang)
1
RZK: Experimental proof assistant for synthetic ∞-categories (github.com/rzk-lang)
1
Go game formal revealing by Ising model (2017) (arxiv.org)
2
MIT 18.06 Spring 2023 Linear Algebra Source Code (github.com/mitmath)
1
An introduction to optimization on smooth manifolds (nicolasboumal.net)
2
Malachite: Arbitrary-precision arithmetic library for Rust (like GMP and FLINT) (github.com/mhogrefe)
1
Verso: Modern Binary Program Analysis in Rust (gitlab.com/p8n)
2
Pgvecto.rs: Vector database plugin for Postgres in Rust (github.com/tensorchord)
1
FemtoGPT: Minimal GPT Implementation in Rust (github.com/keyvank)
27
Hydroflow: Dataflow Runtime in Rust (github.com/hydro-project)
2
Polynomial Functors: A General Theory of Interaction (topos.site)
2
Higher-Dimensional Type Theory (2020) (favonia.org)
2
Hypervis: 4D Renderer and Physics Engine in Rust (github.com/t-veor)
5
Power series, power serious: Talk by Doug McIlroy (2007) [video] (microsoft.com)
1
Primate City (wikipedia.org)
2
ZX-Calculus Simulator in the Browser (geosearchef.de)
26
Domain-Specific Languages of Mathematics (github.com/dslsofmath)
1
Maths from Nothing: Numerical Mathematics (mathsfromnothing.au)
1
HepLib: C++ library for computations in High Energy Physics (gitbook.io)
52
Truck: CAD Kernel in Rust (github.com/ricosjp)
1
Polynomial Functors: A General Theory of Interaction [pdf] (topos.site)
2
Hopf algebras and Markov chains: Two examples and a theory (2012) (arxiv.org)
40
Transformer learning explained: Coinductive guide to inductive transformer heads (arxiv.org)
1
Transformer learning explained: Coinductive guide to inductive transformer heads (arxiv.org)
2
Understanding Deep Learning Book (udlbook.github.io)
2
Transformer learning explained: Coinductive guide to inductive transformer heads (arxiv.org)
5
Power series, power serious: Talk by Doug McIlroy, the inventor of Unix pipes (microsoft.com)
1
Essentials of Compilation: Building a compiler targeting x86 in Python/Racket [pdf] (pdx.edu)
2
Railwind: Tailwind Compiler Rewritten in Rust (github.com/pintariching)
1
Coinductive guide to inductive transformer heads (arxiv.org)
1
Coinductive guide to inductive transformer heads (arxiv.org)
5
Coinductive guide to inductive transformer heads (arxiv.org)
5
Show HN: Coinductive guide to inductive transformer heads [pdf] (github.com/adamnemecek)
5
Coinductive guide to inductive transformer heads [pdf] (github.com/adamnemecek)
1
Burn: Deep Learning Framework in Rust (github.com/burn-rs)
18
Microsoft rewrites Windows font parsing in Rust (twitter.com/dwizzzlemsft)
1
1lab: Ncatlab for Homotopy Type Theory (1lab.dev)
1