Rewriting Modulo Traced Comonoid Structure
arxiv.org·2d
✅Format Verification
Dreaming of Graphs in the Open Lakehouse
semyonsinchenko.github.io·1d·
Discuss: Hacker News
📊Graph Databases
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·1d
🧮SMT Solvers
Scheme Basics
courses.cs.washington.edu·1d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Fox pairing
ncatlab.org·1h
🔱Galois Theory
WeakC4, or Distilling an Emergent Object
2swap.github.io·13h·
Discuss: Hacker News
🔲Cellular Automata
Algebra 2 Problems of the Day (Algebra 2 Regents, August 2024 Part III)
mrburkemath.blogspot.com·2d·
Discuss: www.blogger.com
📐Linear Algebra
Knowledge Graph-Infused Fine-Tuning for Structured Reasoning in Large Language Models
arxiv.org·2d
📋Document Grammar
What is a smooth manifold?
burttotaro.wordpress.com·1d
🕸️Algebraic Topology
AI Can Do More Than You Think — The Most Practical Ways to Use AI Every Day
dev.to·9h·
Discuss: DEV
🌊Streaming Algorithms
Optimizing multiprecision LLL in FLINT
fredrikj.net·2d
🧮Algebraic Datatypes
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·20h
🔗Tailscale
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·10h·
Discuss: Hacker News
📼Tape Combinators
Beyond Bézier
beyondbezier.ch·4h·
Discuss: Hacker News
📖Nordic Typography
Graphzep -TypeScript implementation of temporal knowledge graph memory system
github.com·16h·
Discuss: Hacker News
🕸️Neo4j
Simpler Category Theory
ryanbrewer.dev·3d·
Discuss: Hacker News
🔀Category Theory
Ask HN: Why is Prolog not gaining traction?
news.ycombinator.com·1d·
Discuss: Hacker News
🧮Prolog Parsing
LLMs Won't Replace Programming Languages
mech-lang.org·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Signal Relays
pzuraq.com·20h·
Discuss: Hacker News
✨Effect Handlers
Icepath: a 2D Programming Language
healeycodes.com·1d·
Discuss: Hacker News
🔗Concatenative Programming