Search Transcripts
Open Source Politics
...reate friction. We’ve seen this throughout the years. In fact, the history of Haskell, the programming language, dates back to 1985. It came out because the original...
On Pragma
... Rust node client for the Cardano blockchain. This client has to agree with the Haskell client, and there have been a lot of questions about how these two are going to...
Some Thoughts on Wallets (Part 1)
...monic is working on a TypeScript client. Then, obviously, there's the reference Haskell node, which connects over IPC to the Cardano wallet layer, and that will talk t...
Congratulations Professor Wadler
...t-nominal FRS letters. Wadler is one of the legends in many fields; he created Haskell with many others and has also contributed to C#, F#, Go, Rust, Scala, and Swift...
The Lovely Crypto Media
...h we natively bet on, further supports this. There were additional comments on Haskell. At the time we chose to use it as a language, it was a bit too rough around th...
Cardano Stall
...t it. We’ll do a postmortem inside the Git issues. If there’s a bug in either a Haskell library or a bug in the implementation of the balance R, which was put in for o...
Thoughts on Growth for Cardano in 2026 (Pentad Series)
...s TVL. It’s not a technology problem. Vitalik today wants Solidity to look like Haskell. He’s wanted liquid non-custodial staking for a while. If a chain split happene...
Intersect, Repos, and Cardano Product Backlog
...u get certificates that are posted on the Cardano blockchain. These would cover Haskell, Agda, open-source best practices, and a mastering Cardano course. The basic i...
Road to a Polyglot Ecosystem for Cardano
...mp;#39;ve been working with a language called agda basically it's super Haskell and we've created a lot of infrastructure and we're starting to...
Surprise AMA 08/19/2022
...an the criticism there's a lot there that's valid the choice of haskell the choice of peer review uh the launch of cardano the fact that no vcs were in...
Mongolia Special AMA 07/16/2022
...ducational initiatives uh one of the reasons why we're here is we did a haskell training class in mongolia right when coveted broke out and because of covet we...
Dubai Surprise AMA: 03/26/2022
...anced especially when you move multi-resource consensus charles i want to learn haskell got any recommendations i'd recommend the haskell book it's lon...
03/14/2022 Surprise AMA
...example verified micro kernel the sdl4 microkernel project which was written in haskell and isabella was 10 years of work and this is in my view probably the equivalen...
Some Updates
...e but moving forward should we move to more of a polyglot ecosystem or maintain Haskell is the reference client and then still maintain the same formal methods methodo...
Surprise AMA 02/21/2022
...;re my cringe charles can we get another programming language to use other than haskell to build on cardano yes cardano is a multi-paradigm system a multi-computation ...
Special Edition: Interview with Drunken Dragon Games and dIP
...neering actually my my specialty is a functional programming with Scala so love Haskell of course and it's actually this love for for functional programming th...
Whiteboard: DApps and Development
...#39;re originally going to put it in with the original one so hard fork but the haskell libraries were not efficient enough so we paid galwa and they came in and they ...
Happy Christmas Eve
... working very closely with gowa and we're starting to turn over lots of haskell libraries and other pieces of infrastructure to them with the explicit aim for ...
RIP Vasil Dabov
... computer scientist who invented lambda calculus uh which is the foundation for haskell the next hard fork in february is going to be the babbage hard fork after charl...
DApp certification and Community Curation
...ying uh gaps written on cardinal first off because plutus is kind of similar to haskell the tooling of the haskell ecosystem works inside the plutus ecosystem and as a...
Caravan Moving On: MicroSummits
...ing a lot of conversations about building a web-oriented PAB in addition to the Haskell PAB the original strategy was build once compiled everywhere so haskelled runni...
Surprise AMA 11/21/2021
...those pioneer programs we're also restarting the in-person training for haskell in ghana uh but uh it's very important that we continue pushing that mo...
Musings and a bit of an AMA (Back from Africa)
... and then they'll run in parallel so yellow i believe is implemented in haskell but that's a good question i think it's actually derived right ...
Surprise AMA 10/30/2021 (From Ethiopia)
...arties that are going to come in they're going to optimize a lot of the haskell code as well because it was written once for correctness and now it needs to be...
Surprise AMA 09/19/2021
...9;ll just move on completely any suggestions on what to read after learn new at Haskell for great good for high school students the Haskell book just Google the Haskel...
Alonzo Update Proposal Submitted
...mming languages like phil wadler for example was the one of the creators of the haskell programming language and has the advantage of 36 years of of hindsight of what ...
More on Smart Contracts and Some Housekeeping
...was built for analysis especially with plutus why because plutus comes from the Haskell World which is one of the most beautiful languages when you want to deal with f...
Smart Contracts and Beyond
...e comparative versus functional you know a functional programming language like haskell versus imperative language versus javascript there's just going to be r...
Brief Update
... that we can leverage over 30 years of history in the functional programming in haskell space in particular to create wonderful applications but these are new tools te...
Surprise AMA 08/13/2021
...amp;#39;re making amazing progress on digital transformation everybody said why Haskell such a language you'll never find developers over 3 000 of you in the c...
Brief Update
...n on and get done and ultimately i think it fulfills the promise and dream that haskell had in the 1980s about being a mainstream programming language you know the rea...
Alonzo Hardfork Combinator Event Date
...ift anybody's code because nobody was crazy enough to write anything in haskell at the scale that we have done uh except for a few notable exceptions like kade...
Surprise AMA August 1st, 2021
...re all great entry points and there's a pure approach you can take with haskell oral camel or you can go even more pure and go to idris or agda and these types...
Congratulations Fund4 Winners and Happy July 4th
...for now I'll be reading off the winners under dapps and Integrations uh Haskell depths for liquid plutus smart contracts cardano on chain voting litter coin fo...
Mark Cuban Cardano
...rogramming languages for a living like Philip wadler and others who created the Haskell programming language and worked on most modern languages throughout the last 30...
Surprise AMA 04/22/2021
...nd i'll carry that and many others will for the rest of their lives why haskell so haskell is an interesting one you can accomplish the things that we want to ...
Interview with Alessandro Konrad (SpaceBudz)
...it was with the first test net in june the state pool pioneers program with the haskell testnet yes exactly okay so those were some rough times yeah there was a lot to...
Some Musings about the Roadmap
...#39;s also another thing i'd like to do i'd like to move from a haskell reference client to a polygon approach and that polyget approach have multiple ...
People of IOG: Dr. Lars Brunjes
...ly what moment it was um because i mean i had like first come into contact with haskell during my cambridge time just another colleague he made me aware of it so so i ...
Surprise AMA March 27, 2021
...ised a bunch of money for dfinity and then they decided they were going to be a Haskell science shop and so they started hiring Haskell developers and they started hir...
Some Thoughts on DApps
...sts but the ones who have written programming languages in the past such as the haskell programming language despite all of that work effort and knowledge and contribu...
People of IOG: Dan Friedman
...e and i i was i knew a lot about scala and python and i knew a little bit about haskell and i thought haskell would be a cool language and sarah kell we gave him a pro...
Morning Update
... as well we're working with obsidian it's a firm uh and they do haskell development and they've been working on the on-chain update system and ...
Sunday AMA 03/07/2021
...le do these days online hi charles i want to bring cardona to romania through a haskell pollutus class at the polytechnique university are you interested in this you s...
Surprise AMA 02/26/2021
...they get rich and that's why crypto exists to rebalance those scales is haskell a must to develop on cardano absolutely not you can write on cardano in many di...
Surprise AMA 02/22/2021
...t be going on we'll figure it out all right what do we got here any new haskell courses coming up actually yes we have one coming up in ghana and i will cover ...
Update on Mary
...to's code so if you've been studying plutus if you're a haskell developer if you're a functional programmer who'd like to learn...
Coming Birds
...s well the newest company to start working on cardano is obsidian obsidian is a haskell development firm on par with things like weld typed in twig and they're...
Surprise AMA 02/09/2021
...39;s a true genius and having deep conversations i enjoy it should we learn the haskell language it's good language to learn regardless if you're a pro...
Surprise AMA 01/22-23/2021
... two to three months to get through it depending upon your schedule is read the haskell book uh just go to the haskellbook.com it's like 40 50 bucks it&#39...