🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·6h·
Discuss: DEV
🌊Stream Processing
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
The complexity trap: why cybersecurity must be simplified
techradar.com·13h
🛡Cybersecurity
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
Program Execution, follow-up
windowsir.blogspot.com·9h·
Discuss: www.blogger.com
⚡Performance Tools
How AI/LLMs Can Help, Hinder Developers
cacm.acm.org·1h
🔄Language Evolution
Problem-solving is fundamental to human nature
freethink.com·4h
🔲Cellular Automata
Proving that every program halts
ntietz.com·2d
👑Isabelle
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·9h
🦠Malware Analysis
AI Security Posture Management (AISPM): How to Handle AI Agent Security
hackernoon.com·14h
🎯Threat Hunting
5 Cloud Storage Best Practices for AI Workloads
backblaze.com·1d
💾Persistence Strategies
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
You Are the Main Thread
claudelog.com·7h·
Discuss: Hacker News
🔲Cellular Automata
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·1d
💾Persistence Strategies
Why Binary Won and Nothing Else Even Got Close
b0a04gl.site·1d·
Discuss: Hacker News
🧲RISC-V Archaeology
Threaded Code
muforth.dev·11h·
Discuss: Hacker News
🦀Rust Macros
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·21h·
Discuss: DEV
🌊Stream Processing
Using OpenTelemetry to Diagnose a Critical Memory Leak
hackernoon.com·6h
👁️System Observability