✅ Shell Verification - matmat · Scour

The Helpful Adversary

dev.to·1d·

Discuss: DEV

🐚Shell Monads

Show HN: Procjail – Building a process isolator in Go using Linux namespaces

emmanuel326.github.io·14h·

Discuss: Hacker News

🐚Shell Monads

Console Emulator

cmder.app·1d

Automatic Script Execution In Visual Studio Code, (Wed, Jan 21st)

isc.sans.edu·18h

Lessons from Formally Verified Deployed Software Systems (Extended version)

arxiv.org·23h

⚖️Verification Calculi

Don't Trip[wire] Yourself: Testing Error Recovery in Zig

mitchellh.com·1d·

Discuss: Lobsters

🛡️Error Boundaries

code.claude.com·11h·

Discuss: Hacker News

🛡️WASM Sandboxing

Welcome 0x1eef (Robert) to the HardenedBSD Development Team!

hardenedbsd.org·11h

Fastfetch 2.58 System Information Tool Enhances Linux and macOS Detection

linuxiac.com·19h

High-Risk Authentication Bypass Flaw Found in Telnetd

decipher.sc·11h

🎯NTLM Attacks

BPF Verifier State Pruning: Timeline

pchaigno.github.io·1d

🛡️Archive Verification

CodeSOD: Validation Trimmed Away

thedailywtf.com·21h

✅Format Validation

oss-sec: GNU InetUtils Security Advisory: remote authentication by-pass in telnetd

seclists.org·1d·

Discuss: Hacker News

🎯NTLM Attacks

A cheat sheet to slash commands in GitHub Copilot CLI

github.blog·10h

🪟Awesome windows command-line

1Password SSH agent and CLI for secret management

marending.dev·2d·

Discuss: Hacker News

🛡️CLI Security

CVE-2026-23993: JWT authentication bypass in HarbourJwt via “unknown alg”

pentesterlab.com·1d

🧪CBOR Fuzzing

ct (Command Trace) is a Bash command resolution tracer that explains how Bash resolves a command and what the kernel ultimately executes.

reddit.com·23h·

Discuss: r/linux

📟Terminal Forensics

9M6/vulnsink: A CLI tool that wraps SAST scanners and uses LLMs to filter false positives and automatically fix security issues.

github.com·1d·

Discuss: Hacker News

🛡️CLI Security

Anatomy of CVE-2019-5736: A runc container escape!

samuel.karp.dev·1d·

Discuss: Hacker News

🐚Shell Calculus

[$] Task-level io_uring restrictions

lwn.net·2d

🔒Linear Types

Loading more...