Hacker News headlines

12

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

a day ago | hyperbrainer | haskell.org | frontpage

1

All color is best effort (fasterthanli.me)

a week ago | hyperbrainer | fasterthanli.me | newest

5

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

3 weeks ago | hyperbrainer | backscattering.de | frontpage

33

A Rust Documentation Ecosystem Review (harudagondi.space)

a month ago | hyperbrainer | harudagondi.space | best

12

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

a month ago | hyperbrainer | janestreet.com | frontpage

2

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

2 months ago | hyperbrainer | burgers.io | newest

3

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

2 months ago | hyperbrainer | medium.com | frontpage

42

Ask HN: Memory-safe low level languages?

3 months ago | hyperbrainer | ycombinator.com | frontpage

49

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

3 months ago | hyperbrainer | curry-lang.org | best

2

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

3 months ago | hyperbrainer | scottaaronson.com | newest

16

Monsky's Theorem (mathmondays.com)

3 months ago | hyperbrainer | mathmondays.com | frontpage

2

JSON Hijacking (2009) (haacked.com)

3 months ago | hyperbrainer | haacked.com | newest

5

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

4 months ago | hyperbrainer | mtlynch.io | frontpage

36

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

4 months ago | hyperbrainer | unlinkedlist.org | frontpage

5

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

4 months ago | hyperbrainer | blog.google | frontpage

5

Teleo-Reactive Programs (archive.org)

4 months ago | hyperbrainer | archive.org | frontpage

3

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

4 months ago | hyperbrainer | worldsworstdetective.com | newest

1

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

5 months ago | hyperbrainer | axler.net | newest

16

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

5 months ago | hyperbrainer | cot.rs | frontpage

2

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

5 months ago | hyperbrainer | youtube.com | newest

13

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

6 months ago | hyperbrainer | twitter.com | newest

2

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

6 months ago | hyperbrainer | rutgers.edu | newest

1

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

8 months ago | hyperbrainer | github.io | newest

2

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

9 months ago | hyperbrainer | chrisdone.com | frontpage

4

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

10 months ago | hyperbrainer | lwn.net | frontpage