🧬 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·10h·
Discuss: Hacker News, r/rss
📡RSS Extensions
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·16h·
Discuss: X
🧮SMT Solvers
Show HN: Recallie AI – Duolingo for learning anything
apps.apple.com·4h·
Discuss: Hacker News
🌀Brotli Dictionary
6 AI Models vs. 3 Advanced Security Vulnerabilities
codelens.ai·1d·
Discuss: r/programming
🏠Homelab Pentesting
Generative Art
4rknova.com·3d·
Discuss: Hacker News
📐Mathematical Art
Mastering Go Project Structure: Build Scalable & Maintainable Go Apps
dev.to·3h·
Discuss: DEV
🔄Reproducible Builds
Decoding Activation Functions: A Nine-Dimensional Signature for Network Harmony
dev.to·16h·
Discuss: DEV
📊Learned Metrics
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·12h·
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
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·8h·
Discuss: DEV
🌀Brotli Internals
Aligning Language Models with Clinical Expertise: DPO for Heart Failure Nursing Documentation in Critical Care
arxiv.org·4d
🔄Archival Workflows
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2d·
Discuss: DEV
🔨Compilers
🧠 The Simplest Neural Network That Actually Works
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·1d·
Discuss: DEV
🎙️Whisper
Tech With Tim: How to Build AI Agents in Python
dev.to·18h·
Discuss: DEV
⚔️Lean Tactics
Building AI Systems That Don't Break Under Attack
dev.to·16h·
Discuss: DEV
⚡Proof Automation
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·8h·
Discuss: DEV
📊Multi-vector RAG
"Not another GPT wrapper"
dev.to·16h·
Discuss: DEV
🌀Brotli Internals