frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Ten ways a check passes while the thing it checks is broken

https://phronesis.world/papers/ways-of-checking/
17•degibug•2h ago

Comments

degibug•2h ago
The engineer whose checks are catalogued here is Claude, working on my site. The ten failure modes are its own, from one audit day.

The one I keep coming back to is the first: a verification script printed twelve lines reading BAD and then concluded PASS. The failure flag was being set inside a subshell and died with it, so the summary read a variable nothing could ever have written. The check wasn't lying — it was incapable of telling the truth.

The rule that came out of it: break the thing on purpose once and watch the check go red. If it cannot be made to fail, it is not an instrument, it is a decoration.

Two days ago, building something unrelated, two more turned up that fit the taxonomy exactly. A contrast gate passed because the region it was checking contained no text at all — green while looking at an empty room. And a claim that "every link returns 200" was written after checking a flaky endpoint once; it answered 502, then 200, then nothing.

nippoo•38m ago
https://news.ycombinator.com/newsguidelines.html

Don't post generated text or AI-edited text. HN is for conversation between humans.

nippoo•40m ago
This is the weirdest AI philosophi-slop I've read in a while. The whole website appears to be completely AI-generated - the 'portfolio' page is a doozy!

OpenAI and Hugging Face address security incident during model evaluation

https://openai.com/index/hugging-face-model-evaluation-security-incident/
958•mfiguiere•10h ago•653 comments

Kimi K3 Is Competitive with Fable; Kimi K3 and Fable Is SoTA

https://fireworks.ai/blog/kimik3-fable
499•piotrgrabowski•7h ago•280 comments

Kimi K3: second only to Fable 5 on AA-Briefcase

https://artificialanalysis.ai/articles/kimi-k3-agentic-knowledge-benchmark
41•wertyk•1h ago•2 comments

Original Apollo 11 Guidance Computer source code for command and lunar modules

https://github.com/chrislgarry/Apollo-11
18•noteness•1h ago•3 comments

LG to ban residential proxies from smart TV apps

https://krebsonsecurity.com/2026/07/lg-to-ban-residential-proxies-from-smart-tv-apps/
185•DemiGuru•4h ago•140 comments

Advertise in ChatGPT

https://ads.openai.com/
599•montecarl•11h ago•435 comments

FreeInk: Open ecosystem for e-readers

https://freeink.org/
491•FriedPickles•11h ago•113 comments

Late.sh – a command-line Clubhouse for computer people

https://late.sh/
68•itherseed•3h ago•18 comments

Gemini 3.6 Flash, 3.5 Flash-Lite, and 3.5 Flash Cyber

https://blog.google/innovation-and-ai/models-and-research/gemini-models/gemini-3-6-flash-3-5-flas...
656•logickkk1•15h ago•512 comments

A digestion of the Jacobian conjecture counterexample

https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/
232•jeremyscanvic•9h ago•77 comments

Judge approves $1.5B Anthropic settlement for pirated books used to train Claude

https://apnews.com/article/ai-anthropic-copyright-settlement-claude-books-bartz-74b140444023898ae...
262•BeetleB•11h ago•190 comments

Ten Steps Towards Happiness (2015)

http://hintjens.com/blog:99
93•emerongi•5h ago•22 comments

"Drawing" the Mona Lisa with GPT-5.6, Claude, Gemini, and Grok

https://www.tryai.dev/blog/ai-drawing-arena-colored-pencils-claude-gpt-grok
165•hershyb_•9h ago•56 comments

Long presumed dead, a thriving coral reef is discovered in West Africa

https://e360.yale.edu/digest/benin-coral-reef
332•speckx•14h ago•69 comments

Jack Dorsey launches Buzz to combine team chat, AI agents and Git hosting

https://runtimewire.com/article/jack-dorsey-block-buzz-team-chat-ai-agents-git
294•ryanmerket•13h ago•250 comments

Apple defeats liability for not scanning iCloud for CSAM

https://blog.ericgoldman.org/archives/2026/07/apple-defeats-liability-for-not-scanning-icloud-for...
397•speckx•15h ago•363 comments

Show HN: ReadKinetic – a free, local-first speed reader for your own books

https://www.readkinetic.com/app/
6•SamuraiLion•33m ago•1 comments

It's a shame what's happened to radio

https://blog.jimgrey.net/2026/07/21/its-a-shame-whats-happened-to-radio-3/
75•sonicrocketman•6h ago•67 comments

Show HN: A new kind of FPS aim trainer

https://openaim.pramit.gg/
3•pmazumder•44m ago•0 comments

Ask HN: US Equivalent of Anabin?

7•xqb64•1w ago•3 comments

Map of the world's great castles and fortresses

https://thecastlemap.com/
227•marklit•14h ago•153 comments

Gemini last models: temperature, top_p, and top_k are deprecated and ignored

https://ai.google.dev/gemini-api/docs/latest-model
65•greatgib•8h ago•21 comments

Laguna S 2.1

https://poolside.ai/blog/introducing-laguna-s-2-1
278•rexledesma•13h ago•50 comments

'VPNs are lawful technical tools,' says EU Court in landmark copyright ruling

https://www.techradar.com/vpn/vpn-privacy-security/vpns-are-lawful-technical-tools-says-eu-court-...
482•healsdata•10h ago•80 comments

Pico W firmware creates driverless USB WiFi bridge (Layer-2)

https://www.cnx-software.com/2026/07/16/pico-usb-wifi-converts-the-raspberry-pi-pico-w-into-a-dri...
31•whiteblossom•3d ago•2 comments

The Birth of Prolog (1996)

https://dl.acm.org/doi/10.1145/234286.1057820
90•Jtsummers•4d ago•7 comments

Show HN: Justif – Knuth-Plass justification and microtypography for the web

https://justif.lyall.co/
128•lyall•4d ago•22 comments

Bloomy (YC S26) is hiring a founding engineer

1•alexsouthmayd•13h ago

Roblox Officially Supports GrapheneOS

https://en.help.roblox.com/hc/en-us/articles/49648939984916-Android-Remote-Attestation
160•Cider9986•13h ago•33 comments

My USB Drive Has a Hidden Encrypted Vault

https://rootkitlabs.com/2026/06/22/I%27m-Building-a-Secure-USB-Drive/
209•machinehum•2d ago•111 comments