Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org·1d·
Discuss: Hacker News
💎Refinement Types
3D Modeling with Paper
arvinpoddar.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
OPNsense® 25.7 Released
deciso.com·10h·
Discuss: Hacker News
📦Unikernel Systems
Cliodynamics – History as Science
peterturchin.com·2d·
Discuss: Hacker News
⚡Process Calculi
Preview of LibrePCB 2.0's Next-Gen UI
librepcb.org·1d·
Discuss: Hacker News
🔧Unikernel Development
Findings from six months of running `govulncheck` in CI
brandur.org·2d·
Discuss: Hacker News
📊Runtime Verification
Measuring success when doing Math
kidswholovemath.substack.com·1d·
Discuss: Substack
🎮Verification Games
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
Characterization of the computed homology and cohomology bases -- technical report
arxiv.org·2d
➡️Category Theory
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·2d·
Discuss: Hacker News
👁️System Observability
Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
arxiv.org·5d
🌐NetworkProtocols
A Low-Rank tensor framework for THB-Splines
arxiv.org·2d
🐫OCaml
The CRITICAL Records Integrated Standardization Pipeline (CRISP): End-to-End Processing of Large-scale Multi-institutional OMOP CDM Data
arxiv.org·3d
🔄Reproducible Builds
Dicio: Open-Source Voice Assistant for Android
github.com·2d·
Discuss: Hacker News
🧩Parser Combinators
FreeCAD Foray: Good Practices
hackaday.com·2d
🔬Unikernels
Perplexity's Comet browser is magic
medium.com·14h·
Discuss: Hacker News
🍎Apple
The subjective experience of coding in different programming languages
interconnected.org·3d·
Discuss: Hacker News
🐫Embedded OCaml
Why scaling is profitable, and fast takeoffs will look slow on AI benchmarks
lesswrong.com·12h
🐫OCaml
OTESGN:Optimal Transport Enhanced Syntactic-Semantic Graph Networks for Aspect-Based Sentiment Analysis
arxiv.org·3d
🧩Parser Combinators