aiken @aiken_eng Twitter profile

Pinned Tweet

aiken

@aiken_eng

10 months

bruh, it’s a functional language with curly braces

11

10

164

Last Seen Profiles

@subjectaccesss

@marcellusvail02

@sayuri996945781

@TracyBethHoeg

@_CoachE_

@USDToreros

@BrianDawkins

@pampit_

@tamarindlitmag

@SSLMCs

@arifalee13

@ria_arts_

@gpplural

@FedExFutbol

@smritikak

@mgdcofficial

@jandakembangstw

@CoachBBowman

@Gotenax

@ana_llanusa

@sm_leak

@Chiraq123456

@pykedubz

@aalnaasi

@RegimePup

@AfricaDevsConf

@SyracuseU

@lunaticapetarda

@BOTM

@haIoinahaystack

@tylerscozzaro

@tayebms

@JunbugP

@oatila

@cidneK

@eastsidehoops

aiken

@aiken_eng

2 months

What happens when formal methods and developer experience join forces? ➡️ Enters Aiken's property-based testing framework. You may not realize it yet, but your smart-contract testing just made a major leap forward. What is this about? 👇

24

121

543

aiken

@aiken_eng

8 months

It's true that we didn't get funded in Catalyst 10. But, we didn't have any proposals so that's kind of normal. We're fine, we build, and we carry on making Cardano smart contracts effortless.

21

42

463

aiken

@aiken_eng

2 months

we've just released v1.0.25 and this is one is packed with new things

16

75

368

aiken

@aiken_eng

1 year

One important comment is we haven’t even started most of the optimizations we have planned in the pipeline. These numbers are expected to get even better.

$matiwinnetou | C₳rdano F₳ns (CRF₳)

@matiwinnetou

1 year

1/ @berry_ales re-wrote Nebula from PlutusTx to Aiken. Numbers are shocking. This is not even funny. When we say that Aiken is one of Cardano's dark horse for 2023 - what we mean is not only an easier development experience (c-alike functional syntax without mutability) but also:

37

167

561

19

57

352

aiken

@aiken_eng

5 months

Saw this in the discord today

4

44

345

aiken

@aiken_eng

1 year

If we made a Catalyst proposal who would vote for us?

68

37

329

aiken

@aiken_eng

9 months

We've just released v1.0.15

7

52

314

aiken

@aiken_eng

11 months

At the moment it looks unlikely that we will be submitting a Catalyst proposal. We are fortunately not currently in a position where we need those funds, so it would be a shame to take away from projects that may be more in need.

16

14

279

aiken

@aiken_eng

2 months

In December 2023, on Mainnet, about 2.5% of all smart-contract transactions on-chain involved an Aiken contract. In January 2024, it climbed to 7.5%. In February, we've reached 18%.

13

39

275

aiken

@aiken_eng

5 months

We've just released v1.0.21

4

52

261

aiken

@aiken_eng

10 months

We've just released v1.0.13

5

33

254

aiken

@aiken_eng

7 months

We've just released v1.0.18

5

34

248

aiken

@aiken_eng

4 months

Hey @coinbureau , if you wanna chat one day about developer experience and building on #Cardano , feel free to reach out 😊.

3

32

247

aiken

@aiken_eng

1 month

We've just release v1.0.26

3

35

238

aiken

@aiken_eng

3 months

One of the reasons we think Aiken is incredible is because we also use it. We built it for us initially and we firmly believe that using your own software is paramount to its success and quality. And the beauty of Open Source is that it can be your software too.

9

31

227

aiken

@aiken_eng

7 months

We've just release v1.0.20. This one contains LSP improvements like auto-import.

4

42

228

aiken

@aiken_eng

3 months

We've just released v1.0.22

5

39

224

aiken

@aiken_eng

1 year

Cardano has the most diverse Smart Contract ecosystem in the world. With an increasing range of options, it’s never been easier to get started on your Cardano developer journey. We’re going for number one!

Marlowe

@marlowe_io

1 year

