G Galois Blog company blog

Fast and formally verified C implementation of Base64

corp.galois.com

The original page did not respond normally when we last checked (HTTP 409). The archived copy may help.

Points

106

HN comments

40

Submissions

1

Cited by

0 commenters

Software EngineeringSecurity & Privacy2013

Related posts from the same era

Microsoft takes .NET open source and cross-platform

Microsoft News20142,376 points894 comments details

Hacker News API

Y Combinator Blog20141,714 points298 commentscited by 15 details

Light Table - a new IDE concept

CChris Granger20121,592 points291 commentscited by 8 details

Visualizing Algorithms

MMike Bostock20141,557 points129 commentscited by 38 details

I'm learning to code by building 180 websites in 180 days. Today is day 115

JJennifer Dewalt20131,542 points344 commentscited by 5 details

Light Table is now open source

CChris Granger20141,256 points431 comments details