Strict alternation of data and behaviour in Smalltalk
eighty-twenty.orgยท9h
๐Ÿ“žSession Types
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท12h
๐Ÿ“Concrete Syntax
End of the line for coding LLMs will do a better job. How do I pay my mortgage?
daniel-payne-keldan-systems.medium.comยท1dยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Why Go Rocks for Building a Lua Interpreter
zombiezen.comยท2dยท
Discuss: r/golang
โฌ†๏ธLambda Lifting
Implementing Ray Tracing In One Weekend in F#
heftymouse.meยท3dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Coping with Complexity
slott56.github.ioยท4d
๐Ÿ”—Concatenative Programming
Reflection and open implementations (2006)
dcc.uchile.clยท4dยท
Discuss: Lobsters, Hacker News
๐ŸŒProtocol Synthesis
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.orgยท14h
๐Ÿ”Concolic Testing
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.comยท10h
โฌ†๏ธLambda Lifting
PEGTL -- Parsing Expression Grammar Template Library
github.comยท19hยท
Discuss: Hacker News
๐Ÿ”—Parser Combinators
Hands-on Go โ€” Advancing with Practical Examples
dev.toยท21hยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.comยท6hยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
Magnus Therning: Finding a type for Redis commands
magnus.therning.orgยท4d
๐ŸŒProtocol Synthesis
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.comยท4hยท
Discuss: Hacker News
๐Ÿ“‹DFDL
I Built My Own Programming Language and its Virtual Machine In Python!
dev.toยท21hยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.orgยท14h
๐Ÿ”—Topological Sorting
Building a Language Server
bullno1.comยท2dยท
Discuss: Hacker News, r/programming
๐Ÿ—ฃ๏ธDomain-Specific Languages
Show HN: KubernetesJS โ€“ Fully-Typed, Zero-Dependency Client for Kubernetes
github.comยท1dยท
Discuss: Hacker News
๐Ÿ“ฆContainer Security
Counter Service: How we rewrote it in Rust
engineering.grab.comยท2d
๐Ÿ”’Linear Types
Why Dyad?: A Perspective for Modelica Users
juliahub.comยท3hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types