🔀 Category Theory

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

The Planet Is Warming, But Our Speech Has Chilled
battellemedia.com·1d
🌡️Preservation Physics
How Promise Works in JavaScript
developer.mozilla.org·18h·
Discuss: Hacker News
⚖️Hoare Logic
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·22h·
Discuss: Hacker News
🤝Paxos Consensus
The Dartboard Sequence
mathpages.com·3d·
Discuss: Hacker News
🎞️Tape Combinatorics
Announcing TypeScript 5.9
devblogs.microsoft.com·1d·
Discuss: Hacker News, r/javascript, r/programming, r/typescript
🎯Gradual Typing
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·4d·
Discuss: Hacker News
🧮Theorem Proving
Program development in Limbo (the native lang of Inferno, Unix 3.0)
seh.dev·1d·
Discuss: Hacker News
❄Nix
ChatGPT dissidents, the students who refuse to use AI: ‘I couldn’t remember the last time I had written something by myself’
english.elpais.com·7h
🤖AI Curation
Day 40/100: Python math, random, and statistics Modules
dev.to·1d·
Discuss: DEV
📟Terminal Physics
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·2d
✓Automated Theorem Proving
Repocks: Enable RAG from In-Repo Documentation
dev.to·17h·
Discuss: DEV
🤖Archive Automation
Unlocking Quantitative Analysis using Python
dev.to·17h·
Discuss: DEV
🎞️MKV Analysis
My first Rust Crate - Omelet, a math library focused on graphics and physics
reddit.com·3d·
Discuss: r/rust
🦀Rust Macros
Python Data Structures: Lists, Tuples, and Dictionaries Explained
dev.to·2d·
Discuss: DEV
🗂Data structures
Modern Monaco
github.com·9h·
Discuss: Hacker News
📺Terminal UI
How I Built an AI System That Actually Measures Developer Impact (And Nearly Lost My Mind)
dev.to·17h·
Discuss: DEV
📏Code Metrics
Rethink Domain Generalization in Heterogeneous Sequence MRI Segmentation
arxiv.org·2d
📊Learned Metrics
ART: Adaptive Relation Tuning for Generalized Relation Prediction
arxiv.org·2d
🧮Vector Embeddings
04 – eBPF Uprobes: Tracing gRPC Headers by Unpacking Go Function Internals
dev.to·3h·
Discuss: DEV
🔧Binary Parsing
Hybrid Shifted Gegenbauer Integral-Pseudospectral Method for Solving Time-Fractional Benjamin-Bona-Mahony-Burgers Equation
arxiv.org·2d
⚙Backus-Naur Form