philogy

fixing smart contract development @plankevm | LSR @SpearbitDAO | | ex @SorellaLabs

[philogy @real_philogy]

After 6 months of work, we're proud to finally share our first release of our new smart contract language:

Plank v0.1 🚀

To fix the fundamental issues plaguing smart contract development we're rebuilding the language stack from the ground up. 🏗️

Learn more 👇

[philogy @real_philogy]

pretty confident my compiler won't stack too deep 😁

1024 => 1024 value shuffle artificially limited to at most a swap depth of 1 and it still works

[philogy @real_philogy]

@telegram @durov very cool coming from the app that pretends to be an E2E encrypted messenger and is not 👍

[philogy @real_philogy]

yeah for this case I agree.

I think there may still be some value in codifying one of the popular factories as an ERC rather than an EIP, just to standardize and document the address + bytecode so that other chains can more easily replicate what OP etc. have done without hardcoding factories.

Although actually not sure, maybe this would be more of an RIP or whatever they're called

[philogy @real_philogy]

@_Enoch @nero_eth yeah for this that's not a bad approach

[philogy @real_philogy]

@_Enoch @nero_eth also I disagree that Ethereum shouldn't care about other chains.

The EVM being exported to and used by other chains is a competitive advantage that I think is worth maintaining and caring about.

[philogy @real_philogy]

@_Enoch @nero_eth EIP seems to be a simpler version of this, no? Enshrining one very simple factory at address 0x12?

[philogy @real_philogy]

@_Enoch @nero_eth the problem is that doing this at the application layer can be kind of jank and insecure.

a lot of these deterministic factories are bootsrapped by normal private keys which means they can have different code/contracts on another chains

[philogy @real_philogy]

@schteppe me to myself seeing my code crash due to an assert I had placed there weeks back

[philogy @real_philogy]

@_Enoch what? so the intended spec is out of sync with the online EIP?

good I haven't started adding it to my compiler yet then

[philogy @real_philogy]

@_Enoch I realized it was about EIP8024. Thought it was your code because I had only seen the python version from the EIP. good to know.

the `EXCHANGE` encoding is even worse IMO

[philogy @real_philogy]

@_Enoch I guess it depends on x's type

[philogy @real_philogy]

@_Enoch ugly but it works 🤷‍♂️

FYI you probably want to be using `wrapping_add` there

[philogy @real_philogy]

We've had calculators for decades yet we still want kids to understand how to do basic arithmetic.

I think if you let kids use the power tools from day one whether it's AI/calculators they will almost definitely lose out on the lower level skills (text writing, argumentation, arithmetic, some mathematical reasoning).

But maybe there's a valid question to be asked in whether kids can skip that and just directly learn at the higher abstraction level.

[philogy @real_philogy]

the folly of youth is the belief in the false dichotomy of investing in your future vs. living today.

True wisdom is understanding the challenge is balancing both. Live today, but set something aside so you can live tomorrow.

[Mads @europemaxxed]

Live today instead of chasing tomorrow each day

[philogy @real_philogy]

@danielvf @argotorg It's just easier to apply the wisdom you've gained to a fresh codebase than trying to get a good overview in such an old codebase.

For the tests agree but those are should usually be easy to port over depending on how they've been written

[philogy @real_philogy]

Good work by @danielvf.

I can empathize with a big codebase having tech debt after many years but it's gotten SO bad.

I sincerely hope, for the sake of @argotorg & Solidity that solcore is a fresh implementation. Continuing solc is pure sunk cost.

[Daniel Von Fange @danielvf]

I've submitted 3 small PR's to solidity that speed via-ir compilation up about 11%.

It's fun to learn about the insides of the compiler we all use, so let's tour each speed up. 1/7

[yobibyte @y0b1byte]

The only vibe in coding I would accept

[philogy @real_philogy]

Writing Huff is O(1) gas golfing
Engineering compilers is O(n) gas golfing

(don't mind the actual numbers, still trash)

[philogy @real_philogy]

@_matthew_ oh, my bad, I just assumed!

If you're doing it by hand I'd question why use LLMs in the first place? Just write the thing the way you need it right away, no? At least when I've tried to do it like this I've felt like I net lost time

[philogy @real_philogy]

Am I finally being vindicated or what?

Bunch of cracked devs on my TL saying over-indexing on AI generated code was a mistake. Maybe my eyes weren't fooling me after all.

I need to be less hard on myself for still mostly hand coding in 2026 😄