✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

original ↗
blog.djnavarro.net·2d
📝Rope Editors
Verlog: A Multi-turn RL framework for LLM agents
blog.ml.cmu.edu·22h
🎭Erlang OTP
Is Recursion in LLMs a Path to Efficiency and Quality?
pub.towardsai.net·13h
🪜Recursive Descent
AutoOEP -- A Multi-modal Framework for Online Exam Proctoring
arxiv.org·9h
🎯Finite Automata
LLM Rerankers for RAG: A Practical Guide
fin.ai·1d·
Discuss: Hacker News, Hacker News
🪜Recursive Descent
K&R Exercise 1-23 for feedback and review
reddit.com·13h·
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·5h·
Discuss: DEV
🔗Memory Linearization
When Smiley Turns Hostile: Interpreting How Emojis Trigger LLMs' Toxicity
arxiv.org·9h
🌱Tiny Languages
Beyond the Hype: Why Your AI Assistant Might Be Sabotaging Your Architecture
medium.com·1d·
Discuss: Hacker News
🛡️Error Ergonomics
Compartmentalised Agentic Reasoning for Clinical NLI
arxiv.org·1d
⚖️Inference Rules
Why OpenAI's solution to AI hallucinations would kill ChatGPT tomorrow
techxplore.com·19h
✨Effect Inference
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
leetcode.com·2d·
Discuss: DEV
🪢Rope Data Structures
Publishing to PyPI: My ML Preprocessing Package for Newbies
dev.to·9h·
Discuss: DEV
🔍ML Language
CHMLib 0.40a Integer Overflow in _unmarshal_int32 / _unmarshal_uint32 During CHM Header Parsing
seclists.org·10h
🔧Error Recovery
**Python Geometric Algorithms: Point-in-Polygon, Convex Hull & Spatial Indexing Techniques**
dev.to·3h·
Discuss: DEV
🔢Algebraic Datatypes
No Answer Needed: Predicting LLM Answer Accuracy from Question-Only Linear Probes
arxiv.org·9h
🪜Recursive Descent
Feedback on my first library
reddit.com·17h·
Discuss: r/rust
🚂Cranelift Backend
EthicsMH: A Pilot Benchmark for Ethical Reasoning in Mental Health AI
arxiv.org·9h
🌱Minimal ML
HalluField: Detecting LLM Hallucinations via Field-Theoretic Modeling
arxiv.org·9h
🌱Minimal ML