🔀 Category Theory

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

Julian
asemic-horizon.com·2d
🏛️Philosophy
Vibe Coding 3 -- Simple Chatbots in DSPy
joelgrus.com·14h
🎙️Whisper
Upcoming changes to Hare's event loop library
harelang.org·1d
🔌Interface Evolution
OverHAuL: Harnessing Automation for C Libraries with Large Language Models
kchousos.github.io·3d·
Discuss: Lobsters, Hacker News
📚MARC Archaeology
Physics-Informed Neural Networks for Inverse PDE Problems
towardsdatascience.com·1d
🔗Tailscale
Towards Locally Deployable Fine-Tuned Causal Large Language Models for Mode Choice Behaviour
arxiv.org·20h
💻Local LLMs
Should You Validate Again? A Smarter Way to Handle Data Trust
hackernoon.com·18h
✅Format Verification
AI Writes Better Code When You Stop Thinking in Code
dev.to·1d·
Discuss: DEV
⚙️TLA+
A Semi-Technical Primer on LLMs
sandboxthoughts.substack.com·2d·
Discuss: Substack
📏Linear Logic
Digitalizing Uncertain Information
arxiv.org·20h
🏛️OAIS Implementation
The Evolution of Video Anomaly Detection: A Unified Framework from DNN to MLLM
arxiv.org·20h
🎞️MKV Analysis
LinDeps: A Fine-tuning Free Post-Pruning Method to Remove Layer-Wise Linear Dependencies with Guaranteed Performance Preservation
arxiv.org·20h
📊Quantization
Bubbleformer: Forecasting Boiling with Transformers
arxiv.org·20h
🧠Machine Learning
AnimalClue: Recognizing Animals by their Traces
arxiv.org·1d
🕳️Persistent Homology
Signed Higher-Order Interactions for Brain Disorder Diagnosis via Multi-Channel Transformers
arxiv.org·1d
🕸️Algebraic Topology
[Linter] releasing `notag`
reddit.com·2d·
Discuss: r/golang
🎯Gradual Typing
Provable In-Context Learning of Nonlinear Regression with Transformers
arxiv.org·1d
🧠Machine Learning
GitHub Copilot: Reusable Prompts, Part 2 — Walkthrough & Real Examples
dev.to·12h·
Discuss: DEV
⚔️Lean Tactics
EMBRACE: Shaping Inclusive Opinion Representation by Aligning Implicit Conversations with Social Norms
arxiv.org·1d
📝ABNF Extensions
SynLang and Symbiotic Epistemology: A Manifesto for Conscious Human-AI Collaboration
arxiv.org·20h
🔲Cellular Automata