Implicit `operator bool` participates in comparison
quuxplusone.github.io·2d
🦀Rust Verification
SAT problems are kind of cool
blog.karanjanthe.me·3d·
Discuss: Hacker News
🧮SMT Solvers
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Falsehoods Vibe Coders Believe About LLMs
wilsonhobbs.com·3d·
Discuss: Hacker News
💧Liquid Types
Vibing a Non-Trivial Ghostty Feature
mitchellh.com·1d·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
The Next Computing Revolution: Bringing Processing Inside Memory
computer.org·5d·
Discuss: Hacker News
⚡Hardware Transactional Memory
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·6d·
Discuss: r/programming
⚡Cache Coherence
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·8h·
Discuss: r/homelab
🏠HomeLab
Randomized Quantum Singular Value Transformation
arxiv.org·2d
⚛️Quantum Circuits
Quantum memory optimisation using finite-horizon, decoherence time and discounted mean-square performance criteria
arxiv.org·1d
⚛️Quantum Storage
Injecting Hallucinations in Autonomous Vehicles: A Component-Agnostic Safety Evaluation Framework
arxiv.org·1d
✨Effect Handlers
Automated Parameter Calibration in Physics-Based Robot Simulation via Bayesian Optimization
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
Ethical AI Oversight for Predictive Genetic Counseling: A Framework for Algorithmic Fairness & Patient Trust
dev.to·2d·
Discuss: DEV
⚖️Hoare Logic
Understanding Latent Space: How Meaning Is Represented by AI
dev.to·8h·
Discuss: DEV
🧮Kolmogorov Complexity
Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?
arxiv.org·2d
📏Linear Logic
Tech With Tim: How to Build AI Agents in Python
dev.to·8h·
Discuss: DEV
🔲Cellular Automata
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1d
🔗Parser Combinators
Dynamic Adaptive Redundancy Allocation via Hierarchical Bayesian Optimization
dev.to·1d·
Discuss: DEV
💾Storage Replication