i'm starting a series on abstract nonsense
we'll be firing from the hip but the obj is to build intuition for algebraic relations and operations
gud for cryptography, coding, the interconnectedness of all things in the universe etc
first up, set theory
i don't want this to become an account where i shout into the void about decentralization or kyc or any of that. so i'm going to do this once and leave it be.
i won a prize in an
@arbitrum
hackathon recently and i have regretted it ever since.
0/6
gm.
it's not a hot take to say "solidity bad" anymore, so instead i'll lead with this.
the abstraction stack imposed by the solidity compiler is fundamentally flawed and no language whose syntax and semantics are derived from this will fix this problem
so we can continue
you've got an idea for a hot new evm language, but you're living on grants. you're on the verge of putting it down for good. it's paradigm's rust ethereum day.
you see all these oss rs devs killing it, from nodes to decompilers to high perf math libs
there's a little chatter
@hosseeb
1. monad is still a 256 bit stack machine
2. evm stack depth is 1024
3. monad stack depth is 1024
4. monad is currently shanghai equivalent
5. there are no fundamental changes to the evm or its behavior
6. monad does not fix reentrancy
7. it is not the vm's place to stop
a few weeks ago i did interviews, coding puzzles, all the silly bullshit, all to get a "junior engineer" offer from smg/consensys for half the pay and double the hours i quoted. they even cited the fact that i don't have degree
companies that demand degrees are not worth your
I usually agree with Garry but this is idealistic.
95% of CS majors can grind hard on all of these things but 95% companies want the Stanford MIT kid with Google Stripe Jane Street on their resume, lob some leetcode at them, and make them build CRUD apps.
Cursed Solidity Friday
#1
:
Struct members can be of type function.
This got me thinking.. If structs can have funcs, and funcs can have storage pointers, could one in theory write an ERC20 token whose logic is contained in a struct?
Lord forgive me for I have sinned.
1/2
and i dont work for mercs that explicitly ask me to lie to
@Consensys
under contract to get my quoted rate
@0x81B
i was asked to architect met*mask's gas abstraction protocol as a fucking junior
but im the bitch for saying im not willing to build our relationship on mistrust
one year since fuel had its founder meltdown and i jumped ship.
one full year of oss, no contracts, no gigs, no jobs, no shitcoin money, no op rpgf, no ef grants, no hackathon prizes. just pure oss. shit i wanted to see built.
the money i've received this year came from
i'm not exactly anon, but if the future of crypto is handing out personal data like candy, then take my bank account number instead.
and if you choose me as a hackathon winner and you expect kyc from me, i would consider choosing someone else.
6/6
i'm open for contracting; i can develop and/or optimize any evm contract in any language.
terms are as follows:
- 20 hr/week max
- remote only
- no shitcoin factories
- i'm not joining an incubator
pm for quote
So I was looking at the way
@solidity_lang
handles functions, and there's some strange stuff going on here.
Some of this I haven't found much documentation for, most of this I'm gathering from reading the compiler tests.
Let's do this thing.👇
/0
1. take a week away from this place every once in a while. easy to forget what's important here
2. lot of kol's here speak as though they have never used what they speak of.. or they have a bag they're willing to bullshit you for. either case, be aware of their output.
3. grift
The highest impact thing you can do as a Solidity engineer is write a contract (or 10) in Yul and Yul alone.
You'll learn more about the EVM, you'll appreciate the hell out of Solidity's abstractions, and you'll learn when to break out the assembly blocks.
Links:
why do junior solidity indies smoke institutions with unlimited budget?
open source is a super power.
blackrock's code reads like someone who bought a udemy course on solidity 0.4. they bought the tutorials back when gensler thought smart contracts were cool. they brought it up
you're 19 years old. you've dropped out of college after half a semester. you've taken a risk and moved to a new state, your car died, you're stranded with no help, and you're running out of money
you come across a "gaming" job posting. entry level. no exp required. onsite
if you're in the same niche internet bubble as me, chances are you're an engineer. but not just any engineer. you're an engineer on the frontier, in the fringes of a niche intersection of military, hippy, and deeply academic technologies, in the part of the venn diagram so small
I am pleased to announce I am now on the
@SwayLang
compiler team at
@fuellabs_
A few thoughts heading into this position (promise I'll keep it short) 👇
0/5
took some time to reflect on why i'm here; whether i should even stay
i never came here for the finance. i may have gotten my start in tradfi but this was the result of being a warm body nearby the week that the entire react native team quit. a happy accident rather than a
of course you think tstore is unsafe. you're a first year javascript convert. you just got finished reading some ipsilon researcher, leo probably, you’re gonna be convinced of that until next month when you get to eth magicians, then you’re gonna be talking about how the
contrary to popular belief, crypto has satisfied its use cases and improvement of crypto is refinement of the rails
capital slingers want giga returns so bad they're willing to gaslight us into thinking hyper extractive gaming and social media but on the blockchain is a valid
industrial grade grift farms have created careers for actual humans to replyguy accounts with followings to push low effort, slop variants on washed up memes
celebrities come equipped with refined strategies for psyops and drama, swaying hordes of ppl to dogpile anyone they
introducing the Ether Deck Mk2, a reasonably optimized smart contract account
the core functions of the deck are to run external calls and to extend its functionality with a mod dispatcher, individually or in batch
existing mods include:
--
BribeMod:
me watching solidity devs ditch events in favor of a closed source provider making the underdeveloped indexing landscape even more of an atrocity instead of just writing better code
the problem with eip4337.
4337 is an account abstraction eip that introduces user operations, bundlers, executors, and a new mempool for propagating user operations across the network to be bundled.
the direction of 4337 is sound. users' actions are moved from transaction
just published a new article; after a few discussions about the state of different evm languages in denver, i put together a document on the state of the art.
lmk what you think! 🤘
a sad, but important read.
i'd be lying if i said i wasn't hedging industries in case this continues the way it does now.
each new low of degeneracy this cycle has been shocking, each time i didn't think it could get worse than before, yet it has.
blast (remember when blast
Constructing ZK Snark Circuits is now live! 🤘
We're diving into the Halo2 crate to design and implement a calculator circuit, arithmetic chips, and a simple user-input parser.
0/2
so
@Uniswap
v4 has free flash loans in their singleton, meaning every single token in the pool can be lent without protocol fees
you can use this with my forge library as follows:
0/1
solc 0.8.18 just dropped:
mostly bug fixes and internal stuffs, but there's a new feature for naming mapping params..
ie the abi of the following two contracts are now the same 👀
EOF consists of FIVE EIPs set to be implemented in the Shanghai Hard Fork in parallel. This includes new instructions, deprecating old instructions, deploy time validation, and more.
⚠️ This will radically change EVM bytecode. ⚠️
It's long af but let's get into it 👇
0/9
we like talking womeninweb3™️ when it has to do with swimsuit pics on a jetski, but surprisingly v little discourse has come out of sexual assault allegations regarding
@neelsalami
at
@EclipseFND
so let's talk about it
first, context.
as of a few days ago, reports started
take significant time away and do something noncrypto
not to hedge it getting banned or number going down
but to hedge the fact that the day may come that you feel this industry isn't for you.
you may get the sense that maybe digitizing financial rails won't fundamentally fix
in solidity you do not control control-flow. they allocate free memory pointer, even if you do not use memory. casting is lazy and can break near unchecked blocks. calls revert on failure but try catch blocks still fail on success when target has no code.
joe: "wow"
evm opcodes with strange and unexpected behavior thread
we'll start with arithmetic stuffs then dive into memory and external calls. we'll also look at how solidity and vyper handle these edge cases.
⚠️ 🧵👇
0/11
decentralization doesn't matter. privacy doesn't matter. censorship resistance doesn't matter.
until it does.
and variance has demonstrated we can go a long time without ever needing the properties that separate us from the b*nks.
but that day will come.
the day will come
I can still smell low morale from many of my peers who truly care—those who think decentralization is the point and are not yet nihilists mocking the mere notion of alignment. It wafts across the network like a miasma of cynicism. To those blessed few, I say:
Respect neither
mkbhd's takes on shipping half finished shit to win a race hits so close to home
my first job in crypto ended ultimately bc i was under the gun, trying to ship smth that had a lot of unresolved problems with high probability of security holes all in the name of being "the worlds
recently
@coinbase
put out a solidity style guide primarily conforming to solidity's cannon style guide with nice improvements for modern solidity
but section 1.C.4 reads "avoid using assembly"
ofc, i disagree, so i made an inline yul style guide :3
introducing: token-types 0.1.0
solidity interfaces are cool, but sometimes miss the mark on modern contract interactions. the notorious usdt's erc20 noncompliance + SafeTransferLib hell is a prime example
but with custom token types you can have:
- the syntax sugar of
1. they require kyc via
@TokensoftInc
to claim the prize. that's:
- physical address
- passport
- selfie
- wallet address
- email address
this alone is frustrating, but given the ongoing "bad actor" doxxing incident, this is very dangerous.
1/6
.
@TokensoftInc
just doxed the KYC of about 5k users - full names, wallet addresses, and IRL addresses - because they believe they are "bad actors" gaming airdrops.
Even if they are gaming airdrops, you should never dox your users. wtf is wrong with these guys?
cc
@tier10k
"block out the noise. just build."
there is too much noise. it's deafening. it's demoralizing.
we're carrying the torch on tech that opens up new primitives and old primitives without intermediaries.
we have infinite permission if even for a short while before the governments
today i am stepping down from my position on the
@SwayLang
team
it has been an absolute pleasure through and through, and there is some incredible tech that i'm looking forward to following and contributing to in the very near future 💜
a few thoughts moving forward:
0/5
we need more unhinged merch at conferences
"we have shirts and socks"
i wanna see darkfi lock picks, curta flipper zeros, L2 lucy tabs, vyper snake wine, celestia drone w an onboard light client
i don't want more shirts and socks
i have avoided kyc as often as possible before bc it is absurd that i have to give such revealing information to any exchange, much less for my sub 100 usd transactions.
there is just too much risk of leaks, doxxing, bad actors, hacking.. it's just too much.
5/6
Blessed Solidity Friday
#1
:
Since Solidity 0.8.13, you can globally apply functions to custom types. This means you can import a single type and use its functions anywhere. This allows you to wrap otherwise unsafe code into high level APIs, such as bitmap operations 🔥
1/2
despite being absolutely goated, mermaid is not talked about enough for creating visual representations of things, so we're going to dive into it rq
0/5
hot take: given the technology, most l2's will not migrate away from highly permissioned censorship, halting, and irregular state transitions
the benefit is too low and the cost too high
it's the same reason the majority of protocol liquidity runs on upgradeable proxies and
Linea's team made a decision to halt block production by pausing the sequencer and censor attacker addresses to protect the users and builders in our ecosystem. Like other L2s, we are still in the "training wheels" phase of existence, giving us safeguards to use.
2. it has been a month and still no payment. according to the
@arbitrum
team, this is bc EVERYONE has to kyc before
@TokensoftInc
will allow payment.
sure.
except twice now i've been pinged about how they "cant find me in the db" despite doing the above multiple times.
2/6
women: "ty for speaking out, he's a creep"
men: "evidence???"
do i have a video of
@neelsalami
sexually assaulting women? no. (how tf would i even get that)
but i do have 4 personal first hand accounts, two screenshotted, two that wish not to reveal themselves:
---
---
---
on
introducing the etherdeck, an opinionated, optimized, extensible, multi-sig written in none other than
@huff_language
a brief overview of the deck:
0/n
maybe hot take but the unbundlers performed an exploit, abusing the system to gain private information
this is not on the same playing field as sandwiching. yea fuck sandwichers i'm sure everyone here's gotten clapped by a rusty sando on a low cap shitter
but the difference is
i wanted to wait until i received the prize money bc i don't have full-time pay right now.
it is a non-negligible amount of money and i need every day of runway i can get. but given
@TokensoftInc
is willing to doxx their users this is not acceptable.
4/6
If you haven't started to rethink the utility of your Solidity events yet, you should.
@shadowxyz
introduces 1000x savings compared to letting users pay for events.
But the roll-out won't be straightforward as other indexers respond.
Here's how I expect this to play out.
↓
rust is a gateway drug to functional programming
one day you're nesting ethers middleware for a bot
the next you're realizing that higher kinded types are a form of simply typed lambda calculus making the type system its own turing machine
you have been warned
it's easy to confuse eip and erc so here's the diff
erc's are interface definitions & a mild discussion on a forum with the occasional "what if we added callbacks" comment
eip's are changes to ethereum that require espionage, psychological warfare, infiltration, sabotage, black
@colludingnode
@hosseeb
i think the point is just that they're thrilled™️ to invest in a new l1 and want to ruthlessly shill that with a "thesis" about how the evm is fundamentally broken so monad is doing evm except faster
i like monad, they're smart ppl and they do good work
but this is dishonest
counter exploiting has always been possible, but precedents for such a thing are quickly being set
so instead of just tweeting about it, let's step on the gas pedal and see this thing through 🧵👇
0/5
well now that i'm posting again, here's the rippler, a fast as fuck multicaller
reverse packed encoding, turing completeness removal, and branchless execution makes for huge efficiency improvements over multicall3 and a runtime size of 577 bytes
enjoy
i have posted screenshot after screenshot and doxxed the wallet address to the chat, over email, and in dm's.
the
@TokensoftInc
team themselves have dm'd me unprompted asking directly for information with no proof that they were who they said they were. not v professional.
3/6
so solc has type aliases with custom behavior,, so i'm using this to rewrite the solc type system from first principles
smart-types is a library building off a single type and can be composed into everything from vectors to sum types
0/5
there's always been an implicit social capital, though abstract and hard to quantify
paradigm hires world class engineers to make world class soft in exchange for social capital that they then burn for real capital through ponzi l2's and justin roiland collaborations
devs
an exercise to anyone voting yes on this:
go reconstruct the state of uni v3 with no event logs whatsoever, not even for state change discovery
anyone that's had to sync state to a protocol without events is not so keen to remove them
@haydenzadams
@AustinAdams10
no. pulling historical interactions is much more complex with no events, several major providers don't even allow geth traces without a prohibitive subscription, and this would break erc6909 compliance
don't get involved in eip discussions
don't get involved in eip discussions
don't get involved in eip discussions
don't get involved in eip discussions
don't get involved in eip discussions
don't get involved in eip discussions
don't get involved in eip discussions
primitive's arbiter is both a high performance evm simulation engine and a work of art
arbiter contains universes, which contain worlds, which contain agents, which exhibit behaviors that can communicate over an mpmc messager
you can have arbitrary numbers of universes, worlds,
i'm running for a slot on the
@Optimism
developer advisory board (dab) to contribute to non-technical writeups and review grants proposals
voting starts in two days and runs for a week, but if there's anything you'd like to know in the meantime, feel free to reply here or dm 🫡
in huff, a consistent, clean style and comprehensive comments are critical
inspired by airbnb's jsx style guide, i've created a "mostly reasonable approach to huff styling"
this contains everything from stack comment alignment to naming conventions
0/1
we're creating a rj discord server for all things foundry and evm smart contracts.
i'll personally be hosting a live stream session coding vyper tomorrow, here's the server! 🔥
the fuel virtual machine architecture article is live 🤘
we're diving into the asset, call, and memory models, storage layout, execution contexts, and even the instruction set. this info comes straight from the spec, links included!
@fuellabs_
@SwayLang
do not think for a second that either candidate will net you any favor for crypto
they're two sides of the same incumbent
do vote
but understand that crypto is fundamentally hostile to the usg and neither brand will have mercy on you
the solady erc1967 proxy factory is live!
this isn't just an optimized 1967 proxy, there's also an innovation on how admin and ownership is handled, reducing overall attack surface in upgradeability 👇
0/4
@alphaK3Y
disagree. that's natspec, not random comments. that's how client apps help users reason about the contract.
on the contrary, user-facing or not, you should document the absolute shit out of *everything*
code is read far more times than written
the year is 2030. your type -1 evm L8 rollup blackholes ur ether bc the create6 opcode isn't supported and solc 0.8.98 doesn't use tstore2 bc only eof3 uses it and not eof4. you try to front run the miami hardfork with eip-523563C with huffc-zig but ipsilon kneecaps u out back