1/ 🧵 Exciting news! #Marlowe is now available on mainnet for early adopters to start testing and providing feedback. It's a safe and intuitive way to create and deploy smart contracts on #Cardano . Let's dive into what makes Marlowe special.👇

49

355

822

10

36

206

aiken

@aiken_eng

1 year

Thank you for the shoutout. All three core team members have a GitHub sponsors page setup. It's an easy way to donate with as little as 5 dollars.

Charles Hoskinson

@IOHK_Charles

1 year

Love the Aiken guys. We were just talking about their work with @jpgstoreNFT . It would be great to find ways to support their work

42

98

781

9

35

215

aiken

@aiken_eng

1 year

Aiken Playground - format code - check code - view test results - view warnings and errors All in the browser ...

5

59

208

aiken

@aiken_eng

3 months

We've just released v1.0.24! Along with some critical code gen fixes we also now have aliases for the check and build commands.

7

29

207

aiken

@aiken_eng

11 months

we've just release v1.0.10-alpha

6

45

208

aiken

@aiken_eng

9 months

We've just release v1.0.16

5

32

205

aiken

@aiken_eng

3 months

Wanna use Python? TypeScript? Java? Rust? or even Haskell for your application backend logic? Let's go. Aiken doesn't care as we decouple on-chain and off-chain code so you can use your favorite language where it matters. For anything on-chain, we got you.

4

38

206

aiken

@aiken_eng

3 months

Full Aiken degens right here. We can attest. Butane's devs have been instrumental in helping shape parts of Aiken from almost day 1. They are true pioneers who've really pushed the boundaries of what's doable on-chain at the moment. Massive kudos to them💝

Butane

@butaneprotocol

3 months

@the_c0nnector @MicahAlexKenda1 @aiken_eng AIKEN

0

26

3

28

203

aiken

@aiken_eng

3 months

Input Output

@InputOutputHK

3 months

Cardano is written in Haskell, and developers can build smart contracts with various programming languages, including #Plutus and #Marlowe . Learn about programming languages on #Cardano here:

10

61

324

5

22

203

aiken

@aiken_eng

1 year

we've release v1.0.5-alpha

3

33

180

aiken

@aiken_eng

26 days

@TheCardanoTimes @IOHK_Charles No. Aiken has been fully funded by @Cardano_CF for almost 2 years now. It's been an integral part of the strategy to transform the smart contracts landscape and open a dialogue with builders. We are also in touch with engineers at IOG working on Plutus Core. We're good ☺️

4

9

193

aiken

@aiken_eng

8 months

We've just released v1.0.17

7

26

184

aiken

@aiken_eng

8 months

MCJ

@matthewjura

8 months

The tides are slowly shifting. #Cardano

6

28

235

7

17

177

aiken

@aiken_eng

1 year

we released v1.0.3-alpha today

Release v1.0.3-alpha · aiken-lang/aiken

Added aiken-lang: added optimization to help prevent unnecessary data wraps or unwraps aiken-lang: optimization to strip unnecessary lambdas aiken-lang: implement Clone for ParseError and tipo::Er...

github.com

5

36

172

aiken

@aiken_eng

2 months

Cooking something. Brace yourself.

9

23

158

aiken

@aiken_eng

10 months

We've just released v1.0.12-alpha

5

17

151

aiken

@aiken_eng

7 months

👀 Cumbersome developer experience? Not on our watch.

4

31

147

aiken

@aiken_eng

8 months

Friendly reminder to add your project (even just a link to the site) to the awesome aiken list so we can keep a list of everyone using it. It’s not required that the links in the dapps sections are open source code.

GitHub - aiken-lang/awesome-aiken: A collection of Aiken libraries, dapps, and resources

A collection of Aiken libraries, dapps, and resources - aiken-lang/awesome-aiken

github.com

6

20

146

aiken

@aiken_eng

3 months

Ever wondered what Aiken looks like as a language? Here is an example that verifies membership of a value in a Merkle-tree (from its root hash) in <25 lines of Aiken. Simple and efficient, as it should be.

5

22

145

aiken

@aiken_eng

