Georgii
@0xGeorgii
Followers
357
Following
6K
Media
218
Statuses
2K
Compilers, programming languages and formal methods for #Web3 with @Inferara_kk and @OpenZeppelin
Milky Way
Joined May 2012
New Approach to Formal Verification Methods for Combating Vulnerabilities in Smart Contracts
New Approach to Formal Verification Methods for Combating Vulnerabilities in Smart Contracts https://t.co/oQAwTRrntC
0
1
2
New on my blog: 50 years of proof assistants https://t.co/FcUg9u7rMo
2
26
112
Want to learn about @StellarOrg Soroban smart contracts security? Here is the right place
For the https://t.co/kicPafRjtJ we’ve added two new features to make organizing and preserving your vulnerability searches easier than before. Here is what’s new 🧵👇
0
4
21
MLIR, with the operations as a base type, very accurately demonstrates the idea of uzumaki in #Inference
0
0
0
Interested in learning more about formal mathematics and the application of #LeanLang to specific research domains? Check out the Lean Learning Seminar YouTube channel for some recent in-depth talks:
youtube.com
https://mathweb.ucsd.edu/~bechow/LeanOnMe/
3
19
160
Release 0.3.3 of typeagent. Get it from PyPI (pip install typeagent). Read about it here:
github.com
Structured RAG: ingest, index, query. Contribute to microsoft/typeagent-py development by creating an account on GitHub.
14
34
299
🔥 Black Friday Deal! 🔥 All our exclusive theorem prover + functional PL mugs are 15% OFF — Lean, Coq, Agda, OCaml, Haskell, you name it. Perfect for fueling late-night proofs ☕📚 Only until the end of the month! https://t.co/G76hRzoPvD
2
9
44
Bravo to @StellarOrg marketing team. And it is absolutely true that it is very dev friendly to @BuilOnStellar
0
0
1
We let the Internet down today. Here’s our technical post mortem on what happened. On behalf of the entire @Cloudflare team, I’m sorry.
blog.cloudflare.com
Cloudflare suffered a service outage on November 18, 2025. The outage was triggered by a bug in generation logic for a Bot Management feature file causing many Cloudflare services to be affected.
553
1K
10K
Linker and runtime errors on Wasm https://t.co/lKsaelA4Gh
blog.rust-lang.org
Empowering everyone to build reliable and efficient software.
0
0
1
We compare @Uniswap X’s RFQ → exclusive-then-open Dutch two-stage auction with @1inch Fusion’s classic Dutch model to show how intent-based swaps curb MEV, failures, and liquidity fragmentation for better market-making. https://t.co/J5CsktCblz
#AMM #Trading #Crypto #MEV
inferara.com
We compare UniswapX’s RFQ→exclusive-then-open Dutch two-stage auction with 1inch Fusion’s classic Dutch model to show how intent-based swaps curb MEV, failures, and liquidity fragmentation for better...
0
1
2
Great video from Alex Kladov aka matklad. Since Inference syntax is heavily inspired by Rust I'll keep a close eye on rust-analyzer and use its ideas and principles where they fit. , This list I made up just after careful watching of the first video from the rust-analyzer
0
0
0
Break a tower of IIRs As it is stated in https://t.co/WMWcTH3rzC >The development of the compiler must proceed in small steps where every step can be implemented and tested in one sitting. The result of completing every step is a fully working compiler. The compiler writer,
0
0
0
Sharing some thoughts on #Inference compiler (infc) design. I've been thinking about the Inference compiler design, and wanted to share a few thoughts. Personally, I like the nano-pass architecture idea — it's elegant and modular. However, I'm not a fan of the DSL-based
0
0
0
🧵We're excited to announce that Inferara has been selected to @BuildOnStellar thanks to the @StellarOrg Community Fund! 🎉 This grant from SCF #39 is dedicated to building the Inference Language Compiler! #StellarCommunityFund
2
1
4
Babel-formal: Translation of Proofs between Lean and Rocq https://t.co/Fo11ugnxQC
0
0
0