QotNews

No Man Is an Island (borretti.me)

93 points by zetalyrae an hour ago on hackernews | 34 comments

A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda (blueberrywren.dev)

24 points by blueberrywren 6 hours ago on lobsters | 2 comments

Ideas aren't getting harder to find, anyone who tells you otherwise is a coward (experimental-history.com)

61 points by rafaelc 3 hours ago on hackernews | 20 comments

A statement on the Tor Project's relationship with Mullvad (blog.torproject.org)

75 points by runtimewire 5 hours ago on hackernews | 121 comments

You might want to try being less creative (blog.bawolf.com)

41 points by bryantwolf 2 hours ago on hackernews | 23 comments

Show HN: Carrier-Explode: iPhone, Pixel and Galaxy carrier settings decoded (carrierexplode.com)

127 points by simplyalec 3 hours ago on hackernews | 13 comments

The federal government just posted the largest deficit since COVID (reason.com)

957 points by jediporcupine 2 hours ago on reddit | 65 comments

Pointing AI at archives found a forgotten meteorite, lost rhinos, and more (jessewaites.com)

69 points by piratebroadcast 9 hours ago on hackernews | 31 comments

Typesafe AI raises $870M at $7.5B (typesafe.ai)

170 points by tosh 4 hours ago on hackernews | 133 comments

'Wallace and Gromit,' 90% Alone (animationobsessive.substack.com)

98 points by vinhnx 7 hours ago on hackernews | 14 comments

M7.6 Earthquake in Panama (earthquake.usgs.gov)

95 points by gslin 3 hours ago on hackernews | 33 comments

‘Medieval’ and ‘disturbing’: US plan to livestream execution elicits global condemnation (theguardian.com)

144 points by kiyomoris 3 hours ago on reddit | 10 comments

What are you doing this weekend? (lobste.rs)

11 points by caius 8 hours ago on lobsters | 16 comments

Why Are Coding Agents So Dumb? (mtlynch.io)

24 points by mtlynch 7 hours ago on lobsters | 10 comments

Sexually transmitted diarrhoea is on the rise and spreading rapidly (the-express.com)

1026 points by reflibman 4 hours ago on reddit | 182 comments

SpaceXAI joins Omacom and gives $1.5m Grok tokens for Omarchy (omarchy.org)

6 points by bln 12 hours ago on tildes | 12 comments

Why were Victorian elites so effective? They slept till noon, drank port, and partied through the Season. (worksinprogress.co)

58 points by works-in-progress 6 hours ago on reddit | 3 comments

Germany transforms former coal mines into Europe's largest lake landscape (euronews.com)

161 points by ohjeez 6 hours ago on hackernews | 87 comments

Python 3.15 (python.org)

269 points by ngoldbaum 6 hours ago on hackernews | 72 comments

Court throws out killer's sentence after judge said he loved AI video of victim (nbcnews.com)

67 points by rbanffy 7 hours ago on hackernews | 66 comments

Deno is joining Cloudflare (deno.com)

44 points by andrewchou 8 hours ago on lobsters | 22 comments

Yandex Takes a Second Data Center Hit in 48 Hours (united24media.com)

193 points by ortusdux 7 hours ago on hackernews | 263 comments

This could be worth reporting on.the only downside is how common cops act like this. Cop loses it at man asking him to do his job and help his kidnapped son (v.redd.it)

464 points by AngelHasAShotgun 8 hours ago on reddit | 110 comments

Our $445M Series D (oxide.computer)

516 points by ahlCVA 8 hours ago on hackernews | 219 comments

Once: Cache CLI commands (github.com)

83 points by baquero 11 hours ago on hackernews | 37 comments

Cloudflare acquires Deno (deno.com)

931 points by ilreb 8 hours ago on hackernews | 475 comments

A Girl Nearly Died After Drinking Raw Milk. The State Did Little to Punish the Unlicensed Farmer Who Sold It. (propublica.org)

236 points by raphaellaskies 18 hours ago on reddit | 43 comments

US proposes $100k charge for international students to do post-graduate work (nature.com)

74 points by bluenose69 9 hours ago on hackernews | 88 comments

Programming Isn’t Special (blog.glyph.im)

58 points by hugoarnal 10 hours ago on lobsters | 27 comments

The people holding up the internet (sheets.works)

35 points by mat 11 hours ago on tildes | 4 comments

Sorry, I'm in a meeting (iminafleeting.com)

654 points by splintersio 12 hours ago on hackernews | 214 comments

OpenAI fires three safety researchers for "mishandling research information" (techcrunch.com)

279 points by trakkstar 11 hours ago on hackernews | 181 comments

Show HN: Let your AI agents paint big arrows, boxes and text on your screen (github.com)

346 points by franze 10 hours ago on hackernews | 146 comments

Nobel Peace Prize for 2026 to Navanethem Pillay (nobelprize.org)

400 points by Anon84 11 hours ago on hackernews | 144 comments

The Goose Programming Language (github.com)

6 points by manuel a day ago on lobsters | 15 comments

Thinking will become a hobby (spinellis.gr)

6 points by adamo a day ago on lobsters | 18 comments

MXC - a sandboxed code execution system (github.com)

162 points by nreece 15 hours ago on hackernews | 78 comments

64-Day Certificate Lifetimes Coming Feb 2027 (letsencrypt.org)

