🔗 Unification

Pattern Matching, Type Inference, Constraint Solving, Algorithms

GaloisInc/parameterized-utils
github.com·7h
📏Linear Haskell
LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
arxiv.org·4h
🤖Abstract Machines
JSON Schema in the Wild: Real World Applications & HAL 🌍
dev.to·14h·
Discuss: DEV
📋JSON Parsers
Toy Binary Decision Diagrams
philipzucker.com·2d
✅Type Checking
The Mondrian introduction to functional optics
marcosh.github.io·23h·
Discuss: Hacker News
🔍Lens Libraries
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·16h·
Discuss: Hacker News
💬Interactive REPLs
Exhaustive Guide to Generative and Predictive AI in AppSec
youtube.com·1h·
Discuss: DEV
🛡️Security Type Systems
The Chip That Spoke Lisp
jxself.org·21h
🖥️Lisp Machines
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·16h·
Discuss: DEV
🔗Unification Algorithms
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·3d·
Discuss: Hacker News
🪜Recursive Descent
Causal Abstractions, Categorically Unified
arxiv.org·1d
💫Effect Systems
Detecting Distillation Data from Reasoning Models
arxiv.org·1d
✅Type Checking
Fast-Convergent Proximity Graphs for Approximate Nearest Neighbor Search
arxiv.org·4h
🌸Bloom Indexing
Online activities 6 – 12 October
ests.wordpress.com·1d
🔗Category Theory
GSoC 2025, Building a Semantic Search Engine for Any Video
news.opensuse.org·1h
🔍Search Algorithms
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·19h
🔢Algebraic Datatypes
Can anyone give me tips and improvements on my bad C program (string-to-int parser)?
reddit.com·8h·
Discuss: r/C_Programming
📚Stack Allocation
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·21h
🧮Theorem Provers
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·1d
🎭Staged Interpreters