Implicit `operator bool` participates in comparison
quuxplusone.github.io·2d
🦀Rust Verification
SSH Security: Why You Should Touch to Verify
ubicloud.com·1d·
Discuss: Hacker News
🔒Hardware Attestation
SAT problems are kind of cool
blog.karanjanthe.me·3d·
Discuss: Hacker News
🧮SMT Solvers
Falsehoods Vibe Coders Believe About LLMs
wilsonhobbs.com·3d·
Discuss: Hacker News
💧Liquid Types
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·6d·
Discuss: r/programming
⚡Cache Coherence
10 Data + AI Observations for Fall 2025
towardsdatascience.com·1d
🌊Stream Processing
The Chip That Spoke Lisp
jxself.org·4d
🤖Lisp Machines
A Manifesto for the Programming Desperado
github.com·1d·
Discuss: Hacker News
💻Programming languages
[Help] TrueNas issues
reddit.com·11h·
Discuss: r/homelab
🏠HomeLab
Bayesian Optimization for Dynamic Sample Size Allocation in A/B Testing
dev.to·9h·
Discuss: DEV
🧮Kolmogorov Bounds
Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?
arxiv.org·3d
📏Linear Logic
Automated Parameter Calibration in Physics-Based Robot Simulation via Bayesian Optimization
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·2d
🔗Parser Combinators
Understanding Latent Space: How Meaning Is Represented by AI
dev.to·11h·
Discuss: DEV
🧮Kolmogorov Complexity
Dynamic Adaptive Redundancy Allocation via Hierarchical Bayesian Optimization
dev.to·1d·
Discuss: DEV
💾Storage Replication
Loyca.ai – An open-source, local-first AI assistant with contextual awareness
github.com·11h·
Discuss: Hacker News
🌀Brotli Internals
Responsible Vibe Coding
dev.to·14h·
Discuss: DEV
📏Code Metrics
Unsupervised Backdoor Detection and Mitigation for Spiking Neural Networks
arxiv.org·3d
🌊Stream Ciphers
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·23h·
Discuss: DEV
📊Multi-vector RAG
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·17h·
Discuss: DEV
📊Multi-vector RAG