Лучшие подкасты про IDRY Systems (2024)

1
#43 PL in the Industry and Summer Schools - Patrick and Eric 1:01:30

2M ago1:01:30

1:01:30

In this episode Eric Bond and Patrick Lafontaine joins us to talk about the life in industry vs the life in academia. Eric is a PhD student at Michigan University under Max New, he works with some pretty cool esoteric cubical agda stuff. Before starting his PhD he has spent some time at the consultancy companies Two Six Technologies and 47 Degrees …

1
#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi 1:52:49

2M ago1:52:49

1:52:49

In this episode we talk with Fabrizio Montesi, a Full Professor at the University of South Denmark. He is one of the creators of the Jolie Programming Language, President of the Microservices Community and Author of the book 'Introduction to Choreographies'. In today’s episode we talk about the formal side of Distributed Sytems, session types, the …

1
#41 The Value of PL (and) Education - Satnam Singh 1:41:04

3M ago1:41:04

1:41:04

Satnam Singh has got incredible experience in both academia and industry. He has worked in Google, Facebook, Microsoft, Microsoft Research, Xilinx, etc. He has been a lecturer in Glasgow, Birmingham and University of California for a couple of years. He has worked with many interesting tools such Coq, Haskell, Verilog, Tensorflow. These days he wor…

1
#40 Secure Voting - Joe Kiniry 1:08:54

4M ago1:08:54

1:08:54

In this episode we go into a deep dive into the formal methods side of Voting systems, and for this nobody better than our guest: Joe Kiniry, A Principal Scientist at Galois, Principled CEO and Chief Scientist of Free & Fair, a Galois spin-out focused on high-assurance elections technologies and services. For the past 20 years Joe has worked tirele…

1
#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen 1:49:42

5M ago1:49:42

1:49:42

In this episode we continue our conversation with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer. He has also worked as the Executive Director of the Haskell Foundation, at Galois and did his PhD developing a bunch of cool stuff for Idris. In today’s episode we talk about the story behind writing The Litt…

1
#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen 1:55:58

6M ago1:55:58

1:55:58

In this episode we talk with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer. He has also worked as the Executive Director of the Haskell Foundation, at Galois and did his PhD developing a bunch of cool stuff for Idris. David is a super upbeat person and I feel that we could spend hundreds of hours talking…

1
#37 Compilers, Staging, Futamura Projections - Guannan Wei 1:53:20

8M ago1:53:20

1:53:20

In this episode we talk with Guannan Wei, from Purdue University. Guannanfinished his PhD last year under Tiark Rompf, and is currently doing hisPost-Doc with Tiark. Guannan has worked on a plethora of differentcompilers topics, and in this conversation we will talk about Staging,Futamura Projections, Symbolic Execution, Compiler Applications in Sm…

1
#36 Behind the Person Behind this Podcast - Pedro Abreu 1:49:55

10M ago1:49:55

1:49:55

In this episode we celebrate 3 years of existence of this podcast byreflecting on the journey so far, what is my philosophy, how do Iapproach the interviews, my overall goals for the show, and some of our plansfor the future. In order to achieve this, I first take a detour and tell you a little moreabout my personal history, and my carreer in type …

1
#439 - Patron Favourites of 2023 - 18 December 2023 1:06:17

11M ago1:06:17

1:06:17

The last episode of the podcast possibly ever, we're celebrating 2023 with a selection of favourites as voted for by our amazing Patrons - the people who have kept the podcast going this long. We have one more episode: our free live show on Friday 29 December. Sign up for free here: https://www.eventbrite.com/e/independent-music-podcast-favourites-…

1
#438 – Favourites of 2023 part 2 1:18:20

11M ago1:18:20

1:18:20

The second part of a double header celebrating some of our favourite music from 2023. The beers have been flowing and the music is exceptional, with Japanese diss tracks, Norwegian trombone drone, field recordings of broken horror houses, psychedelic folk and a whole lot more. Our final favourites episode will be out next week Tracklisting SANAM - …

1
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael 1:21:29

11M ago1:21:29

1:21:29

