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 DeriveFunctor #-} | |
module Main where | |
import Control.Monad.IO.Class | |
import Control.Monad.State | |
import Control.Monad.Trans.Free | |
data MyFunctor next = PrimitiveA next | PrimitiveB next deriving Functor | |
type MyFreeT m = FreeT MyFunctor m | |
type Program = MyFreeT (StateT Int IO) |
user@vm051:~/wai$ git diff | |
diff --git a/warp/Network/Wai/Handler/Warp/HTTP2/Receiver.hs b/warp/Network/Wai/Handler/Warp/HTTP2/Receiver.hs | |
index 3000baa..7bd8604 100644 | |
--- a/warp/Network/Wai/Handler/Warp/HTTP2/Receiver.hs | |
+++ b/warp/Network/Wai/Handler/Warp/HTTP2/Receiver.hs | |
@@ -165,26 +165,29 @@ frameReceiver ctx mkreq recvN = loop 0 `E.catch` sendGoaway | |
Nothing | |
| isResponse streamId -> return Nothing | |
| otherwise -> do | |
- when (ftyp `notElem` [FrameHeaders,FramePriority]) $ |
-- 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" |
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;
Compile then run
$ ghc --make -O2 suspicious.hs
$ find . -name "IMG_*" -exec './suspicious' '{}' \; > suspicious-list
Excerpt of the output in suspicious-list:
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
-- 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 |
{-# 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 |
" Vim syntax file | |
" Language: MiniZinc | |
" Maintainer: Lucas DiCioccio | |
" Latest Revision: 02 May 2020 | |
if exists("b:current_syntax") | |
finish | |
endif | |
" keywords |