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

What Ted Lasso, the Bhargava Gita and Derrida Can Teach Us About Ourselves
nytimes.com·1d
🏛️Philosophy
Quantum dynamics on your laptop? New technique moves us closer
buffalo.edu·1d·
Discuss: Hacker News
⚛️Information Physics
Sharp Bilinear Filters: Big Clean Pixels for Pixel Art
bumbershootsoft.wordpress.com·1d·
🌈Color Archaeology
Rethinking PostgreSQL buffer mapping for modern hardware architectures
orioledb.com·1d·
Discuss: Hacker News
🗃️Database Storage
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai·3d·
Discuss: Hacker News
💻Local LLMs
Building Luca: An AI Agent for Finance and Accounting Workflows
leapfin.com·2d·
🔗Constraint Handling
A Proof of the Riemann Hypothesis
dev.to·4d·
Discuss: DEV
⚔️Lean Theorem
Novel GPE Conductive Network Design via AI-Driven Polymer Crosslinking Optimization
dev.to·3h·
Discuss: DEV
🔧Cassette Engineering
AdapTive-LeArning Speculator System (ATLAS): Faster LLM inference
dev.to·16h·
Discuss: DEV
💻Local LLMs
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·4h·
Discuss: DEV
📊Multi-vector RAG
Python 3.14 Has Arrived: A Deep Dive into the New Features
dev.to·1d·
Discuss: DEV
💻Programming languages
AI and the UK Workforce: Navigating the "Job-pocalypse" with Purpose
dev.to·11h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Tech With Tim: Cancel Your AI subscriptions | This All-in-one AI is All You Need (ChatLLM Review)
dev.to·10h·
Discuss: DEV
🚀Indie Hacking
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·3d
🧮Kolmogorov Complexity
Loyca.ai – An open-source, local-first AI assistant with contextual awareness
github.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2d·
Discuss: DEV
📊Multi-vector RAG
Tech With Tim: My top 5 python programming course recommendations
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Nearest Neighbor CCP-Based Molecular Sequence Analysis
arxiv.org·3d
🔄Burrows-Wheeler