Cactus Language โ€ข Syntax 10
inquiryintoinquiry.comยท5h
๐Ÿ“Concrete Syntax
Logic App Http Connector with Swagger + C# Function App
dev.toยท9hยท
Discuss: DEV
๐Ÿ”CBOR
higher: Your favourite Haskell type classes for Rust (2023)
github.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿฆ€Rust Macros
Useful LLM Agent Tools
tersesystems.comยท18h
๐ŸŒ€Brotli Internals
Adding linear-time lookbehinds to RE2
systemf.epfl.chยท22hยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”RegEx Engines
Named Entity Recognition using Bidirectional LSTM and Conditional Random Fields
dev.toยท8hยท
Discuss: DEV
๐Ÿค–Grammar Induction
Evals for Long-Context Question & Answer Systems
eugeneyan.comยท1d
๐Ÿง Intelligence Compression
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.comยท13mยท
Discuss: relatedwork.blogspot.com
๐Ÿ—๏ธConstructive Mathematics
Magnus Therning: Finding a type for Redis commands
magnus.therning.orgยท1d
๐ŸŒProtocol Synthesis
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.comยท1dยท
Discuss: Hacker News
๐Ÿ—ฃ๏ธDomain-Specific Languages
n8n Security: From Exploitation to Defense #cybersecurity
dev.toยท6hยท
Discuss: DEV
๐ŸงชCBOR Fuzzing
Rewriting the Ruby Parser
railsatscale.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Monadic Parsing
Counting with Categories (Part 1)
golem.ph.utexas.eduยท6h
ฮปLambda Formalization
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.orgยท1dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Functional Hello World in Go: A Journey from First Class Functions to Function Composition
dev.toยท8hยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
Experiment proposal: In-place initialization
github.comยท5h
๐Ÿฆ€Rust Macros
Structured Output with LangChain and Llamafile
blog.brakmic.comยท4hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Fan Out Creative Testing
askrally.comยท1dยท
Discuss: Hacker News
๐Ÿ“ŠFeed Optimization
Internet Relay Chat Protocol (1993)
datatracker.ietf.orgยท4dยท
Discuss: Hacker News
๐Ÿ“ABNF Parsing
Machine Learning Fundamentals: a/b testing tutorial
dev.toยท5hยท
Discuss: DEV
๐Ÿ‘๏ธObservatory Systems