33 points by fanf a day ago on lobsters | 18 comments

Programming Isn't Special (blog.glyph.im)

145 points by ingve 13 hours ago on hackernews | 162 comments

Bevy 0.20 (bevy.org)

31 points by BD103 22 hours ago on lobsters | 2 comments

OTel-Native by Design – Building Products That Export to Any Observability Stack (opentelemetry.io)

60 points by dhruv_ahuja 14 hours ago on hackernews | 11 comments

Show HN: Quake ported to safe Rust, playable in browser (quake-srp.pages.dev)

217 points by ilreb 16 hours ago on hackernews | 175 comments

Falsificationism is a mind projection fallacy. (reddit.com)

0 points by Novel_Arugula6548 16 hours ago on reddit | 61 comments

Scaling and benchmarking a critical message bus using a new indexing strategy (blog.janestreet.com)

50 points by eatonphil a day ago on hackernews | 4 comments

Keyboard differences between Windows and Macs (unsung.aresluna.org)

307 points by sohkamyung 18 hours ago on hackernews | 250 comments

Reducing undefined behavior in the C language (lwn.net)

123 points by signa11 19 hours ago on hackernews | 152 comments

Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs (arxiv.org)

16 points by Corbin a day ago on lobsters | 8 comments

Bevy 0.20 (bevy.org)

235 points by Philpax 22 hours ago on hackernews | 58 comments

Show HN: SVG Spark – 10 client-side SVG design and dev tools (svg-spark.vercel.app)

44 points by Zeus808 21 hours ago on hackernews | 8 comments

Russian Lab at Centre of Plague Scare Linked to Nearly $800K in US Research Funding Under RFK Jr. (ibtimes.co.uk)

111 points by esporx 20 hours ago on reddit | 7 comments

The Simple Truth Behind Jane Doe’s Story (theatlantic.com)

558 points by Master_McKnowledge 20 hours ago on reddit | 110 comments

OpenAI, the Partition Principle, and Mathematics (karagila.org)

192 points by md224 21 hours ago on hackernews | 291 comments

Billionaires fund California ballot measure to make voters show ID at polls (theguardian.com)

152 points by kiyomoris a day ago on reddit | 41 comments

Leap seconds have helped keep clocks synchronized with Earth’s rotation, but their time may be over (dornsife.usc.edu)

110 points by USCDornsifeNews a day ago on reddit | 18 comments

Ending the Casuarina Linux Experiment (casuarina.org)

34 points by FedericoSchonborn a day ago on lobsters | 5 comments

The Missing Piece in Rust Error Handling (mcmah309.github.io)

68 points by snej a day ago on lobsters | 21 comments

AI-ready biological data: $1.8B global commitment (biohub.org)

142 points by ray__ a day ago on hackernews | 20 comments

ADHD as a circadian rhythm disorder: evidence and implications for chronotherapy (2025) (frontiersin.org)

381 points by bookofjoe a day ago on hackernews | 237 comments

Show HN: Free open source Adobe Lightroom alternative, completely local with AI (github.com)

47 points by thesnarkitecht a day ago on hackernews | 60 comments

Yes, and (htmx.org)

709 points by Michelangelo11 a day ago on hackernews | 280 comments

Theranos.world (theranos.world)

536 points by kbyatnal a day ago on hackernews | 198 comments

Show HN: Making a flexible "neon" t-shirt with LED filaments (scottbezek.blogspot.com)

215 points by scottbez1 a day ago on hackernews | 37 comments

Why isn't the industry freaking out about DeepSeek 4.1 Flash? (dgt.is)

1055 points by jonotime a day ago on hackernews | 924 comments

US man given prison sentence for bot-farming music streams (thequietus.com)

200 points by cdrnsf a day ago on hackernews | 288 comments

Vitalik Buterin backs crypto ‘bunker mode’ amid rapid AI math advances (cointelegraph.com)

64 points by firstcomm a day ago on hackernews | 62 comments

The value of not getting to the point (2015) (ken.arneson.name)

221 points by NaOH a day ago on hackernews | 76 comments

New CRAM method offers giant boost to compressed memory reads (tomshardware.com)

58 points by danny00 a day ago on hackernews | 25 comments

OpenAI annualised revenues $20B less than previously signalled (cnbc.com)

421 points by mfiguiere a day ago on hackernews | 293 comments

What ArtCraft's Vibe-Coded Apps Say About Adobe (tedium.co)

30 points by speckx a day ago on hackernews | 66 comments

Show HN: K10s – A Clickable Kubernetes TUI (Go, Bubble Tea) (github.com)

67 points by pierreneter a day ago on hackernews | 53 comments

The Deeply Impersonal Personalized Recruiter Mail (blog.pentlander.com)

39 points by speckx a day ago on hackernews | 33 comments

Advice on TV and media storage (tildes.net)

8 points by Adarain a day ago on tildes | 12 comments

Step 5 Preview, a 1M-context MoE from StepFun, shows up on OpenRouter (openrouter.ai)

138 points by AnneWodell a day ago on hackernews | 28 comments

Whistle: Speech to Text in 16.9 MB (cactuscompute.com)

894 points by gmays a day ago on hackernews | 174 comments

Trump administration is suspending Microsoft from a green card program (apnews.com)

916 points by alephnerd a day ago on hackernews | 1473 comments