adamnemecek's submissions

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