🧬 Functional Programming

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

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
PostgreSQL 17.6, 16.10, 15.14, 14.19, 13.22, and 18 Beta 3 Released!
postgresql.org·19h·
Discuss: Hacker News
🗄️PostgreSQL WAL
Snooping On Slow Builds (Using Syscalls)
danielchasehooper.com·1d·
Discuss: Lobsters, Hacker News, Hacker News
⚙️Build Archaeology
Why Computer-Use Agents Should Think Less
prava.co·2h·
Discuss: Hacker News
🖥️Modern Terminals
Treacherous vibrations: Eavesdropping on cell phone calls with radar and AI
heise.de·1d
🎙️Whisper
MedReasoner: Reinforcement Learning Drives Reasoning Grounding from Clinical Thought to Pixel-Level Precision
arxiv.org·2d
📊Learned Metrics
Learning to Select MCP Algorithms: From Traditional ML to Dual-Channel GAT-MLP
arxiv.org·2d
🧠Machine Learning
The systems language from the '70s that almost beat C
news.ycombinator.com·1d·
Discuss: Hacker News
🏢IBM Mainframes
COMPEER: Controllable Empathetic Reinforcement Reasoning for Emotional Support Conversation
arxiv.org·15h
⏱️Interval Parsing
Generating Feasible and Diverse Synthetic Populations Using Diffusion Models
arxiv.org·15h
🔲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
A Neurosymbolic Framework for Interpretable Cognitive Attack Detection in Augmented Reality
arxiv.org·15h
🔍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·16h·
Discuss: DEV
⚡SMT Integration
Is AI Replacing Developers? The Role of Code Generators in 2025
dev.to·11h·
Discuss: DEV
📏Code Metrics
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·1d·
Discuss: DEV
📏Code Metrics
Doctor Sun: A Bilingual Multimodal Large Language Model for Biomedical AI
arxiv.org·1d
🤖AI Translation