The poetry of outer space
The anthology Outer Space: 100 Poems journeys through time, exploring the common themes and changing perspectives of poets from the 12th century BCE to today.
On this page
compilation
Explore " compilation" with insightful episodes like "The poetry of outer space", "José Valim, Guillaume Duboc, and Giuseppe Castagna on the Future of Types in Elixir", "Jerry Springer Tribute - Funniest Moments From The Show", "A Very Special Words About Books Episode (Best of Ben)" and "2022 Recap - The Best of HR Hardball" from podcasts like ""The Science Show - Separate stories podcast", "Elixir Wizards", "Jay-Jay & Flynny - More FM", "Words About Books" and "Blazing Paddles - A Pickleball Podcast"" and more!
Episodes (100)
José Valim, Guillaume Duboc, and Giuseppe Castagna on the Future of Types in Elixir
It’s the Season 10 finale of the Elixir Wizards podcast! José Valim, Guillaume Duboc, and Giuseppe Castagna join Wizards Owen Bickford and Dan Ivovich to dive into the prospect of types in the Elixir programming language! They break down their research on set-theoretical typing and highlight their goal of creating a type system that supports as many Elixir idioms as possible while balancing simplicity and pragmatism.
José, Guillaume, and Giuseppe talk about what initially sparked this project, the challenges in bringing types to Elixir, and the benefits that the Elixir community can expect from this exciting work. Guillaume's formalization and Giuseppe's "cutting-edge research" balance José's pragmatism and "Guardian of Orthodoxy" role. Decades of theory meet the needs of a living language, with open challenges like multi-process typing ahead. They come together with a shared joy of problem-solving that will accelerate Elixir's continued growth.
Key Topics Discussed in this Episode:
Adding type safety to Elixir through set theoretical typing
How the team chose a type system that supports as many Elixir idioms as possible
Balancing simplicity and pragmatism in type system design
Addressing challenges like typing maps, pattern matching, and guards
The tradeoffs between Dialyzer and making types part of the core language
Advantages of typing for catching bugs, documentation, and tooling
The differences between typing in the Gleam programming language vs. Elixir
The possibility of type inference in a set-theoretic type system
The history and development of set-theoretic types over 20 years
Gradual typing techniques for integrating typed and untyped code
How José and Giuseppe initially connected through research papers
Using types as a form of "mechanized documentation"
The risks and tradeoffs of choosing syntax
Cheers to another decade of Elixir!
A big thanks to this season’s guests and all the listeners!
Links and Resources Mentioned in this Episode:
Bringing Types to Elixir | Guillaume Duboc & Giuseppe Castagna | ElixirConf EU 2023 (https://youtu.be/gJJH7a2J9O8)
Keynote: Celebrating the 10 Years of Elixir | José Valim | ElixirConf EU 2022 (https://youtu.be/Jf5Hsa1KOc8)
OCaml industrial-strength functional programming https://ocaml.org/
ℂDuce: a language for transformation of XML documents http://www.cduce.org/
Ballerina coding language https://ballerina.io/
Luau coding language https://luau-lang.org/
Gleam type language https://gleam.run/
"The Design Principles of the Elixir Type System" (https://www.irif.fr/_media/users/gduboc/elixir-types.pdf) by G. Castagna, G. Duboc, and J. Valim
"A Gradual Type System for Elixir" (https://dlnext.acm.org/doi/abs/10.1145/3427081.3427084) by M. Cassola, A. Talagorria, A. Pardo, and M. Viera
"Programming with union, intersection, and negation types" (https://www.irif.fr/~gc/papers/set-theoretic-types-2022.pdf), by Giuseppe Castagna
"Covariance and Contravariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)" (https://www.irif.fr/~gc/papers/covcon-again.pdf) by Giuseppe Castagna
"A reckless introduction to Hindley-Milner type inference" (https://www.lesswrong.com/posts/vTS8K4NBSi9iyCrPo/a-reckless-introduction-to-hindley-milner-type-inference) Special Guests: Giuseppe Castagna, Guillaume Duboc, and José Valim.
Elixir Wizards
en-usJune 08, 2023
Jerry Springer Tribute - Funniest Moments From The Show
We found out the sad news that Jerry Springer passed away aged 79. We reminisce on a mans career that changed daytime television with its weird, wild & wonderful moments!
We hope you enjoy some of these iconic Jerry Moments
See omnystudio.com/listener for privacy information.
A Very Special Words About Books Episode (Best of Ben)
This week on Words About Books we have a special episode. Yes we're still going to have our regular Sunday release but Nate thought he would take this opportunity to appreciate Ben by sharing his favorite Ben moments on the podcast. He's not bitter. We hope you enjoy this episode.
Support the showDiscord - https://discord.gg/6BaNRtcP8C
Twitter - https://twitter.com/wabpod
Instagram - https://www.instagram.com/wordsaboutbookspodcast
Blog - https://blog.wordsaboutbooks.ninja/
Buy the Books - https://bookshop.org/shop/wabpod
2022 Recap - The Best of HR Hardball
Okay Hardballers, this pushed me to the ends of my editorial bandwidth, but with the help of our eldest son Jack, I think we have put together a fun end-of-year recap episode for your enjoyment. Fresh off the news that our little pod made the top 50% of all podcasts via Buzzsprout, we wanted to offer our current listeners a quick trip down memory lane. And for you future listeners, this should give you the overall vibe of the show.
Two newsworthy items this year for HR Hardball: I added a new co-host and we identified a new flagship sponsor. Full transparency, I'm sleeping with the co-host, but that seems acceptable after 23 years of marriage. The move developed organically as Karen joined me for a few episodes and the chemistry makes for a better show. You'll notice the new trend in our interviews - everyone just loves Karen and her "great questions." I'm becoming 2nd banana on my own show! Our new sponsor, dink.pro, founded just last year, is the first dedicated pickleball apparel company born and bred in the great state of Texas - btw, if you're not on the pickleball train yet, what in the hell are you waiting for?
#bestof #recap #2022
Special thanks to Crown Pickleball for their support and sponsorship! Don't waste money on balls that break, Crown pickleballs rarely crack, are more visible and have a higher spin rate than the competitors.
Use our link to receive a discount on your next purchase! https://crownpickleball.store/blazingpaddles
Have a suggestion for a guest or topic you'd like to see us address?
Hit me up at john@dink.pro or shout out on social:
Instagram
Twitter
Blazing Paddles - A Pickleball Podcast
en-usJanuary 20, 2023
Holiday Special 2022: The Year in Review!
Bonfire Digital Wellness has a diverse team of seasoned, compassionate school counselors, ready to coach your teen. Check it out today and take advantage of a 1-month FREE trial: BonfireDW.org/talkingtoteens
Happy Holidays from the Talking to Teens Team!
To wrap up the year, we’re recapping some of our best moments from 2022. We talked about everything from vaping to body issues to mental health to career planning–and we wanted to compile the best advice for you to catch up on before the new year.
Whether you’re a seasoned subscriber or a brand new listener, thanks for choosing Talking to Teens!
2022-07-26 Punk podcast from Magnatune
In this podcast: 1. Liquid Rainbow, 2. Rocket City Riot, 3. Delko, 4. Electric Frankenstein, 5. Rocket City Riot, 6. Louis Lingg and the Bombs, 7. Magnatune Compilation, 8. Midway Still, 9. Weartists, 10. Spinecar, 11. Louis Lingg and the Bombs, 12. Louis Lingg and the Bombs, 13. Louis Lingg and the Bombs, 14. SHE SAID SAVE ME, 15. Delko, 16. The Strap Ons, 17. Electric Frankenstein, 18. The Dirty Love
2022-07-24 World podcast from Magnatune
In this podcast: 1. Eric Kamen, 2. Jeremy Moyer, 3. hands upon black earth, 4. Olexa Kabanov, 5. Jay Kishor, 6. Aryeh Frankfurter, 7. Dejan Ilijic, 8. Claudia Schwab, 9. Daniel Estrem, 10. Kitka, 11. Aryeh Frankfurter, 12. Maneli Jamal
2022-07-22 New Age podcast from Magnatune
In this podcast: 1. Suzanne Teng, 2. Tilopa, 3. Paul Avgerinos, 4. Ray Montford, 5. Jasmine Brunch, 6. Kourosh Dini, 7. Paul Avgerinos, 8. Toni Iniguez, 9. Robert Otto, 10. Rob Costlow, 11. Jasmine Brunch, 12. Jeff Wahl
2022-07-19 Punk podcast from Magnatune
In this podcast: 1. Liquid Rainbow, 2. The Napoleon Blown Aparts, 3. Rocket City Riot, 4. Rocket City Riot, 5. Electric Frankenstein, 6. Trevor and the Joneses, 7. Louis Lingg and the Bombs, 8. Rocket City Riot, 9. The Strap Ons, 10. Louis Lingg and the Bombs, 11. Liquid Rainbow, 12. Delko, 13. SHE SAID SAVE ME, 14. Rocket City Riot, 15. Louis Lingg and the Bombs, 16. Jackalopes, 17. Rocket City Riot, 18. Rocket City Riot, 19. The Dirty Love
2022-07-17 World podcast from Magnatune
In this podcast: 1. Claudia Schwab, 2. Olexa Kabanov, 3. Tilopa, 4. Robert Otto, 5. Olexa Kabanov, 6. Middle-Earth Ensemble, 7. Steve Eulberg, 8. Jasmine Brunch, 9. Shiva in Exile, 10. Ruben van Rompaey, 11. Middle-Earth Ensemble, 12. Yumi Kurosawa, 13. Kaila Flexer, 14. Ruben van Rompaey
2022-07-15 New Age podcast from Magnatune
In this podcast: 1. Twilight Archive, 2. Angelight, 3. Jamie Janover, 4. Francois Couture, 5. Howard Ferre, 6. Jami Sieber, 7. Joe Palese, 8. Satori, 9. Claire Fitch
#058: Purpose-Driven High-Ticket Offers with Laura Di Franco
Laura Di Franco is the CEO of Brave Healer Productions, a company that specializes in publishing and business strategies for healers. Laura’s up to some cool stuff, way too much to fit inside this podcast. She has a 30-year background in holistic physical therapy and has been a healer her whole life. Laura has also been writing and publishing her own books for quite some time and published her first book back in 2012. Brave Healer Productions was born in 2016 while she was still running her physical therapy practice. She started helping other healers write their copy and books, assisted them with publishing, and was involved in several complications with other authors.
In January of 2020, Laura launched a number-one Amazon best-seller compilation book and has now published 29 best-selling collaborative books within the healing space. From a high-ticket perspective, Laura quickly created the model that is now a staple in her business. When she ran her first project, she was the lead author of the collaboration. She then proceeded to release several volumes, as she wanted to provide a healing toolkit that would work for a wide audience. Laura’s strategy is a high-ticket program that’s a triple win. It makes her money while giving her other authors recognition, and provides them with a book to sell on their own to turn a profit. She shares how she built her strategy, how she’s scaling her business, and how she’s able to provide huge value for those she works with.
What’s Inside:
- How Laura launched her business and complications with other authors in the healing space.
- Why Laura’s high-ticket strategy is a triple-win.
- How Laura was able to scale her purpose-driven business.
Mentioned In This Episode:
Ray.fm
Brave Healer Productions
support@lauradifranco.com
Book Profit Secrets with Ray Brehm
en-usJuly 14, 2022
2022-07-12 Punk podcast from Magnatune
In this podcast: 1. Electric Frankenstein, 2. Rocket City Riot, 3. Delko, 4. Louis Lingg and the Bombs, 5. Rebel Rebel, 6. Louis Lingg and the Bombs, 7. Louis Lingg and the Bombs, 8. Louis Lingg and the Bombs, 9. Magnatune Compilation, 10. Louis Lingg and the Bombs, 11. Rocket City Riot, 12. Delko, 13. Magnatune Compilation, 14. Magnatune Compilation, 15. Rocket City Riot, 16. Louis Lingg and the Bombs
2022-07-10 World podcast from Magnatune
In this podcast: 1. Suzanne Teng, 2. Suchitra Lata, 3. Steve Eulberg, 4. Fortune's Wheel, 5. Sasha Merkulov, 6. Luke Gartner-Brereton, 7. Lisa Lynne and George Tortorelli, 8. Cheryl Ann Fulton, 9. Maneli Jamal, 10. Tilopa, 11. Svanevit, 12. Gilles Zimmermann
2022-07-08 New Age podcast from Magnatune
In this podcast: 1. Ishwish, 2. Joel Bruce Wallach, 3. Barry Phillips, 4. Cobb Bussinger, 5. Rob Cosh, 6. Lydia McCauley, 7. Radhamohan and Savitri, 8. Aryeh Frankfurter, 9. Cheryl Ann Fulton, 10. Chad Lawson, 11. Rob Costlow, 12. Rapoon
Pretty in Pink Soundtrack with Dave Brown
Dave Brown (One Band, 5 Songs) returns to talk about the soundtrack to the film Pretty in Pink.
patreon.com/punklottopod
Call our voicemail line: 202-688-PUNK
Leave us a review and rating.
linktr.ee/punklottopod
Songs featured on this episode:
Jawbox - Jackpot Plus
The Psychedelic Furs - Pretty in Pink
Orchestral Manoeuvers in the Dark - If You Leave
INXS - Do Wot You Do
New Order - Shell-Shock
Echo & the Bunnymen - Bring on the Dancing Horses
LGBTQ+ Expansion Pack
The applications have opened back up for the N word pass non black people hmu.
EP. 30 Audio CUMpilation Volume 1
This is the first installment of a new series I call Audio CUMpilations! Each episode will be a compilation of audio orgasms that I receive from my dedicated listeners. If you have an audio recording of you having hot sex and/or an orgasm you want to share, email me at naughtyaudioformen@gmail.com.
First Installment:
- Jock Pussy: To the outside world, he's a 22-year-old straight Athletic alpha Jock. but behind closed doors, he's a submissive femboy desperate to have his virgin jock pussy pounded.
- Blue Redneck: He's a proud liberal country redneck, who fantasizes about banging the bag boy at his local grocery store (and yes he is of legal age).
- Joey: An 18-year-old blonde haired blue-eyed all American boy who loves getting fucked by black men. He says he does not fetishize black men, and knows that even though most black men have bigger dicks, he knows not all do. He's just comfortable with and loves sexy black men. He also loves a big black dildo that he's been using during the pandemic.
- Brit Brett: A 33-year-old Bi Dom from the UK who loves talking dirty.
If you're a Patreon member, you get this episode days before everyone else. Patreon does not allow posts with a real sex, Including masturbation. I will send a link to the audio of this episode to all my Patreons in a Patreon message. Click here to join my Patreon: www.patreon.com/naughtyaudioformen
Patreon Perks
- 1st Tier Patrons: exclusive early access to audio interview!
- 2nd Tier Patrons: exclusive access to video interview!
- 3rd Tier Patrons: exclusive access to Playtime video!
Join my Patreon: www.patreon.com/naughtyaudioformen
Follow me on Twitter/X: @audioformen
Comment on my Reddit page: https://www.reddit.com/r/NaughtyAudio4Men
Listener Feedback: Email: naughtyaudioformen@gmail.com
Naughty Audio for Men Podcast - The Best Gay Audio Erotica
en-usSeptember 18, 2021
Garibaldo the Portugese Big Bird
Garibaldo the Portugese Big Bird, Google him he looks like if gritty fucked a bird. Also google gritty if you don't know who that is but he's another faustian nightmare conjured up by a marketing team that either has no clue what they are doing or knows exactly what they are doing. Either way shame on them for this atrocity.
DONATIONS
LIVE SHOWS
https://connorfordstandup.com/upcoming-shows
MERCH
@kellen_frank @theconnorford
Support the show: http://linktr.ee/itsjustbits
See omnystudio.com/listener for privacy information.