12
13
Show HN: Lean4 proof that SSOT requires definition-time hooks and introspection (zenodo.org)
42
Why we're taking legal action against SerpApi's unlawful scraping (blog.google)
66
AI misses nearly one-third of breast cancers, study finds (emjreviews.com)
80
A closer look at a BGP anomaly in Venezuela (cloudflare.com)
11
Intricuit: A touchscreen add-on for Mac laptops (intricuit.com)
28
Covid-19 leaves a lasting mark on the human brain (griffith.edu.au)
98
Project Patchouli: Open-source electromagnetic drawing tablet hardware (patchouli.readthedocs.io)
40
Go.sum is not a lockfile (filippo.io)
79
Open Infrastructure Map (openinframap.org)
101
Chase to become new issuer of Apple Card (jpmorganchase.com)
25
Show HN: IceRaidsNearMe – Real-time, crowdsourced map of immigration enforcement (iceraidsnearme.com)
11
Native Amiga Filesystems on macOS / Linux / Windows with FUSE (github.com/reinauer)
82
Kernel bugs hide for 2 years on average. Some hide for 20 (pebblebed.com)
11
A glimpse into V8 development for RISC-V (riseproject.dev)
27
The virtual AmigaOS runtime (a.k.a. Wine for Amiga:) (github.com/cnvogelg)
24
Musashi: Motorola 680x0 emulator written in C (github.com/kstenerud)
54
U.S. is withdrawing from 66 international bodies (whitehouse.gov)
137
Fighting back against biometric surveillance at Wegmans (adafruit.com)
34
The Q, K, V Matrices (arpitbhayani.me)
13
Trump calls for record $1.5T defense budget, a 50 percent jump (politico.com)
60
Play Aardwolf MUD (aardwolf.com)
19
SSDs, power loss protection and fsync latency (smalldatum.blogspot.com)
42
Chase to become new issuer of Apple Card (apple.com)
15
Trump says Venezuela will purchase American products with revenue from oil deal (cnbc.com)
16
Driver shot in Minneapolis is at least the fifth person killed in US [ ] (apnews.com)
20
Trump pulls US out of 66 international bodies, including key UN climate treaty (theguardian.com)
189
ICE Is Going on a Surveillance Shopping Spree (eff.org)
14
Gemini now recommending products unprompted (reddit.com)
11
Anthropic Raising $10B at $350B Value (wsj.com)
12
Trump withdraws US from international organizations, White House says (reuters.com)
11
Show HN: I built a "Do not disturb" Device for my home office (apoorv.page)
44
[flagged] Minneapolis Mayor Blasts Kristi Noem's BS ICE Shoots Kills Woman in Minnesota (thedailypoliticususa.com)
10
Logitech mice impaired due to expired certificate (reddit.com)
20
So you wanna de-bog yourself (2024) (experimental-history.com)
19
My first paper: A practical implementation of Rubiks cube based passkeys (ieee.org)
16
[dupe] Mother identifies woman shot and killed by ICE agent in Minneapolis (startribune.com)
32
Show HN: I visualized the entire history of Citi Bike in the browser (bikemap.nyc)
60
LMArena is a cancer on AI (surgehq.ai)
27
2026 Predictions Scorecard (rodneybrooks.com)
50
Notion AI: Unpatched data exfiltration (promptarmor.com)
10
Coffeezilla: The most overrated scam investigator (greyenlightenment.com)
21
ICE kills woman in MN on Jan 7, 2025 [video] (reddit.com)
28
[flagged] ICE agent fatally shoots woman in Minneapolis (reuters.com)
13
What *is* code? (2015) (bloomberg.com)
12
Show HN: Free and local browser tool for designing gear models for 3D printing (dmtrkovalenko.dev)
44
Claude Code Emergent Behavior: When Skills Combine (vibeandscribe.xyz)
118
Claude Code CLI was broken (github.com/anthropics)
128
Tailscale state file encryption no longer enabled by default (tailscale.com)
35
[dupe] US immigration officer fatally shoots woman, 37, in Minneapolis, officials say (bbc.com)
111
Minneapolis driver shot and killed by ICE (nbcnews.com)
12
Dell admits consumers don't care about AI PCs (theverge.com)
14
Woman Shot to Death by Ice Agent in Minneapolis (kathy4u.substack.com)
19
ICE agents fatally shoot woman in Minneapolis (cnbc.com)
159
ChatGPT Health (openai.com)
17
Russia Once Offered U.S. Control of Venezuela for Free Rein in Ukraine (nytimes.com)
12
A practical guide to converting YAML to JSON safely (with Kubernetes examples) (coderaviverma.github.io)
34
Israel authorises electronic tracking of Palestinians – Middle East Monitor (middleeastmonitor.com)
487
US will ban Wall Street investors from buying single-family homes (reuters.com)
11
Trump Moves to Ban Investors from Buying Single-Family Homes (wsj.com)
66
How Google got its groove back and edged ahead of OpenAI (wsj.com)
59
NPM to implement staged publishing after turbulent shift off classic tokens (socket.dev)
28
Building voice agents with Nvidia open models (daily.co)
16
Predict your house price (bloomberg.com)
11
US says it will discuss Greenland ownership with Denmark next week (bbc.com)
17
Single Sign on for Furries (cendyne.dev)
72
A tab hoarder's journey to sanity (twitter.com/borisandcrispin)
104
Texas A&M bans part of Plato's Symposium (dailynous.com)
95
The $14 Burrito: Why San Francisco Inflation Feels Higher Than 2.5% (foglinesf.com)
481
Eat Real Food (realfood.gov)
26
BillG the Manager (2021) (learningbyshipping.com)
71
Health care data breach affects over 600k patients, Illinois agency says (nprillinois.org)
44
The Case for Nushell (2023) (sophiajt.com)
25
Quake Brutalist Jam III (slipseer.com)
75
The Target forensics lab (2024) (thehorizonsun.com)
89
Dell's CES 2026 chat was the most pleasingly un-AI briefing I've had in 5 years (pcgamer.com)
512
Creators of Tailwind laid off 75% of their engineering team (github.com/tailwindlabs)
26
Commodore 64 floppy drive has the power to be a computer and runs BASIC (tomshardware.com)
61
Many hells of WebDAV (candid.dev)
14
Netflix Migrates to Amazon Aurora: 75% Performance Boost and 28% Cost Reduction (infoq.com)
16
US seizes Russian tanker – are we all going to die? (theguardian.com)
118
LLM Problems Observed in Humans (embd.cc)
165
Shipmap.org (shipmap.org)
76
Meditation as Wakeful Relaxation: Unclenching Smooth Muscle (psychotechnology.substack.com)
14
Supreme Court Increasingly Favors the Rich, Economists Say (nytimes.com)
162
We might have been slower to abandon StackOverflow if it wasn't a toxic hellhole (pcloadletter.dev)
266
US Job Openings Decline to Lowest Level in More Than a Year (bloomberg.com)
321
Sugar industry influenced researchers and blamed fat for CVD (2016) (ucsf.edu)
10
How HTML changes in ePub (htmhell.dev)
119
LaTeX Coffee Stains (2021) [pdf] (illinois.edu)
11
Show HN: VaultSandbox – Test your real MailGun/SES/etc. integration (vaultsandbox.com)
163
Everyone hates OneDrive, Microsofts cloud app that steals and deletes files (boingboing.net)
13
Show HN: KeelTest – AI-driven VS Code unit test generator with bug discovery (keelcode.dev)
85
Gnome dev gives fans of Linux's middle-click paste the middle finger (theregister.com)
43
Show HN: We built a complete agentic work OS from scratch (planless.app)
18
Vector graphics on GPU (gasiulis.name)
131
A4 Paper Stories (susam.net)
50
Htmx: High Power Tools for HTML (github.com/bigskysoftware)
13
How to Be Less Awkward (experimental-history.com)
12