Xiaomi 17 Pro has an iPhone-like design, but with a second display on the back [Video]
9to5google.com·16h
🍎Apple
Instant Domain Search MCP Server – Search domain name availability in AI chats
instantdomainsearch.com·17h·
Discuss: Hacker News
📡Network Protocol Design
Ollee Watch: Turn your classic Casio watch into a smartwatch
olleewatch.com·3d·
Discuss: Hacker News
🍎Apple
Sega revives 'blast processing' Genesis TV ad to fire shots at Mario Kart World
videogameschronicle.com·11h·
Discuss: Hacker News
📦Unikernel Systems
Security Through Intentional Redundancy
commaok.xyz·1d·
Discuss: Lobsters, Hacker News
🛡️seL4
These Ants Found a Loophole for a Fundamental Rule of Life
nytimes.com·1d·
Discuss: Hacker News
❄️Nix
$41M Crypto Hack
harrydonnelly.substack.com·1d·
Discuss: Substack
🛡️seL4
Microsoft favors Anthropic over OpenAI for Visual Studio Code
theverge.com·23h·
Discuss: Hacker News
🐫OCaml
Show HN: Flox – Nvidia CUDA available for the Nix ecosystem
flox.dev·6d·
Discuss: Hacker News
❄️Nixified Development
Karate – Test Automation Made Simple
karatelabs.github.io·6d·
Discuss: Hacker News
❄️Nixified Development
Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotat
discourse.llvm.org·6d·
Discuss: Lobsters, Hacker News, r/programming
⚙️PL Implementation
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
Just built a God Proof Simulator with React & TypeScript - Philosophy & Code Experiment
reddit.com·4d·
Discuss: r/programming
💎Refinement Types
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