Construction of new 1130 MRAM memory board completed
rescue1130.blogspot.com·10h·
Discuss: rescue1130.blogspot.com
🛠️Greaseweazle
Show HN: Nanowakeword – Automates custom wake word model training
github.com·17h·
Discuss: Hacker News
🎙️Whisper
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·15h·
Discuss: Hacker News
🌐Protocol Synthesis
The Absolute Minimum Every Developer Must Know About Unicode and Character Sets
joelonsoftware.com·2d·
Discuss: Hacker News
🔤Character Encoding
Why Low-Precision Transformer Training Fails: An Analysis on Flash Attention
huggingface.co·1d·
Discuss: Hacker News
📊Learned Metrics
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·16h·
Discuss: Hacker News
👑Isabelle
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·16h·
Discuss: DEV
📊Multi-vector RAG
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·7h·
Discuss: DEV
⚙️Proof Engineering
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·1d·
Discuss: r/LLM
💻Local LLMs
Adaptive Optimizable Gaussian Process Regression Linear Least Squares Regression Filtering Method for SEM Images
arxiv.org·1d
🏺Computational Archaeology
Dynamic Adaptive Redundancy Allocation via Hierarchical Bayesian Optimization
dev.to·10h·
Discuss: DEV
💾Storage Replication
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·15h·
Discuss: Hacker News
🎯Performance Proofs
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·9h·
Discuss: Hacker News
🛡️Error Boundaries
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
⚡Cache Theory
Neural Networks from Scratch in Python: Simpler Than You Think
hamza.se·8h·
Discuss: Hacker News
📊Quantization
Real-Time Adaptive Sparsity Optimization for Edge-Deployed AI Inference Accelerators
dev.to·19h·
Discuss: DEV
🌊Streaming Compression
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