Clever Cloud: Automated hosting for developers to easily deploy apps
clever.cloud·3h·
Discuss: r/programming
🐳Containerization
Billion-Line Days Demand Billion-Test Nights
momentic.ai·1d·
Discuss: Hacker News
🤖Program Synthesis
The Little Book of Everything
github.com·2d·
Discuss: Hacker News
➡️Category Theory
Installing DarkPAN Perl Modules via Gitlab
domm.plix.at·3d·
Discuss: Hacker News
📦Unikernel Systems
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·23h·
Discuss: Hacker News
✓Automated Theorem Proving
Visual Studio 2026 Insiders is here! - Visual Studio Blog
devblogs.microsoft.com·23h·
Discuss: Hacker News, r/cpp
🔄Reproducible Builds
Rust's Enterprise Breakthrough Year
rust-trends.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Kleene's Recursion Theorem
en.wikipedia.org·3d·
Discuss: Hacker News
🧮Lambda Calculus
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·1d·
Discuss: Hacker News
📐Denotational Semantics
The OSS code that powers Claude and the maintainer they didn't hire
agenticweb.nearestnabors.com·15h·
Discuss: Hacker News
🔬Unikernels
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·21h·
Discuss: Hacker News
🛡️seL4
A Short Introduction to Tor
spec.torproject.org·1d·
Discuss: Hacker News
🌐NetworkProtocols
60-Lesson Course Curriculum : Hands-on System Design with Java Spring Boot
javatsc.substack.com·3d·
Discuss: r/programming
🧱Immutable Infrastructure
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·1d·
Discuss: Hacker News
📊Runtime Verification
Show HN: DevSwarm, run multiple AI coding assistants in parallel
devswarm.ai·2d·
Discuss: Hacker News
🤖Program Synthesis
Embedding Poisoning: Bypassing Safety Alignment via Embedding Semantic Shift
arxiv.org·1d·
Discuss: Lobsters
🧩Parser Combinators
I built a cycle-accurate SAP-3 8-bit CPU emulator in TypeScript with real-time visualization
sap-3.com·3d·
Discuss: r/programming
💾Retro Computing
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·2d·
Discuss: r/javascript, r/programming
💎Refinement Types
Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.com·4h·
Discuss: Hacker News
🏹Effect Systems
Agentic AI Runs on Tools
simplicityissota.substack.com·1d·
Discuss: Substack
✓Automated Theorem Proving