Proof Rules for MetaSMT
philipzucker.com·22h
🧮Theorem Provers
A scalable, elastic database and search solution for 1B+ vectors built on LanceDB and Amazon S3
aws.amazon.com·5h
📋JSON Parsing
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·1d·
Discuss: Hacker News
⚡Algebraic Effects
Built a free Grammarly-sharing site — curious what other writing tools you all use
stampyop.com·2h·
Discuss: r/InternetIsBeautiful
⚡Tokenizer Benchmarks
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu·1d·
Discuss: Hacker News, r/programming
📚Stack Allocation
Typename syntax and resolution in ClojureCLR
dmiller.github.io·1d
🔮Type Inference Visualization
From "Decentralized" to "Unified": SUPCON Uses SeaTunnel to Build an Efficient Data Collection Frame
hackernoon.com·10h
📝Rope Editors
Porting a library to a different language with a sentence
randomlabs.ai·1h·
Discuss: Hacker News
🎮Language Ergonomics
Token Models as Statistical Simulations: A Different Take
medium.com·23h·
Discuss: Hacker News
🔍Tokenizers
Hi! I'm trynna learn C to code a programming language. So I'm learning about parsing. I wrote a minimal example to try this out, is this a real parser? And is i...
reddit.com·17h·
Discuss: r/C_Programming
🪄C Metaprogramming
Compiling with Continuations
swatson555.github.io·5d·
Discuss: Hacker News
🔬programming language theory
Show HN: Python Audio Transcription: Convert Speech to Text Locally
pavlinbg.com·4h·
Discuss: Hacker News
🌊Streaming Lexers
LingoDB – Data Processing with Compiler Technology
lingo-db.com·2d·
Discuss: Hacker News
🗃️Query Compilation
Chris Smith 2: Rebooting NYHaskell
cdsmithus.medium.com·21h
🐪OCaml
Variadic Generics Micro Survey
blog.rust-lang.org·22h·
Discuss: r/rust
🔧API Design
Building Search for this Site – Search on a static site
alexleighton.com·1d·
Discuss: Hacker News
📋Tablegen
Three Meanings of Effects
burakemir.ch·3d·
Discuss: Hacker News
💫Effect Systems
Cactus Language • Mechanics 2
inquiryintoinquiry.com·6h
📋Backus-Naur Form
The Theory of Universal Computation: Bayesian Optimality, Solomonoff Induction & AIXI
towardsdatascience.com·10h
⚖️Inference Rules
The low-cost path to AI Mastery
antonyarkov.substack.com·1d·
Discuss: Substack
💬Interactive REPLs