The Grammar According to West
dwest.web.illinois.eduยท7hยท
Discuss: Hacker News
๐Ÿ”ฌLean
Generative Interfaces for Language Models
arxiv.orgยท17h
โš™๏ธParser Generators
"Understanding Python Lists vs Tuples in Simple Terms"
dev.toยท1hยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Using pprint.saferepr() for string comparisons in Python
chipx86.blogยท19h
โœ…Format Verification
Claude Code's 19 cent Parser
blogger.comยท2d
๐Ÿ”งBinary Parsers
Teaching programming languages
kmjn.orgยท2d
๐Ÿ’ปProgramming languages
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.comยท1dยท
Discuss: Hacker News
๐ŸงฎAlgebraic Datatypes
Apparently it's easy to detect LLM-generated text now
papers.ssrn.comยท3hยท
Discuss: Hacker News
๐Ÿ”Information Retrieval
TypeScript Cookbook โ€ข Stefan Baumgartner & Peter Krรถner
youtube.comยท1d
๐ŸŽฏGradual Typing
Inside Zig's New Writer
joegm.github.ioยท7hยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ’งLiquid Types
Python 3.14 Preview: Lazy Annotations
realpython.comยท7h
ฮปLambda Formalization
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.comยท1d
โœ…Format Verification
Das Problem mit German Strings
polarsignals.comยท1dยท
Discuss: Lobsters, Hacker News, r/programming
โœ…Format Verification
Song recommendations with F# free monads
blog.ploeh.dkยท2d
๐Ÿ”—Functional Compilers
Spontaneous (dis)fluency
languagelog.ldc.upenn.eduยท8h
๐Ÿ›Digital humanities
Implementing Forth in Go and C
eli.thegreenplace.netยท18hยท
Discuss: Lobsters, Hacker News, Hacker News, r/programming
๐Ÿ”—Concatenative Programming
Building a Plugin System for Rust: Native Libraries vs Scripting Language vs WASM vs Rules Engine
kerkour.comยท15hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
CL-JSON Ambiguity
funcall.blogspot.comยท4dยท
Discuss: www.blogger.com
๐Ÿง Lisp Dialects
Vibe Coding a Simple Feature Took 3 Hours. Here's Why.
dev.toยท2hยท
Discuss: DEV
โœจEffect Handlers