frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Introduction to Formal Verification with Lean Part 1

https://hashcloak.com/blog/tutorial-introduction-to-formal-verification-with-lean-(part-1)
24•badcryptobitch•2d ago

OpenAI and Hugging Face address security incident during model evaluation

https://openai.com/index/hugging-face-model-evaluation-security-incident/
1189•mfiguiere•14h ago•825 comments

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

https://fireworks.ai/blog/kimik3-fable
646•piotrgrabowski•12h ago•348 comments

Intel Starts Shipping High-NA EUV Silicon

https://morethanmoore.substack.com/p/intel-starts-shipping-high-na-euv
83•zdw•3d ago•18 comments

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

https://github.com/chrislgarry/Apollo-11
84•noteness•5h ago•24 comments

Introduction to Formal Verification with Lean Part 1

https://hashcloak.com/blog/tutorial-introduction-to-formal-verification-with-lean-(part-1)
26•badcryptobitch•2d ago•0 comments

Advertise in ChatGPT

https://ads.openai.com/
788•montecarl•15h ago•585 comments

FreeInk: Open ecosystem for e-readers

https://freeink.org/
571•FriedPickles•15h ago•122 comments

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

https://late.sh/
182•itherseed•8h ago•64 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...
381•BeetleB•15h ago•322 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...
696•logickkk1•19h ago•531 comments

A digestion of the Jacobian conjecture counterexample

https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/
266•jeremyscanvic•13h ago•98 comments

Codeberg: ToU extension to prohibit LLM-extrusions

https://codeberg.org/Codeberg/org/pulls/1253
10•robin_reala•2h ago•8 comments

Show HN: A new kind of FPS aim trainer

https://openaim.pramit.gg/
52•pmazumder•4h ago•28 comments

Ten Steps Towards Happiness (2015)

http://hintjens.com/blog:99
141•emerongi•9h ago•51 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
204•hershyb_•13h ago•74 comments

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

https://e360.yale.edu/digest/benin-coral-reef
351•speckx•18h ago•76 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
323•ryanmerket•17h ago•276 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...
420•speckx•20h ago•400 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/
113•sonicrocketman•11h ago•109 comments

ScreenWall – Turn old phones into synced widgets for your space

https://screenwall.app/
29•buibuibui•4d ago•8 comments

Atomically Thin Materials Significantly Shrink Qubits

https://spectrum.ieee.org/2d-hbn-qubit
9•Jimmc414•4d ago•1 comments

Laguna S 2.1

https://poolside.ai/blog/introducing-laguna-s-2-1
324•rexledesma•17h ago•61 comments

Map of the world's great castles and fortresses

https://thecastlemap.com/
261•marklit•18h ago•163 comments

LG to ban residential proxies from smart TV apps

https://krebsonsecurity.com/2026/07/lg-to-ban-residential-proxies-from-smart-tv-apps/
284•DemiGuru•8h ago•277 comments

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

https://ai.google.dev/gemini-api/docs/latest-model
91•greatgib•13h ago•29 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-...
570•healsdata•14h ago•100 comments

I graded 36 popular MCP servers on agent usability. A third got a D or F

https://tengli.dev/posts/mcp-servers-failing-agents.html
15•tengbyte•4h ago•3 comments

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

https://justif.lyall.co/
163•lyall•4d ago•28 comments

My USB Drive Has a Hidden Encrypted Vault

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

Roblox Officially Supports GrapheneOS

https://en.help.roblox.com/hc/en-us/articles/49648939984916-Android-Remote-Attestation
192•Cider9986•17h ago•49 comments