Interview: “Previous examination formats will be rendered useless by using AI”
heise.de·2h
📐Proof Assistants
My AI Workflow for Understanding Any Codebase
steipete.me·22h
⚡Proof Automation
Prompts vs. Context
dbreunig.com·8h
⚡Proof Automation
AST, Bytecode and the In Between: An Exploration of Interpreter Design Tradeoffs
2025.ecoop.org·8h·
Discuss: Hacker News
🔤DSLs
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·2d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
SACL: Understanding and Combating Textual Bias in Code Retrieval with Semantic-Augmented Reranking and Localization
arxiv.org·4h
🔍BitFunnel
I wrote my PhD Thesis in Typst
fransskarman.com·3d·
Discuss: Lobsters, Hacker News
📝Concrete Syntax
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·2d·
Discuss: DEV
🧬Functional Programming
AI’s ‘Neutral Voice’ Is a Structural Illusion
hackernoon.com·1d
🤖Grammar Induction
EvoLM: In Search of Lost Language Model Training Dynamics
arxiv.org·3d
💻Local LLMs
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·2d
💻Local LLMs
CODS : A Theoretical Model for Computational Design Based on Design Space
arxiv.org·2d
🛠Language Design
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·2d
🧪CBOR Fuzzing
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·4h
🧠Intelligence Compression
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·2d
🧮Z3 Solver
Programming Entry Level: how to interpreter
dev.to·1d·
Discuss: DEV
🔗Lisp
Leveraging Large Language Models for Information Verification -- an Engineering Approach
arxiv.org·2d
📋Document Grammar
Biomed-Enriched: A Biomedical Dataset Enriched with LLMs for Pretraining and Extracting Rare and Hidden Content
arxiv.org·4h
🔍Information Retrieval
Polynomial-Time Approximation Schemes via Utility Alignment: Unit-Demand Pricing and More
arxiv.org·4h
🎯Performance Proofs
PATCH! {P}sychometrics-{A}ssis{T}ed Ben{CH}marking of Large Language Models against Human Populations: A Case Study of Proficiency in 8th Grade Mathematics
arxiv.org·1d
🧠Intelligence Compression