Diagnosing Violations of State-based Specifications in iCFTL
arxiv.org·4h
✅Format Verification
Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·4h·
Discuss: Hacker News
👑Coq Tactics
Proof Rules for MetaSMT
philipzucker.com·1d
🧮Z3 Solver
How to accelerate security finding reviews using automated business context validation in AWS Security Hub
aws.amazon.com·9h
👁️Observatory Systems
Preserving Government Social Media in the Netherlands and Luxembourg (Part 3)
netpreserveblog.wordpress.com·1d
⚖️Legal Compliance
Creating a database of motivated proofs
gowers.wordpress.com·10h·
Discuss: Hacker News
🎯Performance Proofs
From Chaos to Clarity: Leveraging Pydantic for Smarter AI
dev.to·4h·
Discuss: DEV
✅Archive Validation
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·1d
🌳Trie Structures
Tips for Working with Legacy Code
esveo.com·18h·
Discuss: Lobsters, Hacker News, r/programming
🌿git
X Design Notes: Pattern Matching II
blog.polybdenum.com·1d
💻Programming languages
LongCat-Flash-Thinking, LLM from Meituan (China's Equivalent of Uber Eats)
github.com·25m·
Discuss: Hacker News
🌊Streaming Algorithms
Variation in Verification: Understanding Verification Dynamics in Large Language Models
arxiv.org·4h
🧪Binary Fuzzing
RelRepair: Enhancing Automated Program Repair by Retrieving Relevant Code
arxiv.org·4h
🔓Decompilation
Detection Engineering: Practicing Detection-as-Code – Deployment – Part 6
blog.nviso.eu·35m
🤖Network Automation
Security review of PHP documentation
blog.quarkslab.com·1d
🛡️WASM Security
Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory
arxiv.org·4h
🎯Performance Proofs
Sneaky Code Bites Back
architecture-weekly.com·20h·
Discuss: r/programming
🔬Refinement Types
AT Protocol private data: Developing a rubric for success
pfrazee.leaflet.pub·7h·
Discuss: Hacker News
🏠Homelab Federation
GPO: Learning from Critical Steps to Improve LLM Reasoning
arxiv.org·4h
✓Automated Theorem Proving
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.org·4h
📞Session Types