dicioccio lucas lucasdicioccio

convert a screencast

If you record screen with (ctrl+shift+alt+R) in Ubuntu, you'll get a webm file, GitHub wants mp4. So you need to convert from webm to mp4.

The ffmpeg command allows such a conversion. Ubuntu's file navigator allows to have some right-click scripts shortcuts.

To be dropped and chmod +x in something like ~/.local/share/nautilus/scripts/ffmpeg convert to mp4

Compile then run

$ ghc --make -O2 suspicious.hs
$ find . -name "IMG_*" -exec './suspicious' '{}' \; > suspicious-list

Excerpt of the output in suspicious-list:

https://postgrest-table.netlify.app/ turns you PostgREST endpoint in some default view to discover and browse tables.

The bookmarklet to save is:

javascript:location.href='https://postgrest-table.netlify.app?postgrest='+document.location.href;

	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE KindSignatures #-}

	-- \| Simple type families for limiting things to some given roles.
	module TF where

	-- \| Lookup for a value in a list.
	type family Find x ys where

	-- using https://hackage.haskell.org/package/validation-1.1.2/docs/Data-Validation.html#t:Validate to bundle multiple "asserts" in a same "check"

	module Main where

	import Control.Lens
	import Prelude
	import Data.Validation

	type Message = String


	-- An alternative GildedRose using an immutable approach.
	-- Context on the GildedRose:
	-- * http://blog.lunarlogic.io/2015/what-ive-learned-by-doing-the-gilded-rose-kata-4-refactoring-tips/
	-- * my comment in the linked blog post
	-- One could take this GildedTulip approach and encapsulate a similar "immutable API"
	-- to re-create the "mutable API" of the GildedRose.
	--
	-- This example is written in Haskell. This example uses three notable features (available in other languages):
	-- - pattern matching: a way to hide a lot of "if"