QotNews

Creusot 0.14.0 release - Contracts for Rust, formally proved (devlog.creusot.rs)

15 points by lyxia 15 hours ago on lobsters | 6 comments

Women ‘more likely to be told autoimmune conditions are psychological’ (theguardian.com)

60 points by kiyomoris 5 hours ago on reddit | 3 comments

OpenAI engineer arrested in bugging of executive conference room (sfstandard.com)

292 points by forthwall 2 hours ago on hackernews | 252 comments

Will mystery of Amelia Earhart’s fate be solved at the bottom of a lagoon? (thetimes.com)

78 points by TimesandSundayTimes 3 hours ago on reddit | 48 comments

Show HN: Spotatui, a Spotify TUI/GUI without web API rate limits (github.com)

36 points by LargeModGames 11 hours ago on hackernews | 7 comments

A plea not to use uv-build (blogs.gentoo.org)

75 points by Ravencentric 5 hours ago on hackernews | 110 comments

Show HN: Guitoro, a virtual guitar you strum with your keyboard (guitoro.com)

183 points by talccc 4 hours ago on hackernews | 70 comments

Americans Say GOP Congress Would Make Them Poorer as Democrats Take the Lead on the Economy (ibtimes.co.uk)

697 points by terenscendent 4 hours ago on reddit | 38 comments

The United Kingdom generates less electricity per person than in the 1970s (ourworldindata.org)

172 points by karakoram 8 hours ago on hackernews | 241 comments

Korea's Per Capita GDP Overtakes Spain, to Near $50,000 Next Year on Chip Boom (en.sedaily.com)

327 points by rdh2dmd 8 hours ago on reddit | 106 comments

Show HN: How Random Are You? (lab.specr.net)

66 points by vunderba 6 hours ago on hackernews | 35 comments

Gemini 4 Argon for Robotics (developers.googleblog.com)

169 points by xnx 6 hours ago on hackernews | 40 comments

Launch HN: Consus (YC F24) – LLM gateway for companies handling sensitive data (news.ycombinator.com)

32 points by ericmags 7 hours ago on hackernews | 14 comments

MIT class project turns into an FDA-cleared treatment for tremors (news.mit.edu)

120 points by zdw a day ago on hackernews | 20 comments

Cyberattack halts construction of tunnel between Denmark and Germany (ua.news)

148 points by paaloeye 6 hours ago on hackernews | 105 comments

Redesigning source control at Anthropic (anthropic.com)

454 points by Philpax 7 hours ago on hackernews | 449 comments

Lotus Improv on the NeXT (stonetools.ghost.io)

18 points by gecko 12 hours ago on lobsters | 16 comments

Did Ente Locker copy my code without attribution? (fairscan.org)

62 points by tusharhero 9 hours ago on lobsters | 6 comments

An Arkansas Mom Obtained Public Records About a New Data Center. Then She Got Sued. (theintercept.com)

235 points by FreedomofPress 7 hours ago on reddit | 11 comments

Gemini 4 Argon (deepmind.google)

879 points by 737max 7 hours ago on hackernews | 689 comments

I posted to HN, and then my website was flooded with AI bot traffic (sammystraus.com)

219 points by sammy0910 7 hours ago on hackernews | 129 comments

The Trans Man Whose Pioneering Surgery Was A State Secret For Decades (buzzfeednews.com)

89 points by Quouar 9 hours ago on reddit | 0 comments

The reverts will continue until morale improves (peter.eisentraut.org)

39 points by kngl 11 hours ago on lobsters | 5 comments

Apple's new 'Switch to Safari' campaign details why you should ditch Chrome (9to5mac.com)

153 points by ivell 8 hours ago on hackernews | 251 comments

BB(10) > Graham's Number (github.com)

63 points by surprisetalk 10 hours ago on hackernews | 57 comments

A plea not to use uv-build (blogs.gentoo.org)

58 points by lim 8 hours ago on lobsters | 18 comments

Two Slices Of Deli Meat A Day Linked To 44% Higher Dementia Risk (studyfinds.com)

2094 points by cindyx7102 8 hours ago on reddit | 270 comments

New Apple TV 4K (apple.com)

260 points by corvad 9 hours ago on hackernews | 508 comments

A Visual Intro to Complex Numbers (photonlines.substack.com)

113 points by surprisetalk 11 hours ago on hackernews | 68 comments

AI models may be capable of self-replicating without access to a datacenter (anthropic.com)

26 points by skybrian 11 hours ago on tildes | 22 comments

Document Review with Unsiloed and TypeSafe Jev (unsiloed.ai)

45 points by ritzaco 14 hours ago on hackernews | 7 comments

A Dynamic and Distributed Virtual GPU Cloud Built on Idle Apple Silicon Devices (machinelearning.apple.com)

216 points by acossta 10 hours ago on hackernews | 91 comments

Apple HomeView (apple.com)

620 points by etothet 10 hours ago on hackernews | 750 comments

Where is all the new, good software? (natemeyvis.com)

34 points by gerikson 14 hours ago on lobsters | 54 comments

Character.ai has initiated voluntary Chapter 11 bankruptcy (blog.character.ai)

264 points by nryoo 15 hours ago on hackernews | 246 comments

A slightly faster slimmer curl (daniel.haxx.se)

32 points by wonk 16 hours ago on lobsters | 1 comment

Firefox Enterprise (firefox.com)

596 points by recvonline 11 hours ago on hackernews | 250 comments

