osdnk

🔥🔥🔥 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.

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:

@theodorvaryag lol

happened again, different model. my tweet is the only search result for this phantom instruction. Traveler, if you should find this tweet hoping to uncover an intrinsic, I am so sorry.

today's gemini hallucination: _mm512_mulhi_epu64

I published a blog post on how to design a more efficient lattice-based folding scheme based on LatticeFold+ and SNARKs-inspired tricks. osdnk.me/blog/l2-foldin… I relied on the work of @Charles_Chen533, @danboneh, @russell_wf_lai ,@KhanhCrypto & myself (& authors w/o x account)

@Finnair When can we expect the rerouting details?

We have to cancel approximately 128 flights due to industrial action at Helsinki Airport on Thursday, 19 June. Read more: company.finnair.com/en/media-centr…

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

@mwoss_ What are edge cases of powering?

Functions returns x to the power of y.

I have two functions that do the same thing. First one existed before and doesn’t handle edge cases, second does handle them and returns error. I don’t want to change signature of the first one to not break backward compatibility. Should I name second one xxxOrError then? Ideas?

@mwoss_ @supabase I.e. layoffs

@supabase As perk they offer possibility to work with young and dynamic team 🙃

them: "must be willing to work in a fast paced environment" the fast paced environment:

@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

@grahammendick @BrantApps @satya164 Mr React Navigation?

@BrantApps @satya164 Yea, the thing is Mr React Navigation said I was posting fake news. My Navigation router showcases idempotent navigation. Double tapping only ever pushes once. And if you navigate from A to A you’ll get stack A → A.

A thread full of misinformation

@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?

@codewithnomi_ That drawer really looks nice👌. I am starting a new client project in a few but I was looking for advice about expo-router and react-navigation. I wanted to use an expo-router coz I read somewhere that support for react-navigation might stop. Any advice about that?

Hey devs 👋 Just built a sleek drawer navigation using Expo Router! Loving the seamless navigation and user experience it brings to my app 🤩 #expo #reactnative

@EricVicenti @satya164 @reactnavigation Oh ive never noticed that

@satya164 @reactnavigation @mosdnk That would be amazing As long as you keep the spirograph nostalgia, it will have a special place in my heart Bonus points if the React logo still fits perfectly inside

Love to see the @reactnavigation logo here (probably because I designed it) But it doesn't scale down very well, especially in comparison to the Expo logo

@jarredsumner How about nothing?

"#" or "(index)" for the numbers on the left? poll ⬇️

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

#Koalicja13grudnia program dla fajnopolaków: × wyczekiwany dobrze ustawiony ZUS dla przedsiębiorców! × droższe o 13,2% paliwo, czyli więcej zapłacimy także za żywność i inne! ×droższa ponad 40% woda- będzie eko! Orwell "1984" - 50 lat później specjalnie dla wyznawców 8 gwiazdek.

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.

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

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

@hirbod @jamonholmgren Time to revive this? github.com/osdnk/peek-and… @mosdnk

I'm not sure who needs to hear this, but there's nothing that native apps can do that React Native apps can't do. React Native *is* native, and we have full access to every single API that native devs do. (Including performance, accessibility, new features, hardware access, everything.)

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 snack.expo.dev embeds. satya164.page/posts/how-to-w…