Construction of new 1130 MRAM memory board completed
rescue1130.blogspot.com·15h·
Discuss: rescue1130.blogspot.com
🛠️Greaseweazle
Announcing coreboot 25.09 release
blogs.coreboot.org·10h
🔌Operating system internals
World's largest hard drive on sale drops to its cheapest price ever just after Amazon Prime Day - 30TB Seagate Exos costs only $18.80/TB
techradar.com·18h
💽MiniDisc Technology
YouTube gets ~5% CTR lift on Shorts by replacing embedding tables with Semantic IDs
shaped.ai·1d
📊Feed Optimization
ALimiter
github.com·22h
🧠Memory Allocators
The Absolute Minimum Every Developer Must Know About Unicode and Character Sets
joelonsoftware.com·3d·
Discuss: Hacker News
🔤Character Encoding
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
Experimenting with ACL2 and Claude Code
mikedodds.org·21h·
Discuss: Hacker News
👑Isabelle
IKNet: Interpretable Stock Price Prediction via Keyword-Guided Integration of News and Technical Indicators
arxiv.org·1d
🧠Learned Indexing
Random Window Augmentations for Deep Learning Robustness in CT and Liver Tumor Segmentation
arxiv.org·1d
🧠Machine Learning
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·2d
📜Manuscript Algebras
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·1d
⚙️Compression Benchmarking
Real-Time Adaptive Sparsity Optimization for Edge-Deployed AI Inference Accelerators
dev.to·1d·
Discuss: DEV
🌊Streaming Compression
In-Depth Analysis: "Attention Is All You Need"
dev.to·18h·
Discuss: DEV
🧠Intelligence Compression
Dynamic Adaptive Redundancy Allocation via Hierarchical Bayesian Optimization
dev.to·15h·
Discuss: DEV
💾Storage Replication
Encoded Jamming Secure Communication for RIS-Assisted and ISAC Systems
arxiv.org·3d
ℹ️Information Theory
ACMID: Automatic Curation of Musical Instrument Dataset for 7-Stem Music Source Separation
arxiv.org·1d
🎵Audio Formats
Revisiting Mixout: An Overlooked Path to Robust Finetuning
arxiv.org·2d
🧠Learned Codecs
Automated Design of Peptide-Based Drug Candidates via Constrained Generative Adversarial Networks
dev.to·3h·
Discuss: DEV
🔍Vector Forensics
Bayesian Decision Making around Experts
arxiv.org·1d
🧮Kolmogorov Bounds