🔗 Unification

Pattern Matching, Type Inference, Constraint Solving, Algorithms

Toy Binary Decision Diagrams
philipzucker.com·1d
✅Type Checking
Causal Abstractions, Categorically Unified
arxiv.org·18h
💫Effect Systems
JSON Schema in the Wild: Real World Applications & HAL 🌍
dev.to·4h·
Discuss: DEV
📋JSON Parsers
The Mondrian introduction to functional optics
marcosh.github.io·13h·
Discuss: Hacker News
🔍Lens Libraries
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·6h·
Discuss: Hacker News
💬Interactive REPLs
The Chip That Spoke Lisp
jxself.org·11h
🖥️Lisp Machines
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·3d·
Discuss: Hacker News
🪜Recursive Descent
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·2d·
Discuss: Hacker News
💬Interactive REPLs
🧩 The "Merging Maze": Designing a Neural Network for Unified
dev.to·6h·
Discuss: DEV
🔗Unification Algorithms
Detecting Distillation Data from Reasoning Models
arxiv.org·18h
✅Type Checking
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·18h
✅Type Checking
Online activities 6 – 12 October
ests.wordpress.com·14h
🔗Category Theory
TypeScript Flaws (2024)
intercaetera.com·21h·
Discuss: Hacker News
📋Template Compilers
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·9h
🔢Algebraic Datatypes
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·11h
🧮Theorem Provers
Static Bundle Object: Modernizing Static Linking
medium.com·7h·
Discuss: Hacker News
🌈Gradual Languages
Simple hash map in C, for learning purpose
reddit.com·1d·
Discuss: r/C_Programming
🏷️Symbol Interning
Closer to production quality Python notebooks with `marimo check`
marimo.io·1h·
Discuss: Hacker News
🔧Error Recovery
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·2d·
Discuss: r/programming
🧠Memory Models
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·18h
📏Linear Logic