Haskell publik
[search 0]
Lebih
Unduh Aplikasinya!
show episodes
 
Artwork
 
Haskell Weekly covers the Haskell progamming language. Listen to professional software developers discuss using functional programming to solve real-world business problems. Each episode uses a conversational two-host format and runs for about 15 minutes.
  continue reading
 
Backrow radio is all about me show casing my own personal sound. I am very lucky to have played rugby for a number of years at the highest level and have always used music to help me focus, prepare and motivate. For the last 4 years I have been a DJ, and been really lucky to play a large number of gigs. Most of these are playing very commercial house which is great, but I wanted to create a radio show/podcast that was all about the kind of music that I love, and would want to train, party an ...
  continue reading
 
Superstar couple James Haskell and Chloe Madeley are today's modern agony aunts. Each week they will give their own unique perspective on what it's really like to be in a relationship - from bedroom antics, to PDA's, to life in a relationship during lockdown and beyond. Send us your questions, comments and stories on @CouplesQuarantinePod or cqquestions@jameshaskell.org for James and Chloe to answer. And don't be shy - send us your juiciest stories, your other half's most annoying habits or ...
  continue reading
 
James Haskell is facing an existential crisis. Since retiring as an international rugby star, he has become a ubiquitous personality, shape-shifting week-to-week from elite athlete to reality TV star, DJ, podcaster, author, MMA fighter, influencer and pundit. While James adapts to rapid-onset fatherhood, he is looking for his final form. In Haskell's opinion, the common thread running through his many post-rugby ventures is his unique brand of ‘comedy’... which brings us here. Amuse Douche p ...
  continue reading
 
Loading …
show series
 
In this episode, Niki and Andres talk with Sebastian, one of the main developers of Lean, currently working at the Lean Focused Research Organization. Today we talk about the addictive notion of theorem provers, what is a sweet spot between dependent types and simple programming and how Lean is both a theorem prover and an efficient general purpose…
  continue reading
 
In this episode, Wouter and Sam interview Dominic Orchard. Dominic has many roles, including: senior lecturer at the University of Kent, co-director of the Institute of Computing for Climate Science, and bye-fellow of Queen’s College in Cambridge. We will not only discuss his work on Granule - graded monads, coeffects, and linear types - but also h…
  continue reading
 
Victor Miraldo is interviewed by Niki and Joachim and walks us through this career from a student falling in love with List.foldr through a PhD student using agda to verify cryptographic data structures and generic diff and merge algorithms to a professional developer using Haskell in production. He’ll tell us why the Haskell community is too smart…
  continue reading
 
In this episode Tom Sydney is chatting with Matti Paul and Niki Vazou. Tom is the author of many tools, like sydtest, decking, and nix-ci. He tells us about the rules for sustainable Haskell, how Haskell lets one man do the job of 50, and the secret sauce for open source. Tom Sydney is also looking for work these days, so get in touch!…
  continue reading
 
Wouter and Joachim interview Arseny Seroka, CEO of Serokell. Arseny got into Haskell because of a bet over Pizza, fell for it because it means fewer steps between his soul and his work, and founded Serokell because he could not get a Haskell job. He speaks about the business side of a Haskell company, about the need for more sales and marketing for…
  continue reading
 
In this episode, Andres Löh and Matthías Páll Gissurarson interview José Nuno Oliveira, who has been teaching Haskell for 30 years. José talks about how Haskell is the perfect language to introduce programming to all sorts of audiences, why it is important to start with Haskell, and how the programmers of the future have been learning Haskell for s…
  continue reading
 
In this episode, András Kovács is being interviewed by Andres Löh and Matthias Pall Gissurarson. We learn how to go from economics to functional programming, how GHC's runtime system is superior to Rust's, the importance of looking at GHC's Core for spotting stray closures, and why staging might be the answer to all your optimisation problems.…
  continue reading
 
Loading …

Panduan Referensi Cepat