📐 Hoare Logic

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

Fourier Transforms
continuummechanics.org·2h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
The Rosetta Code of Being – When Philosophy Compiles Itself
ontocode.org·1d·
Discuss: Hacker News
❓Existential Types
Flag this post
The Same Feature That Makes a Component Powerful Can Also Make It Dangerous
blog.zast.ai·1d·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Topographical sparse mapping: A training framework for deep learning models
sciencedirect.com·22h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Benchmarking the Thomson Reuters legal agent
thomsonreuters.com·3h·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
The Death of the Demo
lielvilla.com·4h·
Discuss: Hacker News
🎮Verification Games
Flag this post
When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug
mensfeld.pl·1d·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Why Engineers Can't Be Rational About Programming Languages
spf13.com·2d·
Discuss: Lobsters, Hacker News
🔤Language Design
Flag this post
[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
github.com·20h·
Discuss: r/programming
🔬Reverse Engineering
Flag this post
Why AI Can't Write Good Software
blog.jpillora.com·1d·
Discuss: Hacker News
🔤Language Design
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·2d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Process Bottleneck Breakthrough: AI-Powered Outcome Prediction
dev.to·16h·
Discuss: DEV
👁️System Observability
Flag this post
Automated Human-Aligned Value Alignment via Multi-Modal Reasoning and Recursive Score Calibration
dev.to·13h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
A Unified Model for Human Mobility Generation in Natural Disasters
arxiv.org·14h
🔲Cellular Automata
Flag this post
In AI, Everything is Meta
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Flag this post
Feature-Guided SAE Steering for Refusal-Rate Control using Contrasting Prompts
arxiv.org·1d
📚Automata Learning
Flag this post
Day 25: Python Coin Flip Game, Simple Interactive Guessing with Random
dev.to·3h·
Discuss: DEV
🎮Verification Games
Flag this post
REMI: PostgreSQL as Agentic Core in Tiger Cloud (Agentic Postgres Challenge by Auth0)
dev.to·3d·
Discuss: DEV
🌐ActivityPub
Flag this post
🧩 Hackathon Recap: Building “API Syncer” — Using AI to Work Smart, Not Hard
dev.to·1h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Solving a problem with mindware
lesswrong.com·2d
🔲Cellular Automata
Flag this post