Published By
Created On
16 Feb 2020 18:30:18 UTC
Transaction ID
Cost
Safe for Work
Free
Yes
Data Juggling - Part 5 - Curry-Howard-Lambek Correspondence
This video is an overview of the famous isomorphism between mathematical proofs, computer programs and category theory.
Constraints Liberate, Liberties Constrain — Runar Bjarnason
https://www.youtube.com/watch?v=GqmsQeSzMdw
Three Paradigms by Robert C. Martin (Uncle Bob)
https://blog.cleancoder.com/uncle-bob/2012/12/19/Three-Paradigms.html
Programming with Categories:
https://www.youtube.com/playlist?list=PLhgq-BqyZ7i7MTGhUROZy3BOICnVixETS
Category Theory by Bartosz Milewski (this was the #4 that I accidentally skipped towards the end of the video)
https://www.youtube.com/watch?v=I8LbkfSSR58&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_
This video is part of the following playlist:
https://www.youtube.com/playlist?list=PLJGDHERh23x9Wzcbc7j9ZDl03tKQF5QDN
Table of Contents
00:02:14 Definition
00:05:42 Types as sets of values
00:12:34 Sum Types
00:29:12 Products
00:33:46 Algebraic Data Types (ADTs)
00:36:45 Exponentials
00:41:23 Equational reasoning
00:51:37 Parametric reasoning (Theorems for free)
00:58:18 Practical example
01:09:07 Summary
Website: https://devinsideyou.com
Patreon: https://patreon.devinsideyou.com
Discord: https://discord.devinsideyou.com
Twitter: https://twitter.devinsideyou.com
Github: https://github.devinsideyou.com
Install scripts: https://install.devinsideyou.com
Giter8 templates: https://g8.devinsideyou.com
Spotify concentration playlist: https://code.radio.devinsideyou.com
Cheers and Happy Coding!
#Scala #tutorial
...
https://www.youtube.com/watch?v=8l8ZCWgyFrw
Constraints Liberate, Liberties Constrain — Runar Bjarnason
https://www.youtube.com/watch?v=GqmsQeSzMdw
Three Paradigms by Robert C. Martin (Uncle Bob)
https://blog.cleancoder.com/uncle-bob/2012/12/19/Three-Paradigms.html
Programming with Categories:
https://www.youtube.com/playlist?list=PLhgq-BqyZ7i7MTGhUROZy3BOICnVixETS
Category Theory by Bartosz Milewski (this was the #4 that I accidentally skipped towards the end of the video)
https://www.youtube.com/watch?v=I8LbkfSSR58&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_
This video is part of the following playlist:
https://www.youtube.com/playlist?list=PLJGDHERh23x9Wzcbc7j9ZDl03tKQF5QDN
Table of Contents
00:02:14 Definition
00:05:42 Types as sets of values
00:12:34 Sum Types
00:29:12 Products
00:33:46 Algebraic Data Types (ADTs)
00:36:45 Exponentials
00:41:23 Equational reasoning
00:51:37 Parametric reasoning (Theorems for free)
00:58:18 Practical example
01:09:07 Summary
Website: https://devinsideyou.com
Patreon: https://patreon.devinsideyou.com
Discord: https://discord.devinsideyou.com
Twitter: https://twitter.devinsideyou.com
Github: https://github.devinsideyou.com
Install scripts: https://install.devinsideyou.com
Giter8 templates: https://g8.devinsideyou.com
Spotify concentration playlist: https://code.radio.devinsideyou.com
Cheers and Happy Coding!
#Scala #tutorial
...
https://www.youtube.com/watch?v=8l8ZCWgyFrw
Author
Content Type
Unspecified
video/mp4
Language
English
More from the publisher
Controlling
VIDEO
UNCLU
unclutter-your-profile-with-direnv
In this video we will learn about an awesome little tool called "direnv" which allows you to load and unload environment variables based on your working directory.
direnv website:
https://direnv.net/
direnv wiki:
https://github.com/direnv/direnv/wiki/
Popular global.gitignore file:
https://gist.github.com/octocat/9257657
This video is part of the following playlists:
https://www.youtube.com/playlist?list=PLJGDHERh23x9DbNtd7AoGlvuuejBuxrPZ
https://www.youtube.com/playlist?list=PLJGDHERh23x9Wzcbc7j9ZDl03tKQF5QDN
Table of Contents
00:45 Environment variables crash course
06:35 direnv setup
18:28 direnv tutorial
21:31 direnv stdlib dotenv
Website: https://devinsideyou.com
Patreon: https://patreon.devinsideyou.com
Discord: https://discord.devinsideyou.com
Twitter: https://twitter.devinsideyou.com
Github: https://github.devinsideyou.com
LBRY: https://lbry.devinsideyou.com
Install scripts: https://install.devinsideyou.com
Giter8 templates: https://g8.devinsideyou.com
Spotify concentration playlist: https://code.radio.devinsideyou.com
Cheers and Happy Coding!
#tutorial
...
https://www.youtube.com/watch?v=YkxoGRpHcVQ
Transaction
Created
1 month ago
Content Type
Language
video/mp4
English
Controlling
VIDEO
#COUR
coursier-crash-course
In this video we will learn about Coursier - a pure Scala artifact fetcher that became a full blown package manager and a one stop shop for all your Scala environment needs.
Coursier:
https://get-coursier.io
Coursier installation page:
https://get-coursier.io/docs/cli-installation
My .zshrc:
https://github.com/agilesteel/.dotfiles/blob/master/stow/zsh/.zshrc
Single command Scala setup blog article by Alex Archambault (Coursier creator):
https://alexarchambault.github.io/posts/2020-09-21-cs-setup.html
This video is part of the following playlists:
https://www.youtube.com/playlist?list=PLJGDHERh23x_2WBgK-_QP_WAlfP_9ZMTq
https://www.youtube.com/playlist?list=PLJGDHERh23x9DbNtd7AoGlvuuejBuxrPZ
Table of Contents
00:00 intro
02:00 installation
06:34 cs install
09:27 cs java
19:59 cs launch
22:23 cs bootstrap
25:30 cs resolve
27:00 cs fetch
29:42 cs setup
33:05 the secret sauce
38:51 conclusion
Website: https://devinsideyou.com
Patreon: https://patreon.devinsideyou.com
Discord: https://discord.devinsideyou.com
Twitter: https://twitter.devinsideyou.com
Github: https://github.devinsideyou.com
LBRY: https://lbry.devinsideyou.com
Install scripts: https://install.devinsideyou.com
Giter8 templates: https://g8.devinsideyou.com
Spotify concentration playlist: https://code.radio.devinsideyou.com
Cheers and Happy Coding!
#Scala #tutorial
...
https://www.youtube.com/watch?v=GPOVWEfYFlA
Transaction
Created
1 month ago
Content Type
Language
video/mp4
English
Controlling
VIDEO
SBT-R
sbt-revolver
sbt-revolver is a plugin for SBT enabling a super-fast development turnaround for your Scala applications.
sbt-revolver:
https://github.com/spray/sbt-revolver
Website: https://devinsideyou.com
Patreon: https://patreon.devinsideyou.com
Discord: https://discord.devinsideyou.com
Telegram: https://telegram.devinsideyou.com
Twitter: https://twitter.devinsideyou.com
GitHub: https://github.devinsideyou.com
LBRY: https://lbry.devinsideyou.com
Install scripts: https://install.devinsideyou.com
Giter8 templates: https://g8.devinsideyou.com
Spotify concentration playlist: https://code.radio.devinsideyou.com
Cheers and Happy Coding!
#shorts #SBT #scala
...
https://www.youtube.com/watch?v=lxHcgrIY8Fk
Transaction
Created
4 weeks ago
Content Type
Language
video/mp4
English
Controlling
VIDEO
THE S
the-secret-vs-code-hack-for-indentation
It was harder than necessary to set up indentation guides in VS Code exactly how I wanted, but I found a way and it's not the intentional one! This video is especially useful for Scala 3.3.x that is about to come out.
Watch my videos before everyone else! https://www.youtube.com/channel/UCSBUwLT9zXhUalKfJrc2q2A/join
Make sure to check out the links from our sponsors:
Scala Jobs: https://scalajobs.com
Rust Jobs: https://rustjobs.dev
The VS Code profile is here: https://code-profile.devinsideyou.com
VS Code doesn't follow redirects though so make sure to resolve it first.
The vim-indent-object plugin is here: https://github.com/michaeljsmith/vim-indent-object
00:00 Intro
02:57 vim-indent-object plugin
03:33 Demo
06:00 How to Configure Only Active Indentation in VS Code
Website: https://devinsideyou.com
Patreon: https://patreon.devinsideyou.com
Discord: https://discord.devinsideyou.com
Telegram: https://telegram.devinsideyou.com
Twitter: https://twitter.devinsideyou.com
GitHub: https://github.devinsideyou.com
LBRY: https://lbry.devinsideyou.com
Install scripts: https://install.devinsideyou.com
Giter8 templates: https://g8.devinsideyou.com
Spotify concentration playlist: https://code.radio.devinsideyou.com
Cheers and Happy Coding!
#VSCode #SignificantIndentation #IndentationGuides
...
https://www.youtube.com/watch?v=YO_hIUAxS60
Transaction
Created
4 weeks ago
Content Type
Language
video/mp4
English
Controlling
VIDEO
HOW T
how-to-render-dependency-graphs-for
This is the code to copy paste:
bloop projects --dot-graph | sed "/-test/d" | sed "/root-project/d" | dot -Tsvg -o dg.svg -Grankdir=BT
Website: https://devinsideyou.com
Patreon: https://patreon.devinsideyou.com
Discord: https://discord.devinsideyou.com
Telegram: https://telegram.devinsideyou.com
Twitter: https://twitter.devinsideyou.com
GitHub: https://github.devinsideyou.com
LBRY: https://lbry.devinsideyou.com
Install scripts: https://install.devinsideyou.com
Giter8 templates: https://g8.devinsideyou.com
Spotify concentration playlist: https://code.radio.devinsideyou.com
Cheers and Happy Coding!
#shorts #scala #bloop
...
https://www.youtube.com/watch?v=eVYSwWU1yXw
Transaction
Created
4 weeks ago
Content Type
Language
video/mp4
English
Controlling
VIDEO
CONVE
conventional-changelog-git-tutorial-for
In this video we will continue setting up a few tools to generate changelogs, automatically commit them and tag those commits. We will also learn how to automate version bump files.
Semantiv versioning:
https://semver.org
Haskell Package Versioning Policy
https://pvp.haskell.org/
Convention Commits website:
https://www.conventionalcommits.org
Cheat Sheet:
https://github.com/DevInsideYou/learning-resources/blob/master/Conventional.md
Commitlint CLI:
https://github.com/conventional-changelog/commitlint
Commitizen CLI:
https://commitizen.github.io/cz-cli
Commitizen Emoji Adapter:
https://github.com/ngryman/cz-emoji
Gitmoji:
https://gitmoji.dev/
Husky (synchronizing hooks between teammates):
https://github.com/typicode/husky/tree/master
The Commitizen VS Code extension:
https://marketplace.visualstudio.com/items?itemName=KnisterPeter.vscode-commitizen
Conventional Changelog CLI:
https://github.com/conventional-changelog/conventional-changelog/tree/master/packages/conventional-changelog-cli
Standard Version CLI:
https://github.com/conventional-changelog/standard-version
The free "Pro Git" book:
https://git-scm.com/book
My .dotfiles:
https://github.com/agilesteel/.dotfiles/blob/master/stow/git/.gitconfig
https://github.com/agilesteel/.dotfiles/blob/master/stow/bash/.bash_aliases
This video is part of the following playlist:
https://www.youtube.com/playlist?list=PLJGDHERh23x9DbNtd7AoGlvuuejBuxrPZ
Table of Contents:
00:00 git hooks
06:15 conventional changelogs (standard-version)
11:37 automatically bump custom files (with the version)
20:37 conclusion
Website: https://devinsideyou.com
Patreon: https://patreon.devinsideyou.com
Discord: https://discord.devinsideyou.com
Telegram: https://telegram.devinsideyou.com
Twitter: https://twitter.devinsideyou.com
GitHub: https://github.devinsideyou.com
LBRY: https://lbry.devinsideyou.com
Install scripts: https://install.devinsideyou.com
Giter8 templates: https://g8.devinsideyou.com
Spotify concentration playlist: https://code.radio.devinsideyou.com
Cheers and Happy Coding!
#SCM #VCS
...
https://www.youtube.com/watch?v=130zzOgSMiM
Transaction
Created
1 month ago
Content Type
Language
video/mp4
English
Controlling
VIDEO
SETTI
setting-up-ubuntu-16-04-in-oracle-vm-3
In this video we will create a cheat sheet, so that you can always look up basic unix/linux/ubuntu commands. We are going to talk about the terminal itself, how to navigate the directory tree, execute/run applications, the vim text editor, ownership and permissions and there will be a tiny surprise in the end.
The cheat sheet is available here:
https://github.com/DevInsideYou/learning-resources/blob/master/Ubuntu%20Cheat%20Sheet.txt
This video is part of the following playlist:
https://www.youtube.com/playlist?list=PLJGDHERh23x9DbNtd7AoGlvuuejBuxrPZ
Website: https://devinsideyou.com
Patreon: https://patreon.devinsideyou.com
Discord: https://discord.devinsideyou.com
Twitter: https://twitter.devinsideyou.com
Github: https://github.devinsideyou.com
Install scripts: https://install.devinsideyou.com
Giter8 templates: https://g8.devinsideyou.com
Spotify concentration playlist: https://code.radio.devinsideyou.com
Cheers and Happy Coding!
#Ubuntu #VM #tutorial
...
https://www.youtube.com/watch?v=tgNhF_PxBSU
Transaction
Created
1 month ago
Content Type
Language
video/mp4
English
Controlling
VIDEO
INSOM
insomnia-trick-you-really-should-know!
Website: https://devinsideyou.com
Patreon: https://patreon.devinsideyou.com
Discord: https://discord.devinsideyou.com
Telegram: https://telegram.devinsideyou.com
Twitter: https://twitter.devinsideyou.com
GitHub: https://github.devinsideyou.com
LBRY: https://lbry.devinsideyou.com
Install scripts: https://install.devinsideyou.com
Giter8 templates: https://g8.devinsideyou.com
Spotify concentration playlist: https://code.radio.devinsideyou.com
Cheers and Happy Coding!
#insomnia #chrome #curl
...
https://www.youtube.com/watch?v=mBooXxsUUR0
Transaction
Created
4 weeks ago
Content Type
Language
video/mp4
English
Controlling
VIDEO
WHY I
why-i-keep-choosing-scala-after-12-years
Website: https://devinsideyou.com
Patreon: https://patreon.devinsideyou.com
Discord: https://discord.devinsideyou.com
Telegram: https://telegram.devinsideyou.com
Twitter: https://twitter.devinsideyou.com
GitHub: https://github.devinsideyou.com
LBRY: https://lbry.devinsideyou.com
Install scripts: https://install.devinsideyou.com
Giter8 templates: https://g8.devinsideyou.com
Spotify concentration playlist: https://code.radio.devinsideyou.com
Cheers and Happy Coding!
#scala #programming #coding
...
https://www.youtube.com/watch?v=I7geSMwXJRU
Transaction
Created
4 weeks ago
Content Type
Language
video/mp4
English