#16 Pronic, oblong, rectangular numbers.... Etymology and History of Math Terms
pballew.blogspot.com·1d·
Discuss: www.blogger.com
λLambda Encodings
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·1d·
Discuss: Hacker News, Hacker News
📐Linear Algebra
Running new applications on old glibc
lightofdawn.org·3d·
Discuss: Hacker News
🔗Static Linking
What's new in Python 3.14
docs.python.org·4d·
Discuss: Hacker News, Hacker News
🌳Incremental Parsing
Bringing NumPy's type-completeness score to nearly 90% – Pyrefly
pyrefly.org·4d·
Discuss: Lobsters, Hacker News, r/programming
🎯Gradual Typing
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org·2d
🔲Cellular Automata
End-to-end testing of Gen AI Apps
dev.to·20h·
Discuss: DEV
🔍Concolic Testing
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Python For Data Engineering
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Handling 100+ Website Scrapers with Python's asyncio
dev.to·10h·
Discuss: DEV
📰RSS Archaeology
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.to·1d·
Discuss: DEV
💻Local LLMs
Ollama SDKs in Go: Overview and Code Examples
dev.to·8h·
Discuss: DEV
🔓Open Source Software
Understanding Latent Space: How Meaning Is Represented by AI
dev.to·14h·
Discuss: DEV
🧮Kolmogorov Complexity
Nicholas Renotte: I Spent 6 Weeks using Reinforcement Learning to Beat This GoDot Game
dev.to·20h·
Discuss: DEV
⚔️Lean Tactics
Automated Fault Prediction and Residual Lifetime Estimation in Cryogenic Pumps via Dynamic Bayesian Network (DBN)
dev.to·19h·
Discuss: DEV
📊Quantization
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·2d
📐Compression Bounds
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·4d
🧮Compute Optimization
The Hidden Power of ChatGPT Prompts Nobody Talks About
dev.to·8h·
Discuss: DEV
⚡Proof Automation
Unlocking AI Efficiency: Harnessing Symmetry for Lightning-Fast Optimization
dev.to·10h·
Discuss: DEV
⚡Z3 Optimization
Stop “Vibe Coding”: What Worked for Me as a Front-End Tech Lead
dev.to·2h·
Discuss: DEV
⚡Proof Automation