HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
cmrx64
Show HN: CakeML-based self-verifying, self-improving system
4 points
cmrx64
2026-05-31T19:24:45Z
emberian.github.io
Blosc2: Faster-than-memcpy multidimensional arrays
4 points
cmrx64
2025-04-17T18:32:21Z
www.blosc.org
Bibliography of Recent BFT Algorithms
6 points
cmrx64
2025-04-17T16:00:05Z
github.com
Blosc2: Faster-than-memcpy multidimensional arrays
3 points
cmrx64
2023-11-08T23:34:03Z
www.blosc.org
A framework for securing software update systems
4 points
cmrx64
2018-09-25T06:31:43Z
theupdateframework.github.io
TCP-ENO: Encryption Negotiation Option
3 points
cmrx64
2017-04-01T23:48:10Z
datatracker.ietf.org
James Webb Space Telescope Exposure Time Calculator
2 points
cmrx64
2017-01-06T01:36:08Z
jwst.etc.stsci.edu
This Year in Robigalia
61 points
cmrx64
2016-12-28T01:16:57Z
robigalia.org
Putting the Rust in Trust: A Path to Rust Verification
10 points
cmrx64
2016-11-15T23:49:44Z
robigalia.org
Epitaph. A text game
5 points
cmrx64
2016-10-29T23:44:45Z
mkremins.github.io
Verified software can (and will) be cheaper than buggy stuff
4 points
cmrx64
2016-06-16T07:19:08Z
microkerneldude.wordpress.com
The Optical Illusion That’s So Good, It Even Fools DanKam
3 points
cmrx64
2016-05-03T12:41:06Z
dankaminsky.com
Habsup developers refuse to use secure crypto
1 points
cmrx64
2015-07-28T17:08:30Z
github.com
State of Rust 0.11.0
170 points
cmrx64
2014-07-16T01:19:57Z
blog.octayn.net
This Week in Rust
52 points
cmrx64
2014-05-18T05:35:12Z
blog.octayn.net
This Week in Rust
5 points
cmrx64
2014-03-24T21:51:49Z
cmr.github.io
This Week in Rust
68 points
cmrx64
2014-03-16T08:19:52Z
cmr.github.io
This Week in Rust
91 points
cmrx64
2014-02-24T06:53:48Z
cmr.github.io
This Week in Rust
70 points
cmrx64
2014-02-10T08:44:19Z
cmr.github.io
This Week in Rust
2 points
cmrx64
2013-12-22T16:25:04Z
cmr.github.io