⚽ Sphere Packing

Error Correcting Codes, Hamming Bounds, Geometric Coding Theory, Channel Capacity

Linear Risk Sharing on Networks
freakonometrics.hypotheses.org·2d
🤝Consensus Networks
PCBs and parts are on hand - beginning construction of new 1130MRAM board
rescue1130.blogspot.com·2d·
Discuss: rescue1130.blogspot.com
⚙️DIY Electronics
Compliance of mobile games with loot box probability disclosure law in Korea
sciencedirect.com·2d·
Discuss: Hacker News
⚖️Game Preservation Ethics
Experimenting with ACL2 and Claude Code
mikedodds.org·1d·
Discuss: Hacker News
👑Isabelle
SSH Security: Why You Should Touch to Verify
ubicloud.com·1d·
Discuss: Hacker News
🔒Hardware Attestation
Data-Error Scaling Laws in Machine Learning on Combinatorial Mutation-prone Sets: Proteins and Small Molecules
arxiv.org·1d
🧮Kolmogorov Complexity
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·2d·
Discuss: DEV
🗄️Database Internals
Automated Spectral Analysis for Precision Dimension Stone Grading & Yield Optimization
dev.to·11h·
Discuss: DEV
🌈Spectroscopy
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.to·17h·
Discuss: DEV
💻Local LLMs
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Detecting and Mitigating Insertion Hallucination in Video-to-Audio Generation
arxiv.org·1d
👁️Perceptual Coding
Complete Guide to Audio Processing in Python: From Spectrograms to Real-Time Applications
dev.to·9h·
Discuss: DEV
📊Spectral Analysis
How The Verge and our readers manage kids’ screen time
theverge.com·5h
🏺Gaming Archaeology
Bayesian Optimization for Dynamic Sample Size Allocation in A/B Testing
dev.to·2h·
Discuss: DEV
🧮Kolmogorov Bounds
Meshtastic: A Tale of Two Cities
hackaday.com·2d·
Discuss: Hacker News
🕸️Mesh Networking
M\"obius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
arxiv.org·3d
🕸️Graph Algorithms
Estimating Fair Graphs from Graph-Stationary Data
arxiv.org·1d
🌈Spectral Methods
A Total Variation Regularized Framework for Epilepsy-Related MRI Image Segmentation
arxiv.org·2d
📊Learned Metrics
How Calyx Is Solving The $100 Billion Problem That's Fragmenting DeFi Across 19 Blockchains
hackernoon.com·1d
🔗Hash Chains
Enhanced Arc-Fault Current Detection via Dynamic Bayesian Network Inference
dev.to·13h·
Discuss: DEV
🌊Stream Processing