📏 Linear Logic

Resource Tracking, Substructural Types, Use-Once Semantics, Session Types

QNAP fixed multiple zero-days in its software demonstrated at Pwn2Own 2025
securityaffairs.com·9h
🌐Network Protocols
Flag this post
Native Apps with ClojureScript, React and Static Hermes
romanliutikov.com·15h·
Discuss: r/programming
🌐Browser Compilers
Flag this post
Don't Choke! A prophylactic.
kobold.blog·15h
🐹Goroutine Scheduling
Flag this post
Protect Your Consciousness from AI
jordangoodman.bearblog.dev·13h·
Discuss: Hacker News
🏛️Elm Architecture
Flag this post
Comparing ECDSA signature validation in OpenSSL vs. libsecp256k1 - The Stack
delvingbitcoin.org·1d
🏷️Memory Tagging
Flag this post
Sometimes Postgres Isn't the Answer
pomerium.com·2d·
Discuss: Hacker News
💾Persistent Heaps
Flag this post
How i studied smarter, not longer, to get ahead in software
strategizeyourcareer.com·21h·
Discuss: r/programming
📚Self-Documenting Code
Flag this post
Spinning Plates
dylanamartin.com·2d·
Discuss: Hacker News
📚Self-Documenting Code
Flag this post
Masonry Grid: A 1.4 kB Library That Actually Works
dev.to·1h·
Discuss: DEV
✨Code Formatting
Flag this post
MO2 - Multiple Profiles Versus Multiple Instances - Rookie Experience
reddit.com·5h·
Discuss: r/skyrimmods
📦Executable Size
Flag this post
Worth the switch from Claude to GLM 4.6 for my coding side hustle?
reddit.com·19h·
Discuss: r/LocalLLaMA
💬Interactive REPLs
Flag this post
Testing While Developing (Part 2): Selectors, Assertions, and User Events
dev.to·9h·
Discuss: DEV
💬Interactive REPLs
Flag this post
All You Need to Know About Chunking in Agentic RAG
pub.towardsai.net·2d
🔄Subinterpreters
Flag this post
What we learned running the industry’s first AI code review benchmark
devinterrupted.substack.com·2d·
Discuss: r/programming
⚡Live Programming
Flag this post
Tech With Tim: Is This the Fastest App Build Ever? (Base44 Demo)
dev.to·11h·
Discuss: DEV
🌐WASM Runtimes
Flag this post
Enhancing Cloud Workload Isolation via Adaptive Byzantine Fault Tolerance with Multi-Objective Optimization
dev.to·3d·
Discuss: DEV
🛡️Capability VMs
Flag this post
MammoAI: Transform mammograms into clear diagnoses and actionable care.
dev.to·9h·
Discuss: DEV
🔍ML Language
Flag this post
From Frustration to Protection: The Logic of Secure Coding
dev.to·1h·
Discuss: DEV
🛡️Error Ergonomics
Flag this post
AI Isn’t Alchemy: Not Mystical, Just Messy
dev.to·16h·
Discuss: DEV
🎭Program Synthesis
Flag this post
Mirror Speculative Decoding: Breaking the Serial Barrier in LLM Inference
dev.to·1d·
Discuss: DEV
🔄Subinterpreters
Flag this post