Show HN: Nativeblocks – Server driven UI platform
nativeblocks.io·5h·
Discuss: Hacker News
🍎XNU Internals
How to calibrate a large-scale agent-based model?
mcrcsm.substack.com·12h·
Discuss: Substack
📚Automata Learning
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·2d·
Discuss: Hacker News
🛡️seL4
Generating Website Banners Algorithmically
golfed.xyz·5h·
Discuss: Hacker News
💾Retro Computing
🚀 Looking for Feedback on ClearWork: Real-World Process Mapping, Future-State Design & Agentic Workflows
clearwork.io·23h·
Discuss: DEV, Hacker News
👁️System Observability
All unimaginery internet futures are in one place.(free) try now
sites.google.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Headscale with SQLite as database with auto failover by LiteFS and Consul
gawsoft.com·3d·
Discuss: Hacker News
🖥Self-Hosting
Supply chains and watering holes
cryptography.dog·2d·
Discuss: Lobsters
💎Refinement Types
At $183B San Francisco tech company, man's hunger strike enters second week
sfgate.com·4h·
Discuss: Hacker News
🩹Self-Healing Systems
Using AI to Augment, Not Automate Your Writing
blog.apiad.net·3h·
Discuss: Hacker News
✓Automated Theorem Proving
Center for the Alignment of AI Alignment Centers
alignmentalignment.ai·8h·
Discuss: Hacker News
💻CS
NAS setup with docker services as newbie
reddit.com·1d·
Discuss: r/homelab
🐳Containerization
Longhorn – A Kubernetes-Native Filesystem
vegard.blog.engen.priv.no·4d·
Discuss: Lobsters, Hacker News
🐳Containerization
Bringing Node.js HTTP Servers to Cloudflare Workers
blog.cloudflare.com·3d·
Discuss: Hacker News, Hacker News
🐳Containerization
The Rise of Async Programming
braintrust.dev·7h·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Show HN: DbSandboxer – Fast Isolated Postgres DBs for Spring Boot Tests
github.com·1h·
Discuss: Hacker News
📊Runtime Verification
Why retention is so hard for new tech products
andrewchen.substack.com·7h·
Discuss: Substack
🍎Apple
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Strategies for Improving Communication Efficiency in Distributed and Federated Learning: Compression, Local Training, and Personalization
arxiv.org·16h
🧩Parser Combinators
An Introduction to XForms
xml.com·2d·
Discuss: Hacker News
⚙️PL Implementation