🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚡ Proof Automation

Tactic Languages, Auto Tactics, Proof Search, Hammer Tools

How can I write a C++/WinRT IAsyncOperation<T> where T is not a Windows Runtime type?, part 2
devblogs.microsoft.com·1d
🎯Emulation Accuracy
Introducing your newest study buddy: stackoverflow.ai
stackoverflow.blog·3d
📐Proof Assistants
These psychological tricks can get LLMs to respond to “forbidden” prompts
arstechnica.com·1d
🎯Threat Hunting
Show HN: Notion – a strongly typed Python client for Notion
ultimate-notion.com·1d·
Discuss: Hacker News
🌀Brotli Internals
We go to school to better understand problems – Librarian of Things
librarian.aedileworks.com·2d·
Discuss: Hacker News
📚MARC Evolution
NVIDIA’s Tech: The Physics Engine That Fooled Everyone’s Ears!
youtube.com·55m
🔲Cellular Automata
Swiss AI Initiative introduces Apertus as a fully open language model focused on transparency and privacy
the-decoder.com·1d
🌀Brotli Internals
ChatGPT’s new branching feature is a good reminder that AI chatbots aren’t people
arstechnica.com·2h
🎙️Whisper
Hunting GraphQL Gold: Uncovering Hidden Vulnerabilities in Modern APIs
infosecwriteups.com·12h
🧪Protocol Fuzzing
Go Coding with Asparagos: Coconuts Never Roll Alone
dev.to·1d·
Discuss: DEV
λLambda Encodings
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·5d·
Discuss: Hacker News
🌊Stream Processing
Xmake v3.0.2 has been released, Improve C++ modules and new native thread support.
github.com·1d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
❄️Nixpkgs
AI Security Tools — August 2025
infosecwriteups.com·4d
🏠Homelab Pentesting
I built 59 open-source Claude Code subagents to supercharge software development
github.com·6d·
Discuss: Hacker News
⚔️Lean Tactics
E-PhishGen: Unlocking Novel Research in Phishing Email Detection
arxiv.org·2d
🔍BitFunnel
Tech partner spotlight: Jamf and CyCraft
jamf.com·1d
🎯Threat Hunting
PARCO: Phoneme-Augmented Robust Contextual ASR via Contrastive Entity Disambiguation
arxiv.org·14h
🎙️Whisper
A Developer’s Guide To Becoming an AI Engineer
thenewstack.io·23h
🗺️Competency Maps
Llama-Server is All You Need (Plus a Management Layer)
dev.to·21h·
Discuss: DEV
🏠HomeLab
Automated Threat Landscape Mapping & Prioritization via Dynamic Knowledge Graph Enrichment
dev.to·4d·
Discuss: DEV
🎯Threat Hunting
Loading...Loading more...
AboutBlogChangelogRoadmap