🐚 Shell Automation

Script Optimization, Pipeline Efficiency, Command Composition, Terminal Productivity

Discord as a C2 and the cached evidence left behind
pentestpartners.com·2d
📟Terminal Forensics
Rust: Who, What and Why for ESA SW PA Workshop
ferrous-systems.com·9h
🦀Embedded Rust
Language Models Wrestle with Gaps in Understanding
cacm.acm.org·15h
💻Local LLMs
My hovercraft is full of Rubies
dev.to·17h·
Discuss: DEV
🔗Concatenative Programming
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·13h·
Discuss: Hacker News
🔗Functional Compilers
Mastering Automation and AI Agents: Unlocking Efficiency with No-Code Solutions
dev.to·11h·
Discuss: DEV
⚡Proof Automation
Vibe Coding: easy to say, difficult to survive
gioorgi.com·32m·
Discuss: Hacker News
🔓Open Source Software
Safe Chain: Stopping Malicious NPM Packages Before They Wreck Your Project
aikido.dev·1d·
Discuss: Hacker News
📦Container Security
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·2d
⚔️Lean Tactics
Context engineering: What, why and how to engineer context
dev.to·11h·
Discuss: DEV
⚙️TLA+
Should AI Be Listed as a Co-Author in Your Git Commits?
dariuszparys.com·11h·
Discuss: Hacker News
✨Effect Handlers
Benchmarking Humans and AI in Contract Drafting
legalbenchmarks.ai·21h·
Discuss: Hacker News
⚡Proof Automation
Ask: What do you think of my AI task manager?
weesp.ai·2d·
Discuss: Hacker News
🎙️Whisper
ClearFairy: Capturing Creative Workflows through Decision Structuring, In-Situ Questioning, and Rationale Inference
arxiv.org·3h
✓Automated Theorem Proving
OneDev – Self-hosted Git server with CI/CD, Kanban, and packages
onedev.io·15h·
Discuss: Hacker News
📦Git LFS
HTB Planning Machine Walkthrough | Easy HackTheBox Guide for Beginners
infosecwriteups.com·2d
🛡️CLI Security
[ARC-AGI-2 SoTA] Efficient Evolutionary Program Synthesis
ctpang.substack.com·2d·
Discuss: Substack
⚡Incremental Computation
Claude-code.nvim: Seamless integration between Claude Code and Neovim
github.com·2d·
Discuss: Hacker News
🪟Awesome windows command-line
Building MCP Tools: A PDF Processing Server
dev.to·1d·
Discuss: DEV
📄Document Digitization
Why Your AI Code Bias Is Making You a Worse Reviewer
revelry.co·16h·
Discuss: Hacker News
📏Code Metrics