woid

top stories

Hacker News (2020)

Lean Book: The Hitchhiker's Guide to Logical Verification [pdf]
175 points • comment • apr 06, 2020
Belarus election: Police use live fire on protesters in Brest
175 points • comment • aug 12, 2020
The future of work requires a return to apprenticeships
175 points • comment • mar 13, 2020
Lisp from Nothing
175 points • comment • oct 17, 2020
Apple refuses to engrave ‘liberate’ protest slogan on HK customer’s Apple Pencil
175 points • comment • oct 30, 2020
NYC pilot tries mental health responders in place of police
175 points • comment • nov 14, 2020
Hiroshima (1946)
175 points • comment • aug 09, 2020
M1 Mac Mini Teardown
175 points • comment • nov 18, 2020
We rendered a million web pages to find out what makes the web slow
175 points • comment • dec 23, 2020
Show HN: How many miles do you think you've scrolled today?
175 points • comment • may 05, 2020
When will virtual reality take off? The $100 bet
175 points • comment • dec 16, 2020
Probabilistic Programming and Bayesian Methods for Hackers (2013)
175 points • comment • jan 12, 2020
The No-Code Generation is arriving
175 points • comment • oct 27, 2020
Time Machine in macOS 10.15.3 is very slow on first full backup
175 points • comment • feb 12, 2020
Some Git internals
175 points • comment • dec 25, 2020
Show HN: We made a web app so that our parents can keep reading to our daughter
175 points • comment • apr 10, 2020
Microsoft Edge (Chromium) – Elevation of Privilege to Potential RCE
175 points • comment • jan 03, 2020
Improved vacuum in PostgreSQL 13
175 points • comment • may 12, 2020
Frankenstein Veto
175 points • comment • feb 09, 2020
Google’s search monopoly complicates a mental health crisis
175 points • comment • aug 05, 2020
Localisation is too hard for Gmail
175 points • comment • oct 21, 2020
Three Months of Go from a Haskeller’s perspective (2016)
175 points • comment • nov 04, 2020
Common Rust Lifetime Misconceptions
175 points • comment • may 23, 2020
Wildlife Services, a US agency planting 'cyanide bombs' to kill predators
175 points • comment • jun 26, 2020
Rust Survey 2019 Results
175 points • comment • apr 17, 2020
How South Korea Reined In The Outbreak Without Shutting Everything Down
175 points • comment • mar 27, 2020
DuckDuckGo was down
175 points • comment • jun 08, 2020
Hundreds of hyperpartisan sites are masquerading as local news
175 points • comment • jul 14, 2020
End-of-Life Announcement for CoreOS Container Linux
175 points • comment • feb 05, 2020
Roman Finger Counting
175 points • comment • may 14, 2020
Wim Hof’s teachings about breath work and the health benefits of cold plunges
175 points • comment • oct 14, 2020
YC Startup School: Build Sprint and Equity-Free Grants
175 points • comment • aug 13, 2020
Winding down my Debian involvement (2019)
175 points • comment • nov 21, 2020
Winning back the Internet by building our own
175 points • comment • dec 06, 2020
Learn Quantum Computation
175 points • comment • dec 30, 2020
If management isn't a promotion, then engineering isn't a demotion
175 points • comment • sep 11, 2020
In-person DEF CON 28 cancelled
175 points • comment • may 08, 2020
Prettifying Org Mode with CSS
175 points • comment • may 10, 2020
Parse, don’t type-check
174 points • comment • nov 26, 2020
My C code works with -O3 but not with -O0
174 points • comment • jan 15, 2020
Show HN: Polotno Studio – Canva-like design editor, without signups or ads
174 points • comment • dec 15, 2020
Ennui: How to Overcome Chronic Boredom
174 points • comment • apr 29, 2020
In the Beginning was the Command Line (1999)
174 points • comment • nov 05, 2020
Mastering systemd: Securing and sandboxing applications and services
174 points • comment • apr 27, 2020
Interview with German Ventilator Manufacturer
174 points • comment • mar 28, 2020
How Much Does a Mile of Road Cost?
174 points • comment • jan 27, 2020
A hands-on introduction to static code analysis
174 points • comment • may 04, 2020
Siberian town in arctic circle hits 101°F (38°C)
174 points • comment • jun 23, 2020
Writing a technical book: from idea to print
174 points • comment • nov 18, 2020
Neue Haas Grotesk (2011)
174 points • comment • sep 25, 2020
Nine in ten adults think buying latest smartphone is waste of money
174 points • comment • oct 10, 2020
Rust 2021 Roadmap
174 points • comment • dec 18, 2020
The US can reach 90% clean electricity by 2035 without increasing consumer bills
174 points • comment • jun 20, 2020
Subway-style maps of roads of the Roman Empire
174 points • comment • jul 09, 2020
On moving from statistics to machine learning, the final stage of grief (2019)
174 points • comment • jul 02, 2020
Why it's great to write blog posts
174 points • comment • may 04, 2020
More than half of American retailers didn't pay their rent in April and May
174 points • comment • jun 04, 2020
Gravitricity – Fast, long-life energy storage
174 points • comment • sep 08, 2020
Crux SQL
174 points • comment • aug 04, 2020
SpaceX Starship SN4 launch vehicle prototype explodes after static engine test
174 points • comment • may 29, 2020
Reducing Docker Image Size
174 points • comment • feb 19, 2020
A history of roguelike games
174 points • comment • mar 20, 2020
Dreams of a Red Emperor: The Relentless Rise of Xi Jinping
174 points • comment • oct 23, 2020
GoodJob – a Postgres-based ActiveJob back end for Ruby on Rails
174 points • comment • jul 23, 2020
SpaceX launches more Starlink satellites, misses booster landing
174 points • comment • feb 17, 2020
Show HN: QuickPYTHON
174 points • comment • nov 20, 2020
Company threatens to sue volunteers who 3D-printed valves for coronavirus aid
174 points • comment • mar 17, 2020
Why are toys such a bad business?
174 points • comment • jul 11, 2020
Amazon is filled with fake reviews and it’s getting harder to spot them
174 points • comment • sep 06, 2020
Man dies after self-medicating with chloroquine
174 points • comment • mar 23, 2020
Misconfigured Circuit Breakers
174 points • comment • mar 11, 2020
The longest train ride in the world (2019)
174 points • comment • aug 25, 2020
Purism's AweSIM – monthly plan for Librem5 including unlimited data
174 points • comment • oct 01, 2020
Some doctors, therapists get Health Canada permission to use magic mushrooms
174 points • comment • dec 11, 2020
Don't contribute anything relevant in web forums
174 points • comment • oct 29, 2020
PostgreSQL Schema Design
174 points • comment • mar 29, 2020
Dune: The Battle for Arrakis – Extended Reference (2003)
174 points • comment • jul 07, 2020
Stop tracking me: Austrian citizen files complaint over Android Advertising ID
174 points • comment • may 14, 2020
Managers, not workers, are losing jobs to AI and robots: study
174 points • comment • dec 02, 2020
Practical privacy tips for your business
174 points • comment • may 28, 2020
Physicists argue that black holes from the Big Bang could be the dark matter
174 points • comment • sep 24, 2020
Brilliant Hardware in the Valley of the Software Slump
174 points • comment • jun 12, 2020
Indistinguishability Obfuscation from Well-Founded Assumptions
174 points • comment • nov 10, 2020
Testing Sync at Dropbox
174 points • comment • apr 20, 2020
Nextdoor ends its program for forwarding suspicions to police
174 points • comment • jun 20, 2020
Show HN: Map33.js – a library to build 3D maps with Three.js
174 points • comment • jul 07, 2020
Web Authentication Methods Compared
174 points • comment • dec 23, 2020
An in-depth look at OCaml’s new “best-fit” garbage collector strategy
174 points • comment • mar 23, 2020
Vitamin D: the New Covid-19 Chloroquine?
174 points • comment • may 29, 2020
Direct evidence for T-cell immunity as a factor behind Covid-19 heterogeneity
174 points • comment • aug 06, 2020
Coronavirus Spike Protein Binder Design
174 points • comment • mar 03, 2020
Chess’s Cheating Crisis
174 points • comment • oct 16, 2020
Moving 25TB data from one S3 bucket to another took 7 engineers and 2 full days
174 points • comment • sep 13, 2020
Why general artificial intelligence will not be realized
174 points • comment • jul 10, 2020
Support Single-File Apps in .NET 5
174 points • comment • may 21, 2020
Kazakhstan government is intercepting HTTPS traffic in its capital (again)
174 points • comment • dec 06, 2020
Ask HN: Is RSS dead?
174 points • comment • mar 05, 2020
Show HN: UnnaturalScrollWheels – Better scroll wheel settings for macOS
174 points • comment • jul 27, 2020
Invention of satanic witchcraft by medieval authorities was met with skepticism
174 points • comment • jul 04, 2020
Point of WebGPU on Native
174 points • comment • may 05, 2020