Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org·4h·
Discuss: Hacker News
💎Refinement Types
Scaling asyncio on Free-Threaded Python
labs.quansight.org·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
👁️System Observability
AI Assistant for Statements, Invoices and Receipts
bankgpt.io·15h·
Discuss: Hacker News
✓Automated Theorem Proving
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·4d·
Discuss: Lobsters, Hacker News, r/golang
📐Denotational Semantics
Analog Optical Computer for Inference and Combinatorial Optimization
hackaday.com·17h
💻CS
Choices (2000)
joelonsoftware.com·3h·
Discuss: Hacker News
📺Vintage Apple
LAMDAS: LLM as an Implicit Classifier for Domain-specific Data Selection
arxiv.org·3d
🐫OCaml
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·3d·
Discuss: Hacker News
📚Automata Learning
IO is special
blog.ploeh.dk·4d·
Discuss: Lobsters
💎Refinement Types
Get Excited About Postgres 18
crunchydata.com·7h·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
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
The Compounding Effect of Version Control Performance
diversion.dev·1d·
Discuss: Hacker News
🔧Unikernel Development
Show HN: Vibe Code Kit code with confidence
vibecodekit.dev·21h·
Discuss: Hacker News
🤖Program Synthesis
Reasonably accurate, privacy conscious, cookieless, visitor tracking for WordPress
shkspr.mobi·1d·
Discuss: Hacker News, shkspr.mobi
🧮Lambda Calculus
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
Beyond Markdown (2018)
johnmacfarlane.net·4d·
Discuss: Lobsters, Hacker News
🧩Parser Combinators