APRS over LoRa with RNode | unsigned.io
unsigned.io·1d
📻Homebrew Protocols
Cryptography for the Everyday Developer: Number Theory for Public Key Cryptography
sookocheff.com·4d
🔢Reed-Solomon Math
Michael Kohn - tin can phone modem
mikekohn.net·22h
🧪Cassette Hacks
AWS RDS Data API Deep Dive
proactiveops.io·1h·
Discuss: Hacker News
🌊Streaming Databases
SAT problems are kind of cool
blog.karanjanthe.me·2d·
Discuss: Hacker News
🧮SMT Solvers
Show HN: Realization Jsmn on a Pure Zig
github.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
State of Opinion – Programming Languages – Autumn 2025 Edition
xlii.space·2h·
Discuss: Hacker News
🔗Concatenative Languages
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·17h·
Discuss: DEV
⚙️Proof Engineering
Detecting and Mitigating Insertion Hallucination in Video-to-Audio Generation
arxiv.org·1d
👁️Perceptual Coding
Haskell Weekly Issue 493
haskellweekly.news·2d·
Discuss: Hacker News
🧬Functional Programming
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.org·2d
📊Graph Databases
An enough week
blog.mitrichev.ch·1d·
📈Linear programming
Automated Fault Prediction and Residual Lifetime Estimation in Cryogenic Pumps via Dynamic Bayesian Network (DBN)
dev.to·1h·
Discuss: DEV
📊Quantization
GPT-5 for AI-assisted discovery
johndcook.com·1d·
Discuss: Hacker News
🎯Performance Proofs
Logistic-Gated Operators Enable Auditable Unit-Aware Thresholds in Symbolic Regression
arxiv.org·3d
📐Error Bounds
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.to·18h·
Discuss: DEV
🔤Character Classification
ParsTranslit: Truly Versatile Tajik-Farsi Transliteration
arxiv.org·1d
📜Digital Philology
Quantum-Aware Federated Learning for Open QaaS Platform Validation
dev.to·1d·
Discuss: DEV
⚛️Quantum Compilers