Federico Biancuzzi, Shane Warden, & Anders Hejlsberg
deprogrammaticaipsum.com·1d
📖Literate Programming
Flag this post
Valuable News – 2025/11/03
discoverbsd.com·19h
🌳B+ Trees
Flag this post
2.7B Buildings
🗑️Stack Scanning GC
Flag this post
Don’t Just Normalize, Batch Normalize! A Guide to Stable Neural Networks
pub.towardsai.net·1d
🪜Recursive Descent
Flag this post
xb.sql and xbi.sql - Explain Oracle Execution Plans Better! (Part 3 - Cardinality Misestimates)
tanelpoder.com·1d
📈Query Optimization
Flag this post
Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
A problem that takes quantum computers an unfathomable amount of time to solve
phys.org·3d
🎯Bit Vectors
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
🧩SAT Solvers
Flag this post
MambaNetLK: Enhancing Colonoscopy Point Cloud Registration with Mamba
arxiv.org·5h
🗺️Region Inference
Flag this post
QuantumBench: A Benchmark for Quantum Problem Solving
arxiv.org·5h
🏁Language Benchmarks
Flag this post
MISA: Memory-Efficient LLMs Optimization with Module-wise Importance Sampling
arxiv.org·5h
🗺️Region Inference
Flag this post
Isotropic Curvature Model for Understanding Deep Learning Optimization: Is Gradient Orthogonalization Optimal?
arxiv.org·5h
⚡Partial Evaluation
Flag this post
How Powerful AIs Get Cheap
lesswrong.com·16h
🛡️Capability Security
Flag this post
EVINGCA: Adaptive Graph Clustering with Evolving Neighborhood Statistics
arxiv.org·5h
🌲Deforestation
Flag this post
BeetleFlow: An Integrative Deep Learning Pipeline for Beetle Image Processing
arxiv.org·5h
🌲Deforestation
Flag this post
Towards Automated Petrography
arxiv.org·5h
📈Earley Parsing
Flag this post
Identifying the Periodicity of Information in Natural Language
arxiv.org·1d
⚖️Weighted Automata
Flag this post
Loading...Loading more...