Human: Everything you need to know about the most extraordinary story of all
bbc.co.uk·17h·
Discuss: Hacker News
🍎Apple
How this app is making $80 000/month with TikTok marketing
autoslides.pro·15h·
Discuss: Hacker News
🍎Apple
How to Make Music a Useful Part of Your Life Again
nik.art·7h·
Discuss: Hacker News
🍎Apple
Notes from an Indian Wedding
theahura.substack.com·1d·
Discuss: Substack
🛡️seL4
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·1d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
San Francisco rolls out Microsoft's Copilot AI for 30k city workers
cnbc.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Potions – A simple way to save, version, and share AI prompts
potions.io·9h·
Discuss: Hacker News
✓Automated Theorem Proving
A2A Protocol ADK guide – hands-on demo for building agents
a2aprotocol.ai·15h·
Discuss: Hacker News
🌐NetworkProtocols
Folly: IOBuf and Zero-Copy Networking
uvdn7.github.io·2d·
Discuss: Hacker News
📦Unikernel Systems
Coming to ISO C++ 26 Standard: An AI Acceleration Edge
thenewstack.io·1d·
Discuss: Hacker News
🔤DSLs
Age Assurance and Bluesky
havenweb.org·1d·
Discuss: Hacker News
🍎Apple
DuSEGO: Dual Second-order Equivariant Graph Ordinary Differential Equation
arxiv.org·19h
🐫OCaml
A code quality battle between 6 AI agents
sourcery.ai·14h·
Discuss: Hacker News
👁️System Observability
Show HN: ProjectD – Google Drive-based, AES-encrypted C2 in C/C++
github.com·10h·
Discuss: Hacker News
🌐NetworkProtocols
Graph-based Multi-Modal Interaction Lightweight Network for Brain Tumor Segmentation (GMLN-BTS) in Edge Iterative MRI Lesion Localization System (EdgeIMLocSys)
arxiv.org·19h
➡️Category Theory
AWS launches Kiro, an agentic AI IDE, to end the chaos of vibe coding
techradar.com·3h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Looking for a lightweight Linux distro
reddit.com·3d·
Discuss: r/homelab
❄️Nix
Continuous Spiking Graph Neural Networks
arxiv.org·19h
💻CS
Rethinking Prompt Optimization: Reinforcement, Diversification, and Migration in Blackbox LLMs
arxiv.org·19h
🎮Verification Games
Physical KVM vs IP
reddit.com·8h·
Discuss: r/homelab
🏠HomeLab