📐 Hoare Logic

Pre-conditions, Post-conditions, Loop Invariants, Program Correctness

How to CAD Almost Anything (2024)
ocw.mit.edu·1d·
Discuss: Hacker News
🔤Typography
Flag this post
Physicists Take the Imaginary Numbers Out of Quantum Mechanics
quantamagazine.org·22h·
Discuss: Hacker News
🏹Effect Systems
Flag this post
Think for Yourself
kevlinhenney.medium.com·3d·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Is Software the UFOlogy of Engineering Disciplines?
codemanship.wordpress.com·1d·
Discuss: Hacker News, r/programming
📦Unikernel Systems
Flag this post
dbeaver/dbeaver
github.com·12h
🔧Unikernel Development
Flag this post
Should I learn Rust over Go?
reddit.com·20h·
Discuss: r/rust
🔧DevOps
Flag this post
Rodrigo Girão Serrão: Module compression overview
mathspp.com·14h
🍎Mach-O Format
Flag this post
What makes a great developer experience? Lessons from building a VS Code extension for Postgres
reddit.com·12h·
Discuss: r/programming
🔧DevOps
Flag this post
How Machine Vision Solves Common Quality Control Issues in Semiconductor Production
dev.to·2d·
Discuss: DEV
👁️System Observability
Flag this post
Autonomous Traceability Network Optimization via Multi-Agent Reinforcement Learning for Resilient Supply Chains
dev.to·2d·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Disentangled Concepts Speak Louder Than Words:Explainable Video Action Recognition
arxiv.org·2d
📚Automata Learning
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·1d·
Discuss: DEV
💎Refinement Types
Flag this post
Is it really paranoia if I'm really Out to Get Me?
lesswrong.com·1d
⬜Minimalism
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·1d·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
dev.to·4d·
Discuss: DEV
🔤Language Design
Flag this post
Jeff Su: 4 ChatGPT Hacks that Cut My Workload in Half
dev.to·17h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Neurosymbolic Deep Learning Semantics
arxiv.org·3d
🔁Fixed-Point Theory
Flag this post
Alleviating Hyperparameter-Tuning Burden in SVM Classifiers for Pulmonary Nodules Diagnosis with Multi-Task Bayesian Optimization
arxiv.org·2d
⏱️Computational Complexity
Flag this post
Knowledge-Augmented Question Error Correction for Chinese Question Answer System with QuestionRAG
arxiv.org·2d
📚Automata Learning
Flag this post
Developer Case Study: Cursor and Claude Code Suggested Building a Proxy. Shotgun CLI Found LiteLLM Instead.
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Flag this post