🧬 Functional Programming

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

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·4h·
Discuss: X
🧮SMT Solvers
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com·2d·
Discuss: Substack
🔲Cellular Automata
6 AI Models vs. 3 Advanced Security Vulnerabilities
codelens.ai·13h·
Discuss: r/programming
🏠Homelab Pentesting
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·1d·
Discuss: Hacker News
🎯Performance Proofs
No Bullshit Guide to Statistics prerelease
minireference.com·1d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Generative Art
4rknova.com·2d·
Discuss: Hacker News
📐Mathematical Art
Handling 100+ Website Scrapers with Python's asyncio
dev.to·11h·
Discuss: DEV
📰RSS Archaeology
Unveiling the Power of Queues: A Journey into Data Structures and Algorithms
dev.to·3d·
Discuss: DEV
⚡Cache Theory
Aligning Large Language Models via Fully Self-Synthetic Data
arxiv.org·3d
🔗Monadic Parsing
LLM-Driven Rubric-Based Assessment of Algebraic Competence in Multi-Stage Block Coding Tasks with Design and Field Evaluation
arxiv.org·3d
💻Programming languages
Latest Software Development News: Mid-October 2025 Roundup
dev.to·6h·
Discuss: DEV
🔄Language Evolution
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·2d·
Discuss: DEV
🗄️Database Internals
CIR-CoT: Towards Interpretable Composed Image Retrieval via End-to-End Chain-of-Thought Reasoning
arxiv.org·2d
🧮Vector Embeddings
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·1d·
Discuss: Hacker News
⚡Proof Automation
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.org·2d
🔲Cellular Automata
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·16h
⚙️DIY Electronics
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·6h·
Discuss: DEV
🌀Brotli Internals
The 9 Best CLIs with Artificial Intelligence
dev.to·9h·
Discuss: DEV
📟CLI Design