[P] Implementing Einsum
lyadalachanchu.github.io¡1d
📐Linear Algebra
The Christofides Algorithm
alon.kr¡4h¡
Discuss: Hacker News
🕸ī¸Graph Algorithms
Solving Pell Equations with Index Calculus
leetarxiv.substack.com¡2d¡
Discuss: Substack, r/programming
đŸŽ¯Proof Tactics
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu¡3h
🧮Kolmogorov Complexity
Optimal Scheduling Algorithms for LLM Inference: Theory and Practice
arxiv.org¡16h
đŸ’ģLocal LLMs
Differentiable Economics: Strategic Behavior, Mechanisms, and Machine Learning
cacm.acm.org¡6h
🔲Cellular Automata
SAT Requires Exhaustive Search
link.springer.com¡23h¡
Discuss: Hacker News
🧮Kolmogorov Complexity
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com¡2h
💧Liquid Types
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be¡1d
⚗ī¸Algebraic Coding
Gotta Go Fast: Jobs, Emails and Cache with Rails
blog.codeminer42.com¡3h
🔄Sync Engine
Python LeetCode 70: Climbing Stairs - (Easy)
dev.to¡21h¡
Discuss: DEV
📐Interval Arithmetic
Russian Teacher Tricks American Students
mindyourdecisions.com¡1d
🌀Differential Geometry
What makes a strategy great (2023)
longform.asmartbear.com¡5h¡
Discuss: Hacker News
🔲Cellular Automata
Extensions and Shadows (9)
sites.psu.edu¡1d
✨Effect Handlers
Super Metboy!
ephemeralenigmascom.wordpress.com¡3h
🕹ī¸Retro Gaming
A focus week
blog.mitrichev.ch¡2d¡
Discuss: blog.mitrichev.ch
🌊Streaming Algorithms
Physics+ Euler Lagrange Equation: UNIZOR.COM - Physics+ - Variations
unizor.blogspot.com¡2d¡
Discuss: www.blogger.com
⚔ī¸Lean Theorem
Carnival of Maths #241
aperiodical.com¡1d
📐Mathematical Art
The Kepler Problem (Part 9)
johncarlosbaez.wordpress.com¡1d
⚙Backus-Naur Form
Show HN: Software devs, I made a tool to make creating estimates less painful
devtimate.com¡11h¡
Discuss: Hacker News
⚡Proof Automation