Dark Knight Blog

Exploring AI, Security, and Machine Learning

HOME
CATEGORIES
TAGS
ARCHIVES
ABOUT

Home Tags semi-formal-reasoning

Tag

semi-formal-reasoning 1

Cassian: Agentic Differential Security Review for Pull Requests Mar 10, 2026

Recently Updated

Cassian: Agentic Differential Security Review for Pull Requests
ODYSSEUS: Building an Agentic Pentest Platform
nanochat-sec: $150, 6 Hours, and a Model That Hallucinates Log4Shell
AI Pal: Bring Your Own Model to Burp Suite
Fine-Tuning a Security Vulnerability Analysis LLM: A Complete Guide

Trending Tags

automation llm vulnerability-assessment agents burp-suite claude-code fine-tuning ollama bedrock claude

© 2026 Michael Allen. Some rights reserved.

Using the Chirpy theme for Jekyll.

Trending Tags

automation llm vulnerability-assessment agents burp-suite claude-code fine-tuning ollama bedrock claude

A new version of content is available.