🧬 Functional Programming

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

A Brief History of Graphs; My Journey Into Application Development
blogs.gnome.org·1d·
Discuss: r/linux
🐧FOSS
More Than Code
deadprogrammersociety.com·18h·
Discuss: Hacker News
📊Static Analysis
Solving the inference problem for open source AI projects with GitHub Models
github.blog·1d·
Discuss: Hacker News
🌀Brotli Internals
mariadb-operator 📦 25.08.0 has landed: PhysicalBackups, VolumeSnapshots, VECTOR support, new cluster Helm chart, and more!
github.com·4h
🌳Git Internals
So I Quit $200k Job To Write A Framework
dev.to·18h·
Discuss: DEV
🌊Streaming Systems
The Decade of Deep Learning (2019)
bmk.sh·1d·
Discuss: Hacker News
🧠Machine Learning
Software Ray Tracer in GO - Multi-threaded(Goroutines)
reddit.com·13h·
Discuss: r/golang
⟷Bidirectional Programming
Using Data Engineering to Track Food Prices and Inflation in Kenya from 2006 to 2025
dev.to·2d·
Discuss: DEV
🤖Archive Automation
Digital Twin Technologies in Predictive Maintenance: Enabling Transferability via Sim-to-Real and Real-to-Sim Transfer
arxiv.org·10h
🔄Lens Laws
Harnessing RLHF for Robust Unanswerability Recognition and Trustworthy Response Generation in LLMs
arxiv.org·1d
💻Local LLMs
Show HN: Made a boilerplate for SaaS and Freelancers to deploy in 24h
github.com·5h·
Discuss: Hacker News
🦋Format Metamorphosis
Language Generation in the Limit: Noise, Loss, and Feedback
arxiv.org·3d
💻Programming languages
LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning
arxiv.org·1d
🤖Lisp Machines
Evaluating Artificial Intelligence Algorithms for the Standardization of Transtibial Prosthetic Socket Shape Design
arxiv.org·1d
🧮Kolmogorov Bounds
The Migration That Mattered: Moving from Law Books to Code Bases
dev.to·3h·
Discuss: DEV
📝ABNF Parsing
Show HN: Hiconic – reflective, reactive, and portable modeling for any domain
github.com·23h·
Discuss: Hacker News
📦CBOR Extensions
Optimize Golang Cryptographic Performance: Hardware Acceleration and Parallel Processing Techniques for 8x Speed Gains
dev.to·1d·
Discuss: DEV
🌊Stream Ciphers
Speaker Disentanglement of Speech Pre-trained Model Based on Interpretability
arxiv.org·10h
🎵Audio ML
Hierarchical Dimensionless Learning (Hi-{\pi}): A physics-data hybrid-driven approach for discovering dimensionless parameter combinations
arxiv.org·10h
🧠Machine Learning
The Dangers of Vibe Coding Part 1: Premature Optimization
dev.to·2d·
Discuss: DEV
⚡Effectful Programming