phil_uplc's profile picture. CEO and founder of @anastasialabs Compiler Development & Programming Language Theory.  

AdaHandle: $plutuspioneer

phil

@phil_uplc

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

Pinned

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…


I have personally reached out to and engaged with T1 bridges, oracles, and stablecoins. I know their integration costs, their yearly fees, and their aggregate total costs. The proposed amount doesn’t even come close to covering these. At this price tag, this is an absolute…

Priming Cardano for 2026 The Critical Integrations Budget - now on-chain - reflects several weeks of collaboration among the core entities, with last week’s mainnet incident highlighting the strength of that coordination. The Budget Info Action is now available for DReps and…

intersectmbo.org

Priming Cardano for 2026 through the Critical Integrations Budget Proposal

Introducing the critical infrastructure budget



phil reposted

Congratulations to @MidnightNtwrk @midnightfdn, and the Shielded team for deploying the Midnight Cardano Native Asset: adastat.net/tokens/0691b2f… Full launch December 8th.


phil reposted

VPN Update 📢 Audit completed by the legends @rvcas and @MicroProofs of @utxo_company and a new smart contract has been deployed. 💪 We minted new accounts on the new contract, giving users an additional 30 days subscription for free! 🤯 Download your new profile and enjoy. 😊

blinklabs_io's tweet image. VPN Update 📢

Audit completed by the legends @rvcas and @MicroProofs of @utxo_company and a new smart contract has been deployed. 💪

We minted new accounts on the new contract, giving users an additional 30 days subscription for free! 🤯

Download your new profile and enjoy. 😊

Eyes on this.

Leios is taking another significant step forward. The new development tracker is now live, giving the Cardano community a transparent view of global engineering progress. engineering.iog.io/leios



phil reposted

GM Cardano. Leios tracker just went live. You can be the first to see it all moving in real time now, progress, tickets, teams, the lot engineering.iog.io/leios!

This post is unavailable.

phil reposted

Check out and support these great proposals for OpShin SCs - now with Plutus V3!


phil reposted

Congratulations to @HarmonicMath on their $1.45B valuation! Their approach of requiring AI to "output reasoning as [Lean] code instead of reasoning as English" is exactly the type of effort the @VentureBeat highlighted this week when it stated "Lean4 adds a layer of trust on top…

leanprover's tweet image. Congratulations to @HarmonicMath on their $1.45B valuation! Their approach of requiring AI to "output reasoning as [Lean] code instead of reasoning as English" is exactly the type of effort the @VentureBeat highlighted this week when it stated "Lean4 adds a layer of trust on top…

Huge for Midgard.

Last week taught us that being a Cardano SPO is no walk in the park — managing infra is complex. What happens when we add 10+ partner-chains + Midgard + Hydra + bridges + oracles? How do we unify operations without compromising decentralization? Enter: SuperNode 🧵👇

txpipe_tools's tweet image. Last week taught us that being a Cardano SPO is no walk in the park — managing infra is complex.

What happens when we add 10+ partner-chains + Midgard + Hydra + bridges + oracles? How do we unify operations without compromising decentralization?

Enter: SuperNode 🧵👇


phil reposted

Last week taught us that being a Cardano SPO is no walk in the park — managing infra is complex. What happens when we add 10+ partner-chains + Midgard + Hydra + bridges + oracles? How do we unify operations without compromising decentralization? Enter: SuperNode 🧵👇

txpipe_tools's tweet image. Last week taught us that being a Cardano SPO is no walk in the park — managing infra is complex.

What happens when we add 10+ partner-chains + Midgard + Hydra + bridges + oracles? How do we unify operations without compromising decentralization?

Enter: SuperNode 🧵👇

phil reposted

Santiago is always penetrating new markets

The initial name for the project was CardanoBox but I kept getting weird looks in the focus groups.

santicarmuega's tweet image. The initial name for the project was CardanoBox

but I kept getting weird looks in the focus groups.


phil reposted

phil reposted

Preventing Future Issues: Where Good Engineering meets Good Process x.com/i/broadcasts/1…


phil reposted

Cool stuff is happening


I’m really proud of this one. Huge thanks to everyone that has taken the time to watch it.


phil reposted

This is an absolutely devious presentation. Do not watch. I repeat, DO NOT WATCH! youtu.be/ZEiJyLI2rUQ?si…

mattpiz's tweet card. Pushing the Limits of UPLC: Everything is Possible

youtube.com

YouTube

Pushing the Limits of UPLC: Everything is Possible


phil reposted

Let’s x10 that with @SurgeCardano


phil reposted

People are starting to get how rare it is for a network to be able to recover from this type of attack. Cardano behaved as intented

What is fascinating about yesterday's event is how Cardano recovered from a minority chain and got rid of the symptom while preserving most of the history and progress since the incident. 🧵



phil reposted

Make sure to share it when the FUD comes rolling in

IOHK_Charles's tweet image. Make sure to share it when the FUD comes rolling in

Loading...

Something went wrong.


Something went wrong.