Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·4h
✅Type Checking
Toy Binary Decision Diagrams
philipzucker.com·1d
✅Type Checking
Cactus Language • Semantics 1
inquiryintoinquiry.com·16h
📋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·16h·
Discuss: r/C_Programming
🪄C Metaprogramming
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
💬Interactive REPLs
Causal Abstractions, Categorically Unified
arxiv.org·4h
💫Effect Systems
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·4h
🎭Staged Interpreters
TypeScript Flaws (2024)
intercaetera.com·7h·
Discuss: Hacker News
📋Template Compilers
A Solution to the Paperclip Problem
link.springer.com·6h·
Discuss: Hacker News
💫Effect Systems
A Low-Resource Speech-Driven NLP Pipeline for Sinhala Dyslexia Assistance
arxiv.org·4h
📊LR Parsing
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·4h
🔍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·4h
🌱Minimal ML
Atomic and Saturated Models
functor.network·3d·
Discuss: Hacker News
🔗Concatenative Theory
Simple hash map in C, for learning purpose
reddit.com·21h·
Discuss: r/C_Programming
🏷️Symbol Interning
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·1d·
Discuss: Hacker News
🔢Algebraic Datatypes
Functional Programming Through the Lens of a Philosopher and Linguist
gotopia.tech·3h·
Discuss: Hacker News
🎮Language Ergonomics
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·1d·
Discuss: Hacker News
🌲Tree Rewriting
Generalization of LiNGAM that allows confounding
arxiv.org·4h
🌳Tree Diffing