Looking for a CIP-0165 Standard Canonical Ledger Support in Go? Of course, you are. Well, look no further! We made a SCLS library for Go to compliment the Haskell and Rust implementations by Tweag. As always, it's available on GitHub via "go get" 🙂 github.com/blinklabs-io/go-s…

LIVE SOON with @DiscoverCardano 🎙️ We're discussing our revised proposal : Peras to mainnet for faster finality Come ask us anything 👇 x.com/i/spaces/1oKMvvLyagWGQ

In his latest project at Tweag, Xavier Góngora dove into a Haskell library and used Liquid Haskell to statically check previously implicit invariants. Designing his changes to stay shallow and leave only a small splash, he surfaced with a clearer picture of what working with Liquid Haskell feels like today: no blood, sweat and tears; just ripples, and encouraging ones at that. tweag.io/blog/2026-06-11-dif…

Reminder : GSA Public Demo is today Join us live at 3PM UTC for a walkthrough of the Genesis Sync Accelerator with an open Q&A. Sign up : luma.com/9zz6yn3h

Gm Cardano! Join us this Friday at 7pm UK time as we host @tweagio to discuss their revised budget proposal that’s live on chain now! 📝 Core Cardano infrastructure 📅 Expires 3rd July 2026 💵 18.23m ADA Have a read of the proposal and drop any questions 👇 twitter.com/i/spaces/1oKMvvL… Link to proposal: adastat.net/governances/17e4…

@tweagio will co-host and moderate DRep meetings. We heard there is a lack of support, and we are here to support governance beyond. @adamKDean is discussing first steps on first topics and the framework. I think the first couple of DRep meetings should be less about presentations and more about listening. Before we decide what these sessions should become, I would like to hear directly from DReps about where governance feels difficult, unclear, or unsupported. That can help us shape future meetings around real needs. For example, maybe one session is about getting an independent expert view on a proposal or work package from someone who does not have a vested interest in it. #cardano

Tweag Core Cardano Infrastructure: Treasury Withdrawal 2026–2027 🚨 AS A CARDANO DREP, I AM VOTING YES ON TWEAG’S 18.26 MILLION ADA FUNDING REQUEST A new governance proposal has been submitted: Tweag Core Cardano Infrastructure: Treasury Withdrawal 2026–2027. Tweag is requesting 18,263,496 ADA, approximately $4.57 million, for three key areas: • deployment of Peras v1 on mainnet; • development of History Expiry; • testing of Peras and Leios. I am voting YES. 📌 Why I support this proposal The main reason is simple: this work is genuinely important for the Cardano network. Peras is designed to reduce transaction finality from approximately 12 minutes to around 2 minutes. This is not just about improving a headline metric. Faster finality matters for exchanges, applications, payments, DeFi, and institutional users. History Expiry is intended to reduce the burden on stake pool operators. As Leios increases throughput, blockchain data growth may accelerate significantly. If every SPO is required to store the full history of the chain, node operation becomes more expensive, which may increase centralization risks. Conformance Testing is necessary to validate Peras and Leios before full deployment. The more complex the protocol upgrade, the greater the potential cost of an error. Testing consensus behavior, forks, and node compatibility is therefore essential for Cardano’s security. 📌 How this proposal differs from the previous one Tweag previously requested approximately 39.79 million ADA for 17 work packages covering the period from 2026 to 2028. The community did not support that scale. Tweag has now: • reduced the requested amount by approximately 54%; • reduced the scope from 17 work packages to 3; • removed Peras v2 and several additional tools; • focused only on work considered necessary for mainnet. This is a reasonable response to community criticism and a clear example of Cardano governance working as intended. 📌 Tweag has a real technical track record Tweag has been contributing to Cardano’s core infrastructure since 2018. The team has worked on consensus, the ledger, Ouroboros Genesis, Peras, and other core components. This is not a company presenting only a polished proposal. Tweag has a documented history of development activity across Cardano’s core repositories. ⚠️ However, important questions remain Tweag previously received approximately 11.07 million ADA from the Cardano Treasury. Some of the earlier funded areas overlap with the current proposal: • Peras; • History Expiry; • protocol testing. The new proposal still does not provide a sufficiently clear final reconciliation showing: • what was fully delivered with the previous funding; • how much was actually spent; • which milestones were formally accepted; • where the previously funded work ends and the new work begins. The average rate of approximately $176 per hour also remains high. 📌 My position as a DRep I am voting YES because Cardano now needs to complete critical infrastructure rather than delay development again. Peras, History Expiry, and Leios testing are not marketing initiatives. They are fundamental components of Cardano’s blockchain infrastructure. However, my support does not mean that the transparency concerns have been resolved. Any future funding request from Tweag should include a detailed public report covering the previous 11.07 million ADA, milestone results, and actual expenditures. My vote: ✅ YES I support the reduced proposal because it is now more focused, more specific, and more valuable to the Cardano network. I registered as a DRep and I am ready to help shape the future of the ecosystem. I remain optimistic about building the world’s largest digital community. 🖤 My DRep ID: ➡️ drep1y269ehxj30k4vfzfc2z84v0xykd3amuy2xn0kv9zf8rhcec2fg2jr More details: t.me/PROCENT666/338 🚀 LEDGER HARDWARE WALLET | METAMASK COURSE edgarbagdasarian.justclick.r… 🔥 PRIVATE VIP CHAT — PAID SUBSCRIPTION t.me/MREDGARCROSS_BOT 🌐 ALL COURSES AND LINKS mredgarcross.com/ 📌 Disclaimer: This post is intended solely for informational and analytical purposes. It does not contain calls for unlawful action, protests, or violations of the law. All views expressed are the author’s personal opinion. #Cardano #ADA #CardanoDRep #DRep #CardanoGovernance #CardanoCommunity #Tweag #Peras #Leios #HistoryExpiry #CardanoTreasury #Blockchain #Crypto #Decentralization #StakePool #SPO #OpenSource #Web3 #Layer1 #CardanoDevelopment

