A software conference that advocates for quality
bettersoftwareconference.com·18m·
Discuss: Hacker News
🛡️seL4
Pure Rust cryptography is better than raw performance
kerkour.com·1d·
Discuss: Hacker News
🔬Static Analysis
Automatically Discover, Record, and Document APIs With WireMock AI
wiremock.io·1d·
Discuss: r/programming
👁️System Observability
C++: Maps on Chains
bannalia.blogspot.com·14h·
Discuss: Hacker News
🏹Effect Systems
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·23h·
Discuss: r/programming
🔬Static Analysis
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Intermediaries in Network-Based Ecosystems
mydata.org·8h·
Discuss: Lobsters, Hacker News
🖥️Self-hosted Infrastructure
Speclinter MCP
github.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Nvidia Unveils Helix Parallelism: 32x Faster AI Inference
storagereview.com·3h·
Discuss: Hacker News
⚙️Operating System Design
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·1d·
Discuss: Hacker News
❄️Nixified Development
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·18h
🐫OCaml
Announcing FOKS, the Federated Open Key Service
blog.foks.pub·3d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Complete guide to implementing OpenTelemetry in Nextjs applications - Traces, Metrics & Logs
signoz.io·2d·
Discuss: Hacker News, r/programming
👁️System Observability
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·18h
✓Automated Theorem Proving
The Next Wave
dumindu.github.io·1d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Bitchat: notes on the path forward ("yo!")
github.com·1d·
Discuss: Hacker News
🔬Unikernels
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·4d·
Discuss: Hacker News
🐫OCaml
A lightweight Cloudflare Dynamic DNS shell script
github.com·1d·
Discuss: Hacker News
📡Network Protocol Design
Why XSS Persists in This Frameworks Era?
flatt.tech·2d·
Discuss: Hacker News
🛡️seL4
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·18h
🔍Formal Verification