Let's Write a Macro in Rust
hackeryarn.com·1h·
Discuss: Hacker News
🦀Rust Macros
Slip – A Lisp System in JavaScript
lisperator.net·3h·
Discuss: Hacker News
🌱Minimal Lisps
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·21h·
Discuss: Hacker News
🐍lisp
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.to·2h·
Discuss: DEV
🪄C Metaprogramming
Unforgettable factory revisited
holyblackcat.github.io·13h·
Discuss: r/cpp
🪆Embedded DSLs
Alias and references as localized macros
gustedt.wordpress.com·3d·
Discuss: Hacker News
🪄C Metaprogramming
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
🧮Combinator Calculus
Defeating Return Type Polymorphism
philipphagenlocher.de·1d·
Discuss: Hacker News
📏Linear Haskell
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·15h·
📝Rope Editors
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·13h
🔍ML Language
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
🤐Zipper Structures
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
functional programming
Three gripes about Go modules
jotaen.net·18m·
Discuss: Hacker News
⚙️TOML Parsers
Falsehoods Vibe Coders Believe About LLMs
wilsonhobbs.com·1d·
Discuss: Hacker News
🪞Metaprogramming
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
📋Datalog
Three ways formally verified code can go wrong in practice
buttondown.com·22m
📜Proof Languages
From CAP to GAP?
fsharpforfunandprofit.com·10h·
Discuss: DEV
🧪Testing Compilers
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·4h·
Discuss: r/programming
🐍lisp
Logical Operators & Control Flow
github.com·7h·
Discuss: DEV
🎭Delimited Continuations
Effects in Rust (and Koka)
aloso.foo·17h·
Discuss: r/rust
Algebraic Effects