postMessaged and Compromised
msrc.microsoft.com·23h
🎯NTLM Attacks
ELA-1503-1 unbound security update
freexian.com·1d
🛡️eBPF Security
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Make the Easy Change Hard
blog.appliedcomputing.io·10h·
Discuss: Lobsters, Hacker News
🔄Sync Engine
PeaceFounder: Simple centralized Evoting thats voter-verifiable and private
peacefounder.org·2d·
Discuss: Hacker News
🔐Homomorphic Encryption
Automate the Testing of Your LLM Prompts
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Event Catalog — Exploring The Advanced Capabili
medium.com·18h
🏷️Metadata Standards
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·16h·
Discuss: Hacker News
✅Format Verification
Show HN: Cairo – Open-source multi-tenant data segregation for GTM
github.com·15h·
Discuss: Hacker News
🔌Archive APIs
Breaking the Architecture Bottleneck • Andrew Harmel-Law & Marit van Dijk • GOTO 2025
youtube.com·18h
🔗Topological Sorting
Stable, Mutable References for Ante
antelang.org·17h·
Discuss: Hacker News, r/programming
🔒Type Safety
Accelerating legacy code modernization: EPAM’s journey with Amazon Q Developer
aws.amazon.com·8h
🔄Reproducible Builds
Sound and Solution-Complete CCBS
arxiv.org·1d
🛡️Archive Verification
A Dynamic Approach to Collaborative Document Writing
arxiv.org·2h
🔗Parser Combinators
SecureBitChat v4.01.412 Release
github.com·4d·
Discuss: Hacker News
🔤EBCDIC Privacy
Safeguarding VS Code against prompt injections
github.blog·14h·
Discuss: Hacker News
🌐WASI
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·14h·
Discuss: DEV
🔒Type Safety
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com·18h
🌊Stream Processing
Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🧬Functional Programming
Agentic Browser Security: Indirect Prompt Injection in Perplexity Comet
simonwillison.net·21h·
Discuss: Hacker News
🛡️WASM Security