📏 Linear Logic

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

Superhuman AI for Multiplayer Poker
science.org·12h·
Discuss: Hacker News
🐹Minimal Go
Flag this post
Advances In Formal Verification Technology
semiengineering.com·3d
🧩SAT Solvers
Flag this post
Learning C As An Intermediate
reddit.com·13h·
Discuss: r/C_Programming
🎓Teaching Compilers
Flag this post
Building a Prompt Engineering Toolkit for Developers
amzn.to·8h·
Discuss: DEV
📚Self-Documenting Code
Flag this post
Semantic search with embeddings in PHP: a hands-on guide using Neuron AI and Ollama
ollama.com·12h·
Discuss: DEV
📚Factor
Flag this post
A portable picokernel for async I/O
ryansepassi.com·1d·
Discuss: Hacker News
🤖Embedded Go
Flag this post
Exit Memes Proposals
naiveweekly.com·5h
🏠indieweb
Flag this post
Three Meanings of Reference
sandordargo.com·2d·
Discuss: Hacker News, r/cpp
📇Symbol Tables
Flag this post
I Will Not Be Enabling Full Null Support In Adobe ColdFusion 2025
bennadel.com·1d
🌉Language Bindings
Flag this post
Are Large Reasoning Models Interruptible?
paperium.net·11h·
Discuss: DEV
🚂Error Propagation
Flag this post
Java's Agentic Framework Boom Is a Code Smell
gnanaguru.com·12h·
Discuss: Hacker News
🔮Metacircular Evaluators
Flag this post
Myths Programmers Believe about CPU Caches
software.rajivprab.com·2d·
Discuss: Hacker News
🧠Memory Models
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·2d·
Discuss: Hacker News
🔗Borrowing Extensions
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·2d·
Discuss: Hacker News
🌱Minimal Languages
Flag this post
🎲 On LLMs
kaukas.mataroa.blog·2d
🎮Language Ergonomics
Flag this post
Looking for volunteers to help with CharlotteOS
reddit.com·7h·
Discuss: r/rust
🔄Bootstrapping
Flag this post
DDD and the Simplicity Gospel
oluatte.com·11h·
Discuss: Hacker News, r/programming
🌳Tree Shaking
Flag this post
I Tried Beating LeetCode Like a Game. It Actually Worked.
dev.to·1d·
Discuss: DEV
🌳Tree Walking
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.com·2d
💬Smalltalk VMs
Flag this post
From Parrot to Partner - How Reinforcement Learning Taught LLMs to Talk Like Humans
dev.to·1h·
Discuss: DEV
🎭Erlang OTP
Flag this post