My first fifteen compilers (2019)
๐ฌNanopasses
Flag this post
Writing and testing business logic in F#
event-driven.ioยท3d
๐Control Structures
Flag this post
Nim 2.2.6
๐ฌError Messages
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
โ๏ธInference Rules
Flag this post
The Rise of AI-Driven Formal Methods: How Machine Learning Is Revolutionizing Software Verification in 2025
๐ญProgram Synthesis
Flag this post
Reinventing Assertions
โ๏ธInference Rules
Flag this post
The top 4 JVM languages and why developers love them
infoworld.comยท2d
๐ฎClojure
Flag this post
Scala 3 / HOCON Parsing
alexn.orgยท1d
๐Lexical Scoping
Flag this post
Olsrt โ OverLab Streams Runtime
๐กErlang BEAM
Flag this post
What we didn't get in C++
๐ท๏ธSymbol Mangling
Flag this post
From Lossy to Lossless Reasoning
๐ชRecursive Descent
Flag this post
What are you doing this weekend?
๐ฌInteractive REPLs
Flag this post
Oops, My UUIDs Collided
๐Hash Functions
Flag this post
I Will Not Be Enabling Full Null Support In Adobe ColdFusion 2025
bennadel.comยท14h
๐Language Bindings
Flag this post
Down with template (or not)!
cedardb.comยท1d
๐Template Compilers
Flag this post
You Don't Need Types in Ruby
๐Gradual Languages
Flag this post
GHC 9.14.1-rc1 is now available
๐Linear Haskell
Flag this post
Loading...Loading more...