Skip to content
Navigation menu
Search
Powered by Algolia
Search
Log in
Create account
Forem
Close
#
austral
Follow
Hide
Posts
Left menu
đź‘‹
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
Secure-by-Design PQC: Why Kyber Ephemeral Keys Demand Linear Types
suissAI
suissAI
suissAI
Follow
May 7
Secure-by-Design PQC: Why Kyber Ephemeral Keys Demand Linear Types
#
austral
#
suissa
#
cryptography
#
aurora
Comments
Add Comment
5 min read
Building Safety-Critical APIs: A Guide to Linear Types and Austral Implementation
suissAI
suissAI
suissAI
Follow
May 7
Building Safety-Critical APIs: A Guide to Linear Types and Austral Implementation
#
austral
#
linear
#
suissa
#
aurora
Comments
Add Comment
6 min read
Austral Language Specification: Strategic Briefing
suissAI
suissAI
suissAI
Follow
May 7
Austral Language Specification: Strategic Briefing
#
austral
#
suissa
#
specification
#
aurora
Comments
Add Comment
5 min read
đź‘‹
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
We're a blogging-forward open source social network where we learn from one another
Log in
Create account
