🧬 Functional Programming

Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

Image Rotation: Mutable Arrays in Haskell
mmhaskell.com·4d
λLambda Encodings
Extensions and Shadows (7)
sites.psu.edu·4d
🧮Kolmogorov Complexity
Extracting Data From AI Models: A Tale of Three Approaches
blog.scottlogic.com·2d
🌳Incremental Parsing
Google DeepMind Formal Conjectures
google-deepmind.github.io·5d·
Discuss: Hacker News
🕸️Algebraic Topology
Vortex: A Prompting Protocol to Test for a 'Self' in LLMs
habr.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Understanding Matrices | Part 3: Matrix Transpose
towardsdatascience.com·3d
📐Linear Algebra
LeetCode Buddy – My AI-powered Code Review Assistant
dev.to·12h·
Discuss: DEV
🦀Rust Macros
<p>Just for the record, I&rsquo;m not going to stop using em dashes just because LLMs use them too. But to proove my authenticity, I&rsquo;ll occasionally use &...
lmika.org·8h
🖋Typography
Doubly transitive equiangular tight frames that contain regular simplices
arxiv.org·4d
🌀Differential Geometry
SETOL: A Semi-Empirical Theory of (Deep) Learning
arxiv.org·1d·
Discuss: Hacker News
🧠Machine Learning
If you're interested in agentic AI, you need to read this. Stunning, original, pragmatic.
dev.to·18h·
Discuss: DEV
🔲Cellular Automata
Machine Learning Fundamentals: gradient descent example
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
I Built a Visual Novel Engine in TypeScript
news.ycombinator.com·22h·
Discuss: Hacker News
🎯Gradual Typing
International standard language developed to unite synthetic biology laboratories worldwide
phys.org·1d
💧Liquid Types
Why Is My nil Error Not nil in Go? Unpacking Nil Interfaces
dev.to·1d·
Discuss: DEV
🔧Binary Parsing
I co-authored books with GPT. It became more than a mirror
news.ycombinator.com·2d·
Discuss: Hacker News
📼Cassette Linguistics
Risk In Context: Benchmarking Privacy Leakage of Foundation Models in Synthetic Tabular Data Generation
arxiv.org·2d
💻Local LLMs
So I Quit $200k Job To Write A Framework
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Bulletproof Go: Security Practices That Actually Work 🔐
dev.to·15h·
Discuss: DEV
🧪CBOR Fuzzing
Software Ray Tracer in GO - Multi-threaded(Goroutines)
reddit.com·1d·
Discuss: r/golang
⟷Bidirectional Programming