#16 Pronic, oblong, rectangular numbers.... Etymology and History of Math Terms
pballew.blogspot.com·1d·
Discuss: www.blogger.com
λLambda Encodings
BYOVD to the next level (part 2) — rootkit like it's 2025
blog.quarkslab.com·3d
🔍eBPF
Superpowers 2.0 came out yesterday and might already be obsolete.
blog.fsck.com·19h
🪟Awesome windows command-line
Running new applications on old glibc
lightofdawn.org·3d·
Discuss: Hacker News
🔗Static Linking
Earning the Right to Be Illegible
joshbeckman.org·2h·
Discuss: Hacker News
⚙️Proof Engineering
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·4d
🧮Compute Optimization
🚀 Unlocking Productivity: AI Tools Every Angular Developer Should Know
dev.to·12h·
Discuss: DEV
🦀Rust Macros
Tech With Tim: How to Build AI Agents in Python
dev.to·12h·
Discuss: DEV
🤖AI Curation
Stop “Vibe Coding”: What Worked for Me as a Front-End Tech Lead
dev.to·12h·
Discuss: DEV
⚡Proof Automation
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·2d
📐Compression Bounds
Ollama SDKs in Go: Overview and Code Examples
dev.to·18h·
Discuss: DEV
🔓Open Source Software
Unlocking AI Efficiency: Harnessing Symmetry for Lightning-Fast Optimization
dev.to·21h·
Discuss: DEV
⚡Z3 Optimization
AI-Driven Ethical Risk Assessment & Mitigation in Supply Chain Compliance
dev.to·1d·
Discuss: DEV
🔗Supply Chain
"Not another GPT wrapper"
dev.to·13h·
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
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