🧬 Functional Programming

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

For Indigenous communities, AI brings peril — and promise
grist.org·14h
🌍Cultural Computing
All Hyped Up for HyperCard: Further Adventures with an Apple Legacy Format
blogs.loc.gov·20h·
Discuss: Lobsters
🏛️OAIS Implementation
Why was the most-translated Wikipedia article in the world about a lover of Aryan culture?
arstechnica.com·52m·
Discuss: Hacker News
🏛Digital humanities
From Linux Primitives to Kubernetes Security Contexts
learnkube.com·3d
📦Container Security
Big data traps that catch small data teams
tower.dev·1d·
Discuss: Hacker News
📏Code Metrics
OOMProf - Take a heap profile just before OOMkill using eBPF
polarsignals.com·1d·
Discuss: Lobsters, Hacker News, r/golang
🧠Memory Forensics
Computational Music Synthesis
cs.gmu.edu·4d·
Discuss: Hacker News
🎛️Audio Synthesis
A subtle bug with Go's errgroup
gaultier.github.io·5d·
Discuss: Hacker News, r/golang
🧪Binary Fuzzing
A Mixed-Methods Study of Open-Source Software Maintainers On Vulnerability Management and Platform Security Features
usenix.org·1d
🔓Open Source Software
Anthropic's Claude Sonnet 4 now processes up to one million tokens in a single pass on its API
the-decoder.com·2d
🏛Digital humanities
LightShed: Defeating Perturbation-based Image Copyright Protections
usenix.org·1d
👁️Perceptual Hashing
Automated Real-Time Inventory Optimization via Dynamic Bayesian Network Calibration in Control Towers
dev.to·2d·
Discuss: DEV
🔗Supply Chain
MedReasoner: Reinforcement Learning Drives Reasoning Grounding from Clinical Thought to Pixel-Level Precision
arxiv.org·2d
📊Learned Metrics
SEVADE: Self-Evolving Multi-Agent Analysis with Decoupled Evaluation for Hallucination-Resistant Irony Detection
arxiv.org·2d
🌳Context free grammars
Learning to Select MCP Algorithms: From Traditional ML to Dual-Channel GAT-MLP
arxiv.org·2d
🧠Machine Learning
InterChart: Benchmarking Visual Reasoning Across Decomposed and Distributed Chart Information
arxiv.org·2d
🤖Advanced OCR
The systems language from the '70s that almost beat C
news.ycombinator.com·1d·
Discuss: Hacker News
🏢IBM Mainframes
From Code to Cloud: A Three-Act Playbook for Enterprise AI Transformation
dev.to·19h·
Discuss: DEV
⚡SMT Integration
Generating Feasible and Diverse Synthetic Populations Using Diffusion Models
arxiv.org·19h
🔲Cellular Automata
COMPEER: Controllable Empathetic Reinforcement Reasoning for Emotional Support Conversation
arxiv.org·19h
⏱️Interval Parsing