From Ceremony to Habit: Continuous Threat Modeling with the CLI and AI
adamgroenhout.com·4h
🛡️Security Type Systems
Controlled Vocabulary Part I
jessicatalisman.substack.com·1d·
Discuss: Substack
🔍Tokenizers
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
A new breed of analyzers
daniel.haxx.se·1d·
Discuss: Lobsters, Hacker News, r/programming
🌳Tree Shaking
How I Handle JWT Authentication in Express.js (Without the Headaches)
abraham-bishop.hashnode.dev·23h·
Discuss: DEV
📝Rope Editors
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·1d·
Discuss: Hacker News
🧩Constraint Solvers
The Future of AI is Verifiable Thought
pub.towardsai.net·1d
🎭Program Synthesis
Instructional Goal-Aligned Question Generation for Student Evaluation in Virtual Lab Settings: How Closely Do LLMs Actually Align?
arxiv.org·2d
💬Interactive REPLs
CIR-CoT: Towards Interpretable Composed Image Retrieval via End-to-End Chain-of-Thought Reasoning
arxiv.org·1d
📈Earley Parsing
Two-Stage Voting for Robust and Efficient Suicide Risk Detection on Social Media
arxiv.org·1d
🔍ML Language
Data Hoarder Uses AI to Create Searchable Database of Epstein Files
bespacific.com·2d
🪢Rope Data Structures
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.org·2d
🎓Educational Databases
Building a BPE Tokenizer from scratch - optimizations & experiments
reddit.com·3d·
Discuss: r/LocalLLaMA
🎓Teaching Compilers
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.to·1d·
Discuss: DEV
📊DataFrame Types
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·4d
✅Type Checking
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·2d
🪜Recursive Descent
Why Your Resume Fails CI/CD: 10 Tools to Debug It for ATS Parsers
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
The Symphony of Scale: A Case Study on Conducting 10x Traffic
dev.to·6h·
Discuss: DEV
🥾Compiler Bootstrapping
[College Topology/Arithmetic] Computing orders of an element/group, I'm losing my mind.
reddit.com·2d·
Discuss: r/learnmath
📐Mathematical Computing
The Sculptor's Studio: YAGNI, KISSS, and DRY as Tools of the Trade
dev.to·5h·
Discuss: DEV
🪞Metaprogramming