In the past year, Roc has gotten a new syntax, a new foundational abstraction, and a new compiler. A lot has changed! This talk is a reintroduction to the language, including how it now compares to other functional languages as well as to popular imperative languages – which it now resembles more, despite still being fully functional!

Japanese bluegrass band "REDBULL" 's performance.

A first guide to the Lean 4 Proof Assistant.

You can try out Lean at Lean 4 Web: https://live.lean-lang.org/ (no installation required)

Learning Lean 4: https://leanprover-community.github.io/learn.html

Proof assistants are insane -

This video is the ultimate tutorial on the Lean 4 proof assistant.

By the end, we’ll be able to formalize these three big proofs:

This video was sponsored by Brilliant.

Twitter: https://twitter.com/ank_yog

00:00 Intro

Provided to YouTube by Symphonic Distribution

うずまき · Machine Girl

…Because I’m Young Arrogant and Hate Everything You Stand For

℗ 2017 Machine Girl

Released on: 2017-09-22

Writer: Matt Stephenson

Auto-generated by YouTube.

Everyone has heard of Docker, but what is a container? Is it really "a lightweight VM"? In this talk we'll dispel the magic by writing a container in about 100 lines of Go.

Liz Rice has a wealth of software development, team, and product management experience from her years working on network protocols and distributed systems as well as in digital technology sectors including VOD, music, and VoIP. When not building startups and writing code, Liz loves riding bikes in places with better weather than her native London.

Florence the lamb doesn’t like any cat on her rock anymore 😂

➥ Listen on SoundCloud: https://soundcloud.com/machichunky/chiki-chiki-ban-ban-ya-boy-kongming-op-machichunky-remix

➥ Follow Me

Clay is a UI layout library written in C, and this video gives a high level explanation of how the flexbox-like layout algorithm in Clay works.

The library can be found at https://github.com/nicbarker/clay

If you're not familiar with Clay, a detailed introductory video can be found here:

If you would like to learn a bit more about how trees are implemented, see this video:

The paper on constraint solvers: https://arxiv.org/pdf/1401.1031

Facebook's "Yoga" layout library which was mentioned: https://github.com/facebook/yoga

If you're interested, I also produce a paid programming fundamentals course at https://thesimplejoyofprogramming.com

An overview of set theoretic arithmetic, quotient sets, and the real numbers #SoMe3

For the sake of brevity pretty much all details were swept under the rug, perhaps these resources will offer starting points for curious minds:

Thank you for watching!

In this video i'm going to teach you how to do a Muscle Pass (make a coin fall upside down). SUBSCRIBE FOR MORE!!!

GEAR I USED FOR THIS VIDEO

My favorite lens Samyang 35mm f1.8: https://amzn.to/343jRGD

The mic I use Rode video mic Go: https://amzn.to/3quoH9l

FOLLOW ME ON SOCIAL MEDIA

For bookings http://www.tricksandbeats.com or email [email protected]