The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·11h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
Home - Lapwing for Beginners
lapwing.aerick.ca·20h
🎯Gradual Typing
Flag this post
Set theory with types
lawrencecpaulson.github.io·2d·
Discuss: Hacker News, Hacker News
🔤Type Theory
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
The Machine Learning Roadmap
github.com·8h·
Discuss: Hacker News
🎵Audio ML
Flag this post
It's LIT! Reliability-Optimized LLMs with Inspectable Tools
arxiv.org·3d
🌀Brotli Internals
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·13h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Show HN: Wolfrominoes
demos.samgentle.com·2h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Railway Oriented Programming
fsharpforfunandprofit.com·3d·
Discuss: Hacker News
🧬Functional Programming
Flag this post
Safeguarded AI (Part 2)
johncarlosbaez.wordpress.com·3d
⚙️Proof Engineering
Flag this post
locally presentable (infinity,n)-category
ncatlab.org·5d
🔀Category Theory
Flag this post
Type-safe `net/rpc` alternative with context support
reddit.com·10h·
Discuss: r/golang
⚡gRPC
Flag this post
Implementing Custom Autocomplete in VSCode
dganev.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
Writing Type-Safe Generics in C
hackaday.com·5d
💧Liquid Types
Flag this post
Angular v21 Adds Signal Forms, New MCP Server
thenewstack.io·16h
🔌Interface Evolution
Flag this post
Notes for November 17-22
taoofmac.com·8h
🌀Brotli Internals
Flag this post
AI Wins and Losses
dowski.com·1d
🔄Language Evolution
Flag this post
LLM on AWS with Bedrock and Understanding Non-Determinism in Generative Models
dev.to·12h·
Discuss: DEV
💻Local LLMs
Flag this post