Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·4h·
Discuss: Hacker News
Effect Handlers
Flag this post
Automated Assessment of Feedback Loops in Multi-agent Reinforcement Learning Systems
dev.to·10h·
Discuss: DEV
Automated Theorem Proving
Flag this post
The Complete Guide to Model Context Protocol
machinelearningmastery.com·1d
📞Session Types
Flag this post
[$] Fil-C: A memory-safe C implementation
lwn.net·23h
🦀Rust Borrowing
Flag this post
The Myth of Single-Threaded JavaScript: Inside the Language’s Hidden Concurrency Engine
hackernoon.com·1d
🌊Stream Processing
Flag this post
Nonmonotonic Logic
cambridge.org·1d·
Discuss: Hacker News
🔬Logic in Computer Science
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·6h·
λLambda Encodings
Flag this post
LogicStar AI Wants To Automate Debugging
thenewstack.io·4h
⚙️Proof Engineering
Flag this post
Introducing gpt-oss-safeguard
openai.com·16h·
Discuss: Hacker News
🎯Threat Hunting
Flag this post
Discovering Heuristics with Large Language Models (LLMs) for Mixed-Integer Programs: Single-Machine Scheduling
arxiv.org·12h
🧮SMT Solvers
Flag this post
Arranging the PIC Parterre
rastamouse.me·1d
🔗Static Linking
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·1h·
Discuss: Substack
💻Programming languages
Flag this post
🚀 Go Faster: Cutting the Slack in GC with Smart Memory Allocation
dev.to·8h·
Discuss: DEV
🧠Memory Allocators
Flag this post
The Java Developer’s Dilemma: Part 3
oreilly.com·1d
🔐Capability Systems
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·17h·
Discuss: Hacker News
🧠Separation Logic
Flag this post
SpiderMonkey Garbage Collector
firefox-source-docs.mozilla.org·7h·
Discuss: Hacker News
🧠Memory Allocators
Flag this post
How Remote Procedure Call Works
newsletter.systemdesign.one·5h·
Discuss: r/programming
gRPC
Flag this post
Modern JavaScript Concurrency – 2025 Edition
blog.gaborkoos.com·19h·
Discuss: Hacker News
🌊Stream Processing
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·22h·
🧠Separation Logic
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·23h·
Discuss: Hacker News
🧠Separation Logic
Flag this post