✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·2d·
Discuss: Hacker News
🎯Type Theory
What is Algebraic about Algebraic Effects?
interjectedfuture.com·13h
💫Effect Systems
Making Judicial Reasoning Visible: Structured Annotation of Holding, Evidentiary Considerations, and Subsumption in Criminal Judgments
arxiv.org·2h
⚖️Inference Rules
AQUA: Attention via QUery mAgnitudes for Memory and Compute Efficient Inference in LLMs
arxiv.org·2h
🔍ML Language
ECMAScript TC39 proposal-pattern-matching
github.com·16h·
Discuss: Hacker News
🎯Pattern Matching
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·2h
🧪Testing Compilers
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·17h·
Discuss: Hacker News
🌱Minimal Lisps
Show HN: I wrote a book: The Elements of Code
news.ycombinator.com·15h·
Discuss: Hacker News
📚Self-Documenting Code
Effective Software Engineering with Claude Code
reddit.com·17h·
Discuss: r/ClaudeAI
⚡Interpreter Optimization
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·21h
🪢Rope Data Structures
Typescript : Generic Data Fetch
dev.to·2h·
Discuss: DEV
🔧API Design
[NodeBook] Understanding Buffers in Node.js - Why they exist, where they live in memory, and how they handle binary data
thenodebook.com·22h·
Discuss: r/node
🔢Binary Formats
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.com·16h
📊Pratt Parsers
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·17h·
Discuss: DEV
🏗️Cranelift
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·1d·
Discuss: Hacker News
⚡functional programming
The Capability-Tractability Tradeoff (2023)
buttondown.com·3d·
Discuss: Hacker News
⚡Partial Evaluation
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization
Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.ch·9h·
Discuss: Hacker News
🏗️Cranelift
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·11h
📋Tablegen
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·1d·
Discuss: Lobsters, Hacker News
🌱Minimal ML