Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
Cactus Language • Syntax 12
inquiryintoinquiry.com·7h
📝Concrete Syntax
Proving that every program halts
ntietz.com·2d
👑Isabelle
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·23h
🧮Prolog Parsing
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·2h·
Discuss: DEV
🦀Rust Borrowing
How to Speed Up TPRM Approvals with Spectra Assure
reversinglabs.com·11h
🔒Hardware Attestation
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Program Execution, follow-up
windowsir.blogspot.com·11h·
Discuss: www.blogger.com
⚡Performance Tools
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·7h
💻Local LLMs
A Standard for Human-Centered Investigation Playbooks
chrissanders.org·5h
🎯Threat Hunting
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·6h·
Discuss: Hacker News
⚡Proof Automation
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·11h
🦠Malware Analysis
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
My AI Workflow for Understanding Any Codebase
steipete.me·13h
⚡Proof Automation
PEGTL -- Parsing Expression Grammar Template Library
github.com·1d·
Discuss: Hacker News
🔗Parser Combinators
How to (Almost) solve cybersecurity once and for all
adaptive.live·1d·
Discuss: Hacker News
🔐Systems Hardening
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·19h
🔍Concolic Testing
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·1d
🔐Quantum Security