XiangShan Vector Floating-Point Unit Design
docs.xiangshan.ccยท4hยท
Discuss: Hacker News
๐Ÿ“Interval Arithmetic
Learning from software errors โ€“ Part 2: Why did Ariane 5 explode after take-off?
heise.deยท1d
๐Ÿ›ก๏ธError Boundaries
Automated Algorithmic Bias Mitigation in Automated Code Generation Pipelines
dev.toยท2hยท
Discuss: DEV
๐Ÿ“Code Metrics
Solving Reproducibility Challenges in Deep Learning and LLMs: Our Journey
ingonyama.comยท12hยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
DanielSant0s/AthenaEnv
github.comยท58m
๐Ÿ“บVT100 Emulation
Fun with HyperLogLog and SIMD
vaktibabat.github.ioยท15hยท
Discuss: Hacker News, r/rust
๐Ÿ“ŠHyperLogLog
๐Ÿš€ Shape Detective Challenge: Making Number Writing Too Fun to Resist! ๐ŸŽจ๐Ÿ”ข
guidedmath.wordpress.comยท12h
๐Ÿ“Mathematical Art
Quantifying Piece Activity
lichess.orgยท1hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.comยท4hยท
Discuss: Hacker News
๐ŸŽฏInteractive Provers
Title: Simplifying Code Execution on Multiple Integer Variables
dev.toยท2dยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
Tiger Style Coding Philosophy
tigerstyle.devยท3dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.ioยท17hยท
Discuss: Hacker News, r/LLM
ฮปLambda Encodings
Symbolic and High-Accuracy Solutions to Differential and Integral Problems via a Novel Recursive Inverse Laplace Method
arxiv.orgยท2d
๐Ÿ“Interval Arithmetic
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.meยท2d
๐Ÿ”งBinary Parsers
Algorithm Showdown: Logistic Regression vs. Random Forest vs. XGBoost on Imbalanced Data
machinelearningmastery.comยท1d
๐Ÿง Machine Learning
News for September 2025
ptreview.sublinear.infoยท16h
๐ŸงชProperty-Based Testing
The Analystโ€™s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.comยท1d
โš”๏ธLean Theorem
Simple LLM VRAM calculator for model inference
bestgpusforai.comยท1dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Mic-E-Mouse, Covert Eavesdropping Through Computer Mice
sites.google.comยท2hยท
Discuss: Hacker News
๐Ÿ“ผCassette Hacking
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.orgยท1dยท
Discuss: Hacker News
๐Ÿ”ฌLean