📏 Linear Logic

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

Handbook of Satisfiability (2021)
iospress.com·3d·
Discuss: Hacker News
🧩SAT Solvers
Flag this post
Mastering Concurrency in Go: Goroutines, Channels, and Patterns
djamware.com·10h·
Discuss: DEV
🐹Go Runtime
Flag this post
Continuous Autoregressive Language Models
shaochenze.github.io·19h·
Discuss: Hacker News
🌱Minimal ML
Flag this post
Automating error analysis for AI agents – what works and doesn't
atla-ai.com·1d·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
I reverse engineered my cheap managed switch's firmware
xda-developers.com·3h
🔓Decompilers
Flag this post
Moving From C++ to Rust? Clickhouse Has Some Advice
thenewstack.io·7h
🌈Gradual Languages
Flag this post
The Evolution from RAG to Agentic RAG to Agent Memory
leoniemonigatti.com·1d·
Discuss: Hacker News
🧠Memory Ordering
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
github.com·3d·
Discuss: r/compsci, r/programming
🔄Nanopass
Flag this post
Every Sunday, I Refactor Old Code and It’s the Smartest Habit I’ve Ever Built
dev.to·1d·
Discuss: DEV
🌳Tree Shaking
Flag this post
⚡ CQRS & Use Cases: Why Your Service Layer is a Mess (And How to Fix It)
dev.to·2d·
Discuss: DEV
🔀Control Structures
Flag this post
Building Scalable Online Gaming Platforms: A Developer’s Look into Turnkey Tech Stacks
dev.to·1d·
Discuss: DEV
✅Configuration Validation
Flag this post
TypeScript Rewrote Itself in Go?! What That “10x Faster” Hype Really Means
dev.to·16h·
Discuss: DEV
📦Monorepos
Flag this post
Parsing Validation
lesswrong.com·1d
🧪Parser Testing
Flag this post
The Art of the Do-Over: Designing Idempotent Jobs as a Journey to Peace of Mind
dev.to·1d·
Discuss: DEV
🛡️Error Boundaries
Flag this post
Prog8
github.com·1d·
Discuss: Hacker News
📚Stack Languages
Flag this post
A Deep Dive into Multi-Transport Protocol Abstraction in Python
dev.to·1d·
Discuss: DEV
📡Network Serialization
Flag this post
The future of LLMs: cognitive core and cartridges?
killerstorm.github.io·15m·
Discuss: Hacker News
🎯Finite Automata
Flag this post
Where do I even begin with system design, where do I even start ?
reddit.com·6h·
Discuss: r/node
🎮Language Ergonomics
Flag this post
Computer Science Fundamentals: From Binary Systems to Algorithms
dev.to·1d·
Discuss: DEV
🪢Rope Data Structures
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·2d·
Discuss: Hacker News
📐Mathematical Computing
Flag this post