✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

Fewer versus Less
en.wikipedia.org·6h·
Discuss: Hacker News
🔗Concatenative Theory
Status Week 37
blogs.gnome.org·1d
⚙️TOML Parsers
Be Careful When Assigning ArenaAllocators (2024)
openmymind.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🏗️Custom Allocators
🔗 Setting up Go templ with Tailwind, HTMX and Docker
yellowduck.be·2d
🚂Cranelift Backend
Almorzamos con Sebastián Gabilondo, gerente regional de marketing de Oakberry
infonegocios.biz·22h
📚Factor
Epoch Raises $1.2M for Building a Solver Coordination Layer
globenewswire.com·1d
📮Message Queues
No-Code's Promise vs Reality: What Are We Actually Solving?
pullflow.com·9h·
Discuss: DEV
🎮Language Ergonomics
I Accidentally Built a Runaway AI
nsavage.substack.com·14h·
Discuss: Substack
🌳Tree Shaking
Effects as Capabilities in Scala
nrinaudo.github.io·6d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lexical Scoping
How to Use Partial Function in Python
dev.to·5h·
Discuss: DEV
🌊Gradual Typing
R MCP Server
github.com·2h·
Discuss: Hacker News
⚡Live Programming
Clarifying Model Transparency: Interpretability versus Explainability in Deep Learning with MNIST and IMDB Examples
arxiv.org·22h
🌱Minimal ML
Gambit: An efficient implementation of the Scheme programming language
github.com·3d·
Discuss: Hacker News
🔧Scheme Macros
HANRAG: Heuristic Accurate Noise-resistant Retrieval-Augmented Generation for Multi-hop Question Answering
arxiv.org·1d
🎲Parser Fuzzing
SOLID Principles for Python Developers
dev.to·1d·
Discuss: DEV
🎭Racket Modules
Combating headcrabs in the Source SDK codebase
dev.to·14h·
Discuss: DEV
🦀MIR Optimization
Lies-in-the-Loop (LITL): Attacking (and Defending) Human-in-the-Loop AI Workflows
dev.to·8h·
Discuss: DEV
🛡️Security Type Systems
The Alchemist's Endgame: My Final Synthesis of p-adic Clojure and Legacy Code.
dev.to·4d·
Discuss: DEV
🔗Unification
Claude-code.nvim: Seamless integration between Claude Code and Neovim
github.com·11h·
Discuss: Hacker News
📚Self-Documenting Code
SEC Consult SA-20250911-0 :: Unauthenticated SQL Injection Vulnerability in Shibboleth Service Provider (SP) (ODBC interface)
seclists.org·23h
✅Configuration Validation