🔀 Category Theory

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

Machine learning by satisfiability solving
johndcook.com·23h
🎯Performance Proofs
[RODEN] Summer Heatray Days
craigmod.com·17h
⭐Awesome lists
Extensions and Shadows (8)
sites.psu.edu·3d
🧮Kolmogorov Bounds
Scientists shrink the genetic code of E. coli to contain only 57 of its usual 64 codons
phys.org·1h
🧬Palindrome Codes
Smart Segments: Krita plugin that adds Segment Anything object selection using
github.com·2d·
Discuss: Hacker News
⟷Bidirectional Programming
A Periodic Table of System Design Principles
github.com·2d·
Discuss: Hacker News
⚙️Operating System Design
Honey Adulteration Detection using Hyperspectral Imaging and Machine Learning
arxiv.org·13h
🧠Machine Learning
SOME: Symmetric One-Hot Matching Elector -- A Lightweight Microsecond Decoder for Quantum Error Correction
arxiv.org·13h
⚛️Quantum Error Correction
An Algorithm-to-Contract Framework without Demand Queries
arxiv.org·3d
🎯Performance Proofs
My Journey into Data Science with Python: A Personal Story of Curiosity, Challenges, and Career Growth
dev.to·1d·
Discuss: DEV
🧪Data science
6 Weeks of Claude Code
blog.puzzmo.com·1d·
Discuss: Lobsters, Hacker News
📏Code Metrics
From Red Errors to Real Confidence
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Improving Task Diversity in Label Efficient Supervised Finetuning of LLMs
arxiv.org·2d
🔗Monadic Parsing
Embeddings & Cosine Similarity Explained Simply
dev.to·3d·
Discuss: DEV
📐Vector Similarity
SigBERT: Combining Narrative Medical Reports and Rough Path Signature Theory for Survival Risk Estimation in Oncology
arxiv.org·13h
🧠Machine Learning
Python Fundamentals: concurrency
dev.to·4h·
Discuss: DEV
🌊Stream Processing
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·1d
✨Effect Handlers
clj-coll: Clojure collections and sequences in Common Lisp
github.com·6d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Design of a bioinspired robophysical antenna for insect-scale tactile perception and navigation
arxiv.org·13h
✋Tactile Computing
FairReason: Balancing Reasoning and Social Bias in MLLMs
arxiv.org·13h
📏Linear Logic