Proof-carrying Recognition, Verified Text Processing, Type-safe Parsing
Home Project - Part 3
connortumbleson.com·2d
AWS Kiro: Arbitrary Code Execution via Indirect Prompt Injection
embracethered.com·23h
CFP: Critical Perspectives on Artificial Intelligence in Librarianship
litwinbooks.com·1d
Tot 2.0: A Thoughtful Extension of an Already Elegant Note-Taking App
macstories.net·23h
Enabling Kotlin Incremental Compilation on Buck2
engineering.fb.com·21h
Interaction-Data-guided Conditional Instrumental Variables for Debiasing Recommender Systems
arxiv.org·1d
InfoSec News Nuggets 8/26/2025
aboutdfir.com·22h
Loading...Loading more...