⚽ Sphere Packing

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

A small rant about compression
codecs.multimedia.cx·3d
📦Deflate
Modern C and initializing an array
subethasoftware.com·2d
🗂Data structures
Cluda: Gallium3D API Implemented Atop Nvidia CUDA Driver API
gitlab.freedesktop.org·5h·
Discuss: Hacker News
⚡Homebrew CPUs
6 AI Models vs. 3 Advanced Security Vulnerabilities
codelens.ai·18h·
Discuss: r/programming
🏠Homelab Pentesting
Physicists capture rare illusion of an object moving at 99.9% the speed of light
livescience.com·5h·
Discuss: Hacker News
⏰Time Crystals
Is Proxmox the correct next step? ComfyUI, sharing NVMes across multiple VMs, unraid VM Nas, and more!
reddit.com·1h·
Discuss: r/homelab
💿Proxmox HA
Real-Time Cortical Activity Decryption via Multi-Modal Graph Neural Network Fusion
dev.to·13h·
Discuss: DEV
📊Spectral Graphs
Physics-informed AI excels at large-scale discovery of new materials
phys.org·2d
🧠Machine Learning
Build a Private AI Chatbot for Your PDFs with Genkit and Gaia
dev.to·11h·
Discuss: DEV
📄Document Streaming
Parallel-in-Time Solution of Allen-Cahn Equations by Integrating Operator Learning into the Parareal Method
arxiv.org·2d
🕸️Tensor Networks
Scientists Discover a New Form of Ice That Shouldn’t Exist
scitechdaily.com·5h
🧊Arctic Storage
Strategic Communication under Threat: Learning Information Trade-offs in Pursuit-Evasion Games
arxiv.org·2d
🔲Cellular Automata
From Defender to Devil? Unintended Risk Interactions Induced by LLM Defenses
arxiv.org·2d
✨Effect Handlers
I want to eventually upgrade my little server into something better… suggestions?
reddit.com·1h·
Discuss: r/homelab
🖥️Modern CPU
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Is GRPO Broken?
neelsomaniblog.com·1d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Unlock Deep Learning Stability: Navigate the Activation Function Galaxy with 9 Dimensions!
dev.to·20h·
Discuss: DEV
🧠Machine Learning
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·2d
⛪Church Encoding
A Conformal Prediction-Based Chance-Constrained Programming Approach for 24/7 Carbon-Free Data Center Operation Scheduling
arxiv.org·5d
🎯Performance Proofs
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·6d
🎯Performance Proofs