CSCPSUT MetaCTF25 Qualifications Writeups
infosecwriteups.com·1d
🔐PKI Archaeology
Counting with Categories (Part 3)
golem.ph.utexas.edu·3d
λLambda Formalization
ML in the Home
blog.raymond.burkholder.net·4d
📈Time Series
I recreated Asteroids with AI in five minutes, and now I think game development is about to change forever
techradar.com·19h
📼Retro Games
AI and Programming Language Communities
jerf.org·1d
🎯Gradual Typing
Why Most SBOMs Fail and What to Do About It
ovalenzuela.com·1d·
Discuss: Hacker News
✅Format Validation
Harvey Launches Deep Research for Legal
artificiallawyer.com·16h·
Discuss: Hacker News
⚡Proof Automation
Mssql MCP Server (Preview)
devblogs.microsoft.com·18h·
Discuss: Hacker News
🗄️Database Internals
Microservices to Monolith, Rebuilding Our Back End in Rust
influxdata.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Criteria-Eval: Evaluating Long-Form Answers to Complex Questions
samaya.ai·4d·
Discuss: Hacker News
⚡Proof Automation
How Questions Build Software
akdev.blog·19h·
Discuss: Hacker News
🔍Concolic Testing
Show HN: Zsh-AI – Natural language to shell commands in your terminal
github.com·17h·
Discuss: Hacker News
⌨️Terminal Customization
Implementing Post Quantum algorithms in PKCS #11 - DevConf.CZ 2025
youtube.com·2d
🔐Quantum Security
OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling
arxiv.org·2d
🔲Cellular Automata
MCP for Dummies
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
How I Built a Smarter ZIP Engine with AI: My Day 9 & 10 Journey (Pagonic Project)
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
MCP Security Vulnerabilities and Attack Vectors
dev.to·16h·
Discuss: DEV
🔐CBOR
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·2d·
Discuss: DEV
🌊Stream Processing
SMOTE or Synthetic Data for Handling Class Imbalance? I Wrote About It on ThinkML
dev.to·1d·
Discuss: DEV
💧Liquid Types
🚦 Dijkstra's Algorithm Explained – A Beginner's Guide
dev.to·1d·
Discuss: DEV
🕸️Graph Algorithms