🧬 Functional Programming

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

Online activities 6 – 12 October
ests.wordpress.com·4d
🏗️Constructive Mathematics
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·1d
📞Session Types
Igor Tamm and the Taylor expansion (2017)
damtson.wordpress.com·13h·
Discuss: Hacker News
🔐Soviet Cryptography
The best Rust training providers in 2025
bitfieldconsulting.com·18h
🦀Embedded Rust
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com·2d
🌐WASI
No Bullshit Guide to Statistics prerelease
minireference.com·1d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Falsehoods Vibe Coders Believe About LLMs
wilsonhobbs.com·3d·
Discuss: Hacker News
💧Liquid Types
Can Risk-taking AI-Assistants suitably represent entities
arxiv.org·1d
🔗Constraint Handling
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.org·2d
📊Graph Databases
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·1d
📼Cassette Combinators
LLC Artificial Intelligence Trained to Lie by Omission
dev.to·13h·
Discuss: DEV
📏Code Metrics
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·7h·
Discuss: DEV
📊Multi-vector RAG
Every Line of Code Is a Philosophy in Disguise
dev.to·1d·
Discuss: DEV
⚖️Emulation Ethics
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·1d
🧠Machine Learning
Causal Abstractions, Categorically Unified
arxiv.org·4d
✨Effect Handlers
`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
InferenceMAX – open-source Inference Frequent Benchmarking
github.com·1d·
Discuss: Hacker News
⚡Performance Mythology
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·13h·
Discuss: DEV
📊Multi-vector RAG
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·9h·
Discuss: DEV
📊Multi-vector RAG