GaloisInc/parameterized-utils
github.com·4h
📏Linear Haskell
🧩 The "Merging Maze": Designing a Neural Network for Unified
dev.to·14h·
Discuss: DEV
🔗Unification
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·1d
✅Type Checking
The Chip That Spoke Lisp
jxself.org·18h
🖥️Lisp Machines
Toy Binary Decision Diagrams
philipzucker.com·2d
✅Type Checking
JSON Schema in the Wild: Real World Applications & HAL 🌍
dev.to·11h·
Discuss: DEV
📋JSON Parsers
The Mondrian introduction to functional optics
marcosh.github.io·20h·
Discuss: Hacker News
🔍Lens Libraries
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·2d·
Discuss: Hacker News
💬Interactive REPLs
Causal Abstractions, Categorically Unified
arxiv.org·1d
💫Effect Systems
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·17h
🔢Algebraic Datatypes
Online activities 6 – 12 October
ests.wordpress.com·21h
🔗Category Theory
iLLM-A*: Hybrid AI to speed up path planning by a factor of 1000
heise.de·23h
🕸️Graph Algorithms
Simple hash map in C, for learning purpose
reddit.com·1d·
Discuss: r/C_Programming
🏷️Symbol Interning
Detecting Distillation Data from Reasoning Models
arxiv.org·1d
✅Type Checking
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·3d·
Discuss: Hacker News
🪜Recursive Descent
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·2d·
Discuss: Hacker News
🌲Tree Rewriting
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·2d
🧩Constraint Solvers
TaTToo: Tool-Grounded Thinking PRM for Test-Time Scaling in Tabular Reasoning
arxiv.org·2h
🎭Racket
Fast-Convergent Proximity Graphs for Approximate Nearest Neighbor Search
arxiv.org·2h
🌸Bloom Indexing
M\"obius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
arxiv.org·2h
🧮Combinator Calculus