Pressure to change
maryrosecook.com·11h
⚡Proof Automation
Flag this post
Oops, My UUIDs Collided
alexsci.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
Show HN: Trimless for Gmail V3 – Auto-Expand Clipped Messages (Manifest V3)
news.ycombinator.com·6h·
Discuss: Hacker News
🚀Indie Hacking
Flag this post
Optuna f-string Refactoring
dev.to·3d·
Discuss: DEV
⬆️Lambda Lifting
Flag this post
Ducking annoying: why has iPhone's autocorrect function gone haywire?
theguardian.com·9h·
Discuss: Hacker News
🌳Incremental Parsing
Flag this post
Tencent/WeKnora
github.com·1d
🤖Archive Automation
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
We built a vector search engine that lets you choose precision at query time
clickhouse.com·4d·
Discuss: Hacker News
🌳Trie Structures
Flag this post
Video Encoding 101: A Comprehensive Guide
imagekit.io·2d·
Discuss: Hacker News
🎥Streaming Codecs
Flag this post
Writing an LLM from scratch, part 25 – instruction fine-tuning
gilesthomas.com·3d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Green Beret on the Commodore 16 Remake
arlagames.itch.io·1d·
Discuss: Hacker News
📼Retro Games
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·1d
🧪Property-Based Testing
Flag this post
ArkRegex: A drop in replacement for new RegExp() with types
arktype.io·4d·
Discuss: Hacker News, r/javascript, r/node, r/programming, r/typescript
✅Format Verification
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
Generating PDF files with Python
dev.to·11h·
Discuss: DEV
📄PDF Internals
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
💧Liquid Types
Flag this post
TouchDesigner 2025 Update
derivative.ca·2d·
Discuss: Hacker News
📟Terminal Physics
Flag this post
word2vec-style vector arithmetic on docs embeddings
technicalwriting.dev·2d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
⚡Proof Automation
Flag this post
Chopdi AI
chopdi.ai·12h·
Discuss: Hacker News
📄Document Streaming
Flag this post
Squeezing Every Last Flop: The INT vs. FP Showdown for AI Dominance
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Flag this post