Danial @_TEMSAH
Software Engineer, Codeforces LGM, I also extract confessions from uncooperative code for fun, they call me Auditor. Joined June 2024-
Tweets367
-
Followers31
-
Following278
-
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? 🛒
Amelia @Il4uB1C0cDBn2
15 Followers 516 Following Need a new content parntnerrr heheeh, link beloww lets see if we are closeeee!
FredaNell @3fs3ZTV2ANXkM0
20 Followers 1K 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
49 Followers 201 Following Solo formal verification engineer · Helping ship provably safe code · DMs open Certora | Halmos | Quint | Alloy
duelingGalois (δ, γ... @duelinggalois
1K 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
629 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
381 Followers 589 Following Scientist (Researcher, Engineer, Designer, Manager) CTO @ https://t.co/7lwLs17zOO
Gabriela Moreira @bugarela
897 Followers 904 Following Building Quint at @informalinc | Born and living in Brazil 🇧🇷
solady @solady777
613 Followers 290 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 for Web3, through formal verification 🚀 Ethereum, Solana, Sui 🔍 Solidity, Rust, zero-knowledge. DM us to ensure your code is safe!
Mooly Sagiv @NYU @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 705 Following Smart Contract & Web3 Auditor | Safeguard your blockchain projects with expert, bulletproof audits. @HackenProof Security Researcher.
aj @aldrin57464827
41 Followers 1K Following
Alex Comerford @thecmrfrd
127 Followers 351 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
136K 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 building at @13th_hour__. tinkering for fun and running ultras
Armaan @apkinverse
624 Followers 699 Following building @CurationsClub✨ | @iitmadras @Google | 💝 my lists - https://t.co/F8FXT03cZm
Deeksha - Full Stack ... @deecodesss
101 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!
Eclipse @x24918
940 Followers 4K Following more of a bio-script kiddie currently trying to wrap her head around compsci
Scroll @Scroll_ZKP
794K Followers 20 Following The secure and performant network for the Open Economy.
Igor Babuschkin @ibab
103K Followers 852 Following Maybe the real ASI was the friends we made along the way. Co-founder @xAI, Research & Engineering
mert | helius.dev @0xMert_
255K Followers 2K Following ceo @heliuslabs, ex @coinbase — Solana RPCs, APIs, trading infra: https://t.co/J2To2Mz9GF — the best crypto pod: https://t.co/87uPmEFrEL
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
2K 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 336 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 86 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
111K 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
31K 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
21K 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
87 Followers 315 Following world models @lossfunk one thought experiment at a time.
Starknet @Starknet
347K Followers 690 Following Shaping the future with scale and integrity. X run by community member @Starkwareltd
Team Falcons @TeamFalconsGG
661K Followers 222 Following Esports World Cup Champions - أبطال كأس العالم | Esports Updates @FalconsEsport | Home to @VegasFalcons | Sponsored by @NEO_SA | Falcons Store @FLCNSTORE
Alireza Firouzja @AlirezaFirouzja
90K Followers 244 Following Number 1 french chess Grandmaster @TeamFalconsgg
DcentraLab @DcentraLab
1K Followers 33 Following DcentraLab is creating an ecosystem of products designed to accelerate blockchain mass-adoption, increase transparency, and lead the decentralized revolution.
Will Kinney @WKCosmo
38K Followers 2K Following Cosmologist, physicist, dirtbag mountain biker, expat Montanan, Copernican extremist. Part of the problem.
Archetype @archetypevc
10K Followers 141 Following early stage crypto fund accelerating the programmable future
Adrastia @AdrastiaOracle
473 Followers 90 Following Adrastia increases the security, efficiency, and reliability of DeFi protocols by providing robust oracles, controllers, and automation.
TINA @thetinaverse
7K Followers 1K Following ✍️ sharing learnings from my mistakes / ecosystem lead @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
127K Followers 410 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
27K 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_
12K Followers 5K Following Blockchain & Smart Contract Security Specialists - Contact us to request a Web3 Security Audit.
zerosnacks.eth @zerosnacks
1K Followers 838 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
16K 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 ما اتحاد جوانان ایران، بدون هیچ وابستگی سیاسی، مطابق با اعتقاداتمان در مرامنامه پیمانی بستهایم و تا آزادی ایران، دوشادوش یکدیگر مبارزه میکنیم.Trends for United States
You might like