In this episode we talk with Eduardo Rafael. He isself-thaught programming languages enthusiast, youtuber, twitch streamer,multi-skilled programmer that has worked in different aspects of computerscience such as PL, operating systems, blockchain, and many other stuff. Inthis conversation we talk about his experience as a developer and hacker thatdi…

1
#437 - Favourites of 2023 part 1 1:14:33

11M ago1:14:33

1:14:33

The first part of a double header celebrating some of our favourite music from 2023. It's been an incredible year for music, and we're in celebratory mood as we record the first two of our final three shows. This part includes Japanese prog, Indonesian metal, gigantic Ugandan xylophones, stoned hip-hop, Egyptian Mahraganat and a whole lot in betwee…

1
#436 – DJ Haram, The Body & Dis Fig, Kali Malone, NTsKi, UKAEA, Egil Kalman - 27 November 2023 41:48

11M ago41:48

41:48

The last ‘new’ podcast before we head into our end of 2023 review shows showcases more exceptional sounds from across the world. From field recordings of Afro-Ecuadorian culture to Persian footwork, House bangers to sounds of the Sahara and Japanese folk, there’s a lot to enjoy on this week’s selection. You can listen to the first six tracks for fr…

1
#435 – Flora Yin Wong, Camilla Sparksss, Persher, Julia Holter, Lisa Lerkenfeldt, Cinna Pegyghamy - 20 November 2023 35:11

12M ago35:11

35:11

Dive into another eclectic Independent Music Podcast featuring a global tapestry of experimental music. From the haunting melodies of Aguja from Argentina to the rhythmic beats of Samurai Breaks. The diversity continues with the experimental vibes of Lisa Lerkenfeld and the electronic enchantment of Flora Yin Wong. With new Julia Holter and a taste…

1
#434 - Elena Stein, Luzmilla Carpio, 33EMYBW, Cerys Hafana, DJ RaMeMes, Dunums & MANAS - 13 November 2023 41:27

12M ago41:27

41:27

A wonderful range of music this week, with multiple tracks exploring ancient folklore from the Quechuan Andes to Wales, as well as modern interpretations of Brazilian funk carioca, and multiple tracks from Mexico. We also have ferocious Palastinian psych, Chinese techno, Death Metal and a whole lot more. You can listen to the first six tracks for f…

1
#433 – Melanie De Biasio, The Lord & Daniel Kubinski, USA Nails, Burnt Friedman & João Pais Filipe, Liv Wynter, Surusinghe - 6 November 2023 32:59

12M ago32:59

32:59

Short, spiky, transcendental, and everything in between on this week’s independent music podcast. We have acid-tinged electronics, field recordings of birds, spoken word, club bangers, drones and much more. You can listen to the first six tracks for free. To listen to the full episode, get a huge back catalogue of music, and access to our live show…

1
#432 – Marijus Aleksa, Judgitzu, Frankie, Idris Ackamoor & The Pyramids, Prince Fatty, Reverend Kristin Michael Hayter - 30 October 2023 40:27

1y ago40:27

40:27

Full of abstract and lofi electronics, this week’s podcast lulls you into a false sense of security this week before blitzing you with the 175+bpm of Judgitzu. We’re only just recovered with the beautiful noise of Frankie and Joachim Nordwall before a triumphant return of jazz’s favourite living Pharaoh Idris Ackamoor. Elsewhere, we have dubs from …

1
#431 – The Haxan Cloak, Hilary Woods, Aya & BFTT, Hibushibire, Lucidvox, Maya Al Khaldi - 23 October 2023 39:18

1y ago39:18

39:18

A podcast of exceptional music and bad puns this week, as we travel through the genres, including spooooky drum and bass from Basic Rhythm, Palestinian folklore from Maya Al Khaldi, and thunderous psych rock from Osaka’s Hibushibire. We also have three pretty special collaborations, including Sarah Davachi and Quatuor Bozzini, Abu Ama and BedouinDr…

1
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke 1:28:27

1y ago1:28:27

1:28:27

