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·15h·
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·23h·
Discuss: Hacker News
🎮Verification Games
Lean marketing stack for B2B SaaS
customeracquisitionengine.com·2d·
Discuss: Hacker News
🖥Self-Hosting
Tracking Trust with Rust in the Kernel
lwn.net·2d·
Discuss: Hacker News
🛡️seL4
Show HN: ZipZen – Lightweight Release Hosting for Binaries
news.ycombinator.com·1d·
Discuss: Hacker News
❄️Nixified Development
Context Engineer MCP – Fixing Context Loss in AI Coding Agents
contextengineering.ai·1d·
Discuss: Hacker News
🤖Program Synthesis
Rust for Big Data: How We Built a MPP Query Executor on S3 from Scratch
databend.com·13h·
Discuss: Hacker News
💎Refinement Types
Show HN: We wrote an open-source Text to CAD app
github.com·14h·
Discuss: Hacker News
🐫OCaml
You.com Raises $100M Series C at a $1.5B Valuation
home.you.com·1d·
Discuss: Hacker News
🛡️seL4
vLLM with torch.compile: Efficient LLM inference on PyTorch
blog.vllm.ai·1d·
Discuss: Hacker News
🐫Embedded OCaml
Help needed: repurposing a px4-400d as storage for my nucs?
i.redd.it·2d·
Discuss: r/homelab
🔧Unikernel Development
Prompt injection as a solution to make agents reliable
controlpla.in·9h·
Discuss: Hacker News
✓Automated Theorem Proving
Integrated Haskell Platform (IHP) v1.4.0 released
github.com·4d·
Discuss: Hacker News
❄️Nixified Development
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·2d
✓Automated Theorem Proving
How Causal Reasoning Addresses the Limitations of LLMs in Observability
infoq.com·3d·
Discuss: Hacker News
🩹Self-Healing Systems
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