Character.ai Files for Bankruptcy (theverge.com)

145 points by yanis_t 11 hours ago on hackernews | 18 comments

We turned EmbeddingGemma 2 into a speech-to-text model (eg2.haku.sh)

374 points by amrrs 11 hours ago on hackernews | 84 comments

AWS Lambda Web Functions (aws.amazon.com)

101 points by HatchedLake721 13 hours ago on hackernews | 94 comments

The American Dream Now Costs $5.3 Million. Even College Graduates May Not Earn Enough To Cover It. (ibtimes.com)

799 points by unconventionalbook 13 hours ago on reddit | 344 comments

Crypto thieves sell hardware wallets with secret eSIM (heise.de)

110 points by qwertox 14 hours ago on hackernews | 2 comments

Show HN: Use your OpenAI subscription to create audiobooks (pdftomp3.com)

158 points by janpmz 13 hours ago on hackernews | 78 comments

11 year old unsoundness bugs found in Rust borrow checker (github.com)

644 points by formerly_proven 12 hours ago on hackernews | 234 comments

Were software engineers blue-collar workers all along? (ptrbrynt.com)

89 points by ilreb 13 hours ago on hackernews | 188 comments

DishwasherBench – Can Frontier Models Stack a Dishwasher? (github.com)

83 points by mlukewizard 14 hours ago on hackernews | 49 comments

Where is all the new, good software? (natemeyvis.com)

52 points by ingve 14 hours ago on hackernews | 110 comments

Who is vfmaddrnd231pd?? (purplesyringa.moe)

69 points by valdemar 18 hours ago on lobsters | 14 comments

Threat of AI share crash puts world financial stability at risk, says IMF (theguardian.com)

109 points by novaRom 17 hours ago on hackernews | 124 comments

The Dock on Mac, from OS 10 to macOS 27 (blog.jim-nielsen.com)

98 points by soheilpro 21 hours ago on hackernews | 66 comments

your c is not standard c (sebsite.pw)

29 points by nytpu a day ago on lobsters | 3 comments

SFPD announces major reforms to rape investigations following SF Standard report (sfstandard.com)

43 points by TwoLocal5595 a day ago on reddit | 1 comment

AI models can provably hide arbitrary capabilities (arxiv.org)

271 points by sbulaev 21 hours ago on hackernews | 136 comments

A look at the math that OpenAI claims computes faster Fourier transforms (argmin.net)

237 points by mochomocha 20 hours ago on hackernews | 155 comments

Strengthening our defenses against distillation attacks (anthropic.com)

39 points by porridgeraisin 21 hours ago on hackernews | 91 comments

Leaving Tech (ryanbigg.com)

169 points by jonahx 20 hours ago on hackernews | 181 comments

Blood cells from 80-year-old donor become stem cells with molecular age under 20 (doi.org)

173 points by arunc 23 hours ago on hackernews | 123 comments

Janas: Run LLMs larger than RAM by streaming experts from SSD (github.com)

213 points by khalidkhair a day ago on hackernews | 84 comments

I made my personal website a fictional desktop OS, then kept adding programs to it (brentlaw.net)

23 points by Spkk a day ago on tildes | 18 comments

I turned my unused Kindle into a photo frame with GPT-6 Astra (nirajrajgor.com)

146 points by nirajrajgor a day ago on hackernews | 102 comments

Ukraine knocked out three Yandex data centers and the internet decided Kremlin troll farms died with them. We checked Russia's networks: only Yandex went dark (substack.com)

245 points by No_Twist6127 a day ago on reddit | 18 comments

Who is vfmaddrnd231pd? (purplesyringa.moe)

249 points by pngmangi a day ago on hackernews | 25 comments

Making big downloads resumable in Firefox (lunarwatcher.codeberg.page)

277 points by speckx a day ago on hackernews | 124 comments

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

18 points by caius a day ago on lobsters | 42 comments

AI is a tool and using it well takes skill (yyhh.org)

638 points by layer8 a day ago on hackernews | 478 comments

Fridges in French supermarkets hit by cyber attack (bbc.com)

45 points by riQQ a day ago on tildes | 17 comments

'AI' Is Not a Tool by Rich Hickey (linkedin.com)

301 points by svieira a day ago on hackernews | 156 comments

The Return of the Brazilian Far Right Is a Climate Catastrophe (newrepublic.com)

130 points by D-R-AZ a day ago on reddit | 5 comments

Writing a Demoscene Intro for the ZX Spectrum (markround.com)

174 points by zdw a day ago on hackernews | 37 comments

AI models may be capable of self-replicating without access to a datacenter (anthropic.com)

103 points by artninja1988 a day ago on hackernews | 108 comments

French supermarket chains say cyberattack forced refrigerator shutdown (afp.com)

35 points by aldantanneo a day ago on lobsters | 21 comments

OpenFatigue™ – Open is the new closed (openfatigue.ai)

233 points by ajcp a day ago on hackernews | 51 comments

Finding a $90,000 Remote Code Execution Vulnerability in Google (simonkoeck.com)

57 points by hoistbypetard a day ago on lobsters | 1 comment

Publishers Killed the Paperback, Then Blamed Readers (jacobin.com)

140 points by PaulHoule a day ago on hackernews | 86 comments

'If I'm wrong, I can retire': Why some physicists are now betting big that dark energy doesn't exist (sciencefocus.com)

845 points by reflibman a day ago on reddit | 64 comments