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

“Fascinated by the Wikimedia Movement”
diff.wikimedia.org·21h
🌱Personal Wikis
This is what a degree in cannabis studies will get ya
statmodeling.stat.columbia.edu·1d
🧲Magnetic Philosophy
Leopard Lord (1983)
bluerenga.blog·20h
🕹️Retro Gaming
AI Breakthrough Finally Cracks Century-Old Physics Problem
scitechdaily.com·13h
⚛️Information Physics
Find where a specific object was allocated in JavaScript with DevTools
heikkila.dev·10h·
🧠Memory Allocators
What Is a Data Lakehouse
hudi.apache.org·15h·
Discuss: Hacker News
🗄️Database Internals
Liberal Society Isn't for Everyone
hedgehogreview.com·16h·
Discuss: Hacker News
🧲Magnetic Philosophy
Understanding Multilayer Perceptron (MLP) in Machine Learning
dev.to·10h·
Discuss: DEV
🧠Machine Learning
A Proof of the Riemann Hypothesis
dev.to·4d·
Discuss: DEV
⚔️Lean Theorem
PR-03 at Hacktoberfest: Implementing a Credit Card Validator for Terraform Provider
dev.to·9h·
Discuss: DEV
🔓Open Source Software
Krish Naik: Advanced Agentic RAG And Its Types New Series-Generative AI
dev.to·9h·
Discuss: DEV
📡RSS Automation
Valid Stopping for LLM Generation via Empirical Dynamic Formal Lift
arxiv.org·4d
💻Programming languages
Beyond Words: Infusing Conversational Agents with Human-like Typing Behaviors
arxiv.org·11h
🎙️Whisper
Decoding Positive Selection in Mycobacterium tuberculosis with Phylogeny-Guided Graph Attention Models
arxiv.org·11h
🌸Bloom Variants
CAM: A Constructivist View of Agentic Memory for LLM-Based Reading Comprehension
arxiv.org·5d
📝Concrete Syntax
Show HN: Orchestro – Trello for Claude Code with Kanban Board
github.com·23h·
Discuss: Hacker News
🔄Sync Engine
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2d·
Discuss: DEV
📊Multi-vector RAG