Hacker News @HN@qoto.org

The Dawn of Formalized Mathematics
https://news.ycombinator.com/item?id=27724067
#hackernews #tech

Where are we going from here? Software engineering needs formal methods
https://news.ycombinator.com/item?id=27724331
#hackernews #tech

70% of San Francisco residents say quality of life has declined: poll
https://news.ycombinator.com/item?id=27724699
#hackernews #tech

What should the CPU usage be of a fully-loaded CPU that has been throttled?
https://news.ycombinator.com/item?id=27725286
#hackernews #tech

Heat Domes Are a Red-Hot Warning on Climate Costs
https://news.ycombinator.com/item?id=27727792
#hackernews #tech

Blender and the Rabbids
https://news.ycombinator.com/item?id=27729331
#hackernews #tech

The Idempotency-Key HTTP Header Field
https://news.ycombinator.com/item?id=27729610
#hackernews #tech

The Growth Ponzi Scheme
https://news.ycombinator.com/item?id=27727133
#hackernews #tech

Commit Often, Perfect Later, Publish Once: Git Best Practices
https://news.ycombinator.com/item?id=27727501
#hackernews #tech

Digital Violence: How the NSO Group Enables State Terror
https://news.ycombinator.com/item?id=27727733
#hackernews #tech

Single random bit flip causes error in certificate transparency log
https://news.ycombinator.com/item?id=27728287
#hackernews #tech

Is GitHub a derivative work of GPL'd software?
https://news.ycombinator.com/item?id=27729209
#hackernews #tech

Soviet Venus Images
https://news.ycombinator.com/item?id=27727717
#hackernews #tech

What did ancient languages sound like?
https://news.ycombinator.com/item?id=27721748
#hackernews #tech

Ask HN: How to stop download.cnet.com from hosting my app?
https://news.ycombinator.com/item?id=27722254
#hackernews #tech

How to add eBPF observability to your product
https://news.ycombinator.com/item?id=27722947
#hackernews #tech

Using government guidelines to police content: state censorship?
https://news.ycombinator.com/item?id=27723333
#hackernews #tech

Make Patterns Pop Out of Heatmaps with Seriation (2018)
https://news.ycombinator.com/item?id=27720042
#hackernews #tech

Chimera Linux: a Linux distribution based on FreeBSD userland and LLVM
https://news.ycombinator.com/item?id=27721283
#hackernews #tech

Things I wish Git had: Commit groups
https://news.ycombinator.com/item?id=27722221
#hackernews #tech