Pinned Tweet
Follow
Click to Follow Alexintosh
No Probllama
@Alexintosh
No Drama Llama 
Full-time Token Holder , intern . I mostly tweet from alts, find out which ones.
Full-time Token Holder , intern . I mostly tweet from alts, find out which ones.No Probllama’s Tweets
6. A lucid brain
7. Friends smarter than you
2
Show this thread
Incredible tools you can use as a smart-contract developer to make your life easier.
1. Fuzzing (foundry)
2. Invariant testing (foundry)
3. Static Analysis (Slither, solstat)
4. Pull Request Review by ChatGPT3
5. Formal Verification / Symbolic Testing (Pakale, Halmos)
1
4
Show this thread
If you are looking to get your hands dirty with zk programming. Look no further than this excellent introduction by & Alex Ozdemir
I think its the best one out there!
The first part gives the big picture overview of ZKP programmability
1
7
31
Show this thread
Income tax is most accurately described as a fine imposed on you for being productive.
And the more productive you are, the higher the fine.
349
949
4,998
1/ Most people think about a (blockchain) bridge as a monolithic piece of software or a set of smart contracts, but elegantly breaks down the concept into a modular framework.
Here's what happens under the hood when you relay a message across chains:
4
24
69
Show this thread
"The will be your new self sovereign bank account"
What started as a vision is today a big step closer to an indisputable reality. I just did my first regular EURO SEPA transfer triggered from a Safe transaction on . Great work !
25
101
448
Show this thread
5/ NFT Prep /
NFT Prep is bringing innovation to the on-chain derivatives space.
They're arguably the first perpetual futures DEX allowing users to long and short trade NFTs.
Best of all, users can trade with up to 5x leverage.
Excited about this one.
3
4
27
Show this thread
We are announcing Axiom, the ZK coprocessor for Ethereum: axiom.xyz/blog/intro
Axiom provides smart contracts trustless access to all on-chain data and arbitrary expressive compute over it. Like GPUs do for CPUs, Axiom augments blockchain consensus with zero-knowledge proofs.
44
214
658
Show this thread
Replying to
we're also building a new static analyzer for solidity called woke & want to build simple api for creating new detectors.
currently we have public documentation for our ir: ackeeblockchain.com/woke/docs/deve
woke is open-source too:
1
9
What AI powered tool do you use daily?
3
We failed hard at explaining this, so let me share why the next millions of users will start as a 1/1 user, what the big advantages are, what we are doing to make every account on a Safe and how this will look completely different from the team Safes you know. twitter.com/kelvinfichter/
This Tweet is unavailable.
13
83
315
Show this thread
Lesson learned the hard way but huge props for trying it out such an extreme approach.
Quote Tweet
if the RAI team (mostly me) hadn't been all in on "ungovernance", adding stETH as collateral would be easy
instead the only option for adding stETH is fully restarting RAI
that is a lot more work for devs and coordination cost for the community
ungovern at your own risk
Show this thread
I've noticed in recent discussions that there is still a great lack of understanding of the internals of event logging. Sure, emitting an event is easy in Solidity, but do you know that the secret to how indexed items enable faster lookup is Bloom filters?
8
50
260
Show this thread
Wormhole exploiter just turned 95,630 ETH into 95,677 stETH
It is now the 5th largest holder of stETH
5b7a789deafa61792c62e17f2b18e8a76ca995b77853ba54d20d755a98120a5b
22
59
323
Evm Indexer v2 is ready!
Whole new codebase for diff approach to sync.
Modular binaries for different purposes.
Modular parsers for different log/events parsing.
7
15
108
Show this thread
Best intro for beginners to Yul I have read so far. Filled some gaps in my knowledge. Only problem was it says "19 minutes read" but it took me ~1hr lol
8
69
266
Jokes aside, team sustainability is a real issue and I understand sometimes you need to make a step back for the best. Was it this the case? Let’s find out!
1
Show this thread
GIF
read image description
ALT
Quote Tweet
Sushi DAO implements proposal to direct all trading fees to treasury theblock.co/post/204593/su
1
Show this thread
Is it me or chatgpt is been dead for days
1
Announcing Diva – the first Liquid Staking solution powered by Distributed Validators!
- The most decentralized way to stake your ETH
- Lowering the barrier to entry to 1 ETH for Node Operators
divalabs.medium.com/here-comes-the
🔔 Follow to get notified for launch!
9
60
101
Secure on-chain randomness is a topic that has been touched on a lot over the past few years.
In the latest blog, by Engineering, , , and I explore and implement secure randomness on Ethereum using SNARKs and VDFs.
36
156
656
Show this thread
damn
Quote Tweet
This is something I've never seen before.
To frontrun an exploit in the mempool a generalized frontrunner copied the exploiter's 4 (!) previous transactions stretching 50 blocks (!) into the past.
That copied the exploiter's contract and setup for the exploit. twitter.com/spreekaway/sta…
Ironicamente, la decisione del sulle #primarie è rappresentativo del perché nessuno vuole votarlo.
Small boomer-dick energy.
1
mSL -> GameMakerScript -> C -> PHP -> Javascript -> Ruby -> Python -> ActionScript -> LUA -> ObjectiveC -> Java -> Haxe -> C# -> Typescript -> Solidity -> Nim -> V
Still waiting for an occasion to learn Elixir, C++, Rust
Quote Tweet
trying to see something
list the programming languages you know, *in the order you learned them*
me: C -> MATLAB -> Maple -> Assembly -> C++ -> JavaScript -> Ruby -> Perl -> Java -> PHP -> Golang (fav, by far) -> Rust
Show this thread
Why zkRollup matters.
Quote Tweet
Replying to @0xzuberg
- Natively on eth ecosystem
- cheap + fast transaction
- recursive in nature so can deploy one within one to create a layer 3
- privacy tools (no front running, mev protection)
- inheriting security of eth rather than an alt-evm (tradefi loves this)
- native AA for @zksync
1
Anyone who's found my videos/notes/books on algorithmic game theory too advanced or theoretical might want to check out my more applied and accessible course "Incentives in Computer Science" 👇
1/4
7
46
384
Show this thread
It's hard to find a better risk adjusted short term bet than ETH.
2
Couldn't find it in the docs, but found the governance proposal forum.balancer.fi/t/bip-50-set-p
This Tweet is unavailable.
1
3
17
Interesting way to continuously sell your token for ETH.
You pay rewards in token X and get a cut of ETH staking rewards.
Quote Tweet
Replying to @CurveFinance and @fcmartinelli
yes, them LP's are really suffering.
well, aside from the BAL & AURA they get that more than offsets this loss of course.
How to anonymize Ethereum requests and protect your identity.
We all have the right to privacy.
Here's a tool that will help you stay anonymous:
🧵
18
69
242
Show this thread
Idk who needs to here this, but...
If you're the CEO of a startup and can be fired by your investors, you are not a CEO: you are a product manager.
And if you're a VC who can fire founders and preaches "customer discovery", you're not an investor, but a middle management CEO. twitter.com/WillManidis/st
This Tweet is unavailable.
2
7
25
BREAKING: the Ontario College of Psychologists has demanded that I submit myself to mandatory social-media communication retraining with their experts for, among other crimes, retweeting and criticizing and his political allies.
17K
31.5K
110.5K
Show this thread
github copilot feels like the blue-print for building AI-enabled applications. rich feature engineering, context stuffing, client-side request and response filtering, transparent telemetry collection, etc. much more than a wrapper around an OpenAI api.
3
37
My favorite hacking stories of 2022:
49
367
1,658
Show this thread