A Standard for Human-Centered Investigation Playbooks
chrissanders.org·23h
🎯Threat Hunting
Shane Kennedy - Software Engineer
shaneikennedy.xyz·2d
🦀Rust Macros
Proficient Python: A free interactive online course
blog.pamelafox.org·2d·
Discuss: www.blogger.com, Hacker News
🔗Concatenative Programming
Large Language Models
blog.jsbarretto.com·8h·
Discuss: Hacker News
📝Concrete Syntax
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·1d·
Discuss: Hacker News
⚡Proof Automation
$1M per Week: My Seven-Week AI Development Sprint
blockhead.consulting·1d·
Discuss: Hacker News
🦀Rust Macros
MATE: LLM-Powered Multi-Agent Translation Environment for Accessibility Applications
arxiv.org·1d
🎙️Whisper
Comparing Qodo and GitHub Copilot 🕵️
dev.to·12h·
Discuss: DEV
📏Code Metrics
Gemini CLI
github.com·1d·
Discuss: Lobsters, Hacker News, r/commandline
📟CLI Design
Inside Java’s Language Renaissance
thenewstack.io·1h
🔄Language Evolution
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·2d
📏Linear Logic
Effective Agent Instruction
dev.to·23h·
Discuss: DEV
⚡Proof Automation
⚡️ Stop Writing Flaky Tests: Your Foundational Guide to Async in Playwright
dev.to·12h·
Discuss: DEV
⚡Proof Automation
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.org·14h
📃Manuscript Tokenization
Nosana Builders Challenge: Agent-101
dev.to·1d·
Discuss: DEV
⚡Proof Automation
DigitalOcean Fundamentals: API
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·14h
🔗Parser Combinators
Polynomial-Time Approximation Schemes via Utility Alignment: Unit-Demand Pricing and More
arxiv.org·14h
🎯Performance Proofs
I built a Swift GraphQL client that generates the query using macros
github.com·9h·
Discuss: Hacker News
✅Format Verification
OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling
arxiv.org·14h
🔲Cellular Automata