Nathan
243 posts
Nathan
@new_blockhash
building on @SuiNetwork & @Solana // core @Scallop_io // engineer
Katılım Kasım 2024
179 Takip Edilen209 Takipçiler
As BTC-backed credit workflows expand, the quality of the surrounding DeFi infrastructure becomes more important.
Glad to support Hashi on @SuiNetwork and the protocol layer helping make these flows more usable.
English
Filipino
Random Taiwanese Sui DeFi boy
vs
Random Japanese office lady
Which one?
English
Nathan retweetledi
Asymptotic@AsymptoticTech
Comprehensive Formal Verification of Scallop Lend (@Scallop_io) We proved strong correctness properties across core accounting, liquidation math, access control, and fixed-point arithmetic. Coverage spans all balance sheet operations, from position safety to liquidation exchange rates. This is our first published Comprehensive Formal Verification report of a full protocol. Details and report below.
ZXX
Nathan retweetledi
Huge milestone for Sui DeFi security. Formal verification is the only way out of the arms race that better and better AI-powered vuln finders have started. Congrats to @Scallop_io and @AsymptoticTech, and hope to see many other protocols following suit! x.com/AsymptoticTech…
Asymptotic@AsymptoticTech
Comprehensive Formal Verification of Scallop Lend (@Scallop_io) We proved strong correctness properties across core accounting, liquidation math, access control, and fixed-point arithmetic. Coverage spans all balance sheet operations, from position safety to liquidation exchange rates. This is our first published Comprehensive Formal Verification report of a full protocol. Details and report below.
English
English
well-engineered code, and a pleasure working with the @Scallop_io team
Scallop@Scallop_io
🛡 Scallop Completes Comprehensive Formal Verification by Asymptotic Scallop Lend has completed a comprehensive formal verification review conducted by @AsymptoticTech, the official auditing partner of @Mysten_Labs. The verification proves key correctness properties across core accounting, liquidation math, access control, and fixed-point arithmetic. Security remains a core priority for Scallop. This verification reinforces the robustness of the protocol and reflects our continued commitment to building secure and reliable DeFi infrastructure on @SuiNetwork. We will continue working closely with Asymptotic to further strengthen the protocol and its features. Read The Full Report: scallop.asymptotic.tech/lending/fv-202…
English
Nathan retweetledi
Comprehensive Formal Verification of Scallop Lend (@Scallop_io)
We proved strong correctness properties across core accounting, liquidation math, access control, and fixed-point arithmetic. Coverage spans all balance sheet operations, from position safety to liquidation exchange rates.
This is our first published Comprehensive Formal Verification report of a full protocol. Details and report below.
English
Nathan retweetledi
We just completed the largest decentralised LLM pre-training run in history: Covenant-72B. Permissionless, on Bittensor subnet 3.
72B parameters. ~1.1T tokens. Commodity internet. No centralized cluster. No whitelist. Anyone with GPUs could join or leave freely.
1/n
English
20 years ago, no one would’ve imagined world leaders tweeting before going to war.
Technology is insaneee
Khamenei.ir@khamenei_ir
The Americans should know if they start a war, this time it will be a regional war.
English
I'm building a custom address generator. If you want one that starts with 0x0000, 0xdead, or ends with 0x..feed, 0x..abcd? I built an open-source vanity address generator just for Sui - fast CPU multithreading + Apple GPU acceleration.
Repo: github.com/nathanramli/su…
🧵1/7
English
I built a personal project that integrates with U.S. stock market, and the dev experience was very complex. I had to run my own gateway on a server to integrate with their main backend.
I'd say web3 integration is much smoother, the main challenge with web3 is RPC limitation
English
I love AI man..
Anthropic@AnthropicAI
New Engineering blog: We tasked Opus 4.6 using agent teams to build a C compiler. Then we (mostly) walked away. Two weeks later, it worked on the Linux kernel. Here's what it taught us about the future of autonomous software development. Read more: anthropic.com/engineering/bu…
English