The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
Bidirectional Typing
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
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
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·20h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
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
Pitch Multiplication (2017)
klangnewmusic.weebly.com·9h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·9h·
Discuss: Hacker News
📄Text Chunking
Flag this post
[P] Interactive Advanced Llama Logit Lens
reddit.com·4h·
💻Local LLMs
Flag this post
Incorporating Self-Rewriting into Large Language Model Reasoning Reinforcement
arxiv.org·2d
💻Programming languages
Flag this post
Mad drunk on the mead of poetry
blog.zarfhome.com·1d
🧪CBOR Fuzzing
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
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·20h·
Discuss: Substack
💻Programming languages
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·11h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Vibe Coding a Compiler: From Natural Language to LLVM IR
medium.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.org·8h·
Discuss: Hacker News
📟Terminals
Flag this post