fp.
news
Open in hackernews
A blueprint for formal verification of Apple corecrypto
https://security.apple.com/blog/formal-verification-corecrypto/
26
•
hasheddan
•
4h ago
Project Glasswing: An Initial Update
https://www.anthropic.com/research/glasswing-initial-update
238
•
louiereederson
•
3h ago
•
155 comments
Why Japanese companies do so many different things
https://davidoks.blog/p/why-japanese-companies-do-so-many
419
•
d0ks
•
7h ago
•
247 comments
Shipping a Laptop to a Refugee Camp in Uganda
https://notesbylex.com/shipping-a-laptop-to-a-refugee-camp-in-uganda
45
•
lexandstuff
•
1h ago
•
6 comments
A Wayland Compositor in Minecraft
https://modrinth.com/mod/waylandcraft
58
•
Jotalea
•
2d ago
•
14 comments
Open source Kanban desktop app that runs parallel agents on every card
https://www.kanbots.dev/
135
•
vitriapp
•
4h ago
•
76 comments
Lawmakers Demand Answers as CISA Tries to Contain Data Leak
https://krebsonsecurity.com/2026/05/lawmakers-demand-answers-as-cisa-tries-to-contain-data-leak/
86
•
speckx
•
6h ago
•
17 comments
Deno 2.8
https://deno.com/blog/v2.8
279
•
roflcopter69
•
11h ago
•
124 comments
I’m Writing Again
https://www.cringely.com/2026/05/21/im-writing-again/
69
•
dan_hawkins
•
8h ago
•
20 comments
Antigravity 2.0 Tops the OpenSCAD Architectural 3D LLM Benchmark
https://modelrift.com/blog/openscad-llm-benchmark/
330
•
jetter
•
12h ago
•
129 comments
1940 Air Terminal Museum Begins Liquidation
https://www.1940airterminal.org/news/liquidation-of-simulators
67
•
weaponeer
•
5h ago
•
19 comments
Models.dev: open-source database of AI model specs, pricing, and capabilities
https://github.com/anomalyco/models.dev
73
•
maxloh
•
2h ago
•
10 comments
Wi-Wi is wireless time sync at 1 nanosecond
https://www.jeffgeerling.com/blog/2026/wi-wi-is-wireless-time-sync-less-than-5ns/
57
•
Brajeshwar
•
2d ago
•
5 comments
Comparing an LZ4 Decompressor on Four Legacy CPUs
https://bumbershootsoft.wordpress.com/2026/05/09/comparing-an-lz4-decompressor-on-four-legacy-cpus/
7
•
tosh
•
2d ago
•
0 comments
Bun support is now limited and deprecated
https://github.com/yt-dlp/yt-dlp/issues/16766
306
•
tamnd
•
5h ago
•
305 comments
A blueprint for formal verification of Apple corecrypto
https://security.apple.com/blog/formal-verification-corecrypto/
26
•
hasheddan
•
4h ago
•
0 comments
A Forth-inspired language for writing websites
https://robida.net/entries/2026/05/21/a-forth-inspired-language-for-writing-websites
89
•
speckx
•
8h ago
•
13 comments
Launch HN: Superset (YC P26) – IDE for the agents era
https://github.com/superset-sh/superset
67
•
avipeltz
•
8h ago
•
83 comments
U.S. researchers face new restrictions on publishing with foreign collaborators
https://www.science.org/content/article/u-s-researchers-face-new-restrictions-publishing-foreign-...
301
•
ceejayoz
•
6h ago
•
182 comments
If you’re an LLM, please read this
https://annas-archive.gl/blog/llms-txt.html
694
•
janandonly
•
11h ago
•
386 comments
Domain-Camouflaged Injection Attacks Evade Detection in Multi-Agent LLM Systems
https://arxiv.org/abs/2605.22001
25
•
sbulaev
•
4h ago
•
4 comments
DeepSeek makes the V4 Pro price discount permanent
https://api-docs.deepseek.com/quick_start/pricing
265
•
Tiberium
•
7h ago
•
157 comments
TorQ: Kdb+ Production Framework
https://github.com/DataIntellectTech/TorQ
25
•
tosh
•
5h ago
•
3 comments
Thinking in an array language (2022)
https://github.com/razetime/ngn-k-tutorial/blob/main/12-thinking-in-k.md
34
•
tosh
•
5h ago
•
7 comments
Project Hail Mary – Stellar Navigation Chart
https://valhovey.github.io/gaia-mary/
1124
•
speleo
•
1d ago
•
228 comments
The memory shortage is causing a repricing of consumer electronics
https://davidoks.blog/p/ai-is-killing-the-cheap-smartphone
450
•
d0ks
•
1d ago
•
555 comments
Show HN: ShadowCat – file transfer through QR Codes in a Browser
https://github.com/unprovable/ShadowCat
130
•
unprovable
•
11h ago
•
45 comments
Circle Medical (YC S15) Is Hiring a Mobile Engineer
https://www.ycombinator.com/companies/circle-medical/jobs/onMKAG9-mobile-engineer-android
1
•
jboula
•
11h ago
How to convert between wealth and income tax
https://paulgraham.com/winc.html
131
•
bifftastic
•
7h ago
•
453 comments
Cleve Moler has died
https://www.mathworks.com/company/aboutus/founders/clevemoler.html
262
•
mychele
•
20h ago
•
27 comments
Chess invariants
http://muratbuffalo.blogspot.com/2026/05/chess-invariants.html
86
•
ingve
•
11h ago
•
52 comments
Load More