Custom slash commands in Claude Code
boliv.substack.com·25m·
Discuss: Substack
⚔️Lean Tactics
busy beaver function
ncatlab.org·8h
⚔️Lean Theorem
Creating an AI Agent in Claude Code to Control my Smartphone
dev.to·22h·
Discuss: DEV
🤖Archive Automation
JavaScript lib for exchanging selective disclosure proofs
github.com·45m·
Discuss: Hacker News
🌳Archive Merkle Trees
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·1d·
Discuss: Hacker News
🧪Binary Fuzzing
How HackerOne Uses AI to Triage, Prioritize, and Validate Code Scanner Findings at Scale
hackerone.com·2d
🧪Binary Fuzzing
Speeding Up AI Coding Assistants Using Deterministic Feedback
proxymock.io·1d·
Discuss: Hacker News
📼Tape Combinators
Lobsters Interview with Matklad
lobste.rs·1d·
Discuss: Lobsters
🦀Rust Macros
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·16h·
Discuss: Hacker News
🌳Incremental Parsing
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·5d
🔮Proof Search
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·22h
🔲Cellular Automata
12 Best DevSecOps Tools for Your CI/CD Pipeline
boostsecurity.io·1d
🛡️CLI Security
Selective Temporal Training
robinsloan.com·7h
🤖Grammar Induction
It's okay to solve a problem twice
til.andrew-quinn.me·9h·
Discuss: Hacker News
🌳Trie Structures
Can AI weaponize new CVEs in under 15 minutes?
valmarelox.substack.com·1d·
Discuss: Substack
🧪Protocol Fuzzing
Accelerate intelligent document processing with generative AI on AWS
aws.amazon.com·1d
🤖Archive Automation
AI Code Generation: Trust and Verify, Always
thenewstack.io·1d
⚙️Proof Engineering
Tree of AST: A Bug-Hunting Framework Powered by LLMs
darkreading.com·2d
🎯Threat Hunting
Learning Through Doing: From one language to another
blog.scottlogic.com·1d
🦀Rust Borrowing
Shortcuts for the Long Run: Automated Workflows for Aspiring Data Engineers
kdnuggets.com·1d
🌊Stream Processing