Exploring Interlisp-10 and Twenex
journal.paoloamoroso.com·2d·
Discuss: Hacker News
❄️Nix
Social dynamics of Bluetooth speakers (2022)
dynomight.net·1d·
Discuss: Hacker News
🍎Apple
Neo4j Launches Infinigraph. What is it?
neo4j.com·2d·
Discuss: Hacker News
🔧Unikernel Development
How the "Kim" Dump Exposed North Korea's Credential Theft Playbook
dti.domaintools.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Longhorn – A Kubernetes-Native Filesystem
vegard.blog.engen.priv.no·15h·
Discuss: Lobsters, Hacker News
🐳Containerization
How to Write a Crash Reporter
gamesbymason.com·19h·
Discuss: Hacker News
📊Runtime Verification
GPT-5 Thinking in ChatGPT (aka Research Goblin) is shockingly good at search
simonwillison.net·1d·
Discuss: Hacker News, Hacker News
💾Retro Computing
No-CPU Amiga Demo and Framework
github.com·2d·
Discuss: Hacker News
🔧Unikernel Development
LLMs encode theory-of-mind: a study on sparse parameter patterns
nature.com·2d·
Discuss: Hacker News
📚Automata Learning
StealthEval: A Probe-Rewrite-Evaluate Workflow for Reliable Benchmarks
arxiv.org·4d
🔄Reproducible Builds
Rug pulls, forks, and open-source feudalism
lwn.net·1d·
Discuss: Hacker News
📦Unikernel Systems
Zero-Click Remote Code Execution: Exploiting MCP and Agentic IDEs
lakera.ai·1d·
Discuss: Hacker News
🛡️seL4
Fresh + Vite Means 9-12x Faster Development for Deno
thenewstack.io·1d
❄️Nixified Development
The Babysitter Problem
chrisbeckman.dev·1d·
Discuss: Hacker News
🛡️seL4
ANTS: Shaping the Adaptive Negative Textual Space by MLLM for OOD Detection
arxiv.org·2d
🧩Parser Combinators
AI Snacks: Small Ways to Sprinkle AI into Everyday Tools
amirmalik.net·2d·
Discuss: Hacker News
✓Automated Theorem Proving
No Plans for the Weekend? Learn Raytracing!
hackaday.com·1d
🔬Unikernels
VulRTex: A Reasoning-Guided Approach to Identify Vulnerabilities from Rich-Text Issue Report
arxiv.org·2d
🛡️seL4
Near-Duplicate Text Alignment under Weighted Jaccard Similarity
arxiv.org·4d
🧩Parser Combinators
Synthetic generation of online social networks through homophily
arxiv.org·3d
🧩Parser Combinators