🧬 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·2h·
Discuss: X
🧮SMT Solvers
C++ Reflection and Qt MOC
wiki.qt.io·3d·
Discuss: Hacker News
🧩WASM Modules
VLLM Predicted Outputs
cascadetech.ai·1d·
Discuss: Hacker News
💻Local LLMs
Ship Broken Things
matmul.net·2d·
Discuss: Hacker News
🔗Topological Sorting
Generative Art
4rknova.com·2d·
Discuss: Hacker News
📐Mathematical Art
Neural Networks from Scratch in Python: Simpler Than You Think
hamza.se·1d·
Discuss: Hacker News
📊Quantization
Fast, Declarative Open Graph Image Generation in Python
dev.to·6h·
Discuss: DEV
📸PNG Optimization
Valid Stopping for LLM Generation via Empirical Dynamic Formal Lift
arxiv.org·3d
💻Programming languages
CAM: A Constructivist View of Agentic Memory for LLM-Based Reading Comprehension
arxiv.org·4d
📝Concrete Syntax
TaoSR-SHE: Stepwise Hybrid Examination Reinforcement Learning Framework for E-commerce Search Relevance
arxiv.org·2d
🔍Information Retrieval
HLA-A*31:01-Associated Drug-Induced Stevens-Johnson Syndrome Prediction via Multi-Modal Federated Learning
dev.to·6h·
Discuss: DEV
📈Mutual Information
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
🎵Audio ML
Linguistic Patterns in Pandemic-Related Content: A Comparative Analysis of COVID-19, Constraint, and Monkeypox Datasets
arxiv.org·2d
💾Binary Linguistics
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·5d
⚡Proof Automation
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·14h·
Discuss: DEV
⚡Proof Automation
Responsible Vibe Coding
dev.to·17h·
Discuss: DEV
📏Code Metrics
Handling 100+ Website Scrapers with Python's asyncio
dev.to·9h·
Discuss: DEV
📰RSS Archaeology
Quantum Agents: The Algorithmic Alchemists Reshaping Discovery
dev.to·22h·
Discuss: DEV
⚛️Quantum Algorithms
Unveiling the Power of Queues: A Journey into Data Structures and Algorithms
dev.to·2d·
Discuss: DEV
⚡Cache Theory