adamnemecek's submissions

1.		Building ML framework with Rust and Category Theory (hghalebi.github.io)
		101 points by adamnemecek 2 days ago \| past \| 19 comments
2.		CUDA-oxide: Nvidia's official Rust to CUDA compiler (nvlabs.github.io)
		424 points by adamnemecek 5 days ago \| past \| 117 comments
3.		Taming Symmetry: A Dive into Lie Groups with Python (2025) (patricknicolas.substack.com)
		1 point by adamnemecek 17 days ago \| past
4.		Rust should have stable tail calls (trifectatech.org)
		8 points by adamnemecek 31 days ago \| past \| 1 comment
5.		Eviscerated by Rust: Overcoming C++'s 58x Standard Library Handicap (lucisqr.substack.com)
		1 point by adamnemecek 35 days ago \| past
6.		Apiark: Open-Source Postman Alternative (github.com/berbicanes)
		3 points by adamnemecek 59 days ago \| past
7.		Woxi: Wolfram Mathematica Reimplementation in Rust (github.com/ad-si)
		350 points by adamnemecek 80 days ago \| past \| 137 comments
8.		Fyrox Rust Game Engine 1.0 Release Candidate 2 (fyrox.rs)
		2 points by adamnemecek 3 months ago \| past
9.		Fyrox Rust Game Engine 1.0 Release Candidate 2 (fyrox.rs)
		2 points by adamnemecek 3 months ago \| past
10.		Google Books search is back to normal
		3 points by adamnemecek 3 months ago \| past
11.		Crabtime, a novel way to write Rust macros (ferrisoft.com)
		5 points by adamnemecek 3 months ago \| past
12.		Google Books removed all search functions for any books with previews (reddit.com)
		225 points by adamnemecek 3 months ago \| past \| 74 comments
13.		Google Books has been effectively killed by the last algorithm update (reddit.com)
		1 point by adamnemecek 3 months ago \| past
14.		RustCast: Free, open-source Raycast-style launcher written in Rust (umangsurana.com)
		3 points by adamnemecek 3 months ago \| past
15.		T * sin (t) ≈ Christmas tree (2013) (github.com/anvaka)
		3 points by adamnemecek 4 months ago \| past
16.		Céu: Language for Structured Synchronous Reactive Programming (ceu-lang.org)
		3 points by adamnemecek 5 months ago \| past \| 1 comment
17.		Symbolica 1.0 released: Symbolic mathematics in Rust (symbolica.io)
		3 points by adamnemecek 5 months ago \| past
18.		Ribir: Non-intrusive GUI framework for Rust/WASM (github.com/ribirx)
		78 points by adamnemecek 6 months ago \| past \| 24 comments
19.		Shiroa: MdBook for Typst (github.com/myriad-dreamin)
		1 point by adamnemecek 6 months ago \| past
20.		Fast Forward: macOS window switcher built with Rust and GPUI (github.com/gaauwe)
		3 points by adamnemecek 6 months ago \| past
21.		Nipdf: PDF Reader in Rust (github.com/redforks)
		4 points by adamnemecek 8 months ago \| past \| 1 comment
22.		2x Perf, $300k Savings: A Case Study in Rewriting a Critical Service in Rust (wxiaoyun.com)
		3 points by adamnemecek 8 months ago \| past
23.		Functorio: Build Factorio factories in the Lean 4 (github.com/konne88)
		2 points by adamnemecek 8 months ago \| past
24.		GG: GUI for Jujutsu (github.com/gulbanana)
		2 points by adamnemecek 9 months ago \| past
25.		Annotated History of Modern AI and Deep Learning (2022) (idsia.ch)
		3 points by adamnemecek 9 months ago \| past
26.		Diagrammatic algebra: On the road to category theory (chalkdustmagazine.com)
		1 point by adamnemecek 9 months ago \| past
27.		Open source PDF reader built with Rust, Dioxus and PDFium (github.com/lailogue)
		2 points by adamnemecek 9 months ago \| past \| 1 comment
28.		TurnFormal: Theorem Prover Written in Rust (github.com/turnersoft)
		1 point by adamnemecek 10 months ago \| past
29.		Quantum Computing without the Linear Algebra [pdf] (iacr.org)
		2 points by adamnemecek 11 months ago \| past
30.		Rewriting SymCrypt in Rust to modernize Microsoft's cryptographic library (microsoft.com)
		2 points by adamnemecek 11 months ago \| past
		More