🧬 Functional Programming

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

Exploiting vulnerabilities in the Blink video doorbell
jacksondonaldson.com·1d·
Discuss: Hacker News
🛡️RISC-V Security
How JIT builds of CPython work
savannah.dev·3d·
Discuss: Hacker News
📝Concrete Syntax
Releasing open weights for FLUX.1 Krea
krea.ai·1d·
Discuss: Hacker News, r/LocalLLaMA
📊Learned Metrics
Emacs: The macOS Bug
xlii.space·2d·
Discuss: Lobsters, Hacker News
🖥️Vintage Macintosh
A Semi-Technical Primer on LLMs
sandboxthoughts.substack.com·4d·
Discuss: Substack
📏Linear Logic
Parallel PLL on DAGs
arxiv.org·3d
🔗Topological Sorting
Why not? Developing ABox Abduction beyond Repairs
arxiv.org·3d
🔲Proof Irrelevance
Should we still Learn to Code in the Age of AI?
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Why I'm Porting GNU Coreutils to Python (And How You Can Help!)
dev.to·3d·
Discuss: DEV
🐚Nordic Shell
LVM-GP: Uncertainty-Aware PDE Solver via coupling latent variable model and Gaussian process
arxiv.org·2d
🧠Machine Learning
Day 52: When Your Dead Phone Becomes Your Best Study Buddy
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Building Cursor Powered App: A Devlog Series, Powered by Cursor (Part 3) - Laying the Foundation with Packages
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
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·1d·
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·2d·
Discuss: DEV
✨Algebraic Effects
How I Trained an LLM to Debug My Git Workflows Intelligently
dev.to·1d·
Discuss: DEV
🌳Git Internals
Novice to LLMs — LLM calls Lisp
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🧠Lisp Dialects