Episode #47 PyPy now works with way more C-extensions and parking your package safely - [Python Bytes Podcast]
Python Bytes podcast delivers headlines directly to your earbuds.
We loved having Jay Phelps on the show so much last week, we invited him back this week to talk about WebAssembly!
Listen to regular interviews with the Haskell community. The podcast covers news, libraries, and whatever other topics we wander onto with our guests.
It’s like hanging out at our software studio in Austin, Texas with Charles Lowell and the Frontside Team. We talk to smart people about how to make the world of software better for the people who make and use it. Managed and produced by @therubyrep.
Do you want to try out some of the tools and applications that you heard about on Podcast.init? Do you have a side project that you want to share with the world? Check out Linode at linode.com/podcastinit or use the code podcastinit2017 and get a $20 credit to try out their fast and reliable Linux virtual servers. They’ve got lightning fast networking and SSD servers with plenty of power and storage to run whatever you want to experiment on.
SE-Radio Episode 296: Type Driven Development with Edwin Brady
Filed in Episodes
on July 11, 2017
• 0 Comments
Edwin Brady speaks to Matthew Farwell about Type Driven Development and the Idris Programming language. The show covers: what a type is; static vs dynamic types in programming languages; dependent types; the Idris programming language; why Idris was created. Type safe printf modelling state in Idris modelling protocols in Idris modelling concurrency in Idris type driven development and how it changes the development process.
Type Driven Development
Edwin Brady Twitter
SE Radio Episode 249: Vaughn Vernon on Reactive Programming with the Actor Model
Episode 178: Akka With Jonas Boner (on actors)
Programming and reasoning with algebraic effects and dependent types
http://traffic.libsyn.com/seradio/SE-Radio-Episode-296-Type-Driven-Development-with-Edwin-Brady.mp3Podcast: Play in new window | DownloadSubscribe: iTunes | Android | RSS
We light a candle for internet laws, the Swiss have holes in their speech protections, the internet is turning music upside down, Congress is doing the ostrich, Uber wish that it c…
The Talk Show
‘The Original Sin Is XML’, With Special Guests Manton Reece and Brent Simmons
Wednesday, 31 May 2017
Manton Reece and whisky-soaked baritone Brent Simmons join the show to talk about JSON Feed, the new spec they co-authored for syndicating things like blog posts and podcasts. We talk about their longstanding mutual interest in Userland Frontier, Dave Winer’s groundbreaking scripting environment from the early ’90s, and how that background — and their mutual love for publishing on the open web and the democratization of technology — ultimately lead to the creation of JSON Feed, as well was their other new projects: Manton’s Micro.blog publishing platform, and Brent’s new open source Mac app, announced for the first time right here on the show. And of course a brief look ahead to next week’s WWDC 2017.
Away: High quality luggage with built-in USB chargers. Save $20 with promo code TALKSHOW.
MailRoute: Hosted spam and virus protection for email. Use this link for 10 percent off for the life of your account.
Squarespace: Make your next move with a beautiful website. Use code gruber for 10 percent off your first order.
Fracture: Your photos printed in vivid color directly on glass. Great gift idea.
JSON Feed links on Daring Fireball
Interest in XML vs. JSON over the last 5 years.
Micro.blog — Manton’s new publishing platform.
Evergreen — Brent’s new open source Mac app.
Evergreen’s GitHub repository.
Seneca: “The Shortness of Life”.
Yours truly back in 2009: “Twitter Apps Are a UI Playground”.
Manton’s old Tweet Library app.
“App: The Human Story” screening and panel discussion at WWDC 2017
This episode of The Talk Show was edited by Caleb Sexton.
Daniel and Manton discuss the new JSON Feed format and initial public reaction to it. They talk about Panic’s source code being stolen, and Daniel celebrates/laments his new MacBook Pro.
Download Audio (MP3, 58 minutes, 49 MB)
Many thanks to our sponsors this week:
Digimarc: The best mobile scanning solution today. The only solution for tomorrow.
Linode: Cloud Hosting for You.
Announcing JSON Feed – Official announcement of JSON Feed 1.0.
jsonfeed-wp – WordPress plugin supporting automated generation of JSON Feed compatible feeds.
Micro.blog – Manton’s microblogging service.
Brent on JSON Feed – Brent Simmons shares his thoughts on the announcement…
Manton on JSON Feed – … and Manton shares his.
The Case of the Stolen Source Code – Panic details the theft of their source code, subsequent ransom threat, and what they’re doing about it.
Page 1 of 28Older