Toy Binary Decision Diagrams
philipzucker.com·1d
✅Type Checking
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·9h
🌱Minimal ML
Bringing NumPy's type-completeness score to nearly 90% – Pyrefly
pyrefly.org·3h·
Discuss: Lobsters, Hacker News
🔮Type Inference Visualization
The Mondrian introduction to functional optics
marcosh.github.io·3h·
Discuss: Hacker News
🔍Lens Libraries
TypeScript Flaws (2024)
intercaetera.com·12h·
Discuss: Hacker News
📋Template Compilers
Atomic and Saturated Models
functor.network·3d·
Discuss: Hacker News
🔗Concatenative Theory
Cactus Language • Semantics 1
inquiryintoinquiry.com·21h
📋Backus-Naur Form
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·14m
🔢Algebraic Datatypes
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·9h
🪜Recursive Descent
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
🌳Pattern Match Compilation
Causal Abstractions, Categorically Unified
arxiv.org·9h
💫Effect Systems
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·10h·
Discuss: Hacker News
🔀SSA Construction
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·1d
🧮Combinator Calculus
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·2h
🧮Theorem Provers
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·9h
📏Linear Logic
Hypernetworks: Neural Networks for Hierarchical Data
sturdystatistics.com·6h
🪜Recursive Descent
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·9h
🎭Staged Interpreters
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·2d·
Discuss: Hacker News
🪜Recursive Descent
Detecting Distillation Data from Reasoning Models
arxiv.org·9h
✅Type Checking
Finite Time Analysis of Constrained Natural Critic-Actor Algorithm with Improved Sample Complexity
arxiv.org·9h
🎭Erlang OTP