🔗 Unification

Pattern Matching, Type Inference, Constraint Solving, Algorithms

GaloisInc/parameterized-utils
github.com·2h
📏Linear Haskell
🧩 The "Merging Maze": Designing a Neural Network for Unified
dev.to·11h·
Discuss: DEV
🔗Unification Algorithms
Causal Abstractions, Categorically Unified
arxiv.org·23h
💫Effect Systems
Toy Binary Decision Diagrams
philipzucker.com·2d
✅Type Checking
JSON Schema in the Wild: Real World Applications & HAL 🌍
dev.to·9h·
Discuss: DEV
📋JSON Parsers
The Mondrian introduction to functional optics
marcosh.github.io·18h·
Discuss: Hacker News
🔍Lens Libraries
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·11h·
Discuss: Hacker News
💬Interactive REPLs
The Chip That Spoke Lisp
jxself.org·16h
🖥️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
Detecting Distillation Data from Reasoning Models
arxiv.org·23h
✅Type Checking
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·23h
✅Type Checking
Online activities 6 – 12 October
ests.wordpress.com·19h
🔗Category Theory
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·14h
🔢Algebraic Datatypes
Can anyone give me tips and improvements on my bad C program (string-to-int parser)?
reddit.com·3h·
Discuss: r/C_Programming
📚Stack Allocation
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·16h
🧮Theorem Provers
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·2h·
Discuss: Hacker News, r/neovim
🪄Syntax Macros
Static Bundle Object: Modernizing Static Linking
medium.com·12h·
Discuss: Hacker News
🌈Gradual Languages
TypeScript Flaws (2024)
intercaetera.com·1d·
Discuss: Hacker News
📋Template Compilers
Closer to production quality Python notebooks with `marimo check`
marimo.io·6h·
Discuss: Hacker News
🔧Error Recovery