SAT problems are kind of cool
blog.karanjanthe.me·4d·
Discuss: Hacker News
🧩SAT Solvers
From Ceremony to Habit: Continuous Threat Modeling with the CLI and AI
adamgroenhout.com·22h
🛡️Security Type Systems
Introducing PromptIntel
blog.securitybreak.io·14h
🛡️Security Type Systems
A new breed of analyzers
daniel.haxx.se·2d·
Discuss: Lobsters, Hacker News, r/programming
🌳Tree Shaking
How I Handle JWT Authentication in Express.js (Without the Headaches)
abraham-bishop.hashnode.dev·1d·
Discuss: DEV
📝Rope Editors
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·2d·
Discuss: Hacker News
🧩Constraint Solvers
Constant-Time Crypto in Fil-C
fil-c.org·16h·
Discuss: Hacker News
📚Stack Allocation
Building AI Systems That Don't Break Under Attack
pinishv.com·13h·
Discuss: DEV
🛡️Security Type Systems
I combined ZetaMac and MonkeyType into the best quick math game. Go try it!
monkeymac.vercel.app·1d·
Discuss: r/javascript, r/reactjs, r/webdev
🧸Toy Compilers
From Sunlight to Insights: A Python-Powered Dive into Solar Energy Data
dev.to·1d·
Discuss: DEV
📈Earley Parsing
I made a plugin to run LLMs on phones
reddit.com·16h·
Discuss: r/LocalLLaMA
💬Smalltalk VMs
Sorting encrypted data without decryption: a practical trick
dev.to·2d·
Discuss: DEV
🔗Hash Functions
🪙 Day 12 of #30DaysOfSolidity — Build Your Own ERC-20 Token using Foundry
dev.to·1h·
Discuss: DEV
🔀SSA Form
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.to·1d·
Discuss: DEV
📊DataFrame Types
Building a BPE Tokenizer from scratch - optimizations & experiments
reddit.com·4d·
Discuss: r/LocalLLaMA
🎓Teaching Compilers
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·2d·
Discuss: r/programming
🐍lisp
Python For Data Engineering
dev.to·2d·
Discuss: DEV
📊DataFrame Types
Indexing, Hashing & Query Optimization in SQL — A Practical Guide
dev.to·4d·
Discuss: DEV
📈Query Optimization
Expanding the Action Space of LLMs to Reason Beyond Language
arxiv.org·2d
🪜Recursive Descent
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·2d·
Discuss: Hacker News
🎮Language Ergonomics