🧮 Algebraic Datatypes - matmat · Scour

egison/sweet-egison: Haskell library for non-deterministic pattern matching 🔤Morris-Pratt

github.com·6d·Hacker News

Java sealed classes and exhaustive pattern matching 🛡️Proof-Carrying Archives

neilmadden.blog·1d

Why Pure-LLM CTFs Don't Work: A Hybrid Architecture for AI Security Challenges 🧮Z3 Solver

wraith.sh·2d·r/netsec

Stringology Based Cryptology 🔐Cryptographic Archaeology

Pro-Grade Java Development in Claude Code 🌳Incremental Parsing

blog.codonomics.com·4d

sigma-rs: A Modular Approach for Keyed-Verification Anonymous Credentials 🌐NetworkProtocols

eprint.iacr.org·3d

Open-source Python engine for redacting PII in images, PDFs, & sheets 👁️Constructive OCR

hushbee.app·4d·Hacker News

How are you protecting yourself against the imminent AI dooms zero day? 🔓Hacking

lobste.rs·4d·Lobsters

V-tableR1: Process-Supervised Multimodal Table Reasoning with Critic-Guided Policy Optimization 📊Learned Metrics

Sulcal Pattern Matching with the Wasserstein Distance 🌀Differential Geometry

GraphQLify: Automated and Type Safety-Preserving GraphQL API Adoption 🕸️Neo4j

How Robustly do LLMs Understand Execution Semantics? 💧Liquid Types

The Communication Complexity of Pattern Matching with Edits Revisited 🧮Kolmogorov Complexity

Beyond Pattern Matching: Seven Cross-Domain Techniques for Prompt Injection Detection 🌐DNS Security

AutoPKG: An Automated Framework for Dynamic E-commerce Product-Attribute Knowledge Graph Construction 🕵️Metadata Mining

DVAR: Adversarial Multi-Agent Debate for Video Authenticity Detection 🎞️MKV Analysis

Log in to enable infinite scrolling