🧬 Functional Programming

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

Cinebot Nano: new motion control for solo filmmakers debuts at IBC2025 by Jose Antunes
madcornishprojectionist.co.uk·1d
🔌Microcontrollers
Great Ideas in Theoretical Computer Science
ocw.mit.edu·5d·
Discuss: Hacker News
🧮Theoretical Computer Science
The syslog-ng Insider 2025-08: HDFS; configuration; Prometheus
syslog-ng.com·18h·
Discuss: Hacker News
🔌Interface Evolution
New Text Emphasis Methods for the Web
alexanderbass.com·18h·
Discuss: Hacker News
🖋Typography
Minesweeper game in 100 lines of pure JavaScript - easy tutorial
slicker.me·2d
🔲Cellular Automata
LLMs are slot-machines
doctorow.medium.com·2d
🤖Lisp Machines
Career Growth Requires Singular Focus
spectrum.ieee.org·18h
🖥️Modern Terminals
OpenAI aims to build AI systems that can work on problems for hours or even days
the-decoder.com·3d
🌊Stream Processing
What is Unit Testing?
dev.to·2d·
Discuss: DEV
🧪Property-Based Testing
Day 70: When Your First Hater Becomes Your Best Motivator
dev.to·6h·
Discuss: DEV
❄️Nix Flakes
Predictive Chemiluminescence Efficiency via Dynamic Spectral Resonance Mapping
dev.to·1d·
Discuss: DEV
🌈Spectroscopy
Enhanced High-k Dielectric Thin Film Characterization via Machine Learning-Driven Spectroscopic Mapping
dev.to·1d·
Discuss: DEV
🌈Spectroscopy
Multi-Sensory Cognitive Computing for Learning Population-level Brain Connectivity
arxiv.org·1d
🌀Hyperbolic Geometry
Real-World Data Driven Identification of Delayed Adverse Effects in Orphan Drug Markets
dev.to·3d·
Discuss: DEV
🤖Archive Automation
From Code to Docs: One Workflow That Does It All
dev.to·4d·
Discuss: DEV
📏Code Metrics
Fern leaf pockets hide secrets of plant-microbe symbiosis
phys.org·15h
🦴Database Paleontology
Disable Console Bell Globally in DragonFly BSD
discoverbsd.com·3h
🔌Operating system internals
Enhanced Geothermal Energy Extraction via Hybrid Reservoir Characterization and Optimized Fracturing Algorithms
dev.to·2d·
Discuss: DEV
🌊Stream Processing
TT-XAI: Trustworthy Clinical Text Explanations via Keyword Distillation and LLM Reasoning
arxiv.org·6d
🔍Information Retrieval
GANDiff FR: Hybrid GAN Diffusion Synthesis for Causal Bias Attribution in Face Recognition
arxiv.org·1d
📊Learned Metrics