vitaut 🤍❤️🤍 🇺🇦 on Nostr: Had a crazy idea of porting correctness verifier from Python to C++ and running it a ...
Had a crazy idea of porting correctness verifier from Python to C++ and running it a compile-time via constexpr. Then you could make verification work generically with new types.
Published at
2026-08-02 13:59:39 UTCEvent JSON
{
"id": "1da56ff5241a3b627affd2fd1c0c4b9880f3d0812f0b6ba430c9d73ababb24f1",
"pubkey": "0eb591382ef21e972448a57ea77bd917b1ed0581c5cfc669fb7d161e0aad2060",
"created_at": 1785679179,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.social/@vitaut/117026270698789943",
"web"
],
[
"proxy",
"https://mastodon.social/users/vitaut/statuses/117026270698789943",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mastodon.social/users/vitaut/statuses/117026270698789943",
"pink.momostr"
],
[
"-"
]
],
"content": "Had a crazy idea of porting correctness verifier from Python to C++ and running it a compile-time via constexpr. Then you could make verification work generically with new types.",
"sig": "e9c23310744345432cc19561cc666a8b80450dd4310b5061740fd4cbe23bb2e78533f17fe2276d76807c7738c35b2849ea027a3bec76bfe90ee985e3e95a2765"
}
