🧬 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
7 reasons to use Bayesian inference!
statmodeling.stat.columbia.edu·11h·
Discuss: Hacker News
🧮Kolmogorov Bounds
A Gentle Introduction to TypeScript for Python Programmers
kdnuggets.com·5d
🎯Gradual Typing
Fundamental engineering principles can help identify disease biomarkers more quickly
phys.org·9h
⚙️systems theory
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com·2d
🌐WASI
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·1d·
Discuss: r/golang
🦀Rust Borrowing
Instructional Goal-Aligned Question Generation for Student Evaluation in Virtual Lab Settings: How Closely Do LLMs Actually Align?
arxiv.org·2d
🧮Prolog Parsing
Macros 2.0 is one of the most exciting Rust features I'm looking forward to
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
ParsTranslit: Truly Versatile Tajik-Farsi Transliteration
arxiv.org·1d
📜Digital Philology
The Rise of Reactive Backends That Adapt in Real Time
dev.to·18h·
Discuss: DEV
🌊Streaming Systems
Rust vs C, C++, Java & Python — 5 Everyday Programs Compared
dev.to·3d·
Discuss: DEV
🦀Rust Macros
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·12h·
Discuss: DEV
📊Multi-vector RAG
StruSR: Structure-Aware Symbolic Regression with Physics-Informed Taylor Guidance
arxiv.org·2d
🧠Machine Learning
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·18h·
Discuss: DEV
🛡️Error Boundaries
METRICALARGS: A Taxonomy for Studying Metrical Poetry with LLMs
arxiv.org·1d
📊HyperLogLog
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·6h·
Discuss: DEV
⚡Proof Automation
Understanding Latent Space: How Meaning Is Represented by AI
dev.to·6h·
Discuss: DEV
🧮Kolmogorov Complexity
IKNet: Interpretable Stock Price Prediction via Keyword-Guided Integration of News and Technical Indicators
arxiv.org·1d
🧠Learned Indexing