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·1d
🛡️Security Type Systems
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
Irregular Update — 12th of October, 2025
blog.vincentritter.com·1h
🌈Gradual Languages
Building AI Systems That Don't Break Under Attack
pinishv.com·18h·
Discuss: DEV
🛡️Security Type Systems
Why Your Software Development Life Cycle Will Not Work for Your AI Agents (And How to Change That)
pub.towardsai.net·8m
🎭Program Synthesis
I combined ZetaMac and MonkeyType into the best quick math game. Go try it!
monkeymac.vercel.app·2d·
Discuss: r/javascript, r/reactjs, r/webdev
🧸Toy Compilers
A new breed of analyzers
daniel.haxx.se·2d·
Discuss: Lobsters, Hacker News, r/programming
🌳Tree Shaking
Fuzzing Bitcoin Core using AFL++ on Apple Silicon
dev.to·12h·
Discuss: DEV
💪ARM64 Backend
HOW EMBEDDINGS POWER DAILY SYSTEMS
medium.com·1d·
Discuss: DEV
🪢Rope Data Structures
Indexing, Hashing & Query Optimization in SQL — A Practical Guide
dev.to·4d·
Discuss: DEV
📈Query Optimization
Building AI Systems That Don't Break Under Attack
dev.to·18h·
Discuss: DEV
🛡️Security Type Systems
I Wrote 42 Books Using ChatGPT: Here's What I Learned About Prompting
dev.to·1d·
Discuss: DEV
💬Interactive REPLs
IKNet: Interpretable Stock Price Prediction via Keyword-Guided Integration of News and Technical Indicators
arxiv.org·2d
🗂️Term Indexing
ParsTranslit: Truly Versatile Tajik-Farsi Transliteration
arxiv.org·2d
🔤Language Tokenizers
RedTWIZ: Diverse LLM Red Teaming via Adaptive Attack Planning
arxiv.org·3d
🏗️MLIR
Built a “code-first + visual” ETL/ELT Pipeline in Go — feedback wanted from data folks
reddit.com·1d·
Discuss: r/golang
🎮Language Ergonomics
Implementing a Basic MCP Server and Two Communicating Agents in Python
dev.to·2d·
Discuss: DEV
📡Protocol Parsers
Assuring Agent Safety Evaluations By Analysing Transcripts
lesswrong.com·2d
✨Effect Inference