🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Memory Safety in Web Rust System Zero Cost Secure（1750594760521200）
dev.to·9h·
Discuss: DEV
🦀Rust Borrowing
Lockfree Programming: A Mental Model
xorvoid.com·1d·
Discuss: Hacker News, Hacker News
⚡Hardware Transactional Memory
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
What Is Wrong with Statement Coverage
bullseye.com·3h·
Discuss: Hacker News
🧪Property-Based Testing
Program Synthesis is Interesting and Open
stephendiehl.com·20h·
Discuss: Hacker News
💻Programming languages
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
Memory Safety in Web Rust System Zero Cost Secure（1750570224424500）
dev.to·16h·
Discuss: DEV
🦀Rust Borrowing
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
Memory Safety in Web Rust System Zero Cost Secure（1750545683665600）
dev.to·23h·
Discuss: DEV
🦀Rust Borrowing
Basic facts about GPUs
damek.github.io·15h·
Discuss: Lobsters, Hacker News
🖥️Hardware Architecture
Show HN: I built a focus-driven task manager and pom timer that sorts by urgency
fluxtimer.com·8h·
Discuss: Hacker News
🔩Systems Programming
Stuck Between 24 Rocks and an NP-Hard Place
jacksonslipock.bearblog.dev·1d·
Discuss: Hacker News
⚔️Lean Tactics
Show HN: AI Distiller (aid) reduces hallucinations during vibe coding
github.com·4h·
Discuss: Hacker News
✨Effect Handlers
Memory Safety in Web Rust System Zero Cost Secure（1750525775079000）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Transitioning from Assembly to C: Challenges and Solutions for Programmers Effectively
dev.to·17h·
Discuss: DEV
🔩Systems Programming
Memory Safety in Web Rust System Zero Cost Secure（1750506908117500）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Memory Safety in Web Rust System Zero Cost Secure（1750491469901500）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Rust Concurrency Mastery: Safe Threading, Mutexes, Channels, and Atomic Operations Guide
dev.to·1d·
Discuss: DEV
🦀Embedded Rust
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Memory Safety Revolution Memory Leaks Modern Web（1750574666743000）
dev.to·15h·
Discuss: DEV
🧠Memory Allocators