2026-01-01T20:09:27Z https://njump.me remix7531 https://njump.me/npub1t9fkstyk8z86rvyud66g2wn759nuc8pgjjdn6q5yeeadutjnd8dsulhlta https://remix7531.com/chirp.png https://remix7531.com/chirp.png https://njump.me/nevent1qqsqaka569flk9rq9f9aaavjspjx5skvz0y36mkfgz9yqs84pf0qw9gzypv4x6pvjcuglgdsn3htfpf606sk0nqu9z2fk0gzsn884h3w2d5akctp0sa Checkout my latest post: [Formal Verification of secp256k1 modular scalar multiplication](<a href="https://remix7531.com/post/formal_verification_secp256k1_scalar_mul/">https://remix7531.com/post/formal_verification_secp256k1_scalar_mul/</a>) 2026-04-07T13:02:29Z https://njump.me/nevent1qqsfxcs7zeu3fu5qqxl7w56lwumfqjp9acu3etjvy26mc87h2wax7sgzypv4x6pvjcuglgdsn3htfpf606sk0nqu9z2fk0gzsn884h3w2d5akfxneaa One can now rotate a machine integer in F*. WOW <br/><br/><a href="https://github.com/FStarLang/FStar/pull/4080">https://github.com/FStarLang/FStar/pull/4080</a> 2026-02-23T21:51:01Z https://njump.me/nevent1qqsxzqz8l8nykcp7czfg4fkntawhp0hg5vgjep6963k0fds6h45tpeqzypv4x6pvjcuglgdsn3htfpf606sk0nqu9z2fk0gzsn884h3w2d5akk5mdtg In reply to <a href='/nevent1qqsg6jl3e43xfxm6pmcrhdp6m9gue0lrchr0p2ks9c8u3su8r7pukfqpzpmhxue69uhkummnw3ezumt0d5hsd2j727'>nevent1q…j727</a><br/>_________________________<br/><br/>If you are interested in formal verification. Check out the project website: <a href="https://remix7531.com">https://remix7531.com</a> 2026-02-04T17:47:38Z https://njump.me/nevent1qqstsjs7nvy8ygnea7gvgr8hph4hnaydkp0kwn2hr87hdqq4hapdj2szypv4x6pvjcuglgdsn3htfpf606sk0nqu9z2fk0gzsn884h3w2d5akev5p2p Check out my latest post &#34;Learning Rocq with Software Foundations&#34;: <a href="https://remix7531.com/post/learning-rocq-with-software-foundations/">https://remix7531.com/post/learning-rocq-with-software-foundations/</a> 2026-02-02T14:46:30Z https://njump.me/nevent1qqsr3fe86m53h7e9ml2ludgrz9lf7kyz7mvkd7w0aegu60hylah7sfqzypv4x6pvjcuglgdsn3htfpf606sk0nqu9z2fk0gzsn884h3w2d5akn2fkgq In reply to <a href='/nevent1qqsppa9hdhmltqjn4sy26rrshpay07eagh03qxkevzh9a9ve478djcgpr9mhxue69uhhqun9d45h2mfwwpexjmtpdshxuet59u09fgxv'>nevent1q…fgxv</a><br/>_________________________<br/><br/>Thanks so much @OpenSats! Three months ago, if someone had told me I’d be working on formal verification for open-source cryptography, and actually getting paid for it, I never would have believed it. 100% remote and no annoying boss is the cherry on top. 2026-01-29T17:02:51Z https://njump.me/nevent1qqsvumm3nxhjhpu785hqx8t9wrqxagy92kh069h2xltazhsuvunamjqzypv4x6pvjcuglgdsn3htfpf606sk0nqu9z2fk0gzsn884h3w2d5aknuydpu Hello, World! 2026-01-01T19:10:10Z