🔀 Category Theory

Functors, Natural Transformations, Monads, Type Theory, Abstract Algebra, Monoids, Algebraic Structures, Mathematical Structures

Introducing Unit 42’s Attribution Framework
unit42.paloaltonetworks.com·9h
🎯Threat Hunting
Free course: Cheat at Search: Essentials
softwaredoug.com·19h
👤Search Personalization
Records and the ‘with’ operator, redux
codeblog.jonskeet.uk·1d
🧪Binary Fuzzing
Cogito V2 Preview
deepcogito.com·2h·
Discuss: Hacker News
🧮Z3 Solver
Coding agents provide fast data visualization tools
mnky9800n.substack.com·8h·
Discuss: Substack
🏛Digital humanities
Learning from Limited and Imperfect Data
arxiv.org·1d
🧠Machine Learning
Efficient Differentially Private Fine-Tuning of LLMs via Reinforcement Learning
arxiv.org·15h
💻Local LLMs
Python Fundamentals: complex numbers
dev.to·1d·
Discuss: DEV
💧Liquid Types
As Software Scales, So Does Its Energy Appetite
hackernoon.com·12h
🔌Interface Evolution
Probabilistic Consistency in Machine Learning and Its Connection to Uncertainty Quantification
arxiv.org·1d
🧠Machine Learning
Past Meets Present: Creating Historical Analogy with Large Language Models
arxiv.org·15h
🕰️RetroCRDTs
Machine Learning Fundamentals: logistic regression example
dev.to·3h·
Discuss: DEV
🧠Machine Learning
I Wanted to Learn Faster — So I Built a Voice AI Tutor with GPT-4 in a Weekend
dev.to·4h·
Discuss: DEV
🗜️LZSS Variants
Analyzing and Evaluating the Behavior of Git Diff and Merge
arxiv.org·15h
🌿git
Proto-EVFL: Enhanced Vertical Federated Learning via Dual Prototype with Extremely Unaligned Data
arxiv.org·15h
🧠Machine Learning
Getting Started with Building a Markdown Parser in Rust
hackernoon.com·11h
🦀Rust Macros
High-Performance Code Analysis Engine for Claude Code in C++17
dev.to·4h·
Discuss: DEV
🔨Compilers
Cactus Language • Pragmatics 3
inquiryintoinquiry.com·4d
🔲Proof Irrelevance
Machine Learning Fundamentals: k-nearest neighbors with python
dev.to·1d·
Discuss: DEV
🧠Learned Indexes
Python Fundamentals: concatenate
dev.to·7h·
Discuss: DEV
🔗Concatenative Languages