This summer saw significant progress at the intersection of LLMs and formal mathematics.
Here are my slides: 𝗙𝗼𝗿𝗺𝗮𝗹𝗶𝘇𝗶𝗻𝗴 𝗠𝗮𝘁𝗵𝗲𝗺𝗮𝘁𝗶𝗰𝘀 𝘄𝗶𝘁𝗵 𝗟𝗮𝗿𝗴𝗲 𝗟𝗮𝗻𝗴𝘂𝗮𝗴𝗲 𝗠𝗼𝗱𝗲𝗹𝘀 from foundational concepts to recent advances.
docs.google.com/presentation/d…
AI Hacking is here (unfortunately)
Poorly secured crypto is most at risk.
Anthropic (Claude LLM), reported that cybercriminals were using its tools in large-scale hacking campaigns in August 2025
bbc.com/news/articles/…
Why this matters?
Bitcoin Core v30 introduces significant changes to how Bitcoin handles “extra” (non-monetary) data in transactions
Pros: certain use cases such as embedding metadata, sidechains, cross-chain protocols
Cons: blockchain bloat, spam, abuse, centralization…
Why this matters?
Bitcoin Core v30 introduces significant changes to how Bitcoin handles “extra” (non-monetary) data in transactions
Pros: certain use cases such as embedding metadata, sidechains, cross-chain protocols
Cons: blockchain bloat, spam, abuse, centralization…
👋 This account is dedicated to analysis of Web3 projects with a focus on how on-chain behavior aligns (or doesn't) with public claims.
No hype. No accusations. Just verifiable facts and crypto kitties.
The first case is coming up next.
4K Followers 197 Followingtanuki42 | Investigations @zeroshadow_io / @_SEAL_Org
For emergencies: https://t.co/zCN71kMn75
Views on this page are my own.
224K Followers 5 FollowingThe fastest Blockchain Possible. Visit website to read more. Become mobile verifier https://t.co/TEnMKlTlbI -- https://t.co/PE8hpxeJFR
51 Followers 107 FollowingSolana auditing with AI & formal verification
- Affordable
- On each commit
- Subscription-based
Building for the @colosseum Hackathon Powered by @FormalLand
143K Followers 1K FollowingWork for yourself and make $10k/mo, from wherever, whenever 🤝
• Subscribe: https://t.co/BuyZXNWzZC
• Sponsor: https://t.co/3XH0Vfet1Q
15K Followers 77 FollowingAuthor of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury
I'm a midwife to the hidden beauty in everything
she/her 🏳️⚧️
9K Followers 3K Followingai workspace for computational research || analyze research papers || link your papers, notes and code || https://t.co/z8y0u34EEI
12K Followers 171 Following@Tezos blockchain experts. 🐙 Working on the core development, evolution and adoption of the Tezos protocol in France, Luxembourg, Belgium and Germany.
1K Followers 2K FollowingSecurity audits for Web3
We innovate in the formal verification space to provide you with the most extensive security solution.
Solidity, Rust (Solana), ZK
433 Followers 949 FollowingI post daily infosec dad jokes. My source code is written in puns. All puns are original content, but Grok provides punpics support.
About me: T1005
590K Followers 60 FollowingWorld leading onchain & financial metrics, charts, data & insights for #Bitcoin & digital assets.
https://t.co/Ofq0n0yjN3
https://t.co/KHBkbe8APq
2.4M Followers 999 FollowingTON is putting crypto in every pocket. By building the Web3 ecosystem in Telegram, TON is making digital ownership easy for billions.
https://t.co/M2UkEFv9Pe
1.6M Followers 92 FollowingTrade with Intelligence 🔎 | Cryptocurrency Exchange & Blockchain Analytics Platform | Earn up to $100 in rewards for registering.
4.0M Followers 0 FollowingThe universal platform for crypto, blockchain apps, stablecoins & decentralized tech. An account about the Ethereum ecosystem maintained by @ethereumfndn.