29 August 2020

18 links · Saturday

Programming with Proofs for High-assurance Software

Programming critical systems with proofs, a long-standing goal of computer science, is beginning to come within reach of modern programming languages and proof assistants. I provide a brief overview of recent accomplishments in this space, related to work in t…

Life is Short

Life is short, as everyone knows. When I was a kid I used to wonder about this. Is life actually short, or are we really complaining about its finiteness? Would we be just as likely to feel life was short if we lived 10 times as long?

dotnet/aspnetcore

ASP.NET Core is a cross-platform .NET framework for building modern cloud-based web applications on Windows, Mac, or Linux. - dotnet/aspnetcore

CSS 3D ENGINE

A 3D rendering engine written entirely in CSS. Supports lighting, shadows, culling, all in CSS.

HealthcareIsDumb.com

Save money on health insurance by taking college classes.