PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·21h
💻Programming languages
What's new in Python 3.14
docs.python.org·3h·
Discuss: Hacker News
🌳Incremental Parsing
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·21h
💻Programming languages
Toy Binary Decision Diagrams
philipzucker.com·2d
🧮Algebraic Datatypes
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·14h
🎯Proof Tactics
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·3d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Read the Scene, Not the Script: Outcome-Aware Safety for LLMs
arxiv.org·21h
✨Effect Handlers
The Chip That Spoke Lisp
jxself.org·13h
🤖Lisp Machines
Cactus Language • Semantics 1
inquiryintoinquiry.com·1d
🔢Denotational Semantics
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·4d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·21h
⚡Proof Automation
Beyond Transformers: Can MLPs Unlock the Potential of In-Context Learning?
dev.to·5h·
Discuss: DEV
🌳Context free grammars
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·2d·
Discuss: Hacker News
📝Concrete Syntax
GPT-5-Codex is a better AI researcher than me
seangoedecke.com·1d·
Discuss: Hacker News
🧠Intelligence Compression
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·1d
🧮Kolmogorov Complexity
Detecting Semantic Clones of Unseen Functionality
arxiv.org·21h
🔗Binary Similarity
Generalization of LiNGAM that allows confounding
arxiv.org·21h
🔗Monadic Parsing
SliceMoE: Routing Embedding Slices Instead of Tokens for Fine-Grained and Balanced Transformer Scaling
arxiv.org·21h
🧮Kolmogorov Complexity
Closer to production quality Python notebooks with `marimo check`
marimo.io·3h·
Discuss: Hacker News
✅Archive Validation
PoLi-RL: A Point-to-List Reinforcement Learning Framework for Conditional Semantic Textual Similarity
arxiv.org·21h
🗂️Vector Search