✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

🎲 Python to Bootstrap OpenShift Gitops
stephennimmo.com·6h
🚂Cranelift Backend
LLM Rerankers for RAG: A Practical Guide
fin.ai·1d·
Discuss: Hacker News, Hacker News
🪜Recursive Descent
Secure your AI-generated projects with these security practices
blog.logrocket.com·7h
🛡️Parser Security
EthicsMH: A Pilot Benchmark for Ethical Reasoning in Mental Health AI
arxiv.org·16h
🌱Minimal ML
HalluField: Detecting LLM Hallucinations via Field-Theoretic Modeling
arxiv.org·16h
🌱Minimal ML
I built an LLM from Scratch in Rust (Just ndarray and rand)
github.com·2d·
Discuss: Hacker News, r/LLM, r/rust
🌱Minimal ML
MiniRust
github.com·3d·
Discuss: Hacker News
🦀MIR Optimization
The Risks of Code Assistant LLMs: Harmful Content, Misuse and Deception
unit42.paloaltonetworks.com·22h
🎮Language Ergonomics
Transformer Architecture
dev.to·1d·
Discuss: DEV
🪜Recursive Descent
Building a Human-in-the-Loop AI App with LangGraph and Ollama
dev.to·7h·
Discuss: DEV
💬Interactive REPLs
Ask HN: What in your opinion is the best model for vibecoding? My thoughts below
news.ycombinator.com·4h·
Discuss: Hacker News
📋JSON Parsing
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·5d·
Discuss: Hacker News
🎭Racket Modules
LLM in the Middle: A Systematic Review of Threats and Mitigations to Real-World LLM-based Systems
arxiv.org·16h
🔍ML Language
Your Unit Tests Suck
medium.com·3h·
Discuss: Hacker News
🧪Compiler Testing
Predictive Precision: Combining Data and Reasoning for Self-Healing Systems by Arvind Sundararajan
dev.to·7h·
Discuss: DEV
🚂Error Propagation
AesBiasBench: Evaluating Bias and Alignment in Multimodal Language Models for Personalized Image Aesthetic Assessment
arxiv.org·16h
⚖️Weighted Automata
FragmentGPT: A Unified GPT Model for Fragment Growing, Linking, and Merging in Molecular Design
arxiv.org·16h
🔗Graph Rewriting
Building a Unified Intent Recognition Engine
towardsdatascience.com·1h
🧠Semantic Parsing
Embedded projects for someone looking to break into the field?
github.com·1h·
Discuss: r/embedded
📚Self-Documenting Code
SpecVLM: Fast Speculative Decoding in Vision-Language Models
arxiv.org·16h
🌱Minimal ML