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
Introducing PromptIntel
blog.securitybreak.io·16h
🛡️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·18h·
Discuss: Hacker News
📚Stack Allocation
Building AI Systems That Don't Break Under Attack
pinishv.com·15h·
Discuss: DEV
🛡️Security Type Systems
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
I made a plugin to run LLMs on phones
reddit.com·18h·
Discuss: r/LocalLLaMA
💬Smalltalk VMs
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.to·2d·
Discuss: DEV
📊DataFrame Types
Indexing, Hashing & Query Optimization in SQL — A Practical Guide
dev.to·4d·
Discuss: DEV
📈Query Optimization
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·2d·
Discuss: Hacker News
🎮Language Ergonomics
Building AI Systems That Don't Break Under Attack
dev.to·15h·
Discuss: DEV
🛡️Security Type Systems
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
94% of Developers Waste Tokens on Reasoning LLMs. Here's Why.
dev.to·2d·
Discuss: DEV
🔍ML Language
🧠 Real-Time Smart Speech Assistant with Python, Whisper & LLMs
dev.to·2d·
Discuss: DEV
🔄Incremental Tokenizers
RedTWIZ: Diverse LLM Red Teaming via Adaptive Attack Planning
arxiv.org·3d
🏗️MLIR
Real-time Anomaly Detection in Financial Transactions via Hybrid Reinforcement Learning and Graph Neural Networks
dev.to·1d·
Discuss: DEV
🎭Erlang OTP