Exhaustive Generation of Pattern-Avoiding s-Words
arxiv.org·16h
💾Binary Linguistics
Show HN: Prompttest – Pytest for LLMs
github.com·4h·
Discuss: Hacker News
⚡Proof Automation
Sets & Heaps in Haskell and Rust
mmhaskell.com·12h
🔒Type Safety
Claude Code's 19 cent Parser
blogger.com·7h
🔧Binary Parsers
Song recommendations with F# free monads
blog.ploeh.dk·13h
🔗Functional Compilers
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·20h
🧪Binary Fuzzing
Memory optimizations to reduce CPU costs
ayende.com·10h·
Discuss: Hacker News
📝Text Compression
Elasticsearch Explained with Real-Life Example: Why It Beats SQL for Search
blog.devops.dev·7h
🚀Query Optimization
FLINT: Fast Library for Number Theory
flintlib.org·2h
🧮Algebraic Datatypes
Why a simple for loop (brute-force k-NN) becomes computationally impossible for modern AI applications
dev.to·12h·
Discuss: DEV
🧮Kolmogorov Complexity
CatVector Demo Website
tanelpoder.com·21h
🗂️Vector Databases
Valuable News – 2025/08/25
discoverbsd.com·3h
🔌Operating system internals
Show HN: SecretMemoryLocker – File Encryption Without Static Passwords
news.ycombinator.com·4h·
Discuss: Hacker News
🔐Archive Encryption
Speedrunning the New York Subway
blog.trailofbits.com·9h
🔃Feed Algorithms
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·6h
🧮Kolmogorov Bounds
Hyper-Wordle strategies
chriskw.xyz·1d·
Discuss: Hacker News
🌳Trie Structures
Fine-Tuning and Deploying GPT Models Using Hugging Face Transformers
blog.jetbrains.com·9h
🤖Grammar Induction
Show HN: DataCompose – Prevent downstream data failures with composite functions
datacompose.io·1h·
Discuss: Hacker News
✅Format Validation
Logistic vs SVM vs Random Forest: Which One Wins for Small Datasets?
machinelearningmastery.com·6h
🧠Machine Learning
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·2h·
Discuss: Substack
🔗Topological Sorting