30 days

almost the two year anniversary!

4

12

144

aiken

@aiken_eng

5 months

Our biggest pride with Aiken is how we tricked you all to write lambda calculus with a nice(r) syntax and effective tools 😏 Functional programming surely is beautiful!

4

14

142

aiken

@aiken_eng

9 months

We've heard it was sometimes a bit difficult to apply parameters to a parameterized validator... What if I told you that you can now apply parameters to contract blueprints interactively? 💝 #Aiken

3

23

135

aiken

@aiken_eng

9 months

We've just released v1.0.14

3

23

131

aiken

@aiken_eng

1 month

In March 2024, about 15% of the *smart-contract traffic* on Mainnet happened thanks to Aiken. That is roughly 172.000 transactions.

6

19

136

aiken

@aiken_eng

1 year

We’ve been made aware that there is a token named Aiken going around. We do NOT have a token and will never have a token named Aiken. Aiken is an open source smart contract programming language NOT a protocol. We have no idea what this token is or if it’s legit or not.

5

45

132

aiken

@aiken_eng

4 months

Okay, hear me out: Aiken to PlonK-like circuits for Zero-Knowledge proving and cross-chain interoperability. @zkFold care to help us make that happen 😏?

8

18

134

aiken

@aiken_eng

9 months

Introducing proof of work in smart contract form. logo by @cookthymeNFT

8

18

130

aiken

@aiken_eng

2 months

We call upon all off-chain libraries and frameworks to lean into CIP-57 (Blueprints), the openAPI of Cardano smart contract interfaces. This allows off-chain to be 1) on-chain agnostic and 2) off-chain can generator code for types.

竜 SM₳UG

@SmaugPool

2 months

We need Aiken's level of experience on the backend, and Cardano's developer experience will be second to none. It's no mean feat though, how do we get there?

7

6

99

3

24

131

aiken

@aiken_eng

6 months

Thanks to @Quantumplation some aiken CLI commands now have a watch flag. Shoutout to @_KtorZ_ for completing the final integration step.

Implement a basic watch command by Quantumplation · Pull Request #760 · aiken-lang/aiken

This adds the following command aiken watch There are some open questions to answer, though: I really like the ergonomics of aiken watch; but it also makes sense as a flag to aiken check or aiken...

github.com

4

15

126

aiken

@aiken_eng

5 months

“I am a simple man and I want simple answers” — Howard Aiken Did you know? Aiken was named after Howard H. Aiken, a computer scientist who pioneered computing, inspired by the work of Charles Babbage.

2

20

124

aiken

@aiken_eng

1 year

Aiken now has an awesome list. Feel free to add your projects to the list. Libraries, dapps, examples, and tutorials.

4

21

118

aiken

@aiken_eng

11 months

We've release v1.0.11-alpha

2

13

119

aiken

@aiken_eng

8 months

another performance comparison

Indigo | Synthetic Assets on Cardano

@Indigo_protocol

8 months

⚡️Indigo Labs embraces the future with @aiken_eng for Indigo Protocol v2! - enhancing throughput, improving user experience, and paving the way for innovative features. 🥇Read into this transformative tech for the Cardano ecosystem with real metrics:

17

116

418

6

19

116

aiken

@aiken_eng

3 months

We've just released v1.0.23 There was a bug in v1.0.22 and that has been yanked. Please upgrade to avoid confusion.

2

25

117

aiken

@aiken_eng

8 months

Please keep in mind that fortuna was released as a fun experiment. Behave responsibly!

15

9

117

aiken

@aiken_eng

1 year

Shoutout to all the Plutus alternatives working hard to improve the development experience. Give them a follow! @helios_lang @plu_ts @OpShinDev

4

20

117

aiken

@aiken_eng

6 months

BLS builtins coming to Aiken

5

14

115

aiken

@aiken_eng

1 year

You can now easily setup Aiken in your github actions

3

28

106

aiken

@aiken_eng

7 months

Nice to see Aiken on top of the list here 🫡. We'll do our best to put the developer experience on even higher standards in 2024. Source:

4

16

110

aiken

@aiken_eng

4 months

Raw unfettered power that will change Cardano forever. How much can you do with a SINGLE transaction?

Jay

@JayTayArray

4 months

We're doing some final testing on @butaneprotocol . Here's a single transaction that's creating 42 USDb CDPs (collateralized by ADA and SNEK), using that minted USDb to repay another CDP, and adjusting a EURb CDP at the same time.

11

29

156

1

17

110

aiken

@aiken_eng

1 year

Weekly reminder that Aiken has nothing to do with Rust, is not a Rust dsl, and does not require even knowing that Rust exists. Aiken is for all and is off chain code agnostic. The compiler just happens to be written in Rust.

5

20

107

aiken

@aiken_eng

6 months

Are you building cool stuff on Aiken? Did you write or record an amazing tutorial? Do you develop open source Aiken libraries? If yes, make sure to contribute to our Awesome List of resources: 💜

GitHub - aiken-lang/awesome-aiken: A collection of Aiken libraries, dapps, and resources

A collection of Aiken libraries, dapps, and resources - aiken-lang/awesome-aiken

github.com

4

25

108

aiken

@aiken_eng

9 months

Remember, if you need any help, do not hesitate to head over to discord and check out the help forum.

1

19

106

aiken

@aiken_eng

8 days

the LICENSE in all Aiken repos will be moving TODAY to @pragma_org . still open source, no changes to the core team or sponsorship.

1

21

106

aiken

@aiken_eng

10 months

Did you know Aiken is named after Howard Aiken? He was an American physicist and a pioneer in computing. Inspired by Charles Babbage's difference engine, he envisioned an electro-mechanical computing device that could do much of the tedious work for him.

4

10

101

aiken

@aiken_eng

1 year

We’d like to shoutout some outstanding members of Aiken’s community that have contributed to fun convo in the discord. They’ve also snuck some code in. We’ll regularly highlight community members. This is not a complete list. @hrpr @MicahAlexKenda1

2

11

99

aiken

@aiken_eng

9 months

12

4

96

aiken

@aiken_eng

2 months

👀

Sundae Labs 🍨

@SundaeSwap

2 months

The Sundae v3 contracts are now officially open source! We're still pinning down the last details, and working with our auditors to address any remaining issues. If you have a mind for it, we'd love a review from members of our community! We worked…

19

94

433

2

7

98

aiken

@aiken_eng

3 months

We're always on top of updates to the Plutus code base and are getting V3 ready. We've also successfully copied over the conformance tests that are contained in the Plutus repo. Our Rust version of the virtual machine is always being improved to meet correctness standards.

Lucas

@rvcas

3 months

integerToByteString and byteStringToInteger implementations have been merged into @aiken_eng

2

0

35

1

11

98

aiken

@aiken_eng

11 months

The entire core team is employed by @Cardano_CF . Contrary to some opinions they do in fact do a lot of stuff.

0

4

94

aiken

@aiken_eng

4 months

We've heard the current choice between "full traces" and "no traces at all" was a bit rough; so we've introduced a 3rd level of tracing: compact. This will only show line numbers and columns of where an error occurs, without impacting script size as much as a full trace. 💝

1

13

96

aiken

@aiken_eng

11 months

🚀 Attention Aiken Devs! It's time for a fun, creative coding challenge! 🏆 Join our #AikenContest ! Show off your creativity by submitting code that will replace our current example in the Aiken Playground. 💻 The prize? Your code on display & 1337 ADA in your pocket! 🌟💰

1

27

94

aiken

@aiken_eng

7 months

The road to an official beta begins! Today we created a mega-issue to house things we need to complete before flipping the version to beta.

TODOs :: Road to β · Issue #754 · aiken-lang/aiken

This issue summarizes the work remaining work we foresee for the β-release of Aiken. Items are settled and some may be added as needed. But it gives a general overview. Off-chain code generation Ex...

github.com

3

21

92

aiken

@aiken_eng

7 months

