Just Say What You Mean: Avoiding Deadlock on Enhanced Cooperation in the WSIS+20 Review
circleid.com·2d
📝ABNF Parsing
Beyond reuse: smarter embedding of information with structured content
fontoxml.com·4d
📦METS Standards
2025.07.DisappearingMoment
newsletter.disappearingmoment.com·2d
🎯Gradual Typing
Your Signal, Their Data: Privacy Analysis of Wireless-Scanning SDKs in Android
dspace.networks.imdea.org·4d·
Discuss: Hacker News
📦Container Security
Perl Is Dead. Long Live Perl and Raku
raku-advent.blog·1d·
Discuss: Hacker News
💧Liquid Types
Microsoft build of Go 1.25 crypto back end changes
devblogs.microsoft.com·3d·
Discuss: Hacker News
🔤EBCDIC Privacy
Government surplus find
i.redd.it·1d·
Discuss: r/homelab
🏠Homelab Archaeology
sql: setting a session variable on connection setup
reddit.com·2d·
Discuss: r/golang
🌊Streaming Databases
Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com·2d·
Discuss: Hacker News
🧪Binary Fuzzing
Security study based on the Chatgptplugin system: ldentifying Security Vulnerabilities
arxiv.org·3d
🧪Binary Fuzzing
Black-Box Bug-Amplification for Multithreaded Software
arxiv.org·3d
🧪Property-Based Testing
Secure file sharing solutions in AWS: A security and cost analysis guide: Part 2
aws.amazon.com·2d
🌊Streaming Systems
Show HN: Finch – a fingerprint-aware TLS reverse proxy
github.com·6d·
Discuss: Hacker News
🌐NetworkProtocols
Unlocking Quantitative Analysis using Python
dev.to·8h·
Discuss: DEV
🎞️MKV Analysis
The Obscure Paradox Fueling AI and Big Data Growth
thenewstack.io·3d
🏺Database Archaeology
TRIDENT: Benchmarking LLM Safety in Finance, Medicine, and Law
arxiv.org·3d
✅Formal Methods
Secure Integrated Sensing and Communication Networks: Stochastic Performance Analysis
arxiv.org·1d
⚽Sphere Packing
“We want AWS to be the place where everyone runs enterprise AI agents" - the agentic era is here for your business, so be prepared for the new age
techradar.com·17h
🏠Homelab Orchestration
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
arxiv.org·3d
⏰Temporal Logic
NAS Conversion to DAS SAS/SATA Expander Box Need Advice
reddit.com·1d·
Discuss: r/homelab
💿Proxmox HA