My first fifteen compilers (2019)
๐ฌNanopasses
Flag this post
Friday 21 November - 11am
informatics.ed.ac.ukยท1d
๐ML Language
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท23h
๐Log Parsers
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Dependent Haskell
Flag this post
A Beginnerโs Guide to Getting Started with add_messages Reducer in LangGraph
๐Language Bridges
Flag this post
The Rise of AI-Driven Formal Methods: How Machine Learning Is Revolutionizing Software Verification in 2025
๐ญProgram Synthesis
Flag this post
Olsrt โ OverLab Streams Runtime
๐กErlang BEAM
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
โ๏ธInference Rules
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท20h
๐ก๏ธError Handling
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.orgยท23h
๐ฑMinimal ML
Flag this post
My Wishlist for PHP in 2026
๐Forth Compilers
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
๐Language Benchmarks
Flag this post
๐ฒ On LLMs
kaukas.mataroa.blogยท18h
๐ฎLanguage Ergonomics
Flag this post
What we didn't get in C++
๐ท๏ธSymbol Mangling
Flag this post
Fungus: The Befunge CPU(2015)
๐ณB+ Trees
Flag this post
Loading...Loading more...