How the Killing of Jordan Neely Broke Elon Musk

2023-07-11

Possible proof of oldest human-occupied site found in OR, dating back 18K+ yrs

2023-07-10

Binary Search Trees in Lean 4 with proofs

2023-07-08

Ask HN: Are you sick of throw away Bluetooth head/earphones?

2023-07-07

Ask HN: What is your approach to dealing with merge conflicts day in / day out?

2023-07-06

Have ideas from programming helped us create new mathematical proofs?

2023-07-06

Show HN: Expression calculator and tree structure visualizer

2023-07-05

Ask HN: Has GPT4 changed how much respect you have for people who can do proofs?

2023-07-04

A zero-knowledge attack on the Nova proof system

2023-07-03

How NASA writes space-proof code [video]

2023-07-01