Log inSign up
PRAGMA
71 posts
Image
user avatar
PRAGMA
@pragma_org
A member-based, not-for-profit open-source association for blockchain software projects.
pragma.io
Joined March 2024
11
Following
1,037
Followers
  • user avatar
    PRAGMA
    @pragma_org
    Nov 10, 2024
    At PRAGMA we are focusing on Aiken & Amaru to enhance Cardano. As @IOHK_Charles mentioned, we are currently a closed group focusing on building. We will be opening up & using our lessons learned to drive PRAGMA projects & members towards success.
    user avatar
    Charles Hoskinson
    @IOHK_Charles
    Nov 9, 2024
    I'm Back x.com/i/broadcasts/1…
    10K
  • user avatar
    PRAGMA
    @pragma_org
    Dec 4, 2024
    The #Amaru team is fully embracing open source and seeking funding for 2025! Community feedback on our proposal is crucial, so share your thoughts. Incremental deliveries will lead to a block-producing node by the end of 2025.
    Cardano Blockchain ecosystem budget detailed proposal: Amaru - HackMD
    Cardano Blockchain ecosystem budget detailed proposal: Amaru - HackMD
    From hackmd.io
    23K
  • user avatar
    PRAGMA
    @pragma_org
    Feb 6, 2025
    The #Amaru team is presenting another demo, tomorrow 3PM UTC on Discord, and you are invited! The team will showcase the (almost complete) staking rewards calculation and initial integration of consensus & P2P network management. 🔗👇
    Image
    65K
  • user avatar
    PRAGMA
    @pragma_org
    Feb 16, 2025
    PRAGMA is aware of the recent passionate discussions which happened publicly. As a whole, we value collaboration and respect. As long standing open source members, we know this happens. Cool and calm heads helped resolve this issue. No developers were harmed. Let's grow Cardano!
    2.8K
  • user avatar
    PRAGMA
    @pragma_org
    Feb 19, 2025
    Did you miss the latest Amaru demo? Catch up on the latest videos and the progress the team has made on the demo page available on our website! Also find handy links for our source code, project tracking, how to contribute and more! Link below👇
    https://pragma.io/projects/amaru/#demos
    14K
  • user avatar
    PRAGMA
    @pragma_org
    Apr 15, 2025
    At PRAGMA, we're committed to transparency, accountability, and continuous improvement. 🛠️ We've established a clear Incident Resolution and Post-Mortem process not to assign blame, but to learn, grow, and build stronger together. Discover our process or hear from our team. 👇
    8.7K
  • user avatar
    PRAGMA
    @pragma_org
    Feb 18, 2025
    Transparency is so important in our ecosystem. We've now posted PRAGMA's Statutes on our website for easy access. Clear rules matter and should be accessible to all. Please forgive us, we had them on GitHub but realize not everyone speaks 'nerd' fluently.
    Image
    PRAGMA – Statutes
    From pragma.io
    12K
  • user avatar
    PRAGMA
    @pragma_org
    Jan 21, 2025
    Curious about what's new with #Amaru? The next Amaru demo will be on Friday February 7th on our Discord 💫 The content demonstrated will be: * Ledger: Rewards calculation * Consensus: "Naïve" chain selection * Testing: Testing framework introduction
    1.7K
  • user avatar
    PRAGMA
    @pragma_org
    Dec 28, 2024
    #Cardano Want to know what’s new with Amaru? 👉pragma.io/projects/amaru Check out the Amaru Journey to learn how far we’ve come, where we’re at & what’s next by clicking on the timeline. Watch our latest Demo video for even more detail!
    2.6K
  • user avatar
    PRAGMA
    @pragma_org
    Sep 21, 2024
    Check out the latest @aiken_eng release, v1.1.3! This release includes a number of Developer experience improvements. Details 👉🔗
    This Post is from an account that no longer exists. Learn more
    Image
    Release v1.1.3 - 2024-09-20 · aiken-lang/aiken
    From github.com
    1.9K
  • user avatar
    PRAGMA
    @pragma_org
    Apr 30, 2025
    Wanna follow the latest updates and development progress about Aiken? The Aiken maintainers committee bi-weekly meeting takes place tomorrow on our discord! discord.gg/xesAm8wS?event… Can't be there? No worries, it's a recurring event so feel free to join next time.
    Image
    Discord - Group Chat That’s All Fun & Games
    From discord.com
    2.5K
  • user avatar
    PRAGMA
    @pragma_org
    Nov 19, 2024
    The @aiken_eng team is hard at work squashing bugs in their latest release! Follow their work on Github github.com/aiken-lang/aik… Looking to contribute? Checkout the Issues tab in Github 👆 Look for the 'help welcomed' tag!
    This Post is from an account that no longer exists. Learn more
    github.com
    GitHub - aiken-lang/aiken: A modern smart contract platform for Cardano
    A modern smart contract platform for Cardano. Contribute to aiken-lang/aiken development by creating an account on GitHub.
    1.2K
  • user avatar
    PRAGMA
    @pragma_org
    Feb 17, 2025
    As usual, Amaru's maintainer committee meeting shall take place tomorrow on our Discord. Feel free to join if interested in hearing about Amaru's next steps:
    Image
    Discord - Group Chat That’s All Fun & Games
    From discord.com
    902
  • user avatar
    PRAGMA
    @pragma_org
    Mar 15, 2025
    The week is ending, and the Amaru team is on fire 🔥. Governance, ledger validations and consensus simulations making their way into the node. Wanna follow Amaru's development? ✅ Subscribe to updates on GitHub ✅ Join the Discord ✅ Come watch monthly demo
    Image
    483

New to X?

Sign up now to get your own personalized timeline!

Create account

By signing up, you agree to the Terms of Service and Privacy Policy, including Cookie Use.

Terms·Privacy·Cookies·Accessibility·Ads Info·© 2026 X Corp.
Don't miss what's happening
People on X are the first to know.
Log inSign up
Advertisement
Advertisement