Xiaomi 17 Pro has an iPhone-like design, but with a second display on the back [Video]
9to5google.comยท19h
๐ŸŽApple
Instant Domain Search MCP Server โ€“ Search domain name availability in AI chats
instantdomainsearch.comยท19hยท
Discuss: Hacker News
๐Ÿ“กNetwork Protocol Design
Sega revives 'blast processing' Genesis TV ad to fire shots at Mario Kart World
videogameschronicle.comยท13hยท
Discuss: Hacker News
๐Ÿ“ฆUnikernel Systems
A compact cassette tape for DNA-based data storage
science.orgยท5dยท
Discuss: Hacker News, Hacker News
๐ŸณContainerization
Microsoft favors Anthropic over OpenAI for Visual Studio Code
theverge.comยท1dยท
Discuss: Hacker News
๐ŸซOCaml
Check Point Acquires Lakera to Deliver AI Security for Enterprises
checkpoint.comยท16hยท
Discuss: Hacker News
๐Ÿ”Formal Verification
The Shift from ML Engineering to AI Engineering
bryananthonio.comยท1dยท
Discuss: Hacker News
๐Ÿ“šAutomata Learning
Windows Secure Boot certificates are expiring, here is everything you need know
neowin.netยท1dยท
Discuss: Hacker News
๐Ÿ”งUnikernel Development
Designing Trust at Scale in Travel: What Moved Retention for Wego
news.ycombinator.comยท56mยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
Windows KASLR Bypass โ€“ CVE-2025-53136
crowdfense.comยท5dยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
The Only Way to Build Trust Is to Give Trust
davidpoll.comยท1dยท
Discuss: Hacker News
๐Ÿ›ก๏ธseL4
Where are the security advisories of the recently compromised NPM packages?
gribnau.devยท4dยท
Discuss: Hacker News
โ„๏ธNixified Development
Vibe Coding Is Creating Degenerate Gamblers
nmn.glยท4dยท
Discuss: Hacker News, r/webdev
๐ŸŽฎVerification Games
M5 MacBook Pro: Hereโ€™s what to expect
9to5mac.comยท2d
๐ŸŽApple
iOS 26 is now available, hereโ€™s whatโ€™s new for iPhone
9to5mac.comยท1d
๐ŸŽApple
Using the Pepper Robot to Support Sign Language Communication
arxiv.orgยท2d
๐ŸฉนSelf-Healing Systems
Show HN
github.comยท4dยท
Discuss: Hacker News, Hacker News
๐ŸงฉParser Combinators
Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.orgยท2d
๐ŸงฉParser Combinators
Emulating Public Opinion: A Proof-of-Concept of AI-Generated Synthetic Survey Responses for the Chilean Case
arxiv.orgยท2d
๐Ÿ“šAutomata Learning
A minimal formula for AI destiny (Max O subject to D(world,human) โ‰ค ฮต)
news.ycombinator.comยท19hยท
Discuss: Hacker News
๐Ÿ“Denotational Semantics