dfinity/ic
View on GitHub ↗ ★ 1,811 Rust
Internet Computer blockchain source: the client/replica software run by nodes
3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2021-05-13 · latest 2025-06-03
20082026
-
…only because our code is of certain shape, but in case someone's interested, it's open source: https://github.com/dfinity/ic/tree/master/rs/tla_instrumenta... . I wasn't aware of the 2024 paper they reference though, so curious to see what…
comment by oggy · 2025-06-03 · in Conformance checking at MongoDB: Testing that our code matches our TLA+ specs -
…= *large - *small; Suppose large is 0 and small is i32::MIN. Kaboom, right? For reference: https://github.com/dfinity/ic/commit/79aca8ede9fccd322e0e011...
comment by bqmjjx0kac · 2024-09-08 · in my-new-rust-binary-search -
I guess you mean https://github.com/dfinity/ic
comment by vinw · 2021-05-13 · in Ask HN: What is your experience with the new internet computer protocol?