Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·9h
✅Type Checking
Toy Binary Decision Diagrams
philipzucker.com·1d
✅Type Checking
Cactus Language • Semantics 1
inquiryintoinquiry.com·21h
📋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·21h·
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·9h
💫Effect Systems
The Mondrian introduction to functional optics
marcosh.github.io·3h·
Discuss: Hacker News
🔍Lens Libraries
The Chip That Spoke Lisp
jxself.org·1h
🖥️Lisp Machines
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·9h
🎭Staged Interpreters
TypeScript Flaws (2024)
intercaetera.com·12h·
Discuss: Hacker News
📋Template Compilers
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·34m
🔢Algebraic Datatypes
A Solution to the Paperclip Problem
link.springer.com·11h·
Discuss: Hacker News
💫Effect Systems
A Low-Resource Speech-Driven NLP Pipeline for Sinhala Dyslexia Assistance
arxiv.org·9h
📊LR Parsing
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·9h
🔍ML Language
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🎲Property Testing
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·9h
🌱Minimal ML
Atomic and Saturated Models
functor.network·3d·
Discuss: Hacker News
🔗Concatenative Theory
Simple hash map in C, for learning purpose
reddit.com·1d·
Discuss: r/C_Programming
🏷️Symbol Interning
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·1d·
Discuss: Hacker News
🔢Algebraic Datatypes