2026-03-10 01:27:42
during the #formosa talk at day1 of #realworldcrypto i see they reference signalapp/noise-c using some jade implementation for the pqkem. i wonder why don't the use the formally verified noise-star project instead?
during the #formosa talk at day1 of #realworldcrypto i see they reference signalapp/noise-c using some jade implementation for the pqkem. i wonder why don't the use the formally verified noise-star project instead?
«JavaScript Cheat Sheet – Complete Modern JS Reference (ES6 )»
I am not a JavaScript fan and prefer to use TypeScrypt in this regard, but a modern reference helps with their current implementation.
🧑💻 https://blog.harislab.tech/articles/java…
there's a "clean room" re-implementation of claude-code in rust. it claims it was a two-step process:
1. analyze claude-code to produce a text spec.
2. implement the spec without reference to the original code.
this is a lie. the rust code has copied things in the original that aren't in the spec. in particular, the ascii art for the "buddies" are not in the spec, but the rust strings are identical to the original.
unclear if it's the hum…