🧬 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·1d
✅Format Verification
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
Fmtlib / fmt A modern formatting library
github.com·2d·
Discuss: Hacker News
🦀Rust Macros
P-CoT: A Pedagogically-motivated Participatory Chain-of-Thought Prompting for Phonological Reasoning in LLMs
arxiv.org·11h
🤖Grammar Induction
Cactus Language • Stylistics 6
inquiryintoinquiry.com·3d
🌳Context free grammars
A new XML conversion process for mensural music encoding : CMME\_to\_MEI (via Verovio)
arxiv.org·11h
🎧FLAC Encoding
Mind the Gap: Evaluating the Representativeness of Quantitative Medical Language Reasoning LLM Benchmarks for African Disease Burdens
arxiv.org·11h
✅Formal Methods
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·47m·
Discuss: Hacker News
🧠Machine Learning
Python Fundamentals: class variables
dev.to·2d·
Discuss: DEV
🐛Fuzzing
The calculus of variations of the Transformer on the hyperspherical tangent bundle
arxiv.org·1d
🌀Differential Geometry
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
Agentic Coding Is A Fundamental Shift
saewitz.com·1d·
Discuss: Hacker News
🔢Coding Theory
🚀 Building an AI-Powered Anime Recommender with LLMs, LangChain, Streamlit & Kubernetes
dev.to·11h·
Discuss: DEV
🌀Brotli Internals
Combining model tracing and constraint-based modeling for multistep strategy diagnoses
arxiv.org·2d
🧮Constraint Solvers
Tiny language models
arxiv.org·1d
🎙️Whisper
GASPnet: Global Agreement to Synchronize Phases
arxiv.org·11h
📝ABNF Parsing
Machine Learning Fundamentals: feature engineering
dev.to·22h·
Discuss: DEV
🌊Stream Processing