Proofy
Quickly validate and verify your email lists.
RZK: Experimental proof assistant for synthetic ∞-categories
2023-09-18
Turning a 15 years old laptop into a children proof retrogaming station
2023-09-18
Show HN: Conway's Game of Chess
2023-09-17
Apocalypse-Proof: The History of 33 Thomas Street in New York City
2023-09-16
Apocalypse Proof: 33 Thomas Street in New York City
2023-09-15
Ask HN: How do you manage your “family data warehouse”?
2023-09-15
Zero Knowledge Proofs: An illustrated primer
2023-09-15
Apocalypse-Proof NYC Building
2023-09-14
Ask HN: Llama 2 on local server. Is 3090 better than 4090?
2023-09-13
Visually deceptive “proofs” which are mathematically wrong
2023-09-12
