Timo v25.11
teejeetech.comยท1d
๐Ÿ“ฆDeflate
Flag this post
The Smallest PNG
evanhahn.comยท22hยท
Discuss: Hacker News
๐Ÿ“ธPNG Optimization
Flag this post
Vectorizing for Fun and Performance
ibm.comยท2dยท
Discuss: Hacker News
โšกSIMD Vectorization
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.comยท9hยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.netยท1d
๐ŸŒ€Brotli Dictionary
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.orgยท2d
๐Ÿ’ปProgramming languages
Flag this post
We built a vector search engine that lets you choose precision at query time
clickhouse.comยท3dยท
Discuss: Hacker News
๐ŸŒณTrie Structures
Flag this post
What is the most durable, portable, and secure form of software?
gods.artยท11hยท
Discuss: Hacker News
๐Ÿ•ธ๏ธWebAssembly
Flag this post
Oops, My UUIDs Collided
alexsci.comยท8hยท
Discuss: Hacker News
๐ŸงชBinary Fuzzing
Flag this post
Writing an LLM from scratch, part 25 โ€“ instruction fine-tuning
gilesthomas.comยท2dยท
Discuss: Hacker News
โšกProof Automation
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.comยท22hยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Flag this post
Watch the recordings from my Python + AI series
blog.pamelafox.orgยท12hยท
๐ŸŽ™๏ธWhisper
Flag this post
word2vec-style vector arithmetic on docs embeddings
technicalwriting.devยท1dยท
โšกProof Automation
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท1dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Implementing MQTT 5 in Go: A Deep Dive into Client Design - Part I
dev.toยท9hยท
Discuss: DEV
๐Ÿ“‹Format Specification
Flag this post
A minimalist web app for extracting text from PDFs
deepocr.ccยท12hยท
Discuss: Hacker News
๐Ÿ“„OCR
Flag this post
Show HN: I'm building an open source platform for studying Arabic
parallel-arabic.comยท11hยท
Discuss: Hacker News
๐Ÿ“ABNF Extensions
Flag this post
Scraping Next.js web sites in 2025
trickster.devยท14hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ€“ Part 1
aws.amazon.comยท5h
โšกProof Automation
Flag this post
Show HN: I built Cuiz-AI, turns documents into quizzes in seconds
cuiz-ai.comยท15hยท
Discuss: Hacker News
๐Ÿค–AI Curation
Flag this post