The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
Bidirectional Typing
Flag this post
How I Use AI To Write Regex Without Memorizing Anything
dev.to·1h·
Discuss: DEV
🔍RegEx Engines
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
Infix Versus Prefix Operators
irreal.org·15h
🧠Lisp Dialects
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
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
Automatic Syntax Error Recovery (2020)
tratt.net·20h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
A Loopy Holiday Gift Exchange
thefiddler.substack.com·1d·
Discuss: Substack
🔍Type Inference
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·10h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Memchr: Optimized string search routines for Rust
github.com·3d·
Discuss: Hacker News
🦀Rust Verification
Flag this post
Recipe 8.6. Picking a Random Line from a File (Perl Cookbook)
csg.sph.umich.edu·12h
📝Text Compression
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·1d
📚Lempel-Ziv
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post
Show HN: LexiForge – Auto-generate vocabulary flashcards from Kindle lookups
medium.com·21h·
Discuss: Hacker News
🌀Brotli Dictionary
Flag this post
It’s Not Always DNS: Exploring How Name Resolution Works
cefboud.com·1d·
Discuss: r/programming
🌐DNS Security
Flag this post
Mad drunk on the mead of poetry
blog.zarfhome.com·1d
🧪CBOR Fuzzing
Flag this post
New research reveals the cognitive hurdles created by our number systems
psypost.org·1d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
Flag this post
Vibe coded free SEO long-tail keyword research tool in 5hrs with Google AI Studio
vibe.forem.com·20h·
Discuss: DEV
🌀Brotli Dictionary
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·9h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post