fp.
news
Open in hackernews
The extended predicative Mahlo universe in Martin-Löf type theory
https://academic.oup.com/logcom/article/34/6/1032/7158523
15
•
danny00
•
2d ago
.de TLD offline due to DNSSEC?
https://dnssec-analyzer.verisignlabs.com/nic.de
375
•
warpspin
•
1h ago
•
132 comments
Accelerating Gemma 4: faster inference with multi-token prediction drafters
https://blog.google/innovation-and-ai/technology/developers-tools/multi-token-prediction-gemma-4/
370
•
amrrs
•
5h ago
•
167 comments
Write some software, give it away for free
https://nonogra.ph/write-some-software-give-it-away-for-free-05-05-2026
22
•
nohell
•
41m ago
•
7 comments
Computer Use is 45x more expensive than structured APIs
https://reflex.dev/blog/computer-use-is-45x-more-expensive-than-structured-apis/
235
•
palashawas
•
5h ago
•
123 comments
Three Inverse Laws of AI
https://susam.net/inverse-laws-of-robotics.html
313
•
blenderob
•
6h ago
•
212 comments
Google Chrome silently installs a 4 GB AI model on your device without consent
https://www.thatprivacyguy.com/blog/chrome-silent-nano-install/
1112
•
john-doe
•
14h ago
•
767 comments
EEVblog: The 555 Timer is 55 years old [video]
https://www.youtube.com/watch?v=6JhK8iCQuqI
183
•
brudgers
•
6h ago
•
41 comments
Our AI started a cafe in Stockholm
https://andonlabs.com/blog/ai-cafe-stockholm
28
•
lukaspetersson
•
1h ago
•
22 comments
Show HN: Explore color palettes inspired by 3000 master painter artworks
https://paletteinspiration.com/
68
•
ouli
•
3h ago
•
23 comments
Why Most Product Tours Get Skipped
https://productonboarding.com/articles/why-product-tours-get-skipped
8
•
pancomplex
•
1h ago
•
1 comments
GLM-5V-Turbo: Toward a Native Foundation Model for Multimodal Agents
https://arxiv.org/abs/2604.26752
86
•
gmays
•
4h ago
•
21 comments
Agents for financial services and insurance
https://www.anthropic.com/news/finance-agents
172
•
louiereederson
•
7h ago
•
124 comments
California farmers to destroy 420k peach trees following Del Monte bankruptcy
https://www.sfgate.com/centralcoast/article/usda-aid-california-farmers-22240694.php
190
•
littlexsparkee
•
3h ago
•
240 comments
IBM didn't want Microsoft to use the Tab key to move between dialog fields
https://devblogs.microsoft.com/oldnewthing/20260505-00/?p=112298
254
•
SeenNotHeard
•
4h ago
•
149 comments
The extended predicative Mahlo universe in Martin-Löf type theory
https://academic.oup.com/logcom/article/34/6/1032/7158523
15
•
danny00
•
2d ago
•
0 comments
Proliferate (YC S25) Is Hiring- 200k for junior engineers
https://www.ycombinator.com/companies/proliferate/jobs/L3copvK-founding-engineer
1
•
pablo24602
•
5h ago
When everyone has AI and the company still learns nothing
https://www.robert-glaser.de/when-everyone-has-ai-and-the-company-still-learns-nothing/
281
•
youngbrioche
•
12h ago
•
199 comments
Should I Run Plain Docker Compose in Production in 2026?
https://distr.sh/blog/running-docker-in-production/
324
•
pmig
•
5d ago
•
245 comments
Underwater robot tracks sperm whale conversations in real time
https://www.reuters.com/business/environment/underwater-robot-tracks-sperm-whale-conversations-re...
43
•
thedebuglife
•
2d ago
•
8 comments
Async Rust never left the MVP state
https://tweedegolf.nl/en/blog/237/async-rust-never-left-the-mvp-state
411
•
pjmlp
•
14h ago
•
220 comments
Zuckerberg 'Personally Authorized and Encouraged' Meta's Copyright Infringement
https://variety.com/2026/digital/news/meta-ai-mark-zuckerberg-copyright-infringement-lawsuit-publ...
138
•
spankibalt
•
4h ago
•
83 comments
Today I've made the difficult decision to reduce the size of Coinbase by ~14%
https://twitter.com/brian_armstrong/status/2051616759145185723
181
•
adrianmsmith
•
9h ago
•
196 comments
Researchers print structural colour with an inkjet printer
https://physicsworld.com/a/researchers-print-structural-colour-with-an-inkjet-printer/
31
•
zeristor
•
2d ago
•
5 comments
Show HN: Airbyte Agents – context for agents across multiple data sources
79
•
mtricot
•
7h ago
•
12 comments
iOS 27 is adding a 'Create a Pass' button to Apple Wallet
https://walletwallet.alen.ro/blog/ios-27-wallet-create-pass/
360
•
alentodorov
•
9h ago
•
278 comments
Apple Cuts More Mac Studio and Mac Mini RAM Options as Memory Shortage Worsens
https://www.macrumors.com/2026/05/05/apple-mac-studio-mac-mini-ram-cuts/
41
•
pixelesque
•
1h ago
•
27 comments
Quantum Key Distribution (QKD) and Quantum Cryptography (QC)
https://www.nsa.gov/Cybersecurity/Quantum-Key-Distribution-QKD-and-Quantum-Cryptography-QC/
36
•
mooreds
•
4h ago
•
13 comments
Collaborative Editing in CodeMirror (2020)
https://marijnhaverbeke.nl/blog/collaborative-editing-cm.html
51
•
luu
•
2d ago
•
7 comments
Comparing the Z80 and 6502 to Their Relatives
https://bumbershootsoft.wordpress.com/2026/05/02/comparing-the-z80-and-6502-to-their-relatives/
100
•
ibobev
•
2d ago
•
19 comments
Docker 29 has changed its default image store for new installs
https://docs.docker.com/engine/storage/containerd
115
•
neitsab
•
3d ago
•
69 comments
Load More