Cactus Language β€’ Syntax 12
inquiryintoinquiry.comΒ·2h
πŸ“Concrete Syntax
Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.comΒ·2d
πŸ”„Reproducible Builds
Worth Reading 062425
rule11.techΒ·2h
🌐DNS over QUIC
Why Agentic Flows Need Distributed-Systems Discipline
temporal.ioΒ·1dΒ·
Discuss: Hacker News
βš™οΈTLA+
Reflection and open implementations (2006)
dcc.uchile.clΒ·4dΒ·
Discuss: Lobsters, Hacker News
πŸ’§Liquid Types
What Is "Modern" Programming?
lemire.meΒ·6hΒ·
Discuss: Hacker News
πŸ’§Liquid Types
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comΒ·11h
πŸ“Concrete Syntax
The Guide to the Foundation Models Framework
azamsharp.comΒ·4hΒ·
Discuss: Hacker News
Ξ»Lambda Formalization
Creating Truly Custom Events for Web Components
dev.toΒ·5hΒ·
Discuss: DEV
πŸ“žSession Types
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.toΒ·17hΒ·
Discuss: DEV
🌊Stream Processing
Signal Use and Emergent Cooperation
arxiv.orgΒ·14h
πŸ”²Cellular Automata
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.comΒ·17hΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Coping with Complexity
slott56.github.ioΒ·4d
πŸ”—Concatenative Programming
Program Synthesis is Interesting and Open
stephendiehl.comΒ·3dΒ·
Discuss: Hacker News
πŸ’»Programming languages
Build Multi-Agent Apps with OpenAI’s Agent SDK
towardsdatascience.comΒ·1d
🌊Streaming Systems
Why Dyad?: A Perspective for Modelica Users
juliahub.comΒ·3hΒ·
Discuss: Hacker News
πŸ’§Liquid Types
PEGTL -- Parsing Expression Grammar Template Library
github.comΒ·19hΒ·
Discuss: Hacker News
πŸ”—Parser Combinators
Threaded Code
muforth.devΒ·7hΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Networking for Systems Administrators
mwl.ioΒ·5hΒ·
Discuss: Hacker News
🌐DNS over QUIC
Understand MCP (Model Context Protocol) with example
dev.toΒ·13hΒ·
Discuss: DEV
πŸŽ™οΈWhisper