Articles by hyperbrainer
2

3B1B: Recruiting, both for myself and for other companies (potentially yours) (3blue1brown.substack.com)

2

How to Count N-Ary Trees (utexas.edu)

71

A deep dive into Rust and C memory interoperability (notashes.me)

4

Rust Running on Every GPU (rust-gpu.github.io)

63

Graphical Linear Algebra (graphicallinearalgebra.net)

12

Lens: Lenses, Folds and Traversals (haskell.org)

1

All color is best effort (fasterthanli.me)

5

The Hashtable Packing Problem (2020) (backscattering.de)

33

A Rust Documentation Ecosystem Review (harudagondi.space)

12

Why GADTs matter for performance (2015) (janestreet.com)

2

Custom Logging in Rust Using tracing and tracing-subscriber (burgers.io)

3

I started an open source project in 2004. This week, it hit 30000 GitHub stars (medium.com/ben_haynes)

42

Ask HN: Memory-safe low level languages?

49

Curry: A functional logic programming language (curry-lang.org)

2

The Busy Beaver Frontier [pdf] (scottaaronson.com)

16

Monsky's Theorem (mathmondays.com)

2

JSON Hijacking (2009) (haacked.com)

5

My Book's Pre-Sale Just Barely Succeeded (mtlynch.io)

36

Tail Call Recursion in Java with ASM (2023) (unlinkedlist.org)

5

Gmail's upgraded search results help you find the emails you want, faster (blog.google)

5

Teleo-Reactive Programs (archive.org)

3

No dumb questions: What's the biggest number? (worldsworstdetective.com)

1

Down with Determinants by Sheldon Axler (1994) [pdf] (axler.net)

16

Cot: The Rust web framework for lazy developers (cot.rs)

2

Why Did Prisma Choose Rust Initially? [video] (youtube.com)

13

VictorTaelin: SupGen is a coding AI runs on 1 core CPU can prove theorems (twitter.com/victortaelin)

2

Theorems for a Price: Tomorrow's Semi-Rigorous Mathematical Culture (1994) [pdf] (rutgers.edu)

1

Welcoming two new Rust GPU maintainers (rust-gpu.github.io)

2

Fast Haskell: Competing with C at parsing XML (2017) (chrisdone.com)

4

User-Space Interrupts (2021) (lwn.net)