ProWorks Job Management Software
proworks.app·10h·
Discuss: Hacker News
🍎Apple
Testing the not-so-happy path
jorgeortiz.dev·3d·
Discuss: r/rust
🧪Property-Based Testing
Redis to Acquire Real-Time Data Platform Decodable
finance.yahoo.com·14h·
Discuss: Hacker News
🧱Immutable Infrastructure
It's Not a Framework · Taro
taro.codes·3d·
Discuss: r/programming
🧱Immutable Infrastructure
I have hacked to gather a software stack to take over the world
yetanotherprojecttosavetheworld.org·1d·
Discuss: Hacker News
🔬Unikernels
New Rust-Based Tool Installs Ruby in Seconds
thenewstack.io·1d
🔄Reproducible Builds
Build an AI coding agent in Python
theptrk.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
app.build: A Production Framework for Scaling Agentic Prompt-to-App Generation with Environment Scaffolding
arxiv.org·1d
🔄Reproducible Builds
Bootstrapping Android Development: a Survival Guide
hackaday.com·1d·
Discuss: Hacker News
❄️Nixified Development
Answering some questions about Baba Yaga
eli.li·6d·
Discuss: Hacker News
🧩Parser Combinators
Visual Development Is Fast Until Big-O Complexity Slows It Down. Here's Our Fix
jinen83.github.io·6h·
Discuss: Hacker News
🔄Reproducible Builds
40 years later, are Bentley's "Programming Pearls" still relevant?
shkspr.mobi·2d·
Discuss: Hacker News, Hacker News, shkspr.mobi, r/programming
📊Runtime Verification
RoguelikeDev Does the Complete Roguelike Tutorial 2025 in Odin
github.com·1d·
Discuss: Hacker News
🎮Verification Games
Small Steps vs. Big Steps
lesswrong.com·23m
⚙Operational Semantics
Solving Polynomial Systems with Gr\"obner Bases: An Introduction to F4 and FGLM
arxiv.org·1d
🐫OCaml
Systems Engineering for Agentic Applications
agenticapplications.substack.com·4d·
Discuss: r/programming
🩹Self-Healing Systems
C++'s Greatest Flaw
harshal.is-cool.dev·1d·
Discuss: Hacker News
🔬Static Analysis
AI Snacks: Small Ways to Sprinkle AI into Everyday Tools
amirmalik.net·18h·
Discuss: Hacker News
✓Automated Theorem Proving
Memory is slow, Disk is fast – Part 2
bitflux.ai·22h·
Discuss: Hacker News, r/programming
👁️System Observability
Show HN: Training an LLM to Play Wordle with RL on Apple Silicon
charbull.github.io·2d·
Discuss: Hacker News
📚Automata Learning