Running C++ on Cloudflare WASM
saus.app·1d·
Discuss: Hacker News
🧩WASM Components
Hyperproperty-Constrained Secure Reinforcement Learning
arxiv.org·20h
🔐Homomorphic Encryption
Week 7 — Learning Basic Concepts of Cybersecurity
infosecwriteups.com·19h
🔐Capability Systems
OWASP ASVS 5.0.0 is here!
scotthelme.ghost.io·14h
🛡️WASM Sandboxing
Unpacking Qualys Agentic AI: Technical Insights into Its Architecture and Capabilities
blog.qualys.com·11h
⚙️TLA+
TypeScript Delivers Better Developer Experience With New Enhancements
hackernoon.com·20h
💧Liquid Types
AI Clouds Are Flying Blind: The Illusion of Runtime Protection
thenewstack.io·5h
🔍eBPF
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Introductory Computer Science and Software Engineering Topics
albertyw.com·22h
🛠Language Design
How Rust powers Proton Authenticator
proton.me·5h
🦀Rust Borrowing
Prefer Module Composition over Inheritance With TF
newsletter.masterpoint.io·9h·
Discuss: Hacker News
🧩WASM Modules
Red-teaming a RAG app: What happens?
blog.pamelafox.org·7h·
Discuss: www.blogger.com, Hacker News
⚡Proof Automation
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·13h
⚗️Algebraic Coding
Why continuous security improvement for developers is the key to renewed resilience
techradar.com·10h
🎯Threat Hunting
We enforce .NET codingstandards to improve productivity
anthonysimmon.com·3h·
Discuss: Hacker News
🔄Reproducible Builds
original ↗
ergaster.org·1d·
Discuss: Hacker News
🖥Home Lab Setup
How to Create Unbreakable Job Security: A Software Developer's Guide to Making Yourself Indispensable
getparthenon.com·17h·
Discuss: Hacker News, r/programming
💾Persistence Strategies
Accelerating Offensive R&D with Large Language Models
outflank.nl·4d
🧩WASM Components
Decent Patterns
decentpatterns.com·21m
📋Format Specification
Week 31 Status
blogs.gnome.org·2h
🎯Gradual Typing