📐 Hoare Logic

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

Physicists Take the Imaginary Numbers Out of Quantum Mechanics
quantamagazine.org·19h·
Discuss: Hacker News
🏹Effect Systems
Flag this post
How to CAD Almost Anything (2024)
ocw.mit.edu·1d·
Discuss: Hacker News
🔤Typography
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·21h·
Discuss: Hacker News, r/programming
📦Unikernel Systems
Flag this post
Speedrunning an RL Environment
sidb.in·6d·
Discuss: Hacker News
🎮Verification Games
Flag this post
dbeaver/dbeaver
github.com·9h
🔧Unikernel Development
Flag this post
Is cryptography in Go hard?
reddit.com·2d·
Discuss: r/golang
🔒Protocol Verification
Flag this post
Should I learn Rust over Go?
reddit.com·17h·
Discuss: r/rust
🔧DevOps
Flag this post
Rodrigo Girão Serrão: Module compression overview
mathspp.com·11h
🍎Mach-O Format
Flag this post
What makes a great developer experience? Lessons from building a VS Code extension for Postgres
reddit.com·9h·
Discuss: r/programming
🔧DevOps
Flag this post
Why type constraints can't be used as regular types still?
reddit.com·2d·
Discuss: r/golang
🎯GADT
Flag this post
Learning to Land Anywhere: Transferable Generative Models for Aircraft Trajectories
arxiv.org·1d
🛡️Privacy Engineering
Flag this post
Why Choose Selenium with Python for Your Automation Testing Needs?
dev.to·5h·
Discuss: DEV
👁️System Observability
Flag this post
Efficient Curvature-aware Graph Network
arxiv.org·4d
🕸️Graph Theory
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
Neurosymbolic Deep Learning Semantics
arxiv.org·3d
🔁Fixed-Point Theory
Flag this post