Andrew Marmaduke is a PhD Candidate from the University of Iowa, he worksunder Aaron Stump and has been working on revamping the theorem proverCedille 2. In this episode we tackle fundamental questions about thefoundations of the theorem provers, Cedille and Cedille 2. Links Andrew's Website AndrasKovacs' Smalltt Failure of Normalization in Impredi…

1
#430 - Eartheater, Fetus, Lenhart Tapes, Marina Herold, The Stance Brothers, Razen 31:16

1y ago31:16

31:16

The usual sonic journey across continents, where you can immerse yourself in a fusion of sounds, from Finland’s futuristic funk with The Stance Brothers to the avant-garde creations of Eartheater. Elsewhere, we have experimental noise from Argentina’s Francisco Ali-Brouchoud and ferocious Iberian hardcore from Lame, amongst such more… You can liste…

1
#429 – Baby’s Beserk, Zyggurat, June McDoom, Oliver Rothstein, O-Mandroid, Siu Mata & Amor Satyr - 9 October 2023 38:56

1y ago38:56

38:56

A wondrous array of sounds coming from the Independent Music Podcast this week, from cold wave disco to harmonium folk, stopping off via dub rap, French dance floor bangers, and outrageous Japanese psych. It’s not just that though, we have wonderful experimental music from Kepla, the long-awaited return of Bokeh Versions, and a whole lot more. You …

1
#428 – Evian Christ, Adela Mede, PoiL Ueda, Kãve, Better Corners, Flamingods - 2 October 2023 42:44

1y ago42:44

42:44

Good things come to those who wait, like those of us who have waited six years for new Evian Christ material. That being said, good things come to those of us who can’t wait either, and – just six months after their debut masterpiece – the Japanese folklore-French prog collaboration PoiL Ueda have another exceptional, outlandish record for you. Els…

1
#427 – Gallops, Paavoharju, Vumbi Dekula, Mårble, Infested Monastery, Fotocopia - 25 September 2023 42:12

1y ago42:12

42:12

Opening tracks can be deceiving, but as soon as the beautiful, delicate sounds of Swedish Congolese artist Vumbi Dekula have drifted into field recordings of bees, things turn a little nastier, with Infested Monastery and the latest from Moonworshipper’s Arcanist. Elsewhere there is fabulous jazz from Armenia, metal from Kazakhstan, industrial nois…

1
#166 - Favourites of 2017 1:04:35

1y ago1:04:35

1:04:35

We're taking a break this week, so we're going way back to 2017 and our first favourites of that year. We have the 7″ stunner from Idris Ackamoor, the digital dubs of Roger Robinson and Disrupt, hip hop from Ill Camille, the best track from Gnod’s mouthful of an LP – JUST SAY NO TO THE PSYCHO RIGHT-WING CAPITALIST FASCIST INDUSTRIAL DEATH MACHINE…

1
#426 - Matmos, Gazelle Twin, Nihiloxica, Lila Tirando a Violeta & Sin Maldita, Hihats in Trees, Gaf y la Estrella de la Muerte - 11 September 2023 42:28

1y ago42:28

42:28

Phoar, what a scorcher! It’s a hot box in the studio and hot on the sounds as well. Kicking off with a remarkable track from Matmos, who use the sounds of the Mud-Dauber Wasp to create a thumping electronic banger. We move through various degrees of ferociousness, with Nihiloxica, Gazelle Twin, and Lila Tirando a Violeta and Sin Maldita bringing he…

1
#33 Z3 and Lean, the Spiritual Journey - Leo de Moura 2:05:07

1y ago2:05:07

2:05:07

Not satisfied with implementing one of the most popular automated theoremprovers, Z3, Leo de Moura also tackles another extremely hard problem inour field and implements a brand new interactivetheorem prover from scratch, Lean. In this episode we dive into the mind andphilosophy of this man. Links Leo's Website Lean Z3 The Church of Logic Podcast…

1
#425 – CZN, The Bug, Natalia Beylis, Max Tundra, Galen Tipton, Jun Kamoda - 4 September 2023 43:22

1y ago43:22

43:22

