CEO and founder of @anastasialabs Compiler Development & Programming Language Theory. AdaHandle: $plutuspioneer

I’ve registered as a Cardano DRep. I spend pretty much every waking moment working to improve the Cardano ecosystem. Throughout this time, I was able to identify and resolve a large number of critical exploits in production open-source DApp protocols. Last time a large-scale network attack was conducted on Cardano, I stopped the attack and looted their funds in the process. I hope to use my technical expertise in smart contract development and protocol security to help vet proposals. DRep ID: drep1ydvwp8x9j8u4flwjqwxf8jdjwp9p4zf2x4rk7vv7fgzk6j2k7c6
92
142
1,016
134,570
Pretty cool!
1/ The next stage of Midnight is here. Permissionless smart contract deployment is now live on Midnight mainnet. That means builders can deploy contracts directly without additional security reviews, while contracts can also dynamically deploy other contracts on behalf of users.
1
10
121
2,196
Replying to @fakedev9999
We just launched ZK (the privacy kind) contracts on @MidnightNtwrk mainnet today 🙂
3
25
236
2,633
"Bro, engineers and math people are bullshitting you; anyone can build anything with vibe coding; no one needs to read the code anymore, we're past that, it's all imagination land now." AI psychosis, believing that you have solved the three-body problem because new shiny model told you it did, and then believing that the solution was formalized because the new shiny model told you it was. Meanwhile it formalized some random properties like when you press escape the animation stops. If you cannot form your own opinions, and think logically, it doesn't matter how powerful AI gets, you will only ever be able to produce slop.
Asked Fable 5.5 for the three-body problem. One-shot. It gave back ~1000 lines of Bend2: symplectic physics on the CPU, every pixel computed on the GPU, 60 FPS on my M5. And 4 laws of the program formally proven. Not tested. Proven. github.com/AdrielSantana/thr…
Community note
The four laws formally proven only cover UI behaviors such as Esc quitting or pausing freezing bodies. No physics or three-body laws were proven, per the project's docs on floating-point limits. github.com/AdrielSantana/… raw.githubusercontent.com/AdrielSantana/…
12
4
62
5,109
Phil 🪏 retweeted
Incredible work. Cardano is one of the best places for complex asset issuance
Congrats to the many authors, contributors, and teams that have spent literal years making CIP-113 a reality! It's finally merged as its next step towards a path to "Active" status! 🎉🎉🎉 @MicheleHarmonic @phil_uplc @0xMetamatt @CryptoJoe101 github.com/cardano-foundatio…
40
182
1,547
65,189
The team clearly put a lot of effort into the port, was receptive to feedback, and quickly resolved audit findings / architectural concerns whenever we reported them. I am happy with how the final design turned out, especially with respect to its ability to keep in sync as the Cardano ledger progresses and new features are introduced. Huge shoutout to Jann Mueller, Amir, and koslambrou who all made massive contributions to the original design and implementation. Fun fact, the original effort now has an academic citation in: From lambda to ledger: An architectural comparison of Plinth and Plutarch It takes a village for any feature of this size, so it is very satisfying to see it come to fruition. Looking forward to the deployment!
The cat is outside the bag. There are many people that have contributed to this effort and you're way too many to list all. But thanks to you all. I would particularly thank @phil_uplc for the original design of Programmable tokens, his passionate and expert support provided throughout the whole process. @COSDpool and the CIP reviewers and editors for the great work in managing the CIP process.
2
10
142
4,760
Throughout the development lifecycle of Midgard, Aiken has been put through the gauntlet. Hundreds of contracts, a massive test-suite, and hundreds of thousands of lines of Aiken. Our contributions to this release include: 1. Major compiler and optimizer speedups — PR #1399 The Aiken test-suite in Midgard was taking 485 minutes to complete; this was a real performance issue and heavily slowed down development loops. This PR introduced optimizations to the Aiken compiler and optimizer ultimately resulting in: 767-test suite was 485 minutes → 5 minutes 27 seconds, approximately 89× faster 2. Reduced CEK evaluator memory blow-ups — PR #1410 Aiken was regularly causing seg-faults and OOMs when building Midgard, causing our developers computers and our remote development machines to regularly crash on certain large scripts. This PR optimized addressed these memory issues resulting in: Deeply recursive list accumulation target consumes 48 GB RAM causing OOM → the same list accumulation target consumes only 1.1 GB RAM 3. Parallelized UPLC optimization during test runs — PR #1410 Another large performance improvement improving wall-clock times by roughly 3.5x for `aiken check`. Midgard also uses Plutarch extensively, and we have made similar contributions to its maintenance during this timeframe. A raising tide lifts all boats.
Aiken v1.1.24 is now available 🎁, and with it, new (major) versions of the stdlib (v4.0.0) and fuzz (v3.0.0) libraries. This coordinated update introduces a new primitive type to the language: Value, to work more efficiently with multi-assets quantities. What else? 👇
7
18
133
5,004
These people are truly some of the least intelligent individuals in all of human society. Even cavemen desperate for hunter gatherer comrades would ostracize people this level of psychosis. The only explanation that doesn’t make me worry for the future of society is if this movement of relentlessly whining over codex reset handouts is if this is a paid effort by Anthropic to socially pressure OpenAI into deciding to not issue resets. At-least then there is a rational explanation for this behavior.
dopamine fried code bros finally seeing the forest through the trees lol the "resets" were always about conditioning you to frantically burn tokens so that when the handouts stopped, you'd hopefully convert into the credit funnel the irony is it also clawed back a shitload of compute from anyone who didn't gamify chasing the tibo dragon if it's thursday, your weekly reset is monday, and you've still got 50% left, a reset on that thursday basically steals that remaining value and pushes your next window out another 3 days so while they're "giving away" compute to power users, they're simultaneously clawing it back from everyone else for whatever those resets cost them, they've probably recovered a significant chunk through this the only version of this that isn't predatory is a banked reset the user chooses when to spend
3
24
3,252
Phil 🪏 retweeted
Some light bedtime reading. Results of the defi audit from @alphagrowth1. However, this is just documentation, a paper-pushing exercise, NOT the actual real work towards outcomes. That work is happening in the trenches. Really smart people crave really hard problems. You won’t ever see them complain about things being unfair or too hard. 💪
The Cardano DeFi Ecosystem Audit is complete. 25 categories. Five scoring dimensions. Two reference ecosystems. It is the Phase 1 core deliverable of the @Cardano PRIME program, and it sets the baseline for everything that follows. Here is where Cardano stands.
3
2
49
1,911
Audit in! Every blockchain ecosystem has to understand what is missing before it can grow. Incentives can bring attention, but users and capital stay only when the infrastructure is ready. The audit gives PRIME a working map. Now the work is execution. 💪
The Cardano DeFi Ecosystem Audit is complete. 25 categories. Five scoring dimensions. Two reference ecosystems. It is the Phase 1 core deliverable of the @Cardano PRIME program, and it sets the baseline for everything that follows. Here is where Cardano stands.
1
4
45
2,060
This is a really impressive tool. Cardano DevEx is rapidly ramping up.
Updates to DE-UPLC: You can now profile your favourite UPLC code directly in DE-UPLC. As always, you can share your debugging session via a link. Don’t forget to star: DE-UPLC: cardananium.github.io/de-upl… CQuisitor: cardananium.github.io/cquisi…
1
11
108
3,456
Phil 🪏 retweeted
Replying to @phil_uplc
We tried to do this for years with Tweag. Amazing what the vibes bring
3
8
248
6,587
Absolutely insane. No one grasps how huge this is. The entire ecosystem of Cardano core code has just become accessible for dApp developers to leverage. No more transaction builders going out of sync and needing maintenance, or needing separate cek machine implementations for ex-unit costing, no more overcosting, no more waiting on new features, everything can be leveraged directly from Cardano and updates to Cardano become updates to all downstream tooling that wraps this WASM. Massive amount of engineering effort and money saved by taking advantage of this.
You can run full Haskell Cardano node in a web browser. Also balance and submit transaction fully on a browser as well.
16
125
666
21,648
Huge props to @SeungheonO for this. Absolutely massive to get the Cardano node running in the browser as a side-quest.
1
23
744
This looks really clean.
3
67
3,009
Phil 🪏 retweeted
You can run full Haskell Cardano node in a web browser. Also balance and submit transaction fully on a browser as well.
11
45
262
35,305
There are lots of talented teams in the ecosystem. This is a huge opportunity for everyone to step up and build out the gaps to dramatically improve DeFi on Cardano. Review the categories and send in a proposal!
Replying to @alphagrowth1
- Wallets: A wallet with adoption that serves both EVM and Cardano users - Incentive distribution: Action-based campaigns with on-chain attribution - Bridging: General-purpose EVM to Cardano bridging route - Executor standard: Common executor/scooper interface - Vault standard: eUTxO-native vault standard - Curated lending: Curation layer and per-market parameter customization - Concentrated liquidity: Uni v3 style CL with programmable ranges - Automated liquidity management: Range selection and rebalancing - CDPs: Yield-bearing collateral support - Yield-bearing stables: Cardano-native YBS - Oracles: A second independent price feed - Perps: A second perps venue and an options market - RWAs: Tokenized treasuries and on-chain credit - Insurance: Cover-pool insurance with independent parameter curation - NFT marketplace - Launchpad: Token launch and distribution rails - Agentic infrastructure: Indexing, taxonomy and rails connecting apps
8
16
154
4,585
Phil 🪏 retweeted
Chris is heading to Boston Blockchain Week today! If you're serious about infra, go find him. He was building Linux from scratch 30 yrs ago, he understands everything from the kernel-Kubernetes. Exactly the kind of person you want building resilient blockchain infrastructure.
Catch up with our CEO @wolf31o2 at Boston Blockchain Week. Let's talk about node development and infrastructure. See you tomorrow!
3
2
22
1,453
This is so unfortunate for those impacted :( This explains a persistent "bug" that frustrated me when building float.sundae.fi though. I happened to be building the real-time updates features at the time, and several charts showed sudden sharp red candles.
DanoFinance @DanoFinance was hacked a few days ago? And no one noticed? Can anyone confirm? (From Discord)
5
10
84
9,239
This is actually braindead and worse than just not doing anything at all. By doing this, you reveal to the world that there is a vulnerability, and leave the money at stake. Essentially you are broadcasting to every blackhat everywhere “hey guys look there is an exploit here, we just used it to steal $100 (also illegal btw)! Definitely don’t try to figure it out yourself!”.
Whoever did this, don’t call yourself a white hat. You’re just a thief with a PR strategy. Our team at @FearsOff recently found a huge vulnerability in one of the top crypto projects. We could have moved millions. We didn’t. We sent a ~$100 proof transaction and got it fixed. That’s a white hat.
2
2
27
3,007
Fun fact, this is a result of the incredibly stupid watermarking added to Claude. The technique in discussion is canonically referred to as “red/green test driven development” in software engineering textbooks. Normally the model would be inclined to produce something like: “I’m running the red tests” but Claude’s watermarking system uses word replacement when doing so doesn’t (appear to) break correctness. This watermarking system allows the replacement of “red tests” with “red checks” because it considers both to be “correct”. This allows a probabilistic flagging of this response as Claude generated, because a human would not say “I’m running red checks”.
Fable 5.1 is super into "red checks". This, apparently, means verifying that its new test fails if the change it is testing is reverted. Good idea! But it keeps saying things like "I'm running a red check" as if that's a term that people use? I tried Googling it and I can't find any evidence of this term. Has anyone ever heard of the term "red check"?
2
3
24
4,491