# Tirith > Tirith is a free, open-source terminal security tool that intercepts shell commands and pastes in real-time, detecting homograph attacks, pipe-to-shell patterns, ANSI injection, credential leaks, data exfiltration, AI-config drift, and 200+ other threats across 29 categories — in under 2ms with zero network calls. Written in Rust. Used by developers and AI coding agents. ## What Problem Does Tirith Solve? Browsers have URL safety checks, phishing filters, and certificate warning... Read more ›
Fast, secure markdown parser with bidirectional HTML conversion, plugin system, and live editor. Zero dependencies, XSS-safe by default. ~17KB core / 100KB editor. - deftio/quikdown Read more ›
Owners of affected iPhones can stop checking for patches now: the fix for this SecureROM bug comes in a new handset Read more ›
A startup out of Europe built an AI system that matches Mythos on zero-day discovery, using widely available models, even air-gapped. You've probably never heard of it. Here's the evidence. Read more ›
Traefik WASM WAF with signed artifacts, SBOMs, benchmark evidence, and monitor-first Kubernetes rollout. Read more ›
The Linux kernel has dropped the last of its architecture-specific optimized MD5 hashing algorithm implementations... Read more ›
Back in 2023, I wrote about discriminated unions in C# and how C# developers had to work around the lack of language support using things like ASP.NET Core’s Results<> type or the OneOf NuGet package. Real C# language support (csharplang issue #113) had been open for years with no sign of a proper solution. Well, the wait is over. C# 15, shipping with .NET 11 (preview), introduces first-class union types. Let’s have a look. Read more ›
I’ve been running a mixed Proxmox cluster for years – four nodes of wildly different capability, from an Atom x5-Z8350 with 2 GB of RAM (a z... Read more ›
ESBMC-PLC: Formal Verification of IEC 61131-3 Ladder Diagram Programs Using SMT-Based Model Checking
PLCs execute safety-critical programs across industrial sectors. The dominant PLC notation, ladder diagram (LD) per IEC 61131-3, remains absent from formal verification: SMT-based model checkers cannot process LD's rung-and-coil graphics. This paper presents ESBMC-PLC, the first open-source formal verifier with native LD support (PLCopen XML format), implemented as a new ESBMC frontend. ESBMC-PLC translates LD rungs to GOTO IR, models the PLC sc... Read more ›
Building a production-quality, linear-time regular expression library for Java with agents. Read more ›
Hotkey-triggered screenshot injection into your last active terminal session - kubestellar/hotshot Read more ›
How iOS 27 trims the dyld shared cache and updates stub island trampolines Read more ›
jcreed blog > One More Type in the Tiny Type Theory Read more ›
**Published:** June 17, 2026 | **Authors:** Hedi Zandi, Dima Voytenko, Kevin Corbett --- Giving your agents access to your tools, data, and services is what makes them useful. As agents perform deeper work across systems, authenticating and authorizing that access becomes central to your application architecture. Today, agent access is usually granted through long-lived provider tokens stored in your environment variables, provisioned for everything your agent might need. These tokens are ... Read more ›
I use iPhone Mirroring every day to quickly access my iPhone directly from my Mac, and it’s getting even better this year. iOS 27 and macOS 27 Golden Gate were announced last week, bringing three key updates to iPhone Mirroring. Here’s everything new. Read more ›
Why deployment status is not a UI label, but a consistency problem across databases, queues, workers, locks, reconcilers, Kubernetes, and user trust. Read more ›