hyperbrainer's submissions

1.		3B1B: Recruiting, both for myself and for other companies (potentially yours) (3blue1brown.substack.com)
		4 points by hyperbrainer 9 days ago \| past \| discuss
2.		How to Count N-Ary Trees (utexas.edu)
		3 points by hyperbrainer 4 months ago \| past
3.		A deep dive into Rust and C memory interoperability (notashes.me)
		154 points by hyperbrainer 4 months ago \| past \| 79 comments
4.		Rust Running on Every GPU (rust-gpu.github.io)
		16 points by hyperbrainer 4 months ago \| past \| 1 comment
5.		Graphical Linear Algebra (graphicallinearalgebra.net)
		304 points by hyperbrainer 5 months ago \| past \| 26 comments
6.		Lens: Lenses, Folds and Traversals (haskell.org)
		88 points by hyperbrainer 5 months ago \| past \| 60 comments
7.		All color is best effort (fasterthanli.me)
		3 points by hyperbrainer 5 months ago \| past
8.		The Hashtable Packing Problem (2020) (backscattering.de)
		39 points by hyperbrainer 6 months ago \| past \| 15 comments
9.		A Rust Documentation Ecosystem Review (harudagondi.space)
		94 points by hyperbrainer 7 months ago \| past \| 14 comments
10.		Why GADTs matter for performance (2015) (janestreet.com)
		83 points by hyperbrainer 7 months ago \| past \| 26 comments
11.		Custom Logging in Rust Using tracing and tracing-subscriber (burgers.io)
		2 points by hyperbrainer 7 months ago \| past
12.		I started an open source project in 2004. This week, it hit 30000 GitHub stars (medium.com/ben_haynes)
		11 points by hyperbrainer 7 months ago \| past
13.		Ask HN: Memory-safe low level languages?
		61 points by hyperbrainer 7 months ago \| past \| 117 comments
14.		Curry: A functional logic programming language (curry-lang.org)
		172 points by hyperbrainer 7 months ago \| past \| 37 comments
15.		The Busy Beaver Frontier [pdf] (scottaaronson.com)
		4 points by hyperbrainer 7 months ago \| past
16.		Monsky's Theorem (mathmondays.com)
		49 points by hyperbrainer 7 months ago \| past \| 13 comments
17.		JSON Hijacking (2009) (haacked.com)
		2 points by hyperbrainer 8 months ago \| past
18.		My Book's Pre-Sale Just Barely Succeeded (mtlynch.io)
		19 points by hyperbrainer 8 months ago \| past \| 7 comments
19.		Tail Call Recursion in Java with ASM (2023) (unlinkedlist.org)
		96 points by hyperbrainer 8 months ago \| past \| 48 comments
20.		Gmail's upgraded search results help you find the emails you want, faster (blog.google)
		10 points by hyperbrainer 8 months ago \| past \| 6 comments
21.		Teleo-Reactive Programs (archive.org)
		7 points by hyperbrainer 9 months ago \| past \| 1 comment
22.		No dumb questions: What's the biggest number? (worldsworstdetective.com)
		4 points by hyperbrainer 9 months ago \| past
23.		Down with Determinants by Sheldon Axler (1994) [pdf] (axler.net)
		1 point by hyperbrainer 9 months ago \| past
24.		Cot: The Rust web framework for lazy developers (cot.rs)
		113 points by hyperbrainer 9 months ago \| past \| 68 comments
25.		Why Did Prisma Choose Rust Initially? [video] (youtube.com)
		4 points by hyperbrainer 10 months ago \| past
26.		VictorTaelin: SupGen is a coding AI runs on 1 core CPU can prove theorems (twitter.com/victortaelin)
		38 points by hyperbrainer 10 months ago \| past \| 5 comments
27.		Theorems for a Price: Tomorrow's Semi-Rigorous Mathematical Culture (1994) [pdf] (rutgers.edu)
		2 points by hyperbrainer 11 months ago \| past \| 1 comment
28.		Welcoming two new Rust GPU maintainers (rust-gpu.github.io)
		2 points by hyperbrainer on Nov 7, 2024 \| past
29.		Fast Haskell: Competing with C at parsing XML (2017) (chrisdone.com)
		5 points by hyperbrainer on Oct 9, 2024 \| past
30.		User-Space Interrupts (2021) (lwn.net)
		38 points by hyperbrainer on Sept 13, 2024 \| past \| 7 comments