LLMs for software development can go way beyond Github Copilot. In this episode, we talk about how these models could change the workflow for existing developers, but more importantly how they could change the very idea of what software is.

Links/Resources:

https://simonwillison.net/2023/Mar/11/llama/

https://github.com/RootbeerComputer/backend-GPT

https://lukebechtel.com/blog/gpt4-generating-code

===== About “The Technium” =====

The Technium is a weekly podcast discussing the edge of technology and what we can build with it. Each week, Sri and Wil introduce a big idea in the future of computing and extrapolate the effect it will have on the world.

Follow us for new videos every week on web3, cryptocurrency, programming languages, machine learning, artificial intelligence, and more!

===== Socials =====

WEBSITE: https://technium.transistor.fm/

SPOTIFY: https://open.spotify.com/show/1ljTFMgTeRQJ69KRWAkBy7

APPLE PODCASTS: https://podcasts.apple.com/us/podcast/the-technium/id1608747545

Dependent types are a more expressive type system in programming languages used to catch a larger class of errors at compile time. What are would be typically assertions at runtime can now be caught at compile time.

Show notes:

• Proposition as Types
• Parse, Don’t Validation
• “Scala vs Idris: Dependent types, now and in the future”

Resources:

• http://www.e-pig.org/downloads/ydtm.pdf
• https://gist.github.com/Hirrolot/27e6b02a051df333811a23b97c375196
• Proof Theory Impressionism: Blurring the Curry-Howard Line
• Type Systems - The Good, Bad and Ugly
• Dependent types for practical use
• Idris: Practical Dependent Types with Practical Examples
• Making Illegal States unrepresentable
• Can types replace validation
  https://www.cs.ox.ac.uk/ralf.hinze/WG2.8/26/slides/xavier.pdf

Activity Pub is a decentralized social networking protocol. It allows different web applications to interact so that their users can share information, even if the websites or applications are running different software.

00:00 S04E07 Activitypub
02:13 What is Activity Pub?
15:02 Interoperability
33:00 A New Kind of Social
43:53 Providing Distribution
53:03 The Use Cases
01:07:41 Ideology
01:14:25 The Wild West
01:24:07 Deconstructed Content
01:34:52 Taking a Position

===== About “The Technium” =====

The Technium is a weekly podcast discussing the edge of technology and what we can build with it. Each week, Sri and Wil introduce a big idea in the future of computing and extrapolate the effect it will have on the world.

Follow us for new videos every week on web3, cryptocurrency, programming languages, machine learning, artificial intelligence, and more!

===== Socials =====

WEBSITE: https://technium.transistor.fm/
SPOTIFY: https://open.spotify.com/show/1ljTFMgTeRQJ69KRWAkBy7
APPLE PODCASTS: https://podcasts.apple.com/us/podcast/the-technium/id1608747545

Links/Resources:

• https://tinysubversions.com/notes/reading-activitypub/
• https://flak.tedunangst.com/post/ActivityPub-as-it-has-been-understood
• https://web.archive.org/web/20201124231343/https://cjslep.com/c/blog/an-activitypub-philosophy
• https://overengineer.dev/blog/2018/02/01/activitypub-one-protocol-to-rule-them-all.html
• https://overengineer.dev/blog/2019/01/13/activitypub-final-thoughts-one-year-later.html
• https://www.jeremydormitzer.com/blog/what-is-activitypub.html
• https://tinysubversions.com/notes/decentralized-social-networks/
• https://kyefox.com/post/707900440336039936/activitypub-could-be-the-future
• https://ariadne.space/2019/01/07/activitypub-the-worse-is-better-approach-to-federated-social-networking/
• https://activitypub.rocks/
• https://overengineer.dev/blog/2019/01/13/activitypub-final-thoughts-one-year-later.html
• https://socialhub.activitypub.rocks/t/introduction-to-activitypub/508
• https://github.com/joyeusenoelle/GuideToMastodon
• https://victoria.dev/blog/why-pixelfed-wont-save-us-from-instagram/
• https://web.archive.org/web/20190713233100/https://blog.dereferenced.org/federation-what-flows-where-and-why
• https://web.archive.org/web/20190108060531/https://blog.dereferenced.org/activitypub-the-worse-is-better-approach-to-federated-social-networking
• https://www.eugenewei.com/blog/2021/9/29/and-you-will-know-us-by-the-company-we-keep
• https://twitter.com/AIMindFlow