🧬 Functional Programming

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

Testing Your Knowledge of JavaScript’s Date Class
hackaday.com·2d
✅Format Verification
TTIC Summer Workshop on Incentives for Collaborative Learning and Data Sharing
cstheory-events.org·8h
🤐Secure Multiparty
XSLT: A Precision Tool for the Future of Structured Transformation
xml.com·2d·
Discuss: Hacker News
📋Document Grammar
Empowering Virtual Agents With Intelligent Systems
cacm.acm.org·1d
🔲Cellular Automata
The borrowchecker is what I like the least about Rust
viralinstruction.com·3d
🦀Rust Borrowing
API tests as the single source of truth for docs, SDKs, and AI agents
scheduleddowntime.com·1d·
Discuss: Hacker News
🔗Hypermedia APIs
LLMs must evolve from scaling to full orchestration
victorwynne.com·1d·
Discuss: Hacker News, r/LLM
💻Local LLMs
Intuitionistic monotone modal logic via translation
arxiv.org·2d
🏗️Constructive Mathematics
Weak baselines and reporting biases lead to overoptimism in ML for fluid PDEs
arxiv.org·12h·
Discuss: Hacker News
🧠Machine Learning
Python Fundamentals: class variables
dev.to·2d·
Discuss: DEV
🐛Fuzzing
Creating agentic users, not just agentic AI
github.com·10h·
Discuss: Hacker News
🌍Cultural Algorithms
The calculus of variations of the Transformer on the hyperspherical tangent bundle
arxiv.org·1d
🌀Differential Geometry
Beyond Linters: A Deep Dive into AI Code Review Tools for Post-Migration Quality
dev.to·10h·
Discuss: DEV
📏Code Metrics
DARE: Diverse Visual Question Answering with Robustness Evaluation
arxiv.org·1d
🏛Digital humanities
Machine Learning Fundamentals: federated learning tutorial
dev.to·1d·
Discuss: DEV
📊Homelab Monitoring
"Book" recommendation software
dev.to·10h·
Discuss: DEV
🔬Academic Search
Combining model tracing and constraint-based modeling for multistep strategy diagnoses
arxiv.org·2d
🧮Constraint Solvers
Tiny language models
arxiv.org·1d
🎙️Whisper
Machine Learning Fundamentals: feature engineering tutorial
dev.to·9h·
Discuss: DEV
🌊Stream Processing
GASPnet: Global Agreement to Synchronize Phases
arxiv.org·23h
📝ABNF Parsing