Note
hsu.cy·18m
🔍Archive Semantics
GaloisInc/parameterized-utils
github.com·4d
🧮Algebraic Datatypes
Functions are Asymmetric
elbeno.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Building the Reasoning Engine at Axiom
axiommath.ai·1d·
Discuss: Hacker News
⚔️Lean Tactics
Dynamic Levels of Detail in Evolve
evolvebenchmark.com·3d·
Discuss: Hacker News
🖥️Terminal Renaissance
A case for learning GPU programming with a compute-first mindset – Maister's Gr
themaister.net·6d·
Discuss: Lobsters, Hacker News, r/programming
🖥️Terminal Renaissance
[R] DeepSeek 3.2's sparse attention mechanism
reddit.com·2d·
Discuss: r/MachineLearning
🌀Brotli Internals
Enhanced Thermoelectric Performance via Nanostructured Bi2Te3-Based Composites and Machine Learning Optimization
dev.to·15h·
Discuss: DEV
🌈Spectroscopy
DEGS: Deformable Event-based 3D Gaussian Splatting from RGB and Event Stream
arxiv.org·2d
🌀Differential Geometry
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·2d
🧠Machine Learning
SliceMoE: Routing Embedding Slices Instead of Tokens for Fine-Grained and Balanced Transformer Scaling
arxiv.org·5d
🧮Kolmogorov Complexity
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·6d
🔧Hardware Verification
Community: The 100% Open-Source AI Stack That Automates My Business, and Tricks for Troubleshooting It
dev.to·3d·
Discuss: DEV
🏠Homelab Orchestration
AI News and Releases: First Week of October 2025
dev.to·1d·
Discuss: DEV
🤖AI Curation
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Decoding Activation Functions: A Nine-Dimensional Signature for Network Harmony
dev.to·6h·
Discuss: DEV
📊Learned Metrics
Automated Genotoxicity Screening via Microfluidic-Integrated Raman Spectroscopy and Machine Learning
dev.to·2d·
Discuss: DEV
🌈Spectroscopy
Nicholas Renotte: I Spent 6 Weeks using Reinforcement Learning to Beat This GoDot Game
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Dynamic Adaptive Redundancy Allocation via Hierarchical Bayesian Optimization
dev.to·1d·
Discuss: DEV
💾Storage Replication
Hyper-Resolution Microscopy Image Enhancement via Adaptive Spatio-Temporal Filtering and Bayesian Reconstruction
dev.to·2d·
Discuss: DEV
🏺Computational Archaeology