Context-sensitive Grammars, Type-dependent Syntax, Proof-carrying Parsers, Verified Parsing

Learning Tractable Distributions Of Language Model Continuations
arxiv.org·2d
💻Local LLMs
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·14h·
Discuss: Hacker News
Bidirectional Typing
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·23h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Day 43: Python Valid Parentheses Checker, Stack-Based Bracket Validation with Mapping and Loop Scanning
dev.to·2h·
Discuss: DEV
Format Verification
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·11h·
Discuss: Hacker News
📄Text Chunking
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·16h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·9h
🌀Brotli Internals
Flag this post
Google's Nested Learning aims to stop LLMs from catastrophic forgetting
the-decoder.com·13h
💻Local LLMs
Flag this post
LLM on AWS with Bedrock and Understanding Non-Determinism in Generative Models
dev.to·15h·
Discuss: DEV
💻Local LLMs
Flag this post
Typst for Your Code Blocks
lambdaland.org·3d
📟Terminal Typography
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·12h
λLambda Encodings
Flag this post
Arc Is a Vision Problem
arxiviq.substack.com·19h·
Discuss: Substack
🚀SIMD Text Processing
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
Notes for November 17-22
taoofmac.com·11h
🌀Brotli Internals
Flag this post
Mad drunk on the mead of poetry
blog.zarfhome.com·1d
🧪CBOR Fuzzing
Flag this post
Joy & Curiosity #63
registerspill.thorstenball.com·58m
🌀Brotli Internals
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post
Implementing Custom Autocomplete in VSCode
dganev.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
Evolution Strategies at the Hyperscale
eshyperscale.github.io·2d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post