frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

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