The Easiest Way to Build a Type Checker
jimmyhmiller.comยท12hยท
Discuss: Hacker News
โฌŒBidirectional Typing
Flag this post
Incorporating Self-Rewriting into Large Language Model Reasoning Reinforcement
arxiv.orgยท2d
๐Ÿ’ปProgramming languages
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.netยท20hยท
Discuss: Lobsters
๐ŸŒณIncremental Parsing
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ยท9hยท
Discuss: Hacker News
๐Ÿ“„Text Chunking
Flag this post
I Thought TOON Was Hype. Then I Tested Itโ€ฆ
dev.toยท11hยท
Discuss: DEV
๐Ÿ“Concrete Syntax
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.comยท20hยท
Discuss: Substack
๐Ÿ’ปProgramming languages
Flag this post
Langโ€™s theorem โ€” Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.comยท10h
ฮปLambda Encodings
Flag this post
WebAssembly Still Expanding Frontend Uses 10 Years Later
thenewstack.ioยท14h
๐Ÿ•ธ๏ธWebAssembly
Flag this post
Markdown Is Holding You Back
newsletter.bphogan.comยท10hยท
Discuss: Hacker News
๐Ÿ“‹Document Grammar
Flag this post
Infix Versus Prefix Operators
irreal.orgยท15h
๐Ÿง Lisp Dialects
Flag this post
Code Prompting: a better way to communicate with LLMs
alprielse.xyzยท1dยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
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
Show HN: Use any LLM in Go with stable, minimal API
github.comยท1dยท
Discuss: Hacker News
๐Ÿง Lisp Dialects
Flag this post
How Do We Effectively Communicate Architecture?
blog.scottlogic.comยท2d
๐Ÿ“ŸCLI Design
Flag this post
Vibe Coding a Compiler: From Natural Language to LLVM IR
medium.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Flag this post
CBOR vs. the Other Guys
cborbook.comยท4dยท
Discuss: Hacker News
๐Ÿ“‹Protocol Buffers
Flag this post
Taming the Beast: The Move To Declarative API Validation in Kubernetes - Yongrui Lin, Google
youtube.comยท1d
โœ…Format Validation
Flag this post
Basic parsing difficulties in EndBASIC (2023)
endbasic.devยท4dยท
Discuss: Hacker News
๐Ÿ“Concrete Syntax
Flag this post
Nested query strings in depth โ€” a complete technical guide
dev.toยท1dยท
Discuss: DEV
โœ…Format Verification
Flag this post