laarcnew | comments | discord | tags | ask | show | place | submit | /l/safetylogin
1.
Checked C - Microsoft Research (microsoft.com)
3 points by rain1 to formal.verification c plt programming safety 124 days ago | discuss
2.
MesaLock Linux: A Memory-Safe Linux Distribution - Mingshen Sun @ Baidu X-Lab (mssun.me)
3 points by rain1 to linux rust security safety 155 days ago | 1 comment

Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)

Search: