Ask HN: What happens when you dial a phone number?
2023-01-20
Formalising a new proof that the square root of two is irrational
2023-01-19
Propositions as Filenames, Builds as Proofs: The Essence of Make (2015)
2023-01-16
Show HN: Experimental Support for Kotlin in Pulumi
2023-01-16
Show HN: Basic GPT no-code app builder and appstore proof of concept
2023-01-15
Ask HN: We found a cracked version of our software on the web, now what?
2023-01-13
How Proof of Stake Ethereum Works
2023-01-13
Ask HN: Do you hate software engineering but love programming?
2023-01-13
The purported proof of the four color theorem has been retracted
2023-01-13
Show HN: Get a verifiable human proof seal for your content
2023-01-12