✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

FreeBSD Errata Notice FreeBSD-EN-25:15.arm64
bsdsec.net·11h
🏷️Memory Tagging
A Graph Machine Learning Approach for Detecting Topological Patterns in Transactional Graphs
arxiv.org·49m
🔗Graph Rewriting
Logit Mixture Outlier Exposure for Fine-grained Out-of-Distribution Detection
arxiv.org·1d
✨Effect Inference
DisorientLiDAR: Physical Attacks on LiDAR-based Localization
arxiv.org·49m
🔍Lens Libraries
Simulating Clinical AI Assistance using Multimodal LLMs: A Case Study in Diabetic Retinopathy
arxiv.org·49m
🌱Minimal ML
EmoBench-Reddit: A Hierarchical Benchmark for Evaluating the Emotional Intelligence of Multimodal Large Language Models
arxiv.org·1d
⚡Tokenizer Benchmarks
Unlocking Boolean Clarity: Visualize Logic with State Algebra by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🧩SAT Solvers
Intelligent Reservoir Decision Support: An Integrated Framework Combining Large Language Models, Advanced Prompt Engineering, and Multimodal Data Fusion for Rea...
arxiv.org·1d
📈Earley Parsing
The "0 Hook" Android Architecture Your Team Has Been Dreaming Of (Especially for Jetpack Compose)
dev.to·11h·
Discuss: DEV
🔄Bootstrapping
Fix AI bugs before they happen: a semantic firewall for LLMs (1k★ cold start)
reddit.com·2d·
Discuss: r/LLM
⚙️TOML Parsers
R MCP Server
github.com·4h·
Discuss: Hacker News
⚡Live Programming
Gambit: An efficient implementation of the Scheme programming language
github.com·3d·
Discuss: Hacker News
🔧Scheme Macros
The Thinking Therapist: Training Large Language Models to Deliver Acceptance and Commitment Therapy using Supervised Fine-Tuning and Odds Ratio Policy Optimizat...
arxiv.org·2d
🌱Minimal Interpreters
WHU-STree: A Multi-modal Benchmark Dataset for Street Tree Inventory
arxiv.org·49m
🌳Tree Algorithms
VibeTDD Experiment 4.7: Commons and Examples Compilation - Making AI Smarter Through Better Documentation
dev.to·1d·
Discuss: DEV
📚Self-Documenting Code
Combating headcrabs in the Source SDK codebase
dev.to·16h·
Discuss: DEV
🦀MIR Optimization
Lies-in-the-Loop (LITL): Attacking (and Defending) Human-in-the-Loop AI Workflows
dev.to·10h·
Discuss: DEV
🛡️Security Type Systems
SOLID Principles for Python Developers
dev.to·1d·
Discuss: DEV
🎭Racket Modules
SEC Consult SA-20250911-0 :: Unauthenticated SQL Injection Vulnerability in Shibboleth Service Provider (SP) (ODBC interface)
seclists.org·1d
✅Configuration Validation
The Horton-Strahler number of butterfly trees
arxiv.org·1d
🧮Combinator Calculus