#16 Pronic, oblong, rectangular numbers.... Etymology and History of Math Terms
pballew.blogspot.com·1d·
Discuss: www.blogger.com
λLambda Encodings
SAT problems are kind of cool
blog.karanjanthe.me·3d·
Discuss: Hacker News
🧮SMT Solvers
Bringing NumPy's type-completeness score to nearly 90% – Pyrefly
pyrefly.org·5d·
Discuss: Lobsters, Hacker News, r/programming
🎯Gradual Typing
Beyond the AI Hype: Guido van Rossum on Python's Philosophy, Simplicity, and Th
odbms.org·1d·
Discuss: Lobsters, Hacker News
📊APL Heritage
Understanding Latent Space: How Meaning Is Represented by AI
dev.to·16h·
Discuss: DEV
🧮Kolmogorov Complexity
A small number of samples can poison LLMs of any size
anthropic.com·2d·
Discuss: Lobsters, Hacker News, r/50501
🔍Vector Forensics
Automated Fault Prediction and Residual Lifetime Estimation in Cryogenic Pumps via Dynamic Bayesian Network (DBN)
dev.to·21h·
Discuss: DEV
📊Quantization
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·10h·
Discuss: DEV
⚡Proof Automation
Nicholas Renotte: I Spent 6 Weeks using Reinforcement Learning to Beat This GoDot Game
dev.to·23h·
Discuss: DEV
⚔️Lean Tactics
End-to-end testing of Gen AI Apps
dev.to·23h·
Discuss: DEV
🔍Concolic Testing
🚀 Unlocking Productivity: AI Tools Every Angular Developer Should Know
dev.to·4h·
Discuss: DEV
🦀Rust Macros
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·2d
📐Compression Bounds
Ollama SDKs in Go: Overview and Code Examples
dev.to·10h·
Discuss: DEV
🔓Open Source Software
Unlocking AI Efficiency: Harnessing Symmetry for Lightning-Fast Optimization
dev.to·13h·
Discuss: DEV
⚡Z3 Optimization
Stop “Vibe Coding”: What Worked for Me as a Front-End Tech Lead
dev.to·5h·
Discuss: DEV
⚡Proof Automation
Tech With Tim: How to Build AI Agents in Python
dev.to·5h·
Discuss: DEV
🤖AI Curation
"Not another GPT wrapper"
dev.to·5h·
Discuss: DEV
🌀Brotli Internals
Fast Leave-One-Out Approximation from Fragment-Target Prevalence Vectors (molFTP) : From Dummy Masking to Key-LOO for Leakage-Free Feature Construction
arxiv.org·4d
🧮SMT Solvers
Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scaling
arxiv.org·4d
🧮Kolmogorov Bounds