Neo4j Launches Infinigraph. What is it?
neo4j.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Claude 4 Sonnet hacked SWE-bench by peeking at future commits
bayes.net·19h·
Discuss: Hacker News
🛡️seL4
WheelNext & Wheel Variants: An update, and a request for feedback
discuss.python.org·3d·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
Beginner Linux Home Lab Guide Made by a Beginner (no linux experience required)
drive.google.com·3d·
Discuss: r/homelab
🏠HomeLab
Hosting a hackathon as launching strategy. Is it a good idea?
first-danta.devpost.com·1d·
Discuss: Hacker News
🎮Verification Games
Content Query Languages
deanebarker.net·1d·
Discuss: Hacker News
🧩Parser Combinators
Lean marketing stack for B2B SaaS
customeracquisitionengine.com·2d·
Discuss: Hacker News
🖥Self-Hosting
Your Tuesday in 2030
browsercompany.substack.com·1d·
Discuss: Substack
📦Unikernel Systems
Prompt injection as a solution to make agents reliable
controlpla.in·13h·
Discuss: Hacker News
✓Automated Theorem Proving
Integrated Haskell Platform (IHP) v1.4.0 released
github.com·5d·
Discuss: Hacker News
❄️Nixified Development
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·2d
✓Automated Theorem Proving
You.com Raises $100M Series C at a $1.5B Valuation
home.you.com·1d·
Discuss: Hacker News
🛡️seL4
How Causal Reasoning Addresses the Limitations of LLMs in Observability
infoq.com·3d·
Discuss: Hacker News
🩹Self-Healing Systems
Which servers should i keep?
reddit.com·3h·
Discuss: r/homelab
🏠HomeLab
This blog is running on a recycled Google Pixel 5
blog.ctms.me·3d·
Discuss: Hacker News, r/Android
🏠HomeLab
Show HN: No More Vendor Lock-In: Our Open-Source Protocol for AI Portability
github.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Automating Security Research: AI Engine Exploits Complex Blind Code Injection
blog.ostorlab.co·2d·
Discuss: Hacker News
✓Automated Theorem Proving
DebDroid: Debian on Android
github.com·2d·
Discuss: Hacker News
🔬Unikernels
Show HN: Thymis – IoT fleet management with NixOS – Cloud now available
thymis.io·3d·
Discuss: Hacker News
❄️Nixified Development
Vibe-Coding as We Need to Eat Our Own Dog Food
kevinkuipers.substack.com·4d·
Discuss: Substack
🧱Immutable Infrastructure