🧬 Functional Programming

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

Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
C++ Reflection and Qt MOC
wiki.qt.io·3d·
Discuss: Hacker News
🧩WASM Modules
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
Ship Broken Things
matmul.net·2d·
Discuss: Hacker News
🔗Topological Sorting
Falsehoods Vibe Coders Believe About LLMs
wilsonhobbs.com·3d·
Discuss: Hacker News
💧Liquid Types
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·11h·
Discuss: DEV
📊Multi-vector RAG
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
TS-Reasoner: Aligning Time Series Foundation Models with LLM Reasoning
arxiv.org·5d
🎯Gradual Typing
The Programmer Identity Crisis
hojberg.xyz·3d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·1h·
Discuss: DEV
🌀Brotli Internals
Loyca.ai – An open-source, local-first AI assistant with contextual awareness
github.com·11h·
Discuss: Hacker News
🌀Brotli Internals
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·23h·
Discuss: DEV
📊Multi-vector RAG
Randomized and quantum approximate matrix multiplication
arxiv.org·2d
🔐Quantum Cryptography
Python 3.14 Has Arrived: A Deep Dive into the New Features
dev.to·3h·
Discuss: DEV
💻Programming languages
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·2d
🧮Kolmogorov Complexity
Nearest Neighbor CCP-Based Molecular Sequence Analysis
arxiv.org·2d
🔄Burrows-Wheeler
Fast, Declarative Open Graph Image Generation in Python
dev.to·4h·
Discuss: DEV
📸PNG Optimization
Valid Stopping for LLM Generation via Empirical Dynamic Formal Lift
arxiv.org·3d
💻Programming languages
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG