GHC 9.14.1-Alpha1
blog.haskell.orgยท2hยท
Discuss: Hacker News
๐Ÿ›๏ธAgda
๐Ÿš€ Introducing ml_transformer: A Pure Dart ML/NN Library ๐ŸŽ‰
dev.toยท7hยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.comยท1h
๐ŸŽฏPerformance Proofs
Compiling Dinner
gist.github.comยท14hยท
Discuss: Hacker News
๐Ÿ”จCompilers
Mojo Roadmap Document
docs.modular.comยท6hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Song recommendations with F# free monads
blog.ploeh.dkยท4d
ฮปLambda Formalization
Chicken Scheme internals: the garbage collector
more-magic.netยท1hยท
Discuss: Hacker News
๐Ÿง Separation Logic
Elephants for breakfast
bitfieldconsulting.comยท5h
๐Ÿฆ€Rust Macros
Stop Guessing and Start GOing: Cleaner Golang Decompilation in IDA 9.2
hex-rays.comยท23h
๐Ÿ”งBinary Parsers
Antonio Cuni: Porting the JIT to CLI (part 1)
antocuni.euยท4h
๐Ÿ“Code Metrics
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.netยท5d
๐Ÿฆ€Rust Macros
Measuring Reasoning Utility in LLMs via Conditional Entropy Reduction
arxiv.orgยท12h
๐Ÿง Intelligence Compression
Status Update: August 2025
joshleeb.comยท1d
๐ŸงฉWASM Components
Spectrum โ€“ catching clojure.spec conform errors at compile time
github.comยท1dยท
Discuss: Hacker News
๐Ÿง Lisp Dialects
Dependent types I โ€บ Universes, or types of types
jonmsterling.comยท2dยท
Discuss: Hacker News
๐Ÿ”คType Theory
What is a large language model?
proton.meยท31m
๐Ÿ’ปLocal LLMs
Typeclassopedia
wiki.haskell.orgยท4dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.deยท2dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿš€Compiler Optimizations
Well-Typed.Com: Welcoming a new Haskell Ecosystem Supporter: Standard Chartered
well-typed.comยท16h
๐Ÿง Lisp Dialects
Understanding Automatic Differentiation
swagatmitrab.vercel.appยท7hยท
Discuss: Hacker News
๐Ÿ“Error Bounds