Toy Binary Decision Diagrams
philipzucker.com·2d
✅Type Checking
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·20h
✅Type Checking
JSON Schema in the Wild: Real World Applications & HAL 🌍
dev.to·6h·
Discuss: DEV
📋JSON Parsers
The Mondrian introduction to functional optics
marcosh.github.io·15h·
Discuss: Hacker News
🔍Lens Libraries
The Chip That Spoke Lisp
jxself.org·13h
🖥️Lisp Machines
🧩 The "Merging Maze": Designing a Neural Network for Unified
dev.to·8h·
Discuss: DEV
🔗Unification
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·2d·
Discuss: Hacker News
💬Interactive REPLs
Causal Abstractions, Categorically Unified
arxiv.org·20h
💫Effect Systems
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·11h
🔢Algebraic Datatypes
iLLM-A*: Hybrid AI to speed up path planning by a factor of 1000
heise.de·17h
🕸️Graph Algorithms
Online activities 6 – 12 October
ests.wordpress.com·16h
🔗Category Theory
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·20h
✅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·1d
🧩Constraint Solvers
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·8h·
Discuss: Hacker News
💬Interactive REPLs
Cactus Language • Semantics 1
inquiryintoinquiry.com·1d
📋Backus-Naur Form
Coding Challenge Practice - Question 23
dev.to·2h·
Discuss: DEV
🤐Zipper Structures
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·20h
🎭Staged Interpreters