adamnemecek's submissions

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