suissAI
Author ProfileClaim This Author Profile
Prove ownership by publishing #HashtagPLUS and this profile link on your author page or an article under your byline. A moderator or admin will review the request before it merges into your real HashtagPLUS username.
π dev.toSource
From Dev.to - security: The Architecture of Austral: A Cristaline Approach to Systems Safety
π dev.toSource
From Dev.to - security: Austral: The Architecture of a Secure Systems Language
π dev.toSource
From Dev.to - security: Security Architecture Proposal: Mitigating Supply Chain Vulnerabilities via Linear Capability-Based Permissions
π dev.toSource
From Dev RSS Feed: Building Safety-Critical APIs: A Guide to Linear Types and Austral Implementation
π dev.toSource
From Dev RSS Feed: Secure-by-Design PQC: Why Kyber Ephemeral Keys Demand Linear Types