#16 Pronic, oblong, rectangular numbers.... Etymology and History of Math Terms
pballew.blogspot.com·1d·
Discuss: www.blogger.com
λLambda Encodings
Oct 29 2025 : Build Your Own ArduTouch Synthesizer Workshop
nycresistor.com·21h
🎹MIDI Archaeology
SAT problems are kind of cool
blog.karanjanthe.me·4d·
Discuss: Hacker News
🧮SMT Solvers
Beyond the AI Hype: Guido van Rossum on Python's Philosophy, Simplicity, and Th
odbms.org·1d·
Discuss: Lobsters, Hacker News
📊APL Heritage
Show HN: Prompts to make AI impersonate 10 programming legends
ai-impersonator.blueprintlab.io·1d·
Discuss: Hacker News, r/ClaudeAI
🎙️Whisper
A small number of samples can poison LLMs of any size
anthropic.com·3d·
Discuss: Lobsters, Hacker News, r/50501
🔍Vector Forensics
Ollama SDKs in Go: Overview and Code Examples
dev.to·15h·
Discuss: DEV
🔓Open Source Software
Unlocking AI Efficiency: Harnessing Symmetry for Lightning-Fast Optimization
dev.to·18h·
Discuss: DEV
⚡Z3 Optimization
Tech With Tim: How to Build AI Agents in Python
dev.to·10h·
Discuss: DEV
🤖AI Curation
Stop “Vibe Coding”: What Worked for Me as a Front-End Tech Lead
dev.to·10h·
Discuss: DEV
⚡Proof Automation
"Not another GPT wrapper"
dev.to·10h·
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
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
Gemini3
dev.to·1h·
Discuss: DEV
🌀Brotli Internals
Show HN: Static builds of popular open source libraries on npmjs.org
github.com·2d·
Discuss: Hacker News
🔓Open Source Software