🎉 Announcing the first release of tricorder, an incremental build tool for Haskell. It works as a standalone replacement for ghcid or ghciwatch, with features that make it stand out: - Multiple component support and auto-discovery out of the box - A daemon that builds in the background and serves as the backend for any number of TUI/CLI sessions, so nothing gets built twice - A TUI with different levels of detail: overview, test failures, full test output - Configurable hotkeys and mouse scrolling But it really shines when pair programming with an LLM agent. The included CLI surfaces build information in a context-aware, reliable way, keeping the feedback loop tight: - `tricorder status --wait` waits until the current build cycle finishes and returns diagnostics: warnings, errors, test results - `tricorder status --expand N` zooms in on a specific diagnostic when more detail is needed - `tricorder source Dependency.ModuleName#functionName` retrieves the source for a function so the agent can verify APIs instead of hallucinating them (omit `#functionName` for the whole module) The CLI is mainly for agents to consume; the familiar TUI is the dashboard for developers. tricorder is fully built in Haskell using the atelier toolkit, built around the structure and ergonomics of algebraic effects. More info & installation: tinyurl.com/dmpc8mbk #Haskell

NEW GOVERNANCE ACTION 🗳️ Title: Tweag Core Cardano Infrastructure: Treasury Withdrawal 2026–2027 Tweag has resubmitted their proposal after DRep and community feedback. They've focused the proposal around getting Peras to mainnet. New ask: ₳18,263,496

🦀 Introducing Scrawls: A Rust library for the Cardano SCLS format Scrawls is now available on crates.io: A Rust implementation of the Standard Canonical Ledger State (SCLS) format defined in CIP-0165, a versioned, verifiable container for Cardano ledger-state snapshots. What it does: • Read, write and verify SCLS v1 files • Three-level cryptographic integrity: per-chunk Blake2b-224 digests, per-namespace Merkle roots and a global Merkle root • Streaming, lazy parsing; memory stays proportional to chunk count, not file size • Builder-pattern writer that enforces namespace and key ordering at write time • Interoperable with the Haskell reference implementation, tested in both directions 📦 crates.io/crates/cardano-scr… #Rust #Cardano #Blockchain #CIP0165

We listened to the feedback from DReps and the community and we have resubmitted a revised proposal. 12 months. Reduced budget. Focused scope centered around getting Peras to mainnet. Vote Yes👇 adastat.net/governances/17e4…