🧬 Functional Programming

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

Web Site Reorg
mwl.io·6h
🏠Personal Archives
Preserving legacy code with Software Heritage: A tutorial
softwareheritage.org·1d
🔄Archive Workflows
If we want artificial “superintelligence,” it may need to feel pain
freethink.com·2d
🧲Magnetic Philosophy
Function Colors Represent Different Execution Contexts
danieltan.weblog.lol·4d·
Discuss: r/programming
✨Effect Handlers
Why was the most-translated Wikipedia article in the world about a lover of Aryan culture?
arstechnica.com·3h·
Discuss: Hacker News
🏛Digital humanities
PostgreSQL 17.6, 16.10, 15.14, 14.19, 13.22, and 18 Beta 3 Released!
postgresql.org·1d·
Discuss: Hacker News
🗄️PostgreSQL WAL
I think the Pomera DM250 is the distraction-free e-writer that could unseat the Freewrite Traveler for business writing
techradar.com·7h
📟Terminal Typography
Snooping On Slow Builds (Using Syscalls)
danielchasehooper.com·2d·
Discuss: Lobsters, Hacker News, Hacker News
⚙️Build Archaeology
Treacherous vibrations: Eavesdropping on cell phone calls with radar and AI
heise.de·2d
🎙️Whisper
Generating Feasible and Diverse Synthetic Populations Using Diffusion Models
arxiv.org·21h
🔲Cellular Automata
Forecasting Commodity Price Shocks Using Temporal and Semantic Fusion of Prices Signals and Agentic Generative AI Extracted Economic News
arxiv.org·2d
📈Time Series
Automated Real-Time Inventory Optimization via Dynamic Bayesian Network Calibration in Control Towers
dev.to·2d·
Discuss: DEV
🔗Supply Chain
A Neurosymbolic Framework for Interpretable Cognitive Attack Detection in Augmented Reality
arxiv.org·21h
🔍Vector Forensics
From Field to Drone: Domain Drift Tolerant Automated Multi-Species and Damage Plant Semantic Segmentation for Herbicide Trials
arxiv.org·2d
📊Learned Metrics
From Code to Cloud: A Three-Act Playbook for Enterprise AI Transformation
dev.to·22h·
Discuss: DEV
⚡SMT Integration
Memory Enhanced Fractional-Order Dung Beetle Optimization for Photovoltaic Parameter Identification
arxiv.org·2d
🧠Machine Learning
How to Tame Your AI Agents: From $900 in 18 Days to Coding Smarter
dev.to·2d·
Discuss: DEV
📏Code Metrics
Doctor Sun: A Bilingual Multimodal Large Language Model for Biomedical AI
arxiv.org·1d
🤖AI Translation
X-UniMotion: Animating Human Images with Expressive, Unified and Identity-Agnostic Motion Latents
arxiv.org·21h
📊Learned Metrics
NegFaceDiff: The Power of Negative Context in Identity-Conditioned Diffusion for Synthetic Face Generation
arxiv.org·21h
🔍Vector Forensics