Rivian R1S review: second time’s the charm
theverge.com·1d·
Discuss: Hacker News
🔬Unikernels
RinaWarp Terminal v1.0.9 Beta Access – Now Available
rinawarp-terminal.vercel.app·1d·
Discuss: Hacker News
🍎Apple
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·13h·
Discuss: Hacker News
🏹Effect Systems
LLM Inference Handbook
bentoml.com·3d·
Discuss: Hacker News
🛡️seL4
Programming Language Theory has a public relations problem
happyfellow.bearblog.dev·13h·
Discuss: Lobsters, Hacker News
⚙️PL Implementation
Confessions of Mrs. Brown
fakepixels.substack.com·17h·
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
Update to my home lab!
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Mastering Language Models: A Deep Dive into Input Parameters
megaputer.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
Unifi NAS Pro or Synology RS1219 for XCP-NG NFS storage
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
OpenAI's "Archive" Button in ChatGPT Still Eats Conversations No Way to Recover
news.ycombinator.com·1h·
Discuss: Hacker News
❄️Nixified Development
The Impact of Automatic Speech Transcription on Speaker Attribution
arxiv.org·1h
✓Automated Theorem Proving
2039.js – The web framework that runs in the future (literally)
news.ycombinator.com·17h·
Discuss: Hacker News
🔄Finite State Machines
Remote Sensing Reveals Adoption of Sustainable Rice Farming Practices Across Punjab, India
arxiv.org·1h
🖥️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·14h·
Discuss: Hacker News
🔬Unikernels
The Non-Linear Representation Dilemma: Is Causal Abstraction Enough for Mechanistic Interpretability?
arxiv.org·1h
➡️Category Theory
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving