🧬 Functional Programming

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

Building great SDKs
newsletter.pragmaticengineer.com·3d
🔌Interface Evolution
Understanding Blockchains Through Java Code
blog.blockingqueue.com·1d·
Discuss: Hacker News
🔗Hash Chains
Do LLMs Identify Fonts?
maxhalford.github.io·2d·
Discuss: Hacker News
🔤Font Archaeology
Exploiting vulnerabilities in the Blink video doorbell
jacksondonaldson.com·17h·
Discuss: Hacker News
🛡️RISC-V Security
What happens when line between authentic and artificial is impossible to draw?
syntheticauth.ai·1d·
Discuss: Hacker News
🔐Quantum Security
Releasing open weights for FLUX.1 Krea
krea.ai·1d·
Discuss: Hacker News, r/LocalLLaMA
📊Learned Metrics
Should we still Learn to Code in the Age of AI?
dev.to·18h·
Discuss: DEV
🔄Language Evolution
Why I'm Porting GNU Coreutils to Python (And How You Can Help!)
dev.to·2d·
Discuss: DEV
🐚Nordic Shell
LVM-GP: Uncertainty-Aware PDE Solver via coupling latent variable model and Gaussian process
arxiv.org·2d
🧠Machine Learning
Building Cursor Powered App: A Devlog Series, Powered by Cursor (Part 3) - Laying the Foundation with Packages
dev.to·18h·
Discuss: DEV
🌀Brotli Internals
Python's asyncio: A Hands-On Walkthrough
realpython.com·2d
🔄Lens Laws
PEMUTA: Pedagogically-Enriched Multi-Granular Undergraduate Thesis Assessment
arxiv.org·4d
🏛Digital humanities
Quantum-Inspired Audio Unlearning: Towards Privacy-Preserving Voice Biometrics
arxiv.org·2d
🎵Acoustic Fingerprinting
Curved Inference: Concern-Sensitive Geometry in Large Language Model Residual Streams
arxiv.org·3d
🧠Intelligence Compression
Exploring the Economics of AI Software Development
dev.to·18h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Graded Transformers: A Symbolic-Geometric Approach to Structured Learning
arxiv.org·4d
🤖Grammar Induction
🧠 I Didn't Know Where It Was Going. I Just Kept Going.
dev.to·1d·
Discuss: DEV
✨Algebraic Effects
How I Trained an LLM to Debug My Git Workflows Intelligently
dev.to·19h·
Discuss: DEV
🌳Git Internals
Novice to LLMs — LLM calls Lisp
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🧠Lisp Dialects
A Markov Categorical Framework for Language Modeling
arxiv.org·5d
🧮Kolmogorov Complexity