Тёмный

Alchemy For the Modern Computer Scientist - Erik Meijer 

FooCafe
Подписаться 6 тыс.
Просмотров 4,9 тыс.
50% 1

In ancient times, the dream of alchemists was to mutate ordinary metals such as lead into noble metals such as gold. However, by using classic mathematics, modern physicists and chemists are much more successful in understanding and transforming matter than alchemists ever dreamt of.
Modern computer scientists on the other hand are as unsuccessful as ancient alchemists in their quest to reliably turn formal specifications into code and to accurately understand the mechanics of side-effecting computation. Whereas modern alchemists, by using classic mathematics, have been extremely successful in mutating training data into pure functions using various machine learning techniques, in particular deep learning.
This modern form of software alchemy is often referred to as "Software 2.0" and will require a radical rethinking of the ancestral software engineering and programming practices that have been been developed in the second half of the last century
In this talk we will discuss how we are building new probabilistic frameworks and differentiable programming languages that support the composition and construction of learnable code, as well as how we can leverage machine learning at every level of the stack to make developers more productive and services and products more efficient.
Erik Meijer is Director of Engineering at Facebook
_________________________
Foo Café is an independent and physical meeting place for people of all backgrounds and expertise within the IT-industry. Foo Café is aimed at those interested in sharing and learning.
Born out of the desire to create a year round conference like atmosphere, Foo Café is THE place for planned and spontaneous meetings of all sizes and interests within the IT arena.
Enjoy a coffee or a cold beer, along with light pub fare, and engage with other like minded individuals interested in sharing their knowledge and learning from one another. Foo Café is sourced by individuals, small, medium and goliath-sized enterprises, as well as entrepreneurs. Awaiting you, after stepping over the Foo Café threshold, is a space that is recruitment and product placement safe!
We look forward to igniting inspiration and creativity year round to patrons of Foo Café.

Опубликовано:

 

16 окт 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 7   
@giovannimazzocco499
@giovannimazzocco499 6 лет назад
A concise, coherent and superfun vision of CS future, combining functional programming, machine learning & probabilistic programming. This talk is pure gold.
@mati1979b
@mati1979b 6 лет назад
Thanks Erik Meijer, the talk was truly eye opening and mind blowing.
@jaiderariza1292
@jaiderariza1292 Год назад
This is a good talk, and it is not too far from today's ChatGPT as "Programming 2.0"
@gnaniswami
@gnaniswami 6 лет назад
Rockstar of functional programming
@elidrissii
@elidrissii 6 лет назад
Beautiful.
@KostiantynVesna
@KostiantynVesna 6 лет назад
minor nitpick - at 40:52, im pretty sure standard card deck has 52 cards ). if it has 54 (52 +2 jokers) then P (suite = ❤) is lower than 1/4
@pleasetakemyadvice
@pleasetakemyadvice 5 лет назад
You are right that P (suite = ❤) = 13/54 < 13/52 = 1/4 . But he is not talking about P (suite = ❤) . He is saying that P (suite = ❤ | card rank=Q) = 1/4. And this is perfectly right, even in 54 cards deck. The condition "card rank=Q" restricts the deck to only 4 cards: the queens. In this sample space the probabilty of P (suite = ❤) is 1/4.
Далее
George Wilson - The Extended Functor Family
21:57
Просмотров 16 тыс.
A Crash Course in Category Theory - Bartosz Milewski
1:15:14