fp.
news
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
Load More