✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

Announcing MCP Toolbox support for Firestore
cloud.google.com·6h
⚡Incremental Parsing
Letter of the week: Watching our language
newstatesman.com·6h
⚡Incremental Parsing
FreeBSD Errata Notice FreeBSD-EN-25:15.arm64
bsdsec.net·1d
🏷️Memory Tagging
Embedded projects for someone looking to break into the field?
github.com·1d·
Discuss: r/embedded
📚Self-Documenting Code
DisorientLiDAR: Physical Attacks on LiDAR-based Localization
arxiv.org·18h
🔍Lens Libraries
Day 19 of 100- building a mini quiz app.
dev.to·12h·
Discuss: DEV
🌙Lua
The Alchemist's Endgame: My Final Synthesis of p-adic Clojure and Legacy Code.
dev.to·5d·
Discuss: DEV
🔗Unification
VibeTDD Experiment 4.7: Commons and Examples Compilation - Making AI Smarter Through Better Documentation
dev.to·2d·
Discuss: DEV
📚Self-Documenting Code
SEC Consult SA-20250911-0 :: Unauthenticated SQL Injection Vulnerability in Shibboleth Service Provider (SP) (ODBC interface)
seclists.org·1d
✅Configuration Validation
Introducing ts-base: A Modern TypeScript Library Template
dev.to·1h·
Discuss: DEV
📦Monorepos
The Horton-Strahler number of butterfly trees
arxiv.org·1d
🧮Combinator Calculus
Small Language Model (SML) - The future of Local AI (Part 1)
dev.to·3h·
Discuss: DEV
💬Smalltalk VMs
Secure your AI-generated projects with these security practices
blog.logrocket.com·1d
🛡️Parser Security
FACTORS: Factorial Approximation for Complementary Two-factor Optimization with Risk-aware Scoring
arxiv.org·1d
✨Effect Inference
Automated Granular Keyword Clustering for Hyper-Targeted SEM Campaign Optimization
dev.to·1d·
Discuss: DEV
🔍Search Algorithms
Efficient Cold-Start Recommendation via BPE Token-Level Embedding Initialization with LLM
arxiv.org·18h
📊LR Parsing
Wolverine + Marten: My story and subjective take
dev.to·23m·
Discuss: DEV
🔧Nickel
Mitigating Strategy Preference Bias in Emotional Support Conversation via Uncertainty Estimations
arxiv.org·18h
📈Earley Parsing
LangChain, LangGraph, and LangSmith: Untangling the Confusion
dev.to·2d·
Discuss: DEV
🌊Dataflow Languages
Introducing the A2AJ's Canadian Legal Data: An open-source alternative to CanLII for the era of computational law
arxiv.org·18h
🌉Language Bridges