Planarizing matchings
11011110.github.ioยท1d
๐Ÿ”„Graph Rewriting
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.comยท17h
๐Ÿ”—Topological Sorting
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.toยท11hยท
Discuss: DEV
๐Ÿ”งHardware Verification
A Slotted Hash Cons for Alpha Invariance
philipzucker.comยท7hยท
Discuss: Hacker News
ฮปLambda Encodings
A Kevin week
blog.mitrichev.chยท1dยท
Discuss: blog.mitrichev.ch
๐Ÿ“Linear Algebra
Show HN: Helios, an open-source distributed AI network using idle community GPUs
github.comยท6hยท
Discuss: Hacker News
๐Ÿ Homelab Federation
What is Algebraic about Algebraic Effects?
interjectedfuture.comยท10h
โœจAlgebraic Effects
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.ioยท1dยท
Discuss: Hacker News, r/programming, r/rust
๐ŸงฎZ3 Solver
LLM-Based Instance-Driven Heuristic Bias In the Context of a Biased Random Key Genetic Algorithm
arxiv.orgยท22h
๐Ÿ’ปProgramming languages
GuitarPie: Electric Guitar Fretboard Pie Menus
andreasfender.comยท11hยท
Discuss: Hacker News
๐Ÿ“ŸTerminal Physics
Pre-viva Talk - 02/10/2025
informatics.ed.ac.ukยท13h
๐Ÿค–Grammar Induction
Solving 3 Enterprise AI Problems Developers Face
thenewstack.ioยท8h
๐Ÿ“Code Metrics
How to turn Claude Code into a domain specific coding agent
blog.langchain.comยท10hยท
Discuss: Hacker News
๐Ÿ“Code Metrics
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.comยท22hยท
Discuss: Lobsters, Hacker News
๐ŸงฎKolmogorov Complexity
Linkage
11011110.github.ioยท9h
๐Ÿ“Linear Algebra
Two Axes, Four Patterns: How Teams Actually Do GPU Binpack/Spread on K8s (w/ DRA context)
reddit.comยท12hยท
Discuss: r/kubernetes
๐Ÿ”ŒOperating system internals
Balance between refactoring and inheritance in your code
github.comยท14hยท
Discuss: Hacker News
โœ…Format Verification
Many hard LeetCode problems are easy constraint problems
dev.toยท3dยท
Discuss: DEV
๐ŸŽฏPerformance Proofs
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.comยท3d
๐Ÿ’ŽInformation Crystallography
LangChain, LangGraph, and LangSmith: Untangling the Confusion
dev.toยท1dยท
Discuss: DEV
โœจEffect Handlers