Danial @_TEMSAH
Software Engineer, Codeforces LGM, I also extract confessions from uncooperative code for fun, they call me Auditor. Joined June 2024-
Tweets367
-
Followers34
-
Following275
-
Likes2K
@punk6052 You can't deny it: a typical debit card transaction today has more privacy than a typical on-chain USDC transfer. Cloak's goal is to match the level of privacy that traditional banks provide, while remaining non-custodial and programmable. Privacy isn't a binary, nor is it…
My third feature-length documentary is now live! I look at the why Western countries lost interest in conquering territory eighty years ago, and how the Trump administration is revisiting the international order. youtube.com/watch?v=XPno-0…
IN @AlirezaFirouzja WE TRUST.
Vyper=explicit, Solidity=implicit API: Vy: `exports` selects runtime funcs; Sol auto exposes all `public`/`external` storage: Vy: `initializes Lib` allocates slots; Sol inherits hidden state calls: Vy: `module/static/ext` tags call kind; Sol relies on C3 order, no syntax diff
New blog post on formal specifications: surfingcomplexity.blog/2025/07/26/for…
News blog post: surfingcomplexity.blog/2025/07/19/re-…
notes.benjaminscholtz.com/Home (@benscholtz) This guy's website is a true gem. (Modeling, verification, Gen Alpha) Just want to say thank you sir, for your contributions to this community. He also offers coffee chats on his free days, so if you have the confidence, go for it—I don't. (=
1/ Stress Testing Ethena: A Quantitative Look at Protocol Stability We published a research paper on @ethena_labs evaluating how USDe and sUSDe perform under exchange failures, collateral stress, and the resulting risk to @aave. Here are our key findings.
Your hook is becoming a ghost town without solver volume. Tycho fixes this. Watch how one integration lets volume from UniswapX, CowSwap, 1inch, etc, flow through your hook. Thank you @AtriumAcademy for this workshop recap! Full video below.
Your hook is becoming a ghost town without solver volume. Tycho fixes this. Watch how one integration lets volume from UniswapX, CowSwap, 1inch, etc, flow through your hook. Thank you @AtriumAcademy for this workshop recap! Full video below.
"If I lose, DeFi dies with me. The dream of financial freedom, the code I believed in—it all fades into darkness. I’m fighting, but the weight is unbearable. This isn’t just my end; it’s ours."
"If I lose, DeFi dies with me. The dream of financial freedom, the code I believed in—it all fades into darkness. I’m fighting, but the weight is unbearable. This isn’t just my end; it’s ours."
Full post: a16zcrypto.com/posts/article/…
RESPECT🫡
Our time from your first message to us on Telegram until when we send you a quote for your codebase is very short, always under 24 hours, usually within a few hours. Speed matters. With security we are slow. With process we are lightning fast🫡
If you cant model something in Desmos before you build it, its probably wrong.
Amazing opportunity 🔥
I always try to be a nice guy, helpful, resourceful. Still, sometimes when I am busy, meaning talking to too many people or my headspace is full of something else, can be real-life (non-web3) stress or some other stuff - then I turn into a “taker-salesman” and just start asking…
@SagivMooly We have a tool that can help with 3: github.com/ChainSecurity/…
🧊 Want to meet cool people and earn tokens while doing it? We are doing another round Kleros Schelling Game at @EthCC. ▶️ 1: Hit the Kleros booth (Green Floor) 🪢 2: Pick up your purple bracelet + QR code 📡 3: Spot other players → scan their code → guess wisely 🧊 4: Break…
Danish The HiringMaxer. Great opportunity ✅
✍️ Must-watch talk from @dappcon_berlin! Are we ready for a new wave of Decentralized Commerce (DeCom) apps? Which moving parts and infra have improved after OpenBazaar, district0x and other attempts first launched? 🛒
✍️ Must-watch talk from @dappcon_berlin! Are we ready for a new wave of Decentralized Commerce (DeCom) apps? Which moving parts and infra have improved after OpenBazaar, district0x and other attempts first launched? 🛒
Josef Gattermayer | A... @jgattermayer
9K Followers 7K Following Co-Founder and CEO @AckeeBlockchain (cybersecurity) :: Assistant Professor and Ph.D. @FIT_CTU
Myrtle @myrtle24sizemor
346 Followers 3K Following
Mimuqyv Rq22 @mimuqyv91576
22 Followers 201 Following
diyagyt2100🍊,💊 ... @diyagyt2100
368 Followers 542 Following
DinahWilde @91rQUSzih668tMf
45 Followers 2K Following
@norootcause.surfingc... @norootcause
13K Followers 5K Following Lorin Hochstein Student of complex systems failures, resilience eng, cognitive sys eng. Will talk your ear off about @LFISoftware. @[email protected]
Łukasz M @0xluk3
1K Followers 2K Following web2 & web3 SR | EVM | Move | Rust ASR @spearbit | Security auditor @SecurityOak CTO @Monethic_io
Ricky Flim | FV @0x180db
55 Followers 207 Following Solo formal verification engineer · Helping ship provably safe code · DMs open Certora | Halmos | Quint | Alloy
duelingGalois (δ, γ... @duelinggalois
942 Followers 2K Following Building *probably the biggest innovation in DeFi since crvUSD* or something like it at @Ammalgam. Red, Green, Refactor. Mathlete & roman candle dueler.
FORKFORK DOG @forkforkdog
631 Followers 1K Following ECHIDNA BE LIKE WHAT HAPPENS IF YOU TRANSFER ZERO TOKENS FROM ZERO ADDRESS TO ZERO ADDRESS WITH ZERO APPROVAL AS ZERO ADDRESS AND TOKEN IS THE ZERO ADDRESS
Omid Hekayati | ام�... @omidhekayati
379 Followers 586 Following Scientist (Researcher, Engineer, Designer, Manager) CTO @ https://t.co/7lwLs17zOO
Gabriela Moreira @bugarela
905 Followers 906 Following Building Quint at @informalinc | Born and living in Brazil 🇧🇷
solady @solady777
615 Followers 294 Following Since Vectorized is in EFSS, i’m gonna use this account for my unhinged takes.
Raoul @RaoulSaffron
2K Followers 2K Following Head of Developer Tooling @rv_inc Creator of https://t.co/Dcto1PwaRD Building Simbolik: The Solidity Debugger EVM | Solidity | Debugging | Formal Methods
Formal Land 🌲 @FormalLand
1K Followers 2K Following Security audits for Web3 We innovate in the formal verification space to provide you with the most extensive security solution. Solidity, Rust (Solana), ZK
Mooly Sagiv @ Token @SagivMooly
2K Followers 3K Following Chief Scientist @CertoraInc and a chair of software systems at @TelAvivUni
Clément Lesaege @clesaege
4K Followers 2K Following #Freedom #Democracy #Crypto #Cryptoeconomics #Antitechnodystopianism Founder at @kleros_io and @proofofhumanity. @seer_pm
F.Mackenzie 约克.�... @FMackenzie7
2K Followers 3K Following 🇬🇧🇪🇺 #AI #EV #LINGO1 #LLM #LLMRobotic #SolidStateBattery #NiobiumBasedBattery #EFuels 🦋 bsky：https://t.co/55laRfdGTy 𓍼ֶָ֢𓂃Threads & ins: fmackenzie7
0xFelconsec @FelconSecs
64 Followers 709 Following Smart Contract & Web3 Auditor | Safeguard your blockchain projects with expert, bulletproof audits. @HackenProof Security Researcher.
aj @aldrin57464827
37 Followers 1K Following
The Night Terminal @MoonlitBlocks
98 Followers 2K Following After hours crypto conversations| For the night owls
Alex Comerford @thecmrfrd
126 Followers 352 Following Wanna be researcher writing about infrastructure, cryptography, and ML. 🔮 https://t.co/LBuggCOKCA 🎲 https://t.co/Tke6XYMvPj 🏌️ https://t.co/rTvmEbarG2
Seira Yun-Impact Entr... @seira_yun
3K Followers 4K Following Founder @socious_fund & @sociousDAO & @T4ISummit | Serial Impact Entrepreneur | Impact Angel Investor | ソーシャス創業者 | 社会起業家 | インパクトエンジェル投資家 | Cardanoアンバサダー
Charly Wargnier @DataChaz
138K Followers 45K Following Ex @Streamlit @Snowflake Maestro 🪄 • X about AI agents, LLMs, web apps, Python & SEO • My ❤️ is open source • DM for collabs 📩
Robert Mitchell @pump_kicker
1K Followers 5K Following Marine engineer tinkering for fun and running ultras
Armaan @apkinverse
621 Followers 714 Following building @CurationsClub✨ | @iitmadras @Google | 💝 my lists - https://t.co/F8FXT03cZm
Deeksha - Full Stack ... @deecodesss
100 Followers 159 Following Bringing mobile and backend projects to life. Full-stack dev in action🚀 | Let’s turn your ideas into reality💡| Open for freelance/full time opportunities!
Scroll @Scroll_ZKP
782K Followers 21 Following The secure and performant network for the Open Economy.
Igor Babuschkin @ibab
103K Followers 855 Following Maybe the real ASI was the friends we made along the way. Co-founder @xAI, Research & Engineering
mert | helius.dev @0xMert_
261K Followers 2K Following ceo @heliuslabs, ex @coinbase — Solana RPCs, APIs, trading infra: https://t.co/J2To2MzHwd — podcast: https://t.co/87uPmEFZuj
Rain @rain
99K Followers 57 Following Cryptocurrency exchange and custodian serving the Middle East and Turkey. Official accounts: @Rain_Bahrain @Rain_Turkiye
Asva Labs @asvalabofficial
51K Followers 120 Following Web3 venture studio and GTM advisory. our investment arm @asvacapital
Oumla | عُملة @Oumlacom
3K Followers 2 Following Simplifying blockchain by providing secure and scalable infrastructure for builders.
CISAC & on Bluesky @s... @StanfordCISAC
15K Followers 2K Following Stanford's Center for International Security and Cooperation produces knowledge to build a safer world and trains the next generation of security specialists.
William Spaniel @gametheory101
6K Followers 335 Following Associate professor @PittTweet. Previously @StanfordCISAC and @UofR. Studies war. Also the disembodied voice behind Game Theory 101 on YouTube.
Self Protocol @SelfProtocol
4K Followers 92 Following Prove your unique self by verifying your identity in zero knowledge without a counter party. Disclose verifiable credentials securely and privately.
Ingonyama @Ingo_zk
10K Followers 119 Following Redefining Fancy Cryptography Acceleration from Software to Silicon 🧊 // Start here: https://t.co/aKZ7antxHl
Giza @gizatechxyz
107K Followers 39 Following Your capital, always optimized. Capture top DeFi yields 24/7 with autonomous agents — all while you touch grass. Deploy now: https://t.co/ojHgMfs4eP | $GIZA on @base.
Axiom @axiom_xyz
32K Followers 0 Following Building ZK-enabled infrastructure with @OpenVM_org. Dev docs: https://t.co/Ev1ePWaudi Join us: https://t.co/mrpRyqbiAs
o1Labs (httpz) @o1_labs
22K Followers 2K Following FKA. O(1) Labs Catalyzing a new generation of zk applications. Incubators of @minaprotocol. Creators of #o1js (#SnarkyJS). 🔗 https://t.co/0vmBXJVIHx
NEO @NEO_SA
82K Followers 5 Following The digital banking experience that makes your life easier. #Enjoy #نيو مصرفية رقمية تسهل عليك حياتك و تقولك #إنجوي NEO by SNB
Never @nevashish
103 Followers 325 Following world models @lossfunk one thought experiment at a time.
Starknet (BTCFi arc) @Starknet
346K Followers 705 Following Shaping the future with scale and integrity. X run by community member @Starkwareltd
Team Falcons @TeamFalconsGG
665K Followers 225 Following Esports World Cup Champions - أبطال كأس العالم | Esports Updates @FalconsEsport | Home to @Riyadh_Falcons | Sponsored by @NEO_SA | Falcons Store @FLCNSTORE
Alireza Firouzja @AlirezaFirouzja
90K Followers 245 Following Number 1 french chess Grandmaster @TeamFalconsgg
DcentraLab @DcentraLab
1K Followers 32 Following DcentraLab is creating an ecosystem of products designed to accelerate blockchain mass-adoption, increase transparency, and lead the decentralized revolution.
Will Kinney @WKCosmo
39K Followers 2K Following Cosmologist, physicist, dirtbag mountain biker, expat Montanan, Copernican extremist. Part of the problem.
Archetype @archetypevc
10K Followers 142 Following early stage crypto fund accelerating the programmable future
Adrastia @AdrastiaOracle
470 Followers 90 Following Adrastia increases the security, efficiency, and reliability of DeFi protocols by providing robust oracles, controllers, and automation.
TINA (mainnet arc) @thetinaverse
7K Followers 1K Following ✍️ sharing learnings from my mistakes / ecosystem @monad / ex-founder / @unsw alum
Ash Ahmed @ashlan_ahmed
2K Followers 1K Following yield on everything @getaxal | skipped class @harvard
Axal @getaxal
11K Followers 0 Following Earn more. Stablecoin savings accounts backed by @a16zcrypto & @CMT_Digital.
nick @mountainwaterpi
2K Followers 5K Following bit tickler @UMAprotocol @AcrossProtocol @archetypevc @princetoncs
Across @AcrossProtocol
126K Followers 411 Following Fast. Cheap. Secure. Crosschain bridging, powered by intents. ⛺ $ACX
Kiro @kirodotdev
12K Followers 1 Following Go from concept to production and beyond. Kiro is an AI IDE that works alongside you to turn ideas into production code with spec-driven development.
Thesis* @thesis_co
26K Followers 27 Following The Bitcoin-first venture studio behind @fold_app, @mezonetwork, @acrebtc, @keep_project, @tBTC_project, @taho_xyz, @trylolli, @EmbodySpace, @defense_audits.
Hashlock @Hashlock_
8K Followers 5K Following Blockchain & Smart Contract Security Specialists - Contact us to request a Web3 Security Audit.
zerosnacks.eth @zerosnacks
1K Followers 837 Following 🦀 foundry @paradigm | founding engineer @ithacaxyz
Zenith @zenith256
2K Followers 2 Following Zenith assembles auditors with proven track records to secure your project. We find the critical bugs now—freeing you to launch this week—not next month.
Spearbit @spearbit
14K Followers 33 Following Industry Leading Web3 Security. Request a security review here ➡ https://t.co/gqs2f17Yhd
Zellic @zellic_io
17K Followers 15 Following Security reviews and research that keep winners winning. We apply unmatched hacking talent to secure critical software for the most innovative teams.
اتحاد جوانا... @UYI_fa
3K Followers 27 Following ما اتحاد جوانان ایران، بدون هیچ وابستگی سیاسی، مطابق با اعتقاداتمان در مرامنامه پیمانی بستهایم و تا آزادی ایران، دوشادوش یکدیگر مبارزه میکنیم.
نخست وزیر ك�... @israelipm_farsi
126K Followers 5 Following حساب رسمی توئیتر دفتر نخستوزیری اسرائیلTrends for United States
You might like
