adamnemecek's submissions

1.		Woxi: Wolfram Mathematica Reimplementation in Rust (github.com/ad-si)
		6 points by adamnemecek 2 days ago \| past \| 1 comment
2.		Fyrox Rust Game Engine 1.0 Release Candidate 2 (fyrox.rs)
		2 points by adamnemecek 16 days ago \| past
3.		Fyrox Rust Game Engine 1.0 Release Candidate 2 (fyrox.rs)
		2 points by adamnemecek 17 days ago \| past
4.		Google Books search is back to normal
		3 points by adamnemecek 30 days ago \| past
5.		Crabtime, a novel way to write Rust macros (ferrisoft.com)
		5 points by adamnemecek 31 days ago \| past
6.		Google Books removed all search functions for any books with previews (reddit.com)
		225 points by adamnemecek 32 days ago \| past \| 74 comments
7.		Google Books has been effectively killed by the last algorithm update (reddit.com)
		1 point by adamnemecek 32 days ago \| past
8.		RustCast: Free, open-source Raycast-style launcher written in Rust (umangsurana.com)
		3 points by adamnemecek 37 days ago \| past
9.		T * sin (t) ≈ Christmas tree (2013) (github.com/anvaka)
		3 points by adamnemecek 65 days ago \| past
10.		Céu: Language for Structured Synchronous Reactive Programming (ceu-lang.org)
		3 points by adamnemecek 80 days ago \| past \| 1 comment
11.		Symbolica 1.0 released: Symbolic mathematics in Rust (symbolica.io)
		3 points by adamnemecek 3 months ago \| past
12.		Ribir: Non-intrusive GUI framework for Rust/WASM (github.com/ribirx)
		78 points by adamnemecek 3 months ago \| past \| 24 comments
13.		Shiroa: MdBook for Typst (github.com/myriad-dreamin)
		1 point by adamnemecek 3 months ago \| past
14.		Fast Forward: macOS window switcher built with Rust and GPUI (github.com/gaauwe)
		3 points by adamnemecek 3 months ago \| past
15.		Nipdf: PDF Reader in Rust (github.com/redforks)
		4 points by adamnemecek 5 months ago \| past \| 1 comment
16.		2x Perf, $300k Savings: A Case Study in Rewriting a Critical Service in Rust (wxiaoyun.com)
		3 points by adamnemecek 5 months ago \| past
17.		Functorio: Build Factorio factories in the Lean 4 (github.com/konne88)
		2 points by adamnemecek 6 months ago \| past
18.		GG: GUI for Jujutsu (github.com/gulbanana)
		2 points by adamnemecek 6 months ago \| past
19.		Annotated History of Modern AI and Deep Learning (2022) (idsia.ch)
		3 points by adamnemecek 6 months ago \| past
20.		Diagrammatic algebra: On the road to category theory (chalkdustmagazine.com)
		1 point by adamnemecek 6 months ago \| past
21.		Open source PDF reader built with Rust, Dioxus and PDFium (github.com/lailogue)
		2 points by adamnemecek 7 months ago \| past \| 1 comment
22.		TurnFormal: Theorem Prover Written in Rust (github.com/turnersoft)
		1 point by adamnemecek 7 months ago \| past
23.		Quantum Computing without the Linear Algebra [pdf] (iacr.org)
		2 points by adamnemecek 8 months ago \| past
24.		Rewriting SymCrypt in Rust to modernize Microsoft's cryptographic library (microsoft.com)
		2 points by adamnemecek 8 months ago \| past
25.		Injectorpp for Rust: Rust crate for streamlining unit testing by Microsoft (github.com/microsoft)
		1 point by adamnemecek 8 months ago \| past
26.		Does Using Rust Make Our Software Safer? (rustfoundation.org)
		2 points by adamnemecek 10 months ago \| past
27.		Does Using Rust Make Our Software Safer? (rustfoundation.org)
		2 points by adamnemecek 10 months ago \| past
28.		Proxyman: HTTP network debugging tool written in Rust (github.com/stickmy)
		2 points by adamnemecek 10 months ago \| past
29.		Sapphire: Rust based package manager for macOS (github.com/alexykn)
		443 points by adamnemecek 10 months ago \| past \| 290 comments
30.		Control Theory for Distributed Systems: A New View of Operations at Scale (evilchili.github.io)
		1 point by adamnemecek 11 months ago \| past
		More