🧬 Functional Programming

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

Why Feeds Fun normalizes tags — and how
blog.feeds.fun·5h·
Discuss: Hacker News, r/rss
📡RSS Extensions
Introducing oavif: faster target quality image compression
giannirosato.com·1h·
Discuss: Lobsters, Hacker News
⚡Modern Compression
Rohan Paul on X: "New paper from @Google is a major memory breakthrough for AI agents. ReasoningBank helps an AI agent improve during use by learning from its w...
x.com·11h·
Discuss: X
🧮SMT Solvers
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com·2d·
Discuss: Substack
🔲Cellular Automata
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
No Bullshit Guide to Statistics prerelease
minireference.com·2d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Ship Broken Things
matmul.net·2d·
Discuss: Hacker News
🔗Topological Sorting
Generative Art
4rknova.com·3d·
Discuss: Hacker News
📐Mathematical Art
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
DeepEN: Personalized Enteral Nutrition for Critically Ill Patients using Deep Reinforcement Learning
arxiv.org·2d
🧠Machine Learning
Oct 26 2025 : Intro to Screen Printing
nycresistor.com·23h
⚙️DIY Electronics
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·13h·
Discuss: DEV
🌀Brotli Internals
The 9 Best CLIs with Artificial Intelligence
dev.to·16h·
Discuss: DEV
📟CLI Design
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·2d·
Discuss: DEV
📊Multi-vector RAG
Cactus Language • Semantics 2
inquiryintoinquiry.com·4d
🔢Denotational Semantics
Decoding Activation Functions: A Nine-Dimensional Signature for Network Harmony
dev.to·11h·
Discuss: DEV
📊Learned Metrics
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·7h·
Discuss: DEV
🦀Rust Macros
Test-Time Reasoners Are Strategic Multiple-Choice Test-Takers
arxiv.org·2d
✓Automated Theorem Proving
M\"obius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
arxiv.org·4d
🕸️Graph Algorithms
Enhanced Parasitic R/L Extraction in Die-Stacked ICs via Adaptive Finite Element Modeling and Bayesian Optimization
dev.to·19h·
Discuss: DEV
⚡Circuit Archaeology