Axe 🐙

1.7K posts

Axe 🐙 banner
Axe 🐙

Axe 🐙

@Logicb0x

ora language https://t.co/NqR37OJ9lM - ex - @Superfluid_HQ | @superfluid_labs | https://t.co/z6tpe2v2T2

Hyrule plane Katılım Ağustos 2014
965 Takip Edilen287 Takipçiler
Sabitlenmiş Tweet
Axe 🐙
Axe 🐙@Logicb0x·
🧵 Nobody asked for it, but here’s a new language for smart contracts: Ora. Still rough but I’m building something different.👇
English
2
1
12
801
Axe 🐙
Axe 🐙@Logicb0x·
in the grim darkness of the far future there is only emacs vs vim war
English
0
0
0
19
Axe 🐙
Axe 🐙@Logicb0x·
IMO this a very useful feature for Interactive debugging sessions. Change values at runtime, test your assumptions, check what happens if OOG in that particular line
Axe 🐙 tweet media
English
0
0
0
12
Axe 🐙
Axe 🐙@Logicb0x·
What you get with Ora Debugger.
Axe 🐙 tweet media
English
0
0
1
14
Axe 🐙
Axe 🐙@Logicb0x·
No smart contract language has a real source-level debugger. You get transaction tracers or console.log You get Tenderly replays with bytecode-level stepping if you're lucky Ora has one now, a proper debugger :)
English
1
0
1
26
Axe 🐙
Axe 🐙@Logicb0x·
Next Ora release: First: a real debugger Not a transaction op checker. ------> A real debugger. <------- Also: Better SMT degradation and encoding Stronger comptime, able to execute much more code LSP support for more real operations
English
0
0
0
27
Axe 🐙 retweetledi
Plank
Plank@plankevm·
Proud to announce our first grant from @argotorg to design a next gen stack scheduling algorithm for the EVM and implement it for our IR. The project's goals are: - excellent codegen quality - no stack too deep - adaptable to @official_fe's Sontina IR and @solidity_lang
English
4
4
28
3.7K
Axe 🐙
Axe 🐙@Logicb0x·
@real_philogy If anyone want to test if u are u there is a question “what do you think of comptime lambdas engine”
English
0
0
0
15
philogy
philogy@real_philogy·
Stay safe out there! Apparently people impersonating me. I will never ask you to invest in a coin or send me large sums on short notice. People have also been trying to scam me by impersonating old coworkers. Scammer activity is in high gear atm. hearing many stories like this recently
J4X@J4X_Security

There seems to be a scammer targeting the Web3 Security community currently. The scammer creates Telegram accounts using the names/faces of well-known people in the space and sends messages asking for help/USDC/etc. He targeted me yesterday, posing as Jake Lang (one of the spearbit founders), and after I told him to do better next time, he has now seemingly changed his profile picture and handle to @real_philogy. Be careful with random Telegram messages, especially from people asking for money. And don't add them as a contact, as it will let him see your number and potentially sim-swap you.

English
4
0
10
1.3K
Axe 🐙
Axe 🐙@Logicb0x·
I tried, but zig generics are to structural from Ora. Rust traits allows Ora to have nominal intent verification. What this mean? Next version of Ora will allow traits. Don't know if I will keep self or default to self every time (like solidity does)
Axe 🐙 tweet media
English
0
0
0
60
Vincent Chee
Vincent Chee@itsdavinchee·
starting to work on opening a brick and mortar biz has made me realize how abstract white collar work is and how direct "business work" is browsing things on alibaba or sending a whatsapp dm asking about prices
English
1
0
1
41
Axe 🐙
Axe 🐙@Logicb0x·
Working on interfaces for Ora I start to see why people like rust traits system. Not applicable to smart contracts 1 to 1, but very interesting design surface to explore
English
0
0
0
22
Axe 🐙
Axe 🐙@Logicb0x·
@real_philogy Buuuuuuuu 🍅🍅🍅 I can’t trust a lang that thinks {} is worst than tabs 😅 that’s for sql
English
0
0
0
10
philogy
philogy@real_philogy·
Rust continuously makes me go between: "I hate my life, fuck the borrow checker, lifetimes" and "Writing this is so nice, neater than even Python"
English
2
0
9
793
Axe 🐙
Axe 🐙@Logicb0x·
Some day garbage collector will be cool again, because they are useful and let’s be honest they are cool
English
0
0
0
17
Axe 🐙
Axe 🐙@Logicb0x·
@fpcoutinho78 Para umas coisas “comunidade internacional” para as outras “instituições ultrapassadas e o mundo não precisa delas” ligar a tv hoje em dia é Schrödinger TV, será que dá jeito a CI?
Português
0
0
4
238
Francisco Pereira Coutinho
Francisco Pereira Coutinho@fpcoutinho78·
Os estreitos não podem ser fechados. Nem num contexto de legítima defesa. A "loucura" iraniana exige resposta da comunidade internacional. É também inacreditável a ausência de medidas de contingência americanas. Onde estão as escoltas?
Português
88
2
89
26.8K

Keşfet

@argotorg @official_fe @solidity_lang @real_philogy @itsdavinchee @elonmusk @BarackObama @taylorswift13