Top New Best Ask Show Jobs

deterministic

2,847 karma · joined February 27, 2013

submissions comments

Building a Soviet Nail Factory: how KPIs killed efficiency (June 2026)

vincent.bernat.ch·2 pts·deterministic·

Huawei Became China's Nvidia [video]

youtube.com·1 pts·deterministic·

AI Coding is Exhausting [video]

youtube.com·2 pts·deterministic·

Mental Illness Does Not Cause Homelessness

truths-and-loves.ghost.io·10 pts·deterministic·

The Ü Programming Language

github.com·63 pts·deterministic·

Why Companies Are Quietly Rehiring Software Engineers

youtube.com·3 pts·deterministic·

The Unison Language – The Big Idea

unison-lang.org·5 pts·deterministic·

Why AI won't wipe out white-collar jobs (YouTube) [video]

youtube.com·2 pts·deterministic·

AI Fails at 96% of Jobs (New Study)

youtube.com·9 pts·deterministic·

Ask HN: How do you deal with eye strain as a developer?

7 pts·deterministic·

New Navy Device Learns by Doing (1958)

nytimes.com·1 pts·deterministic·

When Computers Write Proofs, What's the Point of Mathematicians?

youtube.com·2 pts·deterministic·

The Hylo Programming Language

hylo-lang.org·4 pts·deterministic·

Fat: Why It Matters and What to Do About It

youtube.com·1 pts·deterministic·

HACL: A High-Assurance Cryptographic Library

github.com·2 pts·deterministic·

Milawa is a "self-verifying" theorem prover for an ACL2-like logic

cs.utexas.edu·2 pts·deterministic·

How to Build a Satellite

youtube.com·6 pts·deterministic·

Book notes: A Philosophy of Software Design (2021)

danlebrero.com·1 pts·deterministic·

Unity Backtracking

twitter.com·4 pts·deterministic·

How Amazon built Cedar with automated reasoning

amazon.science·2 pts·deterministic·

Interview with an Emacs Enthusiast in 2023

youtube.com·3 pts·deterministic·

Thorium Molten Salt Reactors

youtube.com·2 pts·deterministic·

Theorem Proving in Lean 4

leanprover.github.io·4 pts·deterministic·

An Introduction to Model-Based Systems Engineering (MBSE)

insights.sei.cmu.edu·4 pts·deterministic·

Kevin Buzzard: The rise of formalism in mathematics

youtube.com·2 pts·deterministic·

Constructor Theory of Information (2014)

arxiv.org·1 pts·deterministic·

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

theparisreview.org·3 pts·deterministic·

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

youtube.com·1 pts·deterministic·

Ask HN: Best Laptop for Development?

2 pts·deterministic·

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

fstar-lang.org·2 pts·deterministic·

Page 1 of 2Next →