Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org·57m·
Discuss: Hacker News
💎Refinement Types
IO is special
blog.ploeh.dk·4d·
Discuss: Lobsters
💎Refinement Types
AI Assistant for Statements, Invoices and Receipts
bankgpt.io·12h·
Discuss: Hacker News
✓Automated Theorem Proving
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·3d·
Discuss: Lobsters, Hacker News, r/golang
📐Denotational Semantics
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·3d·
Discuss: Hacker News
📚Automata Learning
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·21h
📚Automata Learning
Show HN: Vibe Code Kit code with confidence
vibecodekit.dev·18h·
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 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
Reasonably accurate, privacy conscious, cookieless, visitor tracking for WordPress
shkspr.mobi·1d·
Discuss: Hacker News, shkspr.mobi
🧮Lambda Calculus
From Staff Messages to Actionable Insights: A Multi-Stage LLM Classification Framework for Healthcare Analytics
arxiv.org·3d
⚙Operational Semantics
Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.com·2d·
Discuss: Hacker News
🏹Effect Systems
Beyond Markdown (2018)
johnmacfarlane.net·4d·
Discuss: Lobsters, Hacker News
🧩Parser Combinators
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
We engineered RAG to be 50% faster
elevenlabs.io·6h·
Discuss: Hacker News
🧩Parser Combinators
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·3d·
Discuss: Hacker News
📊Runtime Verification