Unlock Linear Solver Speed: Symbolic Preconditioning for Hyper-Performance
🧮Linear Algebra
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
🔗Go Generics
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
⚖️Inference Rules
Flag this post
SPG: Sandwiched Policy Gradient for Masked Diffusion Language Models
🪜Recursive Descent
Flag this post
2025 Holiday Readiness Checklist (Page Speed Edition!)
speedcurve.com·2h
📈Performance Tools
Flag this post
Bayesian continual learning and forgetting in neural networks
nature.com·2d
🗺️Region Inference
Flag this post
Advances In Formal Verification Technology
semiengineering.com·1d
🧩SAT Solvers
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refinery’s Go Code, No Rust Required.
📚Stack Data Structures
Flag this post
Vectorizing for Fun and Performance
🔀SIMD Programming
Flag this post
An intro to the Tensor Economics blog
lesswrong.com·2d
🗺️Region Inference
Flag this post
A Sparse Polynomial Multiplier for HQC Integrating Parallelism and Power-Based Side-Channel Countermeasures
eprint.iacr.org·4d
🏰Capability Machines
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
🧪Compiler Testing
Flag this post
Optimal Information Combining for Multi-Agent Systems Using Adaptive Bias Learning
arxiv.org·22h
🪜Recursive Descent
Flag this post
From Lossy to Lossless Reasoning
🪜Recursive Descent
Flag this post
Loading...Loading more...