معلومات عن هذا البودكاست 🔗
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.
تردد التحديث:
biweekly
متوسط طول الصوت:
86 minutes
الإنجليزية
الولايات المتحدة
40 حلقة
منذ 5 أكتوبر، 2021
episodic
أحدث حلقة 🔗
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/ll…
البحث في الحلقات الماضية
البحث في الحلقات السابقة من The Technium.
الحلقات السابقة 🔗
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: Depe…
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 Activitypub02:13 What is Activity Pub?15:02 Interoperability33:0…
APL is an array based programming language developed by Kenneth Iverson in the 1960s. Its central data type is the multi-dimensional array and hence it's very useful for workloads involving a lot of matrix math. APL predominantly uses symbols and it leverages consistent composability and execution …
io_uring is a new asynchronous, API to enable fast and efficient system calls in the Linux kernel. It promises faster user-land programs that heavily use file system IO on Linux, for all applications, not just databases.
00:00 S04 E05 io_uring02:55 What is io_uring?05:59 What's wrong with existi…
Xanadu was the first hypertext project founded in 1960 by Ted Nelson. It aims to facilitate a type of media called hypermedia, which is non-sequential writing in which the reader can choose their own path through an electronic document.
Links/Resources:http://www.rheingold.com/texts/tft/14.htmlhttp…
ChatGPT is a language model by OpenAI which interacts in a conversational way. The dialogue format makes it possible for ChatGPT to answer followup questions, admit its mistakes, challenge incorrect premises, and reject inappropriate requests.
00:00 S04E03 ChatGPT Part 2 02:30 Expanding Humanity's …
ChatGPT is a language model by OpenAI which interacts in a conversational way. The dialogue format makes it possible for ChatGPT to answer followup questions, admit its mistakes, challenge incorrect premises, and reject inappropriate requests.
00:00 S04E03 ChatGPT Part 102:58 What is ChatGPT? 06:17…
Nix is a functional package manager. It creates completely reproducible builds and package management, including support for multiple versions of packages side-by-size with no issues.
Chapters:
[00:00:00] Intro
[00:02:41] What is Nix?
[00:05:01] The Problem with Package Management
[00:09:41] How …
'Visual Programming' refers a style of programming that allows the user to specify a programs in a two-(or more)-dimensional fashion. Visual programming environments represent the data, control flow, or program state in a graphical way, allowing them to be directly manipulated. It has been a hot ar…
إخلاء المسؤولية: البودكاست والأعمال الفنية المضمنة في هذه الصفحة مأخوذة من The Technium، وهي مملوكة لمالكها وليست تابعة لشركة Listen Notes, Inc أو معتمدة منها.
محرك بحث البودكاست
يمكنك استخدام موقعنا الإلكتروني للبحث في ملفات podcast3,825,280وحلقات195,819,548حسب الأشخاص أو الأماكن أو المواضيع.
الاستثمار في المعرفة يحقق أفضل عائد، ولذلك أستمع إلى البودكاست.
‐ Benjamin "Llamacorn" Franklin
البحث في الحلقات الماضية
البحث في الحلقات السابقة من The Technium.
المطالبة بهذا البودكاست
Why to claim podcasts?
If you are a podcaster, the best way to manage your podcasts on Listen Notes is by claiming your Listen Notes
podcast pages.
It is a great, free way to engage the podcast community and increase the visibility of your podcasts.
After claiming your Listen Notes podcast pages, you will be able to:
✓
Manually refresh the RSS feed to sync up
✓
Get a verified badge (
✓
) alongside with your podcast name on Listen Notes
✓
Post الإعلانات المبوبة for sponsorship,
guests, co-hosts,
cross-promotion...
✓
Respond to listener comments on Listen Notes
✓
Use speech-to-text techniques to transcribe your show and
edit transcripts
✓
Improve the presence of your podcasts, e.g., self-service
مقابلة مع صانع بودكاست...
✓
If you share your Listen Notes page and at-mention @ListenNotes
on X (formerly Twitter),
حسابنا الرسمي على X (المعروف سابقًا باسم Twitter) will retweet to promote
your show to our followers.
Coming soon:
◯ Self-service promotion on Listen Notes
◯ Track your podcast stats on Listen
Notes, e.g., listens, page
views...
◯ Manage episodes
تعديل
شكراً على مساعدتنا في الحفاظ على قاعدة بيانات البودكاست مُحدَّثة.
