HNHacker News
TopNewBestAskShowJobs

cmrx64

2,314 karma · joined August 18, 2012

https://github.com/emberian

ember@lunar.town

submissionscomments

Show HN: CakeML-based self-verifying, self-improving system

emberian.github.io·4 pts·cmrx64·
0

Blosc2: Faster-than-memcpy multidimensional arrays

blosc.org·4 pts·cmrx64·
0

Bibliography of Recent BFT Algorithms

github.com·6 pts·cmrx64·
0

Blosc2: Faster-than-memcpy multidimensional arrays

blosc.org·3 pts·cmrx64·
0

A framework for securing software update systems

theupdateframework.github.io·4 pts·cmrx64·
1

TCP-ENO: Encryption Negotiation Option

datatracker.ietf.org·3 pts·cmrx64·
1

James Webb Space Telescope Exposure Time Calculator

jwst.etc.stsci.edu·2 pts·cmrx64·
0

This Year in Robigalia

robigalia.org·61 pts·cmrx64·
6

Putting the Rust in Trust: A Path to Rust Verification

robigalia.org·10 pts·cmrx64·
0

Epitaph. A text game

mkremins.github.io·5 pts·cmrx64·
0

Verified software can (and will) be cheaper than buggy stuff

microkerneldude.wordpress.com·4 pts·cmrx64·
0

The Optical Illusion That’s So Good, It Even Fools DanKam

dankaminsky.com·3 pts·cmrx64·
1

Habsup developers refuse to use secure crypto

github.com·1 pts·cmrx64·
0

State of Rust 0.11.0

blog.octayn.net·170 pts·cmrx64·
112

This Week in Rust

blog.octayn.net·52 pts·cmrx64·
7

This Week in Rust

cmr.github.io·5 pts·cmrx64·
0

This Week in Rust

cmr.github.io·68 pts·cmrx64·
21

This Week in Rust

cmr.github.io·91 pts·cmrx64·
69

This Week in Rust

cmr.github.io·70 pts·cmrx64·
27

This Week in Rust

cmr.github.io·2 pts·cmrx64·
0

This Week in Rust - LTO, dead code lint, and more

cmr.github.io·3 pts·cmrx64·
0

This Week in Rust – Static linking, Win64

cmr.github.io·57 pts·cmrx64·
23

Ask HN: What do you expect in a language's 1.0 release?

8 pts·cmrx64·
3

The State of Rust 0.8

cmr.github.io·8 pts·cmrx64·
0

Rust's new documentation generator: 95% done

mail.mozilla.org·80 pts·cmrx64·
28

Socat: the real swiss army knife of networking

dest-unreach.org·1 pts·cmrx64·
0