Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org·8h·
Discuss: Hacker News
💎Refinement Types
3D Modeling with Paper
arvinpoddar.com·9h·
Discuss: Hacker News
🔄Reproducible Builds
Preview of LibrePCB 2.0's Next-Gen UI
librepcb.org·5h·
Discuss: Hacker News
🔧Unikernel Development
Measuring success when doing Math
kidswholovemath.substack.com·27m·
Discuss: Substack
🎮Verification Games
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·4d·
Discuss: Lobsters, Hacker News, r/golang
📐Denotational Semantics
Findings from six months of running `govulncheck` in CI
brandur.org·1d·
Discuss: Hacker News
📊Runtime Verification
Rewriting Dataframes for MicroHaskell
mchav.github.io·4d·
Discuss: Hacker News, r/programming
🧮Lambda Calculus
Lessons from Studying Two-Hop Latent Reasoning
lesswrong.com·1d
📚Automata Learning
The subjective experience of coding in different programming languages
interconnected.org·2d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: Vibe Code Kit code with confidence
vibecodekit.dev·1d·
Discuss: Hacker News
🤖Program Synthesis
Contributions to Robust and Efficient Methods for Analysis of High Dimensional Data
arxiv.org·1d
➡️Category Theory
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space·2d·
Discuss: Hacker News
🔤DSLs
The Compounding Effect of Version Control Performance
diversion.dev·1d·
Discuss: Hacker News
🔧Unikernel Development
Get Excited About Postgres 18
crunchydata.com·11h·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Beyond Markdown (2018)
johnmacfarlane.net·5d·
Discuss: Lobsters, Hacker News
🧩Parser Combinators
From Staff Messages to Actionable Insights: A Multi-Stage LLM Classification Framework for Healthcare Analytics
arxiv.org·3d
⚙Operational Semantics
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·4d·
Discuss: Hacker News
📊Runtime Verification
We engineered RAG to be 50% faster
elevenlabs.io·14h·
Discuss: Hacker News
🧩Parser Combinators
Dissecting Batching Effects in GPT Inference
le.qun.ch·1d·
Discuss: Hacker News
📚Automata Learning
The Real Reasons Why Developers Burnout
jcmartinez.dev·1d·
Discuss: r/programming
🔄Reproducible Builds