✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

In-depth Review of Emacs tree-sitter integration
archive.casouri.cc·12h·
Discuss: Lobsters, Hacker News
🌲Tree-sitter
A Kevin week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.org·1d
🧠Semantic Parsing
A (Nearly) Branchless RESP Request Parser
kevinmontrose.com·22h
🔧Error Recovery
VulAgent: Hypothesis-Validation based Multi-Agent Vulnerability Detection
arxiv.org·6h
🔍Static Analysis
LLM Enhancement with Domain Expert Mental Model to Reduce LLM Hallucination with Causal Prompt Engineering
arxiv.org·6h
🦌ANTLR
Stop LLM Overkill: My 7-Step Reviewer/Refactor Loop
reddit.com·22h·
Discuss: r/ClaudeAI
🚀Code Motion
Introduction to Python Module Two Part One: Debugging
dev.to·19h·
Discuss: DEV
🐛Debugging
original ↗
blog.djnavarro.net·2d
📝Rope Editors
Why is Protobuf’s C++ API so clunky? Would a nlohmann/json-style wrapper make sense?
github.com·2h·
Discuss: r/programming
🏠indieweb
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·1d
⏭️Skip Lists
Is Recursion in LLMs a Path to Efficiency and Quality?
pub.towardsai.net·10h
🪜Recursive Descent
Why OpenAI's solution to AI hallucinations would kill ChatGPT tomorrow
techxplore.com·16h
✨Effect Inference
Death of a lens(man)
dev.to·2d·
Discuss: DEV
🔗Lexical Scoping
AutoOEP -- A Multi-modal Framework for Online Exam Proctoring
arxiv.org·6h
🎯Finite Automata
Verlog: A Multi-turn RL framework for LLM agents
blog.ml.cmu.edu·20h
🎭Erlang OTP
K&R Exercise 1-23 for feedback and review
reddit.com·11h·
Discuss: r/C_Programming
📝Rope Editors
Developer-LLM Conversations: An Empirical Study of Interactions and Generated Code Quality
arxiv.org·1d
🎮Language Ergonomics
Erase and Rewind: Precise LLM Memory Manipulation for Safer AI by Arvind Sundararajan
dev.to·2h·
Discuss: DEV
🔗Memory Linearization
When Smiley Turns Hostile: Interpreting How Emojis Trigger LLMs' Toxicity
arxiv.org·6h
🌱Tiny Languages