Perplexity Is on the Prowl to Buy Web Browsers
theinformation.com·9h
🍎Apple
Arm Neural Technology Delivers Smarter, Sharper, More Efficient Mobile Graphics for Developers
newsroom.arm.com·1d·
Discuss: Hacker News, r/hardware
🍎Apple
Understanding Context Windows
rkayg.com·2d·
Discuss: Hacker News
⚙️Operating System Design
Unducking Typescript primitive aliases
zerotrickpony.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🔠Type-Level Programming
Era of Bloated Software Is Over
news.ycombinator.com·1d·
Discuss: Hacker News
💾Retro Computing
Hardware Encryption with OPAL2 Self-Encrypting SSD on Linux (2022)
furayoshi.com·2d·
Discuss: Hacker News
🛡️seL4
Show HN: Generative Graphics LLM Benchmark
ggbench.com·2d·
Discuss: Hacker News
🎮Verification Games
AWS vs. GCP VPC architecture deep dive
kaamvaam.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
GPT-5 prompting guide
cookbook.openai.com·4d·
Discuss: DEV, Hacker News
✓Automated Theorem Proving
Improving Diversity in Language Models: When Temperature Fails, Change the Loss
arxiv.org·6h
🔠Type-Level Programming
Sample-efficient LLM Optimization with Reset Replay
arxiv.org·3d
🐫OCaml
Technical Report: Full-Stack Fine-Tuning for the Q Programming Language
arxiv.org·2d
🔠Type-Level Programming
Cloudflare tunnels crashing randomly
reddit.com·2h·
Discuss: r/homelab
🖥️Self-hosted Infrastructure
NAS vs Mini-PC for hosting docker containers
reddit.com·18h·
Discuss: r/homelab
🏠HomeLab
Containing the Horror — A Critique on Docker & Co (WHY2025)
cdn.media.ccc.de·1d
⎈Kubernetes
PPL: Point Cloud Supervised Proprioceptive Locomotion Reinforcement Learning for Legged Robots in Crawl Spaces
arxiv.org·6h
🤖Program Synthesis
Built With Borrowed Hands
cra.mr·6d·
Discuss: Hacker News
🛡️seL4
How AI and Agents Are Slashing 3 A.M. Wakeups
thenewstack.io·19h
✓Automated Theorem Proving
How we're shipping faster with Claude Code and Git Worktrees
incident.io·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Autonomous Air-Ground Vehicle Operations Optimization in Hazardous Environments: A Multi-Armed Bandit Approach
arxiv.org·2d
🔄Reproducible Builds