A Standard for Human-Centered Investigation Playbooks
chrissanders.org·6h
🎯Threat Hunting
HariSekhon/DevOps-Bash-tools
github.com·23h
🐚Shell Automation
Build an agentic multimodal AI assistant with Amazon Nova and Amazon Bedrock Data Automation
aws.amazon.com·2d
⚙️Batch Processing
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Go Coding with Asparagos: Walnuts Take the IQ Test
dev.to·16h·
Discuss: DEV
👑Isabelle
N8N, Local LLM, MCP proxy in 1 compose file
ajeetraina.com·1d·
Discuss: Hacker News
🏠Homelab Orchestration
Shane Kennedy - Software Engineer
shaneikennedy.xyz·1d
🦀Rust Macros
Do AI Code Review Tools Work, or Just Pretend?
redmonk.com·7h·
Discuss: Hacker News
📏Code Metrics
My AI Workflow for Understanding Any Codebase
steipete.me·15h
⚡Proof Automation
Is Your Automated Software Engineer Trustworthy?
arxiv.org·1d
⚡Proof Automation
Gemini CLI
github.com·12h·
Discuss: Lobsters, Hacker News, r/commandline
📟CLI Design
Accumulation of Cognitive Debt When Using an AI Assistant for Essay Writing Task
media.mit.edu·1d·
Discuss: Hacker News
🧠Intelligence Compression
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·7h·
Discuss: Hacker News
⚡Proof Automation
Effective Agent Instruction
dev.to·7h·
Discuss: DEV
⚡Proof Automation
CloneDex: Rebuilding OpenAI Codex with VibeKit
vibekit.sh·14h·
Discuss: Hacker News
🔄Sync Engine
Proficient Python: A free interactive online course
blog.pamelafox.org·2d·
Discuss: www.blogger.com, Hacker News
🔗Concatenative Programming
Solving LinkedIn Queens Using MiniZinc
zayenz.se·2d·
Discuss: Lobsters, Hacker News, r/programming
🧮Z3 Solver
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·21h
🔗Topological Sorting
I finally figured out how to get the best out of MCP Servers as an AI Developer
dev.to·9h·
Discuss: DEV
🪟Awesome windows command-line