We would claim this bounty but we don’t have time at the moment. Which community members are ready to step up? We’re happy to provide guidance and review the course for quality.

work.courses

@work_courses

7 months

🚀COURSE BOUNTY! We're launching our first Course Bounty on the hottest topic in the #Cardano ecosystem - @aiken_eng ! 🎁 Offering TWO bounties: 1,000 $ADA + 150,000 $WORK each! 🛠️ Content creators, this is your chance to contribute to the #CardanoCommunity and earn!

11

47

108

5

17

90

aiken

@aiken_eng

9 months

Mama says we have bitcoin at home

aiken

@aiken_eng

9 months

Introducing proof of work in smart contract form. logo by @cookthymeNFT

8

18

130

2

13

90

aiken

@aiken_eng

1 year

Another one

Yamfore

@yamfore

1 year

We are excited to announce that Yamfore has officially been converted to Aiken! Moving forward, the team will be utilizing the Aiken programming language, which will greatly assist with Yamfore's smart contract development ✒️🖥️

5

33

128

4

11

85

aiken

@aiken_eng

11 months

We've release v1.2.0 of the standard library

Release v1.2.0 · aiken-lang/stdlib

Added transaction/value.MintedValue transaction/value.from_minted_value: Convert from MintedValue to Value transaction/value.to_minted_value: Convert from Value to MintedValue transaction/bytearra...

github.com

3

15

89

aiken

@aiken_eng

2 months

Property-based testing is the art of generating test cases by exploring the realm of possible inputs and looking for properties that should be satisfied by the program. On failure, a counterexample is found and can usually be simplified to provide a minimum reproduction path.

1

2

91

aiken

@aiken_eng

9 months

Can confirm!

Indigo | Synthetic Assets on Cardano

@Indigo_protocol

9 months

4/4 Beyond using Aiken, Indigo Labs is actively involved in its growth.🌱 Indigo Labs has been submitting issues on the Aiken GitHub and collaborating to try and push the boundaries of what's possible with the Cardano ecosystem. #CardanoCommunity

0

3

78

0

7

86

aiken

@aiken_eng

7 months

True story. Open source all-the-way! Thanks again @Quantumplation for the contribution 🙏. PS: Contributing to open source projects is a good to strengthen your understanding of a domain. 👉 Want to learn more about Cardano & Aiken? Come and contribute!

Quantumplation | Pi Lanningham

@Quantumplation

7 months

@TheAvatarNick @levvyfinance fun fact, those first two are part of the standard library, as `is_entirely_after` and `is_entirely_before`

3

1

19

1

17

86

aiken

@aiken_eng

7 months

We've made some small updates on the website. So in case you wondered, here's a quick tour.

Aiken | A modern smart contract platform for Cardano

A modern smart contract platform for Cardano

aiken-lang.org

4

11

87

aiken

@aiken_eng

9 months

Who’s coming?

KuCoin

@kucoincom

9 months

Save the date!🗓️ Get ready for an engaging #KuCoin Twitter Space event where we dive into the world of AIKEN - the cutting-edge smart contract platform built on @Cardano . ⏰10:00 AM on August 28, 2023 (UTC) 🔔 Set that reminder & join the conversation!

98

205

588

8

15

84

aiken

@aiken_eng

5 months

Aiken does not and will not have a certificate program ever. We will never endorse one and anyone that makes one has made an illegitimate program.

1

13

84

aiken

@aiken_eng

6 months

Having a good language isn’t just about syntax and efficiency of compilation outputs

MintMatrix

@MintMatrix_io

6 months

Theres an addictive quality to this test printout... it keeps me restless, adding test cases and closing out the failed ones. @aiken_eng

3

1

16

2

13

79

aiken

@aiken_eng

2 years

Friendly reminder that Aiken is not just a language. We also already have a working Plutus VM, utilities for encoding and decoding contracts, and transaction evaluation to get redeemer ExUnits without a node. The end goal is to become a fully featured toolkit.

0

10

80

aiken

@aiken_eng

6 months

Minswap Labs

@MinswapDEX

6 months

