#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
2025-10-10 # LLMs Are Transpilers
alloc.dev·2d·
Discuss: Hacker News
🔄Language Evolution
Beyond the AI Hype: Guido van Rossum on Python's Philosophy, Simplicity, and Th
odbms.org·1d·
Discuss: Lobsters, Hacker News
📊APL Heritage
A small number of samples can poison LLMs of any size
anthropic.com·2d·
Discuss: Lobsters, Hacker News, r/50501
🔍Vector Forensics
🚀 Unlocking Productivity: AI Tools Every Angular Developer Should Know
dev.to·6h·
Discuss: DEV
🦀Rust Macros
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·2d
📐Compression Bounds
Unlocking AI Efficiency: Harnessing Symmetry for Lightning-Fast Optimization
dev.to·15h·
Discuss: DEV
⚡Z3 Optimization
Tech With Tim: How to Build AI Agents in Python
dev.to·7h·
Discuss: DEV
🤖AI Curation
Stop “Vibe Coding”: What Worked for Me as a Front-End Tech Lead
dev.to·7h·
Discuss: DEV
⚡Proof Automation
Ollama SDKs in Go: Overview and Code Examples
dev.to·13h·
Discuss: DEV
🔓Open Source Software
"Not another GPT wrapper"
dev.to·7h·
Discuss: DEV
🌀Brotli Internals
Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scaling
arxiv.org·4d
🧮Kolmogorov Bounds
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
Think Natively: Unlocking Multilingual Reasoning with Consistency-Enhanced Reinforcement Learning
arxiv.org·3d
🧮SMT Solvers
StruSR: Structure-Aware Symbolic Regression with Physics-Informed Taylor Guidance
arxiv.org·3d
🧠Machine Learning
Show HN: I've built C# source code generator Fluent API library
github.com·2d·
Discuss: Hacker News
🦀Rust Macros
Randomized and quantum approximate matrix multiplication
arxiv.org·2d
🔐Quantum Cryptography
Reinforcement Learning from Probabilistic Forecasts for Safe Decision-Making via Conditional Value-at-Risk Planning
arxiv.org·2d
🧠Machine Learning
Show HN: Static builds of popular open source libraries on npmjs.org
github.com·1d·
Discuss: Hacker News
🔓Open Source Software