🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·2h·
Discuss: DEV
🦀Rust Borrowing
You Are the Main Thread
claudelog.com·8h·
Discuss: Hacker News
🔲Cellular Automata
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·14h
🛡Cybersecurity
Program Execution, follow-up
windowsir.blogspot.com·11h·
Discuss: www.blogger.com
⚡Performance Tools
Proving that every program halts
ntietz.com·2d
👑Isabelle
How AI/LLMs Can Help, Hinder Developers
cacm.acm.org·2h
🔄Language Evolution
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Using OpenTelemetry to Diagnose a Critical Memory Leak
hackernoon.com·7h
👁️System Observability
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·11h
🦠Malware Analysis
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·7h·
Discuss: DEV
🌊Stream Processing
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
Problem-solving is fundamental to human nature
freethink.com·5h
🔲Cellular Automata
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Stop Chasing “Efficiency AI.” The Real Value Is in “Opportunity AI.”
towardsdatascience.com·6h
🌊Stream Processing
Why Binary Won and Nothing Else Even Got Close
b0a04gl.site·1d·
Discuss: Hacker News
🧲RISC-V Archaeology
Threaded Code
muforth.dev·12h·
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·22h·
Discuss: DEV
🌊Stream Processing
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·19h
🔗Topological Sorting