21
Humans Map, an interactive graph visualization with over 3M+ entities using Wikidata. • Apr 7, 2026 at 7:42 AM • humansmap.com • r/webdev
23
Why a new computer is slower than an old computer [video] • Apr 7, 2026 at 7:33 AM • youtube.com • Hacker News
474
AI may be making us think and write more alike • Apr 7, 2026 at 7:29 AM • dornsife.usc.edu • Hacker News
68
Falling demand for cardboard boxes — long a proxy for consumer spending — is raising concerns about the US economy • Apr 7, 2026 at 7:22 AM • qz.com • ~finance
130
C3 closes out its 0.7 era — focusing on simplicity and control before 0.8 • Apr 7, 2026 at 7:18 AM • c3-lang.org • r/programming
451
Show HN: Stop paying for Dropbox/Google Drive, use your own S3 bucket instead • Apr 7, 2026 at 7:12 AM • locker.dev • Hacker News
94
DeiMOS – A Superoptimizer for the MOS 6502 • Apr 7, 2026 at 7:10 AM • aransentin.github.io • Hacker News
1024
Show HN: Brutalist Concrete Laptop Stand (2024) • Apr 7, 2026 at 7:07 AM • sam-burns.com • Hacker News
46
The Hacker News Tarpit • Apr 7, 2026 at 6:50 AM • joanwestenberg.com • Hacker News
217
How Complex is my Code? • Apr 7, 2026 at 6:44 AM • philodev.one • Hacker News
36
Recent strange massive traffic spikes across several sites • Apr 7, 2026 at 6:43 AM • reddit.com • r/webdev
329
Parse, Don't Validate — In a Language That Doesn't Want You To · cekrem.github.io • Apr 7, 2026 at 6:39 AM • cekrem.github.io • r/programming
173
Germany Power Prices Turn Deeply Negative on Renewables Surge • Apr 7, 2026 at 6:33 AM • bloomberg.com • Hacker News
49
Plan 9 is a Uniquely Complete Operating System • Apr 7, 2026 at 6:29 AM • posixcafe.org • Lobsters
627
We found an undocumented bug in the Apollo 11 guidance computer code • Apr 7, 2026 at 6:25 AM • juxt.pro • Hacker News
220
Pijul a FOSS distributed version control system • Apr 7, 2026 at 6:16 AM • pijul.org • Hacker News
112
Bearblog is a Great Community • Apr 7, 2026 at 6:16 AM • brettmagill.bearblog.dev • Bear
2061
Some blind people use returning echoes from their own mouth clicks to perceive external surroundings, or echolocation. New experimental EEG study found 4 blind individuals comfortable with using echolocation could identify object location better than 21 people with vision intact in a dark room. • Apr 7, 2026 at 6:11 AM • eurekalert.org • r/science
240
Identify a London Underground Line just by listening to it • Apr 7, 2026 at 6:08 AM • tubesoundquiz.com • Hacker News
1169P
Are We Idiocracy Yet? • Apr 7, 2026 at 5:57 AM • idiocracy.wtf • Hacker News
121
AI crawlers are chewing through my staging bandwidth now, and the logs are stupid • Apr 7, 2026 at 5:56 AM • reddit.com • r/webdev
48
MemPalace, the highest-scoring AI memory system ever benchmarked • Apr 7, 2026 at 5:53 AM • github.com/milla-jovovich • Hacker News
121
Breaking the console: a brief history of video game security • Apr 7, 2026 at 5:51 AM • sergioprado.blog • Hacker News
166
Tofolli gates are all you need • Apr 7, 2026 at 5:40 AM • johndcook.com • Hacker News
101
Simplest Hash Functions • Apr 7, 2026 at 5:40 AM • purplesyringa.moe • Hacker News
48
Floyd's Sampling Algorithm • Apr 7, 2026 at 5:39 AM • buttondown.com • Hacker News
66P
Iran threatens OpenAI's Stargate data center in Abu Dhabi • Apr 7, 2026 at 5:29 AM • theverge.com • Hacker News
36
Floating point from scratch: Hard Mode • Apr 7, 2026 at 5:24 AM • essenceia.github.io • Lobsters
81
just inherited a codebase that stores literally everything in localstorage and im losing it • Apr 7, 2026 at 5:09 AM • reddit.com • r/webdev
73
OpenSSH Post-Quantum Cryptography (2025) • Apr 7, 2026 at 4:44 AM • openssh.com • Lobsters
213
Blackholing My Email • Apr 7, 2026 at 4:42 AM • johnsto.co.uk • Hacker News
535
Every GPU That Mattered • Apr 7, 2026 at 4:38 AM • sheets.works • Hacker News
21
The Cult Of Vibe Coding Is Insane • Apr 7, 2026 at 4:36 AM • bramcohen.com • Lobsters
36P
Iran Is Not Blocking the Strait of Hormuz. It's Running a Toll Booth • Apr 7, 2026 at 4:33 AM • shatterbelt.co • Hacker News
34P
A New Oil Shock Accelerates a Return to Nuclear Power • Apr 7, 2026 at 3:43 AM • nytimes.com • Hacker News
13
SSR Framework Benchmarks v2: What We Got Wrong, and the Real Numbers • Apr 7, 2026 at 3:36 AM • blog.platformatic.dev • r/webdev
372
Claude Is Not Your Architect. Stop Letting It Pretend. • Apr 7, 2026 at 3:30 AM • hollandtech.net • r/webdev
983
New research offers early evidence for what scientists describe as an “embodied model of consciousness,” linking physical sensations, mental time orientation, and even everyday bodily functions like sleep and digestion into a single, interconnected system. • Apr 7, 2026 at 3:29 AM • thedebrief.org • r/science
58
Network Flow Algorithms • Apr 7, 2026 at 3:27 AM • networkflowalgs.com • Hacker News
56
The pinnacle of enshittification, or Large Language Models • Apr 7, 2026 at 3:26 AM • blogs.gentoo.org • Lobsters
85
The Seed Beneath the Snow • Apr 7, 2026 at 2:58 AM • eli.li • Lobsters
109
Some iPhone Apps Receive Mysterious Update 'From Apple' • Apr 7, 2026 at 2:45 AM • macrumors.com • Hacker News
103P
When war crimes rhetoric becomes battlefield reality • Apr 7, 2026 at 2:39 AM • justsecurity.org • Hacker News
188536P
Cafe in Brazil not serving US or Israeli citizens. • Apr 7, 2026 at 2:30 AM • i.redd.it • r/pics
155
John Coltrane illustrates the mathematics of jazz • Apr 7, 2026 at 1:58 AM • americanjazzmusicsociety.com • Hacker News
42
Does your privacy policy actually cover third party pixels? Most devs I talk to are leaving a massive compliance gap. • Apr 7, 2026 at 1:39 AM • reddit.com • r/webdev
140
Three hundred synths, 3 hardware projects, and one app • Apr 7, 2026 at 1:12 AM • midi.guide • Hacker News
106
People love to work hard • Apr 7, 2026 at 12:58 AM • anildash.com • Hacker News
44
Multi-agentic Software Development is a Distributed Systems Problem (AGI can't save you) • Apr 7, 2026 at 12:50 AM • kirancodes.me • Lobsters
771P
We didn't need a union when the market was great. It isn't anymore. • Apr 7, 2026 at 12:45 AM • reddit.com • r/webdev
83P
New Jersey Cannot Regulate Kalshi's Prediction Market, US Appeals Court Rules • Apr 6, 2026 at 11:30 PM • reuters.com • yro.slashdot
153P
the women who promote patriarchy are just making mating calls • Apr 6, 2026 at 11:14 PM • nostalgia.bearblog.dev • Bear
25
Clojure on Fennel part one: Persistent Data Structures • Apr 6, 2026 at 11:07 PM • andreyor.st • Lobsters
39
Why the majority of vibe coded projects fail • Apr 6, 2026 at 11:05 PM • reddit.com • Hacker News
168
Robots eat cars • Apr 6, 2026 at 10:50 PM • telemetry.endeff.com • Hacker News
186
Clojure on Fennel Part One: Persistent Data Structures • Apr 6, 2026 at 10:09 PM • andreyor.st • Hacker News
152
Dear Heroku: Uhh What's Going On? • Apr 6, 2026 at 9:42 PM • judoscale.com • Hacker News
19
A cryptography engineer’s perspective on quantum computing timelines • Apr 6, 2026 at 9:21 PM • words.filippo.io • ~comp
223
Solod – A subset of Go that translates to C • Apr 6, 2026 at 8:48 PM • github.com/solod-dev • Hacker News
3886P
Deceptive online networks (fake profiles that impersonate US citizens) reached at least 15% of US adult users on Facebook during the US 2020 election. They primarily reached users who were older, more conservative, more frequently exposed to low-quality content, and spent more time on Facebook. • Apr 6, 2026 at 7:38 PM • nature.com • r/science
46
How Do You Find an Illegal Image Without Looking at It? • Apr 6, 2026 at 7:33 PM • mahmoud-salem.net • Hacker News
368
After 20 years I turned off Google Adsense for my websites (2025) • Apr 6, 2026 at 7:23 PM • blog.ericgoldman.org • Hacker News
78
The back story behind the first "$1.8B" dollar "AI Company" • Apr 6, 2026 at 7:16 PM • garymarcus.substack.com • Hacker News
145P
US reputation hits 'depths not seen this century' – and 'may never recover' • Apr 6, 2026 at 7:04 PM • rawstory.com • Hacker News
118P
OpenAI Calls For Robot Taxes, Public Wealth Fund, and 4-Day Workweek To Tackle AI Disruption • Apr 6, 2026 at 7:00 PM • yro.slashdot.org • yro.slashdot
64
NASA’s Artemis II crew flies around the moon (live broadcast) • Apr 6, 2026 at 6:55 PM • youtube.com • ~space
11
Breaking down Jo Adell's three home run robberies • Apr 6, 2026 at 6:34 PM • mlb.com • ~sports.baseball
141P
Bernie Sanders: "AI Is a Threat to Everything the American People Hold Dear" • Apr 6, 2026 at 5:57 PM • wsj.com • Hacker News
406
Anthropic expands partnership with Google and Broadcom for next-gen compute • Apr 6, 2026 at 5:52 PM • anthropic.com • Hacker News
152
Show HN: Hippo, biologically inspired memory for AI agents • Apr 6, 2026 at 5:49 PM • github.com/kitfunso • Hacker News
254
Ask HN: How do you handle marketing as a solo technical founder? • Apr 6, 2026 at 5:36 PM • news.ycombinator.com • Hacker News
85P
NYC families need over $125k in income to live in any borough • Apr 6, 2026 at 5:33 PM • bloomberg.com • Hacker News
667
Peptides: where to begin? • Apr 6, 2026 at 5:22 PM • science.org • Hacker News
17984
Hikikomori, extreme social withdrawal, is becoming a recognized issue among young adults around the world. Economic worries create a highly stressful environment for people entering adulthood. A person’s ability to cope with stress blocks the path from depressive symptoms to severe isolation. • Apr 6, 2026 at 5:21 PM • psypost.org • r/science
1275
I hate AI and I am depressed • Apr 6, 2026 at 5:17 PM • reddit.com • r/webdev
51
Inside a Corporate Retreat That Went Very Badly Wrong • Apr 6, 2026 at 4:44 PM • wsj.com • Hacker News
42
Root Persistence via macOS Recovery Mode Safari • Apr 6, 2026 at 4:41 PM • yaseenghanem.com • Hacker News
19
'Microshifting' puts a new spin on 9-to-5 schedules • Apr 6, 2026 at 4:40 PM • apnews.com • Hacker News
510
The Importance of Being Idle • Apr 6, 2026 at 4:33 PM • theamericanscholar.org • Hacker News
271
A macOS bug that causes TCP networking to stop working after 49.7 days • Apr 6, 2026 at 4:20 PM • photon.codes • Hacker News
84
Show HN: A (marginally) useful x86-64 ELF executable in 301 bytes • Apr 6, 2026 at 4:14 PM • github.com/meribold • Hacker News
100928
Mama pig and her piglet going outside for the first time after being rescued from abusive owner • Apr 6, 2026 at 4:01 PM • v.redd.it • r/nextfuckinglevel
85
Artemis II Astronauts Break Apollo Record For Farthest Distance Humans Have Traveled From Earth • Apr 6, 2026 at 4:00 PM • science.slashdot.org • science.slashdot
662
Show HN: Ghost Pepper – Local hold-to-talk speech-to-text for macOS • Apr 6, 2026 at 3:50 PM • github.com/matthartman • Hacker News
160
Wikipedia's AI agent row likely just the beginning of the bot-ocalypse • Apr 6, 2026 at 3:41 PM • malwarebytes.com • Hacker News
48P
War on Raze • Apr 6, 2026 at 3:40 PM • gist.github.com • Hacker News
77
Show HN: TTF-DOOM – A raycaster running inside TrueType font hinting • Apr 6, 2026 at 3:25 PM • github.com/4RH1T3CT0R7 • Hacker News
67
Samsung's Messages App Is Shutting Down • Apr 6, 2026 at 3:00 PM • androidcentral.com • Slashdot
93
Agent Reading Test • Apr 6, 2026 at 2:56 PM • agentreadingtest.com • Hacker News
55
SOM: A minimal Smalltalk for teaching of and research on Virtual Machines • Apr 6, 2026 at 2:54 PM • som-st.github.io • Hacker News
145
Zooming UIs in 2026: Prezi, impress.js, and why I built something different • Apr 6, 2026 at 2:53 PM • news.ycombinator.com • Hacker News
28
No on-site doctor: Dental student died in ICU overseen by remote tele-health MD • Apr 6, 2026 at 2:33 PM • lawandcrime.com • Hacker News
182
Londoners are sick of viral videos telling lies about their city • Apr 6, 2026 at 2:31 PM • londoncentric.media • Hacker News
1117
The cult of vibe coding is dogfooding run amok • Apr 6, 2026 at 2:31 PM • bramcohen.com • Hacker News
82
Why did Heroku launch new features after explicitly announcing no more feature development? • Apr 6, 2026 at 2:24 PM • judoscale.com • r/webdev
192
AI helps add 10k more photos to OldNYC • Apr 6, 2026 at 2:24 PM • danvk.org • Hacker News
160
The Downfall and Enshittification of Microsoft in 2026 • Apr 6, 2026 at 2:21 PM • caio.ca • Lobsters
21
BrowserStack local leaking private key • Apr 6, 2026 at 2:20 PM • infosec.exchange • Lobsters
820P
A study during the Israel-Gaza war finds that higher levels enemy dehumanization, conspiracy mentality, support for political violence, high social media use, and skepticism impair fake news detection—an ability further lowered by right-wing ideology and war-specific news. • Apr 6, 2026 at 2:16 PM • onlinelibrary.wiley.com • r/science
384
Got kicked out of uni and had the cops called for a social media website I made • Apr 6, 2026 at 2:10 PM • monyatwu.com • Hacker News
50P
Sam Altman may control our future—can he be trusted? • Apr 6, 2026 at 2:04 PM • newyorker.com • ~tech
1359
‘Passive’ screen time may raise dementia risk | Mentally Active Versus Passive Sedentary Behavior and Risk of Dementia: 19-Year Cohort Study • Apr 6, 2026 at 2:03 PM • cnn.com • r/science
254
Intelligent people are better judges of the intelligence of others • Apr 6, 2026 at 1:52 PM • psypost.org • Hacker News
33P
When is a Podcast Not a Podcast? • Apr 6, 2026 at 1:51 PM • forkingmad.blog • Bear
79
JPMorgan warns Tesla stock could sink 60% in new note • Apr 6, 2026 at 1:44 PM • finance.yahoo.com • Hacker News
4685P
A study analyzing the sentencing of 1,123 January 6 Capitol attack defendants finds no broad partisan differences among federal judges, but reveals that judges appointed by Joe Biden were significantly more lenient in their sentencing than all other presidential appointees. • Apr 6, 2026 at 1:42 PM • journals.sagepub.com • r/science
498
Adobe modifies hosts file to detect whether Creative Cloud is installed • Apr 6, 2026 at 1:38 PM • osnews.com • Hacker News
92
Leaving Bluesky • Apr 6, 2026 at 1:38 PM • foolsgold.bearblog.dev • Bear
699
Battle for Wesnoth: open-source, turn-based strategy game • Apr 6, 2026 at 1:37 PM • wesnoth.org • Hacker News
29
Artemis II Lunar Flyby (Official Broadcast) • Apr 6, 2026 at 1:28 PM • plus.nasa.gov • Hacker News
351
PDF of the current POSIX standard • Apr 6, 2026 at 1:15 PM • corvora.github.io • r/programming
598
Researchers found that infants who were fed standard kūmara—a type of sweet potato—experienced less nocturnal wakefulness. A separate group that received kūmara with added resistant starch showed a small increase in daytime sleep, but also experienced trends toward more problematic nighttime sleep. • Apr 6, 2026 at 1:10 PM • psypost.org • r/science
139
Show HN: Moon simulator game, ray-casting • Apr 6, 2026 at 1:09 PM • mooncraft2000.com • Hacker News
89
The sun on my face • Apr 6, 2026 at 1:07 PM • overthink.bearblog.dev • Bear
186P
More Americans Are Breaking Into the Upper Middle Class • Apr 6, 2026 at 1:00 PM • wsj.com • Slashdot
52
Git’s Magic Files • Apr 6, 2026 at 12:53 PM • nesbitt.io • Lobsters
58
Why do Macs ask you to press random keys when connecting a new keyboard? • Apr 6, 2026 at 12:40 PM • unsung.aresluna.org • Hacker News
75
Show HN: I Built Paul Graham's Intellectual Captcha Idea • Apr 6, 2026 at 12:36 PM • mentwire.com • Hacker News
478
Launch HN: Freestyle – Sandboxes for Coding Agents • Apr 6, 2026 at 12:32 PM • freestyle.sh • Hacker News
403P
Show HN: GovAuctions lets you browse government auctions at once • Apr 6, 2026 at 12:21 PM • govauctions.app • Hacker News
40
I Replaced Kafka, Redis, and RabbitMQ with One Tool – A Deep Dive into NATS • Apr 6, 2026 at 12:16 PM • medium.com/@jainal • Hacker News
838
81yo Dodgers fan can no longer get tickets because he doesn't have a smartphone • Apr 6, 2026 at 12:15 PM • twitter.com/Suzierizzo1 • Hacker News
56P
Reducto releases Deep Extract • Apr 6, 2026 at 12:13 PM • reducto.ai • Hacker News
205
I poorly estimated a year long rewrite • Apr 6, 2026 at 12:03 PM • bold-edit.com • r/programming
127
Sc-im: Spreadsheets in your terminal • Apr 6, 2026 at 12:00 PM • github.com/andmarti1424 • Hacker News
72
What games have you been playing, and what's your opinion on them? • Apr 6, 2026 at 12:00 PM • tildes.net • ~games
7
What have you been eating, drinking, and cooking? • Apr 6, 2026 at 12:00 PM • tildes.net • ~food
87
Peter Thiel Is Betting Big On Solar-Powered Cow Collars • Apr 6, 2026 at 12:00 PM • inc.com • Slashdot
616
AI singer now occupies eleven spots on iTunes singles chart • Apr 6, 2026 at 11:57 AM • showbiz411.com • Hacker News
76
are you closing your loops? • Apr 6, 2026 at 11:51 AM • tala.bearblog.dev • Bear
113P
More Americans are breaking into the upper middle class • Apr 6, 2026 at 11:46 AM • wsj.com • Hacker News
66
Show HN: Weird Clocks • Apr 6, 2026 at 11:46 AM • clocks.specr.net • Hacker News
100
Anthropic is burning more and more dev goodwill • Apr 6, 2026 at 11:40 AM • twitter.com/GergelyOrosz • Hacker News
786
A cryptography engineer's perspective on quantum computing timelines • Apr 6, 2026 at 11:31 AM • words.filippo.io • Hacker News
59
Someone good at CSS help, my website design is dying • Apr 6, 2026 at 11:23 AM • ahti.space • Lobsters
265
Sky – an Elm-inspired language that compiles to Go • Apr 6, 2026 at 11:22 AM • github.com/anzellai • Hacker News
158
Claude Code Down • Apr 6, 2026 at 11:22 AM • news.ycombinator.com • Hacker News
134
A Cryptography Engineer’s Perspective on Quantum Computing Timelines • Apr 6, 2026 at 11:20 AM • words.filippo.io • Lobsters
52
Doing Impressions: Monet's Early Caricatures (ca. late 1850s) • Apr 6, 2026 at 11:11 AM • publicdomainreview.org • Hacker News
107
Small Engines • Apr 6, 2026 at 11:11 AM • scottlocklin.wordpress.com • Hacker News
59
Nearly half of the US data centers planned for 2026 are getting delayed or canceled because nobody stockpiled enough transformers and circuit breakers • Apr 6, 2026 at 11:10 AM • futurism.com • ~tech
66
Copilot Is 'For Entertainment Purposes Only,' According To Microsoft's ToS • Apr 6, 2026 at 11:00 AM • slashdot.org • Slashdot
1054
What's everyone's obsession with storing everything in localStorage? • Apr 6, 2026 at 10:38 AM • reddit.com • r/webdev
1472
I won't download your app. The web version is a-ok • Apr 6, 2026 at 10:31 AM • 0xsid.com • Hacker News
59
Tildes Gardening Group: Week 6/4/26 • Apr 6, 2026 at 10:29 AM • tildes.net • ~hobbies
23
Knit File Formats • Apr 6, 2026 at 10:22 AM • soup.agnescameron.info • Hacker News
189
What does it mean to “write like you talk”? • Apr 6, 2026 at 10:22 AM • arjunpanickssery.substack.com • Hacker News
11
Figma to website: Project 4 • Apr 6, 2026 at 10:21 AM • i.redd.it • r/webdev
150P
When Virality Is the Message: The New Age of AI Propaganda • Apr 6, 2026 at 10:16 AM • time.com • Hacker News
426P
The team behind a pro-Iran, Lego-themed viral-video campaign • Apr 6, 2026 at 10:01 AM • newyorker.com • Hacker News
80
Show HN: I built a navigation app that displays weather along the route • Apr 6, 2026 at 9:58 AM • navimodo.com • Hacker News
480
German police name alleged leaders of GandCrab and REvil ransomware groups • Apr 6, 2026 at 9:52 AM • krebsonsecurity.com • Hacker News
2071
Issue: Claude Code is unusable for complex engineering tasks with Feb updates • Apr 6, 2026 at 9:50 AM • github.com/anthropics • Hacker News
222
Will I ever own a zettaflop? • Apr 6, 2026 at 9:49 AM • geohot.github.io • Hacker News
1685
Meta's AI crawler scraped my site 7.9 million times in 30 days. 900+ GB of bandwidth and massive server logs before I noticed, cool cool cool. • Apr 6, 2026 at 9:47 AM • i.redd.it • r/webdev
502
Book review: There Is No Antimemetics Division • Apr 6, 2026 at 9:44 AM • stephendiehl.com • Hacker News
18
Exposing and Understanding Scrolling Transfer Functions (2012) [pdf] • Apr 6, 2026 at 9:37 AM • direction.bordeaux.inria.fr • Hacker News
35
I Tried Vibing an RSS Reader and My Dreams Did Not Come True • Apr 6, 2026 at 9:18 AM • blog.jim-nielsen.com • Lobsters
50P
NY Times publishes headline claiming the "A" in "NATO" stands for "American" • Apr 6, 2026 at 9:18 AM • xcancel.com • Hacker News
177
C# in Unity 2026: Writing more modern code • Apr 6, 2026 at 9:08 AM • darkounity.com • Hacker News
3350
Study on 2.2 million people reveals that genes related to impulse control significantly influence addiction risk, suggesting that individual vulnerability is more due to brain wiring rather than specific substances • Apr 6, 2026 at 9:04 AM • rutgers.edu • r/science
26P
US state dealer laws add up to $5,000 to new car prices, ICLE study finds • Apr 6, 2026 at 8:56 AM • laweconcenter.org • ~transport
674
What being ripped off taught me • Apr 6, 2026 at 8:53 AM • belief.horse • Hacker News
224
Stamp It! All Programs Must Report Their Version • Apr 6, 2026 at 8:53 AM • michael.stapelberg.ch • r/programming
84
Show HN: I built a 2-min quiz that shows you how bad you are at estimating • Apr 6, 2026 at 8:50 AM • convexly.app • Hacker News
51
Using Discord on Plan 9 • Apr 6, 2026 at 8:21 AM • pmikkelsen.com • Lobsters
190
Paid in full for a website that was never delivered — developer has gone silent. Looking for advice and possibly help • Apr 6, 2026 at 8:13 AM • reddit.com • r/webdev
104
Ask HN: How do systems (or people) detect when a text is written by an LLM • Apr 6, 2026 at 8:03 AM • news.ycombinator.com • Hacker News
33
Educational calm content • Apr 6, 2026 at 7:58 AM • tildes.net • ~talk
13
A real-world case of property-based verification • Apr 6, 2026 at 7:53 AM • ochagavia.nl • Lobsters