Thybault 🦾 (@soulthym) 's Twitter Profile
Thybault 🦾

@soulthym

Software Engineer @massachain, doing R&D on ZK technologies.

ID: 928330051

calendar_today05-11-2012 20:11:02

2,2K Tweet

236 Takipçi

1,1K Takip Edilen

Thybault 🦾 (@soulthym) 's Twitter Profile Photo

Yelling fire in a crowded area is how you save people when there is a fire, *even if the crowd cannot see it yet*. Condemning free speech is sentencing everyone. It cannot work. Without free speech, there is no-one to defend your rights, to save you from the collective insanity

Aram Hăvărneanu (@aramh) 's Twitter Profile Photo

Netsu🇺🇦 Yves Lafont. 1989. Interaction nets. In Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '90). Association for Computing Machinery, New York, NY, USA, 95–108. doi.org/10.1145/96709.… Yves Lafont. 1997. Interaction Combinators.

Aram Hăvărneanu (@aramh) 's Twitter Profile Photo

If you want to learn more about interaction nets, interaction combinators, and optimal reduction read the following in listed order:

Defend Intelligence (Anis Ayari) (@dfintelligence) 's Twitter Profile Photo

ET VOILÀ !!!!!!!!! PUTA*IN !!!! Un des fameux « tiers de confiance » de vérification d’identité a subi une fuite de données, et le pire, c’est que pendant des mois, ils ne s’en sont même pas rendu compte !!!!! Elle est là, la réalité !!! N’ÉCOUTEZ JAMAIS DES POLITIQUES QUI

ET VOILÀ !!!!!!!!! PUTA*IN !!!!

Un des fameux « tiers de confiance » de vérification d’identité a subi une fuite de données, et le pire, c’est que pendant des mois, ils ne s’en sont même pas rendu compte !!!!!

Elle est là, la réalité !!!

N’ÉCOUTEZ JAMAIS DES POLITIQUES QUI
soko #Massa (@sokorecords) 's Twitter Profile Photo

Trados Expertos try to shut me down Massa I see it differently. Low hardware requirements are a deliberate choice to preserve decentralization. Massa scales through protocol-level parallelism rather than stronger nodes. It’s a different trade-off, not a limitation.

Aram Hăvărneanu (@aramh) 's Twitter Profile Photo

If you like vibe coding you should also like typed pure functional programming. Any other position is inconsistent. Pure functional programming is the only sort of programming which permits unrestricted denotational reasoning. Denotational reasoning means the scope necessary for

Gossip (@usegossip) 's Twitter Profile Photo

🎙️ Gossip News Flash #13 Quick heads-up before we go live. Today’s session will cover • News around plausible deniability • Fresh development updates • A first look at our internal prototype integration with OpenClaw (formerly Clawdbot / Moltbot) currently running

🎙️ Gossip News Flash #13

Quick heads-up before we go live.

Today’s session will cover
• News around plausible deniability
• Fresh development updates
• A first look at our internal prototype integration with OpenClaw (formerly Clawdbot / Moltbot) currently running