Rivian R1S review: second time’s the charm
theverge.com·1d·
Discuss: Hacker News
🔬Unikernels
The Commodore 64 Ultimate computer is the company's first hardware release in over 30 years — pre-orders start at $299
tomshardware.com·1d·
Discuss: Hacker News, Hacker News
💾Retro Computing
Show HN: CMS-like editing for Markdown with and some JavaScript
mattismegevand.com·17h·
Discuss: Hacker News
🏹Effect Systems
Scientists reportedly hiding AI text prompts in academic papers to receive positive peer reviews
theguardian.com·6h·
Discuss: Hacker News
✓Automated Theorem Proving
LLM Inference Handbook
bentoml.com·3d·
Discuss: Hacker News
🛡️seL4
Programming Language Theory has a public relations problem
happyfellow.bearblog.dev·17h·
Discuss: Lobsters, Hacker News
⚙️PL Implementation
Confessions of Mrs. Brown
fakepixels.substack.com·21h·
Discuss: Substack
🔬Unikernels
Building Real-Time AI Streaming Services with AWS Lambda and Architect
metaduck.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
The Complete MCP Experience: Full Specification Support in VS Code
code.visualstudio.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Mastering Language Models: A Deep Dive into Input Parameters
megaputer.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
The Impact of Automatic Speech Transcription on Speaker Attribution
arxiv.org·5h
✓Automated Theorem Proving
2039.js – The web framework that runs in the future (literally)
news.ycombinator.com·21h·
Discuss: Hacker News
🔄Finite State Machines
Show HN: Empromptu.ai – Agentic AI Building AI Apps
news.ycombinator.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Remote Sensing Reveals Adoption of Sustainable Rice Farming Practices Across Punjab, India
arxiv.org·5h
🖥️Self-hosted Infrastructure
KDE ISO Image Writer is finally getting a UI redesign and new features
neowin.net·2d·
Discuss: Hacker News
🔬Unikernels
NK's fake tech workers targeting European employers with help from UK operatives
theregister.com·18h·
Discuss: Hacker News
🔬Unikernels
The Non-Linear Representation Dilemma: Is Causal Abstraction Enough for Mechanistic Interpretability?
arxiv.org·5h
➡️Category Theory
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
My First Long-Term Homelab Build: 9U Rack, 3-Node K3s Cluster, Ubiquiti & GitOps
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Proxmox on main pc.
reddit.com·5h·
Discuss: r/homelab
📦Unikernel Systems