DeepPrune: Parallel Scaling without Inter-trace Redundancy
dev.to·7h·
Discuss: DEV
🚀SIMD Parsing
Flag this post
Half-Quadratic Quantization of large machine learning models
dropbox.tech·14h
📊Quantization
Flag this post
Helion: A High-Level DSL for Performant and Portable ML Kernels
pytorch.org·20h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Learning Linear Attention in Polynomial Time
arxiv.org·10h
🧠Machine Learning
Flag this post
A Systems Engineer’s Guide to Benchmarking with RDTSC
blog.codingconfessions.com·2h
Performance Tools
Flag this post
NextSilicon Maverick-2 promises to blow away the HPC market Nvidia left behind
theregister.com·16h
🖥️Modern Terminals
Flag this post
Show HN: Cuq – Formal Verification of Rust GPU Kernels
github.com·18h·
🦀Rust Verification
Flag this post
When Models Manipulate Manifolds: The Geometry of a Counting Task
transformer-circuits.pub·1d·
Discuss: Hacker News
🌀Differential Geometry
Flag this post
Metagenomi generates millions of novel enzymes cost-effectively using AWS Inferentia
aws.amazon.com·1d
🔄Sync Engine
Flag this post
A lifting week
blog.mitrichev.ch·2d·
🎯Performance Proofs
Flag this post
Optimization by decoded quantum interferometry
nature.com·22h
⚛️Quantum Algorithms
Flag this post
Disaggregated Inference: The Past, Present and Future
hao-ai-lab.github.io·1d
Cache Coherence
Flag this post
Human ingenuity outpaces AI in finding new 'kissing number' bounds
phys.org·18h
🔲Cellular Automata
Flag this post
Memory Maps (MMAP) Deliver 25x Faster File Access in Go
info.varnish-software.com·37m·
Discuss: Hacker News
💾Memory Mapping
Flag this post
Why SSA?
mcyoung.xyz·1d·
🚀Compiler Optimizations
Flag this post
Multiple Linear Regression, Explained Simply (Part 1)
towardsdatascience.com·1h
📈Linear programming
Flag this post
MoE-GS: Mixture of Experts for Dynamic Gaussian Splatting
arxiv.org·10h
🏺Computational Archaeology
Flag this post
Updating a 3-Year-Old Project: Japanese Property Price Forecasting Gets a Modern Pipeline
dev.to·5h·
Discuss: DEV
📏Code Metrics
Flag this post
NextSilicon Maverick-2 Brings Dataflow and HBM3e to HPC Customers
servethehome.com·12h
🖥️Modern Terminals
Flag this post
A Probabilistic Computing Approach to the Closest Vector Problem for Lattice-Based Factoring
arxiv.org·10h
🔲Lattice Cryptography
Flag this post