PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·16h
💻Programming languages
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·16h
💻Programming languages
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·2d·
Discuss: Hacker News
📝Concrete Syntax
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·9h
🎯Proof Tactics
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
Read the Scene, Not the Script: Outcome-Aware Safety for LLMs
arxiv.org·16h
✨Effect Handlers
The Chip That Spoke Lisp
jxself.org·9h
🤖Lisp Machines
Cactus Language • Semantics 1
inquiryintoinquiry.com·1d
🔢Denotational Semantics
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·3d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·16h
⚡Proof Automation
Beyond Transformers: Can MLPs Unlock the Potential of In-Context Learning?
dev.to·54m·
Discuss: DEV
🌳Context free grammars
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·4d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
GPT-5-Codex is a better AI researcher than me
seangoedecke.com·20h·
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·16h
🔗Binary Similarity
Generalization of LiNGAM that allows confounding
arxiv.org·16h
🔗Monadic Parsing
SliceMoE: Routing Embedding Slices Instead of Tokens for Fine-Grained and Balanced Transformer Scaling
arxiv.org·16h
🧮Kolmogorov Complexity
Making performant Python bindings to compiled code
kylebarron.dev·6h·
Discuss: Hacker News
🦀Rust Macros
PoLi-RL: A Point-to-List Reinforcement Learning Framework for Conditional Semantic Textual Similarity
arxiv.org·16h
🗂️Vector Search
TypeScript Flaws (2024)
intercaetera.com·19h·
Discuss: Hacker News
🎯Gradual Typing