Implementing Forth in Go and C
eli.thegreenplace.net·15h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔗Dependently Typed
Generative Interfaces for Language Models
arxiv.org·14h
⚙️Parser Generators
Song recommendations with F# free monads
blog.ploeh.dk·2d
🔗Functional Compilers
The Grammar According to West
dwest.web.illinois.edu·5h·
Discuss: Hacker News
🔬Lean
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🦀Rust Macros
The Best Programmer I Know • Daniel Terhorst-North • GOTO 2024
youtube.com·6h
🦀Rust Macros
Teaching programming languages
kmjn.org·2d
💻Programming languages
Generating C functions and prototypes using macros – part 2
subethasoftware.com·1d
🦀Rust Macros
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Bun JS toolkit adds MySQL driver, secrets API, YAML, and more
theregister.com·1h
🔄Sync Engine
Your First AI Agent: A Clear, Practical Path
dev.to·5h·
Discuss: DEV
⚡Proof Automation
Learning Perl in one day and the importance of building strong foundations
guilhermenl.dev·6h·
Discuss: Hacker News
⚙️Build Archaeology
Inside Zig's New Writer
joegm.github.io·4h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·1d
⬆️Lambda Lifting
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
Claude Code's 19 cent Parser
blogger.com·2d
🔧Binary Parsers
Apparently it's easy to detect LLM-generated text now
papers.ssrn.com·24m·
Discuss: Hacker News
🔍Information Retrieval
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Representative Line: Not What They Meant By Watching "AndOr"
thedailywtf.com·1d
🏗️Compiler Archaeology
Deep dive into Mojo object initialization
connorgray.com·1h·
Discuss: Hacker News
🦀Rust Borrowing