📏 Linear Logic

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

Ensuring Data Resilience in Modern Application Environments
trilio.io·3h·
Discuss: DEV
📁File Systems
Flag this post
New comment by ethin in "X.org Security Advisory: multiple security issues X.Org X server and Xwayland"
news.ycombinator.com·1h·
Discuss: Hacker News
🔄Bootstrapping
Flag this post
Feature Infrastructure Engineering: A Comprehensive Guide
mlfrontiers.substack.com·1d·
Discuss: Substack
📡Protocol Buffers
Flag this post
A/B Testing Could Lead LLMs to Retain Users Instead of Helping Them
newsletter.danielpaleka.com·5h·
Discuss: Hacker News
🧪Zig Testing
Flag this post
LangChain Might Be the New WordPress of AI
designveloper.com·8h·
Discuss: r/programming
🔗Language Toolchains
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·1d·
Discuss: Substack
⚡Tokenizer Optimization
Flag this post
Adaptive continuity-preserving simplification of street networks
sciencedirect.com·1d
💬Smalltalk VMs
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·1d·
Discuss: Hacker News
😴Lazy Evaluation
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·7h·
Discuss: Hacker News
🧸Toy Compilers
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2d·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
Q&A #80 (2025-10-31)
computerenhance.com·1d
📚Stack Allocation
Flag this post
Scala vs F#
alexn.org·1d
🔧Nickel
Flag this post
How I Crushed Timestamp Storage by 56% with Bit Packing
github.com·8h·
Discuss: DEV
🔢Binary Formats
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·2d·
Discuss: Hacker News
🔬Nanopasses
Flag this post
Ajla Tutorial
ajla-lang.cz·2d·
Discuss: Hacker News
🔮Lisp Interpreters
Flag this post
Why Your AI Agent Keeps Failing in Production (And How to Fix It)
pub.towardsai.net·1h
🎭Erlang OTP
Flag this post
Qwen3 VL 30b a3b is pure love
reddit.com·3h·
Discuss: r/LocalLLaMA
💬Smalltalk VMs
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·2d·
Discuss: r/golang
🔧API Design
Flag this post
A Short Introduction to Categorical Logic
youtube.com·3d
⚖️Inference Rules
Flag this post
Looking for feedback on RunMQ - a message queue library built on top of RabbitMQ, Guarantees for async jobs processing & event driven architectures
github.com·5h·
Discuss: r/node
📋Task Queues
Flag this post