Hacker News headlines

1

Book notes: A Philosophy of Software Design (2021) (danlebrero.com)

4 months ago | deterministic | danlebrero.com | newest

6

Unity Backtracking (twitter.com/unity)

7 months ago | deterministic | twitter.com | newest

2

How Amazon built Cedar with automated reasoning (amazon.science)

10 months ago | deterministic | amazon.science | newest

2

Interview with an Emacs Enthusiast in 2023 (youtube.com)

10 months ago | deterministic | youtube.com | newest

3

Thorium Molten Salt Reactors (youtube.com)

10 months ago | deterministic | youtube.com | newest

4

Theorem Proving in Lean 4 (leanprover.github.io)

10 months ago | deterministic | github.io | newest

2

An Introduction to Model-Based Systems Engineering (MBSE) (cmu.edu)

10 months ago | deterministic | cmu.edu | newest

2

Kevin Buzzard: The rise of formalism in mathematics (youtube.com)

10 months ago | deterministic | youtube.com | newest

1

Constructor Theory of Information (2014) (arxiv.org)

a year ago | deterministic | arxiv.org | newest

2

Forty-Five Things I Learned in the Gulag (2018) (theparisreview.org)

a year ago | deterministic | theparisreview.org | newest

1

Replatform in a Year or Die: The Tale of a Turnaround (2021) (youtube.com)

a year ago | deterministic | youtube.com | newest

3

Ask HN: Best Laptop for Development?

a year ago | deterministic | ycombinator.com | newest

1

FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores (2022) [pdf] (fstar-lang.org)

a year ago | deterministic | fstar-lang.org | newest

1

Day in the Life of a Japanese Game Designer (youtube.com)

a year ago | deterministic | youtube.com | newest

1

Why Are There So Many Stupid People? (youtube.com)

a year ago | deterministic | youtube.com | newest

1

House of Dreams (AI movie trailer) (youtube.com)

a year ago | deterministic | youtube.com | newest

2

Type Theory (As a Foundation of Math) (wikipedia.org)

a year ago | deterministic | wikipedia.org | newest

3

No to AI Generated Images (artstation.com)

a year ago | deterministic | artstation.com | newest

38

[flagged] Sexual Economics [pdf] (2004) (umn.edu)

a year ago | deterministic | umn.edu | best

2

How Finland Ended Homelessness (2021) (youtube.com)

a year ago | deterministic | youtube.com | newest

38

AI Music Generator (soundraw.io)

a year ago | deterministic | soundraw.io | best

1

Ask HN: What is your preferred *production* C++ web server framework/library?

a year ago | deterministic | ycombinator.com | newest