It’s early morning when we’re recording, but the sounds are far from appropriate to a sleepy English Summer morning, going positively abrasive with the latest nastiness from The Bug. We also have the awaited return of Max Tundra, something off the wall from Galen Tipton, stunning percussive goodness from CZN and a lot more. You can listen to the fi…

1
#424 – Ramzi, Chant Electronique, Joaquín Cornejo, JOBS, Spooky J, Anemosdesma 42:34

1y ago42:34

42:34

Kick off with Indonesian metal from Bandung, finish off with Mexican disco, it’s another new Independent Music Podcast. Between the bookends, we’re moving through various levels of experimental electronics, including a welcome return for Croatian-French-Irish traditional avant folk group Chant Electronique. We also have stunning music from Rosie Ca…

1
#423 – Galya Bisengalieva, Spivak, Julek Ploski, Slauson Malone 1, Vangas, Los Sara Fontan - 21 August 2023 35:42

1y ago35:42

35:42

In and out of the club at unexpected moments on this week’s Independent Music Podcast. Whilst Ecstatic-signed Cypriot producer Spivak brings stunning ambient sounds, Julek Ploski – a former signee to multiple ferocious Polish rave labels – brings us a cinematic masterpiece. What a time to be alive. Elsewhere, the first taste of Kazakh-British violi…

1
#422 - Elvin Brandi & Lord Spikeheart, Pest Control, TORPOR, Ciel, Arnold Dreyblatt, Sly & the Family Drone - 14 August 2023 40:10

1y ago40:10

40:10

Let’s get ferocious this week, with heavy tunes aplenty from all corners of the noisy spectrum. Rattling out with thrash from Pest Control, via a screamy masterpiece from Elvin Brandi and Lord Spikeheart, and the latest from Human Worth. Elsewhere, there’s excellent house music from Ciel, hardcore from BBBBBBB, a 20-minute opus from Sly & the Famil…

1
#421 – Not Waving, BFTT, Jaimie Branch, Ragga Twins, Prince Fatty, Mary Hampton - 7 August 2023 42:40

1y ago42:40

42:40

It’s sweet hellos and sad goodbyes on this week’s Independent Music Podcast as we welcome back Ragga Twins, who are releasing their first new record in 28 years, and the Jungle is as blistering as ever it was. Not so blistering as ever it was is Not Waving, who continues his development into more thought-provoking downtempo electronics, bringing ba…

1
#420 – Jlin, Teeth of the Sea, Thank, WaqWaq Kingdom, Rocks FOE, Sealionwoman - 31 July 2023 44:10

1+ y ago44:10

44:10

All hail returning heroes on this week’s podcast. It’s been a long while since we last saw Teeth of the Sea, Rocks FOE, Jlin, or Sealionwoman, so it’s great to see them all returning with exceptional new material. Elsewhere, there’s psychedelic cumbia from Argentina in the shape of Los Siquicos Litoraleños, we have an absolute stormer of minyo foot…

1
#419 - Forest Swords, Vanishing Twin, Derya Yildirim & Graham Mushnik, Ethan P. Flynn, E.M.M.A., Flesh & The Dream - 24 July 2023 40:52

1+ y ago40:52

40:52

