This video is a showcase of the 2 tools that I use all the time: bat - a cat(1) clone with syntax highlighting and Git integration and delta - a syntax-highlighting pager for git and diff output.
bat:
https://github.com/sharkdp/bat
delta:
https://github.com/dandavison/delta
My .dotfiles:
https://github.com/agilesteel/.dotfiles
Table of Contents:
00:00 Intro
02:36 bat showcase
04:11 bat as man pager
05:10 bat config & themes
07:13 bat as previewer for fzf
08:24 delta
10:29 delta one-off side-by-side
11:53 delta --help
14:19 delta config & themes
21:24 defaults
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!
#linux #cli #git
...
https://www.youtube.com/watch?v=4Ph2oQZ3NiI
In this video we will learn about higher-kinded types which resemble higher-order functions but whereas higher-order functions act on values, higher-kinded types act on types.
The code for the entire project is here:
https://github.com/DevInsideYou/homegrown-collections
The commit from this video is here:
https://github.com/DevInsideYou/homegrown-collections/commit/589cfaeec2c069a2b1e1f2f785f6d2e3ea9d0f88
The cheat sheet is here:
https://github.com/DevInsideYou/learning-resources/blob/master/Cheat%20Sheet%20-%20Higher-Kinded%20Types.scala
Good blog post about Higher-Kinded Types:
https://medium.com/bigpanda-engineering/understanding-f-in-scala-4bec5996761f
Good summary of Functional Programming vocabulary is here:
https://gist.github.com/jdegoes/97459c0045f373f4eaf126998d8f65dc#higher-kinded-types
Good blog post about F-Bounded Polymorphism:
https://tpolecat.github.io/2015/04/29/f-bounds.html
The type system paper "Girard's System F" is here:
https://people.mpi-sws.org/~skilpat/plerg/papers/harper-system-f-2up.pdf
This video is part of the following playlist:
https://www.youtube.com/playlist?list=PLJGDHERh23x-4bTASKbtwhhAuP6rYQJqE
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!
#HigherKinds #tutorial
...
https://www.youtube.com/watch?v=bCTZvAXf4MY
In this video we will see how the property based testing library ScalaCheck can be integrated into the example based library ScalaTest. Furthermore we will see how ScalaTest can be used for property based testing without ScalaCheck in the near future.
The code for the entire project is here:
https://github.com/DevInsideYou/credit-card-generator-and-validator
The commit from this video is here:
https://github.com/DevInsideYou/credit-card-generator-and-validator/commit/f897d546df68c2737219ec7b7d526dccdf0f3d59
ScalaCheck Website:
https://www.scalacheck.org/
ScalaCheck Documentation:
https://www.scalacheck.org/documentation.html
ScalaCheck UserGuide:
https://github.com/rickynils/scalacheck/blob/master/doc/UserGuide.md
ScalaCheck ScalaDoc API:
https://www.scalacheck.org/files/scalacheck_2.11-1.14.0-api/index.html
ScalaCheck-Shapeless:
https://github.com/alexarchambault/scalacheck-shapeless
ScalaTest Website:
http://www.scalatest.org/
ScalaTest UserGuide:
http://www.scalatest.org/user_guide
ScalaTest Scaladoc API:
http://www.scalatest.org/scaladoc
Writing ScalaCheck-style properties:
http://www.scalatest.org/user_guide/writing_scalacheck_style_properties
SF Scala: Bill Venners (Creator of ScalaTest), Property-based Testing in ScalaTest 3.1:
https://www.youtube.com/watch?v=lKtg-CDVDsI
This video is part of the following playlist:
https://www.youtube.com/playlist?list=PLJGDHERh23x-4bTASKbtwhhAuP6rYQJqE
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!
#tutorial
...
https://www.youtube.com/watch?v=85d9wFbI7GM
In this video you will learn from my pain of migrating from VirtualBox to WSL2. This video a step by step guide to replicate my setup.
WSL docs:
https://docs.microsoft.com/en-us/windows/wsl/
Step by step guide to replicate my setup:
https://github.com/DevInsideYou/learning-resources/blob/master/WSL.md
LIBGL_ALWAYS_INDIRECT=1 explanation:
https://unix.stackexchange.com/questions/1437/what-does-libgl-always-indirect-1-actually-do
The blog article about the GUIDs used by the Windows Terminal:
https://traviscolbert.net/blog/windows-terminal-generating-guids-for-your-profiles/
This video is part of the following playlists:
https://www.youtube.com/playlist?list=PLJGDHERh23x9_5rksXN2iHFA-8hF6YLZz
https://www.youtube.com/playlist?list=PLJGDHERh23x9DbNtd7AoGlvuuejBuxrPZ
Table of Contents
00:00 intro
00:18 checking the windows version
03:08 hypervisor discussion
04:25 installing Ubuntu 20.04 LTS
08:44 Windows Terminal
13:48 wsl --export
16:32 wsl --import
20:39 ensuring your user is the default one
22:04 ensuring you login into your home directory
25:54 ensuring you open Windows Terminal and automatically connect to a specific distribution
27:31 ensuring you see the machine name in the prompt
28:44 caching ssh keys with keychain
31:16 GUI applications and clipboard sharing
46:24 systemd and docker
48:14 shrinking the virtual hard drive
53:14 vs code
58:00 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!
#WSL #VirtualBox
...
https://www.youtube.com/watch?v=BOSDJiaU-uI
In this video we will talk about a couple of circe's external modules and integrations with the rest of the ecosystem (refined, lightbend config, fs2, http4s and Scala.js). This is part 2/2.
The code for the entire series is here:
https://github.com/DevInsideYou/circe-playground
circe website:
https://circe.github.io/circe/
Macro paradise scalac plugin for Scala v2.12.x or older:
https://docs.scala-lang.org/overviews/macros/paradise.html
refined:
https://github.com/fthomas/refined
lightbend config:
https://github.com/lightbend/config
fs2:
https://fs2.io/
http4s:
https://http4s.org/
Scala.js (note the "-" in the URL):
http://www.scala-js.org/
This video is part of the following playlists:
https://www.youtube.com/playlist?list=PLJGDHERh23x_V-xoAhs3tFhpA9TWbXmnQ
https://www.youtube.com/playlist?list=PLJGDHERh23x-6BDe6Btvr_k5Wt70_l8FI
Table of Contents:
00:00 http4s in Scala
32:00 circe in Scala.js
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=L_u7uBHpmAU
This video is about an sbt plugin that stars your dependencies on GitHub!
Get it here:
https://github.com/ocadaruma/sbt-thank-you-stars
The tweet is here:
https://twitter.com/olafurpg/status/1448707081616465923
The reddit post is here:
https://www.reddit.com/r/scala/comments/svzsjz/can_we_all_please_star_our_top_15_used_scala/
Work with me at AvantStay:
Send an email to jobs@avantstay.com and mention that I referred you. Thanks!
Job description - https://functional.works-hub.com/jobs/remote-backend-engineer-c82a6
Table of Contents:
00:00 Intro
02:42 Publishing the plugin locally
04:38 Installing the plugin
06:11 Configuring and using the plugin
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!
#sbt #GitHub
...
https://www.youtube.com/watch?v=70v9V4C4xDc