phil

@phil_uplc

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

Inscrit en Juin 2019

4KPosts 6KAbonnés 1KAbonnements

Vous pourriez aimer

@zhekson

@hlabs_tech

@ikigai_tech

@ProofOfCardano

@OpShinDev

@txpipe_tools

@Plutus_Plumbus

@gimbalabs

@ashisherc

@RealfiCardano

@pebble_lang

@Hornan7

@LidoNation

@MarvinDefi

@santicarmuega

Épinglé

phil

@phil_uplc

3 sept. 2024

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…

phil

@phil_uplc

23 h

My integration priority ranking for Cardano ranked by positive impact: 1. T1 Bridge 2. T1 Stablecoin 3. T1 Oracle The delivery of 1 & 2 alone will end isolationism for our chain. The impact will be analogous to the ending of isolationism of Japan in the mid 1800s and the…

phil

@phil_uplc

30 nov.

Despite impressive traction, this year was an off year for @Cardano. Other chains ate our lunch in multiple areas and we were too slow to react, we fumbled post Trump. However this is all about to change with the launch of @AnastasiaLabs Midgard L2, and @midnightfdn Midnight…

phil

@phil_uplc

28 nov.

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…

Intersect

@IntersectMBO

27 nov.

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

Source: intersectmbo.org

phil a reposté

Charles Hoskinson

@IOHK_Charles

26 nov.

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

phil a reposté

Blink Labs

@blinklabs_io

26 nov.

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

phil

@phil_uplc

26 nov.

Eyes on this.

Input | Output

@InputOutputHK

26 nov.

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

InputOutputHK's tweet card. Track the development journey of Leios behind the scenes, with activity updates and evolving roadmaps.

Leios development tracker - A global dev network pushing Leios forward 24/7

Source: engineering.iog.io

phil a reposté

Ben ✈️🇰🇷🇻🇳🇸🇬🇯🇵

@benohanlon

26 nov.

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!

benohanlon's tweet card. Track the development journey of Leios behind the scenes, with activity updates and evolving roadmaps.

Leios development tracker - A global dev network pushing Leios forward 24/7

Source: engineering.iog.io

Ce tweet n’est plus disponible.

phil a reposté

OpShin | Python SCs

@OpShinDev

26 nov.

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

while0x1

@while0x1

26 nov.

🫡

phil a reposté

Lean

@leanprover

25 nov.

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…

phil

@phil_uplc

25 nov.

Huge for Midgard.

TxPipe

@txpipe_tools

25 nov.

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