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.👇


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.



only in the EU, Porn can’t say “sausage” anymore, but Brussels can still screw everyone. Your tax euros at work. 🇪🇺💸


Ora Language dev update, the compiler now is using MLIR to generate the inter. language, before lowering it to yul If you are building any type of smart contract language, don't reinvent the wheel, use MLIR by default

Logicb0x's tweet image. Ora Language dev update, the compiler now is using MLIR to generate the inter. language, before lowering it to yul 
If you are building any type of smart contract language, don't reinvent the wheel, use MLIR by default
Logicb0x's tweet image. Ora Language dev update, the compiler now is using MLIR to generate the inter. language, before lowering it to yul 
If you are building any type of smart contract language, don't reinvent the wheel, use MLIR by default

Axe 님이 재게시함

justLittleKiss redd.it/1nnudjo

PR0GRAMMERHUM0R's tweet image. justLittleKiss redd.it/1nnudjo

Ora -> Lowering AST to IR. We are getting there!


Semantics is the new frontier :D


Loading...

Something went wrong.


Something went wrong.