Hyper-Efficient Quantized Neural Network Pruning via Adaptive Bit-Width Allocation
dev.to·1d·
Discuss: DEV
📊Quantization
Why AI Alone Fails at Large-Scale Code Modernization
thenewstack.io·5h
🔄Language Evolution
Answering some questions about Baba Yaga
eli.li·4h·
Discuss: Hacker News
🎯Dependent Types
Google Summer of Code 2025 Reports: Asynchronous I/O Framework
blog.netbsd.org·3h
🔩Systems Programming
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
The use of Claude Code in SciML repos
discourse.julialang.org·22h·
Discuss: Lobsters
📏Code Metrics
Adaptive Root Cause Localization for Microservice Systems with Multi-Agent Recursion-of-Thought
arxiv.org·1d
🧮Z3 Solver
Understanding Automatic Differentiation
swagatmitrab.vercel.app·1d·
Discuss: Hacker News
📐Error Bounds
Replacing Developers with GPUs
ayende.com·1d·
Discuss: Hacker News
📏Code Metrics
Embedding MicroHs
thma.github.io·21h
🔗Functional Compilers
Condor's Cuzco RISC-V Core at Hot Chips 2025
old.chipsandcheese.com·3h·
Discuss: Lobsters, Hacker News
⚙️Modern Assembly
Adaptive Redox Flow Battery Stack Design via Bayesian Optimization & Multi-Objective Reinforcement Learning
dev.to·3h·
Discuss: DEV
🌡️Preservation Thermodynamics
AI researcher Andrej Karpathy says he's "bearish on reinforcement learning" for LLM training
the-decoder.com·8h
🧠Intelligence Compression
Mojo Roadmap Document
docs.modular.com·1d·
Discuss: Hacker News
💻Programming languages
Four Multipliers for Using AI Well: My Working Model
dev.to·7h·
Discuss: DEV
✨Effect Handlers
How Go Schedules Millions of Goroutines: A Deep Dive into GMP
medium.com·4h·
Discuss: r/golang
🔩Systems Programming
Tradeoffs of Highly-Expressive Types
jnkr.tech·1h·
Discuss: Hacker News
🎯Gradual Typing
A type system for RCL (2024)
ruudvanasseldonk.com·2h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Why I Ditched Malloc for AI Inference
gilli.dev·2d·
Discuss: Hacker News
🧠Memory Allocators
Automated Mineral Identification & Cleaning Trajectory Optimization for Fossil Preparation
dev.to·7h·
Discuss: DEV
🏺Computational Archaeology