Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·14h
✅Type Checking
Toy Binary Decision Diagrams
philipzucker.com·1d
✅Type Checking
Cactus Language • Semantics 1
inquiryintoinquiry.com·1d
📋Backus-Naur Form
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
🌳Pattern Match Compilation
A Generic Vector Implementation in C using void*, func*
github.com·1d·
Discuss: r/C_Programming
🪄C Metaprogramming
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·2d·
Discuss: Hacker News
💬Interactive REPLs
Causal Abstractions, Categorically Unified
arxiv.org·14h
💫Effect Systems
The Mondrian introduction to functional optics
marcosh.github.io·8h·
Discuss: Hacker News
🔍Lens Libraries
The Chip That Spoke Lisp
jxself.org·6h
🖥️Lisp Machines
JSON Schema Compatibility and the Robustness Principle
yokota.blog·2h·
Discuss: Hacker News
⚡Fusion Laws
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·14h
🎭Staged Interpreters
TypeScript Flaws (2024)
intercaetera.com·17h·
Discuss: Hacker News
📋Template Compilers
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·5h
🔢Algebraic Datatypes
A Solution to the Paperclip Problem
link.springer.com·15h·
Discuss: Hacker News
💫Effect Systems
A Low-Resource Speech-Driven NLP Pipeline for Sinhala Dyslexia Assistance
arxiv.org·14h
📊LR Parsing
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·14h
🔍ML Language
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🎲Property Testing
Atomic and Saturated Models
functor.network·3d·
Discuss: Hacker News
🔗Concatenative Theory
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·14h
🌱Minimal ML
Simple hash map in C, for learning purpose
reddit.com·1d·
Discuss: r/C_Programming
🏷️Symbol Interning