Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org·1d·
Discuss: Hacker News
💎Refinement Types
What Is the Fourier Transform?
hackaday.com·1d
🧮Lambda Calculus
Findings from six months of running `govulncheck` in CI
brandur.org·2d·
Discuss: Hacker News
📊Runtime Verification
Raking in the chips
claremontreviewofbooks.com·16h·
Discuss: Hacker News
🔧Unikernel Development
Measuring success when doing Math
kidswholovemath.substack.com·1d·
Discuss: Substack
🎮Verification Games
The Compounding Effect of Version Control Performance
diversion.dev·2d·
Discuss: Hacker News
🔧Unikernel Development
Get Excited About Postgres 18
crunchydata.com·1d·
🔄Reproducible Builds
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·5d·
Discuss: Hacker News
📊Runtime Verification
We engineered RAG to be 50% faster
elevenlabs.io·1d·
Discuss: Hacker News
🧩Parser Combinators
Perplexity's Comet browser is magic
medium.com·18h·
Discuss: Hacker News
🍎Apple
Why scaling is profitable, and fast takeoffs will look slow on AI benchmarks
lesswrong.com·16h
🐫OCaml
Lessons learned from a 100 blog posts on AI
frontierai.substack.com·2d·
Discuss: Substack
🧠Automated Reasoning
The exceptionalism of software is unwarranted
overbring.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
A Masked Representation Learning to Model Cardiac Functions Using Multiple Physiological Signals
arxiv.org·2d
📚Automata Learning
Validity Verification of the New TOEFL Writing Task Based on Classical Test Theory
arxiv.org·5d
Automated Theorem Proving
Scaling asyncio on Free-Threaded Python
labs.quansight.org·4d·
👁️System Observability
How to Use Claude Code Subagents to Parallelize Development
zachwills.net·4d·
Discuss: Hacker News
🤖Program Synthesis
DiFlow-TTS: Discrete Flow Matching with Factorized Speech Tokens for Low-Latency Zero-Shot Text-To-Speech
arxiv.org·2d
🧩Parser Combinators
A GitHub Co-Founder's Next Commit
opensourcepledge.com·3d·
Discuss: Hacker News
🍏Darwin