Logicb0x's profile picture. @Superfluid_HQ | @superfluid_labs | @alfafrens_ | https://linktr.ee/nunoaxe

Axe

@Logicb0x

@Superfluid_HQ | @superfluid_labs | @alfafrens_ | https://linktr.ee/nunoaxe

Закреплено

🧵 Nobody asked for it, but here’s a new language for smart contracts: Ora. Still rough but I’m building something different.👇


Axe сделал(а) репост

Taking the stage now is @real_philogy! He’s diving into Type-Driven Development, how to apply it to smart contracts, and what language features ‚Sensei‘, an experimental language, adds to make it easier to deploy.

solidity_lang's tweet image. Taking the stage now is @real_philogy! He’s diving into Type-Driven Development, how to apply it to smart contracts, and what language features ‚Sensei‘, an experimental  language, adds to make it easier to deploy.

Axe сделал(а) репост

@Logicb0x's Ora smart contract language looks cool! I see some experimentation with features I also think would be cool to have in Sensei such as refinement types.


Formal verification getting in shape with Ora

Logicb0x's tweet image. Formal verification getting in shape with Ora

Banks move all over again, want to access your money? pay

yesterday Ledger announced a new Safe multisig interface that supports clear signing. Overall a good move, I thought (interface diversity is good). Well, guess what, they charge a "Multisig Fee" on top of gas: $10 flat for normal txs, 0.05% for token transfers. You might say…

pcaversaccio's tweet image. yesterday Ledger announced a new Safe multisig interface that supports clear signing. Overall a good move, I thought (interface diversity is good). Well, guess what, they charge a "Multisig Fee" on top of gas: $10 flat for normal txs, 0.05% for token transfers. You might say…


Generics sound nice in Solidity, but if implemented via monomorphization they’ll just bloat bytecode and complicate verification. What most people actually want is compiler metaprogramming, not parametric polymorphism. That’s the idea behind Ora Smart contracts need less…

Core Solidity: A revamp of the current language, with a new type system built to support features such as generics, first-class functions, algebraic data types, etc. We plan to supplement it with a standard library, a set of reusable types and functions, that will allow us to…



Axe сделал(а) репост

All tech is deflationary. We’ve experienced insane productivity gains over the last 50 years and yet the cost of living has risen consistently. Deflation can’t stop the ills of money printing. Deflationary tech needs to be paired with scarce money to reap the optimum benefits.

Gold and bitcoin is acting like we’re about to enter into a period of hyperinflation—but no one realizes that AI is deflationary.



Loading...

Something went wrong.


Something went wrong.