Diagnosing Violations of State-based Specifications in iCFTL
arxiv.orgยท2h
๐Ÿš‚Error Propagation
Cap'n Web: A JavaScript-native RPC system
github.comยท16hยท
Discuss: Hacker News
๐Ÿ”งWASI
Identity Types
bartoszmilewski.comยท17hยท
Discuss: Hacker News
๐ŸŽฏType Theory
๐ŸŽฒ The Seven Deadly Fediverse UX Sins Part 2: The Road To Redemption
timothychambers.netยท11h
๐Ÿ”„Bootstrapping
MCP-OpenStack-Ops : MCP-Server for OpenStack Cluster
dev.toยท17hยท
Discuss: DEV
๐Ÿ›ก๏ธCapability VMs
Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
arxiv.orgยท2h
๐ŸŽฏFinite Automata
Chris Smith 2: Rebooting NYHaskell
cdsmithus.medium.comยท1d
๐ŸชOCaml
็ฌฌๅ››: A Japanese and Forth inspired postfix language
gist.github.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”—Concatenative Languages
Code Reuse Without Classes: A Deep Dive into Non-OOP Reusability
dev.toยท2hยท
Discuss: DEV
๐ŸชขRope Data Structures
Saga Distributed Transactions Pattern
learn.microsoft.comยท12hยท
Discuss: Hacker News
๐Ÿ“ฎPersistent Queues
Biconnected components
emi-h.comยท1dยท
Discuss: Hacker News, r/programming
๐Ÿ•ธ๏ธGraph Algorithms
Sneaky Code Bites Back
architecture-weekly.comยท18hยท
Discuss: r/programming
๐Ÿ“กProtocol Buffers
CogAtom: From Cognitive Atoms to Olympiad-level Mathematical Reasoning in Large Language Models
arxiv.orgยท2h
๐Ÿ”—Concatenative Theory
The Theory of Universal Computation: Bayesian Optimality, Solomonoff Induction & AIXI
towardsdatascience.comยท18h
โš–๏ธInference Rules
Enabling Deterministic Inference for SGLang
lmsys.orgยท1d
๐Ÿ—บ๏ธRegion Inference
The story of Musium
ruudvanasseldonk.comยท14hยท
Discuss: Lobsters, Hacker News
๐Ÿ’ฌSmalltalk VMs
The FLP Theorem
shachaf.netยท13hยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸคSession Protocols
Building a Chat Interface: From Components to Conversation
dev.toยท12hยท
Discuss: DEV
๐Ÿ”—Lexical Scoping
The 3 Most Practical Features of C# 14 for Everyday Developers
learn.microsoft.comยท1dยท
Discuss: DEV
๐ŸŒ‰Language Bindings
X Design Notes: Pattern Matching II
blog.polybdenum.comยท1d
๐ŸŽฏPattern Matching