2/ Minswap V2 will leverage Aiken to achieve up to 5x speed ⏩ Open-sourced, with a double security audit and a host of new innovative features Minswap V2 isn't just an upgrade, it's a leap into a brighter Cardano DeFi future ☀️

3

17

185

0

8

80

aiken

@aiken_eng

10 months

Update to v1.0.6 of the vscode extension if you want to see this in action. Eventually we may add some simple LSP features for Untyped Plutus Core.

Lucas

@rvcas

10 months

I just added Untyped Plutus Core syntax highlighting support to the @aiken_eng vscode extension

1

3

95

1

9

79

aiken

@aiken_eng

4 months

We’d like to host a discussion/workshop to figure out the best future for Aiken’s package manager. Likely to be held on discord. There’s roughly two competing approaches and some opinion farming seems worthwhile. No plans yet, further details soon.

4

10

80

aiken

@aiken_eng

1 year

If you have any Aiken projects, tutorials, or videos you'd like to share please consider adding them to the Aiken awesome list. PRs are welcome.

GitHub - aiken-lang/awesome-aiken: A collection of Aiken libraries, dapps, and resources

A collection of Aiken libraries, dapps, and resources - aiken-lang/awesome-aiken

github.com

3

17

73

aiken

@aiken_eng

1 year

What I wish I knew when exploring Cardano - by @_KtorZ_

Aiken | What I wish I knew when exploring Cardano

A modern smart contract platform for Cardano

aiken-lang.org

2

14

79

aiken

@aiken_eng

8 months

Nice article

Lenfi

@LenfiOfficial

8 months

🟣 New medium article alert! How @aiken_eng Changed the Cardano Landscape In Less Than A Year, our take on that: 💣 Is this is the start of something bigger?

2

42

172

1

13

78

aiken

@aiken_eng

7 months

GM! Did you write any Aiken code today already? If not, what are you waiting for 🤨?

13

3

78

aiken

@aiken_eng

9 months

New feature coming in the next release "logical op chains". Even with some formatting && and || chains can look a little ugly and be hard to clearly reason about. This also really helps with being able to visually disambiguate potentially confusing precedence in long BinOp chains

7

13

79

aiken

@aiken_eng

6 months

Probably one of the best pieces of educational Aiken content so far

STOIC Rhys - $HOSKY rugpool CSPA CNC ArmAda

@StoicPool

6 months

Learn Aiken: Fractionalised NFT Lots of explaining at the beginning, if you just want to see the validators skip the first 3 min. ⚠️DO NOT USE THESE ON MAINNET!⚠️ They are examples only and not ready to deploy! #Cardano @aiken_eng

5

15

37

1

15

76

aiken

@aiken_eng

3 months

Quantumplation | Pi Lanningham

@Quantumplation

3 months

At 35 orders per scoop, a maximum of 6 scoops per block, and an average of one block every 20 seconds, that's a *theoretical* max throughput of around 907,200 orders per day. In practice, we have to share the chain with other protocols so we'd likely cap out well below this.

10

15

158

1

7

77

aiken

@aiken_eng

23 days

Not yet. Any taker? AI assistant infused with Aiken knowledge. That sounds cool.

Kongsy

@kongsynft

23 days

is there a custom chatGPT with aiken knowledge? @aiken_eng would love to have a coding fren

1

0

8

6

12

76

aiken

@aiken_eng

9 months

2

7

73

aiken

@aiken_eng

9 months

If you have or known of a dapp or library that uses Aiken please considering submitting either the site url or project repo to the awesome list. It's getting difficult to track them all on our own.

GitHub - aiken-lang/awesome-aiken: A collection of Aiken libraries, dapps, and resources

A collection of Aiken libraries, dapps, and resources - aiken-lang/awesome-aiken

github.com

4

12

71

aiken

@aiken_eng

2 months

How does it work? First we have extended our testing framework to now allow test functions to carry an optional extra argument. That argument is generated (pseudo-)randomly by a *Fuzzer* specified, inline or by definition, using the 'via' keyword and written in Aiken directly.