osdnk

Ph.D. studies in cryptology at @AaltoUniversity, crypto/mobile consulting, @reactnavigation // @usecapsule @rainbowdotme @palantirtech @swmansion @meta 🏳️‍🌈

[ZKProof Standards @zkproof]

🔥🔥🔥 Get ready for #ZKProof 2026!

Speaker: Michał Osadnik @mosdnk from @AaltoUniversity

Join us in Rome, May 9-10 to discuss the latest in ZKPs and applications, the Quantum threat, formal verification in ArkLib, IOPs & more.

For more details - link in the first comment.

[Albert Garreta | Nethermind @0xAlbertG]

Introducing Zinc+, where we tackle the problem of arithmetizing and proving computations unfriendly to finite fields.

Examples: classic hashes, hash + signature, lattice ops., etc.

We prove 7 SHA-256 compressions followed by the ECDSA MSM with:

[osdnk @mosdnk]

@theodorvaryag lol

[osdnk @mosdnk]

I published a blog post on how to design a more efficient lattice-based folding scheme based on LatticeFold+ and SNARKs-inspired tricks.

https://t.co/BS4D7kr9Ie

I relied on the work of @Charles_Chen533, @danboneh, @russell_wf_lai ,@KhanhCrypto & myself (& authors w/o x account)

[osdnk @mosdnk]

@Finnair When can we expect the rerouting details?

[React Navigation @reactnavigation]

Have you tried React Navigation 7's static API yet? It aims to solve 2 major pain points:

🤖 Simpler TypeScript types
🔗 Easier deep linking

To try it, install next tag of the React Navigation packages:

yarn add @react-navigation/native@next @react-navigation/native-stack@next

[osdnk @mosdnk]

@mwoss_ What are edge cases of powering?

[osdnk @mosdnk]

@mwoss_ @supabase I.e. layoffs

[osdnk @mosdnk]

@mwoss_ 👏👏👏👏

[mati :3 @mwoss_]

The journey of startup no. 1 has come to an end. (Sadly, it's not because we have been acquired 😅) Learned a lot of new things, about tech and also about people. Maybe in the future I will try once again, with some other ideas I have in my head :3

[osdnk @mosdnk]

@grahammendick @BrantApps @satya164 Mr React Navigation?

[osdnk @mosdnk]

@rexTechGuy @codewithnomi_ Hey!
For clarification, react navigation does not plan to stop the maintenance any time soon.
If possible, can you point to the resource mentioning that?

[osdnk @mosdnk]

@EricVicenti @satya164 @reactnavigation Oh ive never noticed that

[osdnk @mosdnk]

@jarredsumner How about nothing?

[osdnk @mosdnk]

@Br_Nowak od 1984 minęło dopiero 40 lat pani była kurator oświaty

[Andrzej Duda @AndrzejDuda]

Pod choinką wśród prezentów leżał komplet pościeli " angry birds". Myślałem, że to dla mojego 6 l. chrześniaka, okazało się że dla mnie.

[osdnk @mosdnk]

https://t.co/ZPOn218SU3

[Alexey Kureev @kureevalexey]

Do I know someone who's looking for a React/RN developer for ~20h/w? Looking for a gig 🫶

[osdnk @mosdnk]

@satya164 @hirbod @jamonholmgren lol, I forgot it existed. Pretty sure doesn’t compile anymore 🫠🫠🫠

[Satyajit Sahoo @satya164]

Just wrote a post about the approach I used to build react-simple-code-editor. It's a very lightweight editor that we use on https://t.co/y1Lyihdmdn embeds.

https://t.co/1WAG0T26V5