Starting with an opus is a wonderful way to return after a week off, and the new collaboration between Shackleton and Heather Leigh is a fantastic bolt out of the blue that shifts through the genres in the same way the whole podcast tends to do. Elsewhere, we’re raising money for the cancer treatment for artist Glenda Torrado (PayPal donations: oct…

1
#32 TyDe Systems - Jan de Muijnck-Hughes 1:41:23

1+ y ago1:41:23

1:41:23

In this episode we continue our conversation with Jan de Muijnck-Hughes aResearch Associate at Glasgow University. He works using all sorts of fancytype systems mostly targeted for hardware specification, particularly withthe aid of the theorem prover Idris. This episode we start by talking alittle about Impostor Syndrome in academia and how he has…

1
Guest: The Ninehertz Podcast 1:36:53

1+ y ago1:36:53

1:36:53

We’re off this week so thought we would give you a taste of one of our other favourite music podcast - the Ninehertz podcast. Exploring hefty sounds and doing a fantastic job of showcasing the sheer variety of and nuances within heavy music. The Ninehertz Podcast is a weekly show all about the heavier end of things. From grindcore to doom, drone to…

1
#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes 2:09:59

1+ y ago2:09:59

2:09:59

In this episode we have a deep conversation with Jan de Muijnck-Hughes, talksabout all the cool research he has done with idris, hardware and different kindsof interesting type systems such as session types, quantitative types and gradedtypes. In the second half we discuss all the different kinds of problems thathas been going on in PL academia lat…

1
#418 – V/Z, Chester Watson, Azu Tiwaline, Poulomi Desai, Coffin Mulch, Bastien Keb - 10 July 2023 41:10

1+ y ago41:10

41:10

In this episode of the Independent Music Podcast, we’re exploring a wide range of experimental music from around the world. We’ll start with a track from the superb V/Z record featuring Cathy Lucas, a dark and atmospheric track from the UK label AD93 We’re criss-crossing the globe, with new releases from Tunisia, UK, Argentina, Ireland, the USA, an…

1
#417 – Surusinghe, Lunch Money Life, Laure Boer, Kylie Monologue, Apostille, Matana Roberts - 3 July 2023 38:39

1+ y ago38:39

38:39

Artists don’t come much more eclectic than Lunch Money Life, so it’s appropriate that they kick off the Independent Music Podcast this week as we travel through an hour of music that includes campaigning mothers of Indonesia, experimental screwdriver ambient music, and heavy, hypnotic vocal loops amongst much more. That ‘much more’ includes Europop…

1
#416 – James Blackshaw, David Toop & Lawrence English, Colleen, Tapes, Thee Alcoholics, DJ RaMeMes - 26 June 2023 40:53

1+ y ago40:53

40:53

Music right out of the top drawer on this week’s Independent Music Podcast. From computerised funk with added duck noises, through to fiery industrial techno and everything in between. We have stunningly beautiful Middle Eastern dub from Blend Miskin and Panos Dimitrakopoulos, something extraordinary from Brazil’s DK RaMeMes, and anthemic doom from…

1
#415 – Mungo’s Hi Fi x Pupajim, Godflesh, Kristin Hersh, Yikii, Angel-Ho, Pan African Peoples Arkestra - 19 June 2023 35:15

1+ y ago35:15

35:15

A rollicking hour of experimental music action on this week’s Independent Music Podcast, where an intro of colourful, DIY, Japanese ambient-pop lulls you into a false sense of security as ferocious tracks from Guinea-Bissau, South Africa, and the inimitable Godflesh punctuate throughout. But there’s subtlety amongst the power, with a roots-flavoure…

1
#414 – Aaron Dilloway, Chupame El Dedo, El Kontessa, Soft-Bodied Humans, Danse Alice, Búho Ermitaño - 12 June 2023 41:41

1+ y ago41:41

41:41

From UK and Uganda collabs, to the recordings of broken ghost rides in Nepal to Lima psych, submissions and incredibly catchy nomad music… well that’s just Anthony’s contributions to a wild Independent Music Podcast this week. On Gareth’s side we have Serbian groovers, Danish garden experimental, Egyptian footwork via a Palestinian label, and music…

1
[Patreon episode] #372 – Szun Waves, Onom Agemo & Ahmed Ag Kaedy, pq, Jasmine Morris, Galya Bisengalieva, Chouk Bwa & The Ångstromers - 6 June 2022 1:02:59

1+ y ago1:02:59

1:02:59

We're off this week so we're putting a Patron episode for this time last year. If you want to listen to all 10 tracks from each episode, join our Patreon and help secure the future of the podcast, which has promoted over 5,000 artists and record labels from the experimental global scene: patreon.com/independentmusicpodcast We’ve never really put mu…

1
#30 Actors, GADTs and Burnout - Dan and Pedro 1:44:52

1+ y ago1:44:52

1:44:52

In this episode we have over Dan Plyukhin, a PhD Candidate fromthe University of Illinois Urbana-Champaign. We talk about Dan’s research is in the field of parallelism, morespecifically garbage collection in the presence of actors. Then we also talk about Pedro's research on translating GADTs from OCaml to Coq,and the burnout process that lead him …

1
#413 - Julio Bashmore, Aja Monet, 7FO, Bakblivv, Mantracrudu, Dip in the Dub - 29 May 2023 37:37

1+ y ago37:37

37:37

Deep breath everyone, it’s time for more ferocious music than you can shake a hip at on this week’s Independent Music Podcast, with the long-awaited return of Julio Bashmore bubblin’ up to get us started. We’re in deep on the good stuff, whether it’s cumbia music from Switzerland or jungle music from Colombia (have we got those mixed up???), or phe…

1
#412 – Ziúr, Selvhenter, Manga Saint Hilare, Pere Ubu, Solo Ansamblis & Roe Deers - 22 May 2023 42:10

1+ y ago42:10

42:10

Big BIG BIG sounds on this week’s Independent Music Podcast. A generally iffy week personally means that beers have been drunk and the music is beyond reproach. Metronomic krautrock feeds to immense synth dungeon dance floor sounds, grime from living legend Manga Saint Hilare, and uncategorisable music from Ziúr on Uganda’s Hakuna Kulala label. Bey…

1
#411 – Holy Tongue, billy woods & Kenny Segal, Inga Copeland, Micall Parknsun, Eijra Woon - 15 May 2023 36:59

1+ y ago36:59

36:59

Showcasing some of the freshest and most exciting sounds from the underground music scene, this week’s Independent Music Podcast is absolute killer, featuring some amazing artists from around the globe. Starting with the latest outrageousness from Italy’s inimitable I, Voidhanger label, A.M.E.N.’s ‘Dinosaur’ is a relentless assault of jazz metal th…

1
#410 – Lonnie Liston Smith, 200 Stab Wounds, Ni Zheng, Sabiwa, Giuseppe Ielasi, Dhangsha - 8 May 2023 36:24

1+ y ago36:24

36:24

There’s little more beautiful then realising a new Lonnie Liston Smith record is coming, and the master’s first album in 25 years is made even more special with the contributions of Ali Shaheed Muhammad and pod-favourite Adrian Younge. Elsewhere we have the ferocious variety of usual podcasts, including death metal from 200 Stab Wounds, Chinese and…

1
#409 – Dijit, Karen Vogt, YoshimiOizumikiYoshiduO, Iztok Koren, Mun Sing, Iration Steppas - 1 May 2023 49:12

1+ y ago49:12

49:12

Hey, after some demure music on last week’s podcast, Anthony has decreed that it’s time to go a bit harder this week – and harder we shall go! Phenomenal hard-hitters from Giant Swan’s Mun Sing, Cairo’s Dijit, Congo’s DJ Finale, YCO’s Georg-i, and whatever the hell you’d describe Edi Pou as come at you hard and fast. But it’s not all full-force mus…

1
#408 – Shirley Collins, Scotch Rolex & Shackleton, MLDVA & Çınar Timur, Piotr Kurek, Brìghde Chaimbeul, Alex Figueira - 24 April 2023 36:46

1+ y ago36:46

36:46

Eclecticism goes hand-in-hand with the Independent Music Podcast, this week it’s featuring everything from experimental electronica to traditional folk music via tropicalia and ferocious punk. Anthony brings a lot of lush instrumentation to a fairly chilled episode, with the dreamy Hydromedusae, legendary Shirley Collins, and fabulous Scottish trad…

1
#407 – Peder Mannerfelt, Decisive Pink, Lamp of Murmuur, Al Wootton, Úlfúð, Dorothy Moskowitz & the United States of Alchemy - 17 April 2023 45:42

1+ y ago45:42

45:42

We’re going big, epic even, on this week’s Independent Music Podcast. Starting with a big hitter from Roll the Dice’s Peder Mannerfelt, we touch upon psychedelic pomp, ferocious metal, glorious synth pop, and a whole batch of dance floor fillers, including thunderous discoid dub. Get stuck in. You can listen to the first six tracks for free. To lis…

Подкасты, которые стоит послушать

Подкасты на тему IDRY Systems

Подкасты, которые стоит послушать

Краткое руководство