The breakthrough proof bringing mathematics closer to a grand unified theory
nature.com·9h·
Discuss: Hacker News
➡️Category Theory
In Real Life
nplusonemag.com·1d·
Discuss: Hacker News
🔬Unikernels
LTX Video Breaks The 60-Second Barrier, Redefining AI Video As A Longform Medium
forbes.com·6h·
Discuss: Hacker News
🔬Unikernels
Malware in DNS
dti.domaintools.com·5h·
Discuss: Hacker News
📡Network Protocol Design
Algorithms for making interesting organic simulations
bleuje.com·3d·
Discuss: Lobsters, Hacker News, Hacker News
🎮Verification Games
LLM Daydreaming
gwern.net·1d·
Discuss: Hacker News, Hacker News
✓Automated Theorem Proving
We're Seemingly Still in the "Throw Money At It" AI Era...
spyglass.org·2d·
Discuss: Hacker News
🔬Unikernels
Shopify makes AI usage a baseline expectation as a company
firstround.com·11h·
Discuss: Hacker News
🍎Apple
Modern webapp to write, run and learn M68K, MIPS, RISC-V, x86 assembly code
github.com·2d·
Discuss: Hacker News
⚙️PL Implementation
SEALGuard: Safeguarding the Multilingual Conversations in Southeast Asian Languages for LLM Software Systems
arxiv.org·1d
🔤DSLs
Looking for Resources on Agentic Coding for Game Development
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️seL4
AI and the Net-Zero Journey: Energy Demand, Emissions, and the Potential for Transition
arxiv.org·15h
🏹Effect Systems
Towards High Supervised Learning Utility Training Data Generation: Data Pruning and Column Reordering
arxiv.org·1d
🧪Property-Based Testing
Apple likely to be banned from selling iPhones made with Chinese displays
9to5mac.com·7h
🍎Apple
My First Homelab: A 1L PC Adventure and My DIY External Storage Solution!
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·5d·
Discuss: Hacker News
👁️System Observability
You can bring back Launchpad in macOS 26, but you shouldn’t
9to5mac.com·2d
🍎Apple
I need help with building my first homelab since chatgpt or anyone else doesn't respond
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Amazon Bedrock AgentCore
docs.aws.amazon.com·2h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: Open-Source Form Builder
github.com·5h·
Discuss: Hacker News
🐫OCaml