Exploring Interlisp-10 and Twenex
journal.paoloamoroso.com·2d·
Discuss: Hacker News
❄️Nix
Your Biggest Customer Might Be Your Biggest Bottleneck
densumesh.dev·4d·
Discuss: Lobsters, Hacker News
🖥️Self-hosted Infrastructure
El Capitan Revealing Hidden Worlds in Previously Unattainable High-Fidelity
hpcwire.com·4d·
Discuss: Hacker News
📦Unikernel Systems
Show HN: I built a tool that turns cryptography papers into working Python code
paperstoapp.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
GPT-5 Thinking in ChatGPT (aka Research Goblin) is shockingly good at search
simonw.substack.com·1d·
Discuss: Substack
💾Retro Computing
Engineering excellence starts on edge
world.hey.com·2d·
Discuss: Lobsters, Hacker News
👁️System Observability
The State of AI Browser Agents in 2025
fillapp.ai·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Development Speed Has Never Been a Bottleneck
pawelbrodzinski.substack.com·2d·
Discuss: Substack
🔄Reproducible Builds
BIDO: A Unified Approach to Address Obfuscation and Concept Drift Challenges in Image-based Malware Detection
arxiv.org·3d
📊Runtime Verification
Show HN: Training an LLM to Play Wordle with RL on Apple Silicon
charbull.github.io·5d·
Discuss: Hacker News
📚Automata Learning
Dream: Visual Decoding from Reversing Human Visual System
github.com·1d·
Discuss: Hacker News
📚Automata Learning
Bootstrapping Android Development: a Survival Guide
hackaday.com·3d·
Discuss: Hacker News
❄️Nixified Development
OffVermilion
lesswrong.com·1d
🍎Apple
No Plans for the Weekend? Learn Raytracing!
hackaday.com·1d
🔬Unikernels
StealthEval: A Probe-Rewrite-Evaluate Workflow for Reliable Benchmarks
arxiv.org·5d
🔄Reproducible Builds
Are LLMs better suited for PR reviews than full codebases?
news.ycombinator.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Applying Functional Programming to a Complex Domain: A Practical Game Engine PoC
reddit.com·4d·
Discuss: r/programming
💎Refinement Types
Homelab V2 - thoughts and advice?
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Liquid Glass? That's what your M4 CPU is for
idiallo.com·3d·
Discuss: Hacker News
📺Vintage Apple
Show HN: Easy Adhoc Sandboxing on NixOS
github.com·4d·
Discuss: Hacker News
❄️Nixified Development