layout | title | date | comments | author | categories | commentIssueId |
---|---|---|---|---|---|---|
post |
A comonad of graph decompositions |
2016-04-02 13:02:54 -0400 |
true |
Rúnar |
scala comonads |
22 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
apt update | |
apt -y install build-essential # install GCC | |
apt -y install --reinstall software-properties-common # enable add-apt-repository | |
apt-get -y install lshw | |
apt-get clean | |
export DISTRO_UBUNTU=ubuntu2204/x86_64 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import Data.Bits ((.|.),(.&.),shiftL) | |
import Data.Char (chr, isHexDigit, digitToInt) | |
import Data.Text (Text, pack, unpack) | |
{- | |
sources : | |
uri-encode (https://hackage.haskell.org/package/uri-encode-1.5.0.7/docs/src/Network.URI.Encode.html#decodeText) | |
network-uri (https://hackage.haskell.org/package/network-uri-2.6.4.2/docs/src/Network.URI.html#unEscapeString) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!DOCTYPE html> | |
<html> | |
<body> | |
Select some text below and then click the button:<br/> | |
<textarea id="myText" rows="5" cols="60" onselect="alert(getTextSelection())"> | |
Lorem ipsum dolor sit amet, | |
consectetur adipiscing elit. | |
</textarea> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!DOCTYPE html> | |
<html> | |
<head> | |
{{>head}} | |
{{#user}} | |
<title>Back {{name}} checkout | satsbacker</title> | |
{{/user}} | |
</head> | |
<body> | |
{{>header}} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE RecordWildCards #-} | |
{-# LANGUAGE OverloadedStrings #-} | |
{-# LANGUAGE ScopedTypeVariables #-} | |
{-# LANGUAGE BangPatterns #-} | |
module Invoicing | |
( invoiceRoutes | |
, newInvoice | |
, waitInvoices | |
) where |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"$schema": "https://vega.github.io/schema/vega/v5.json", | |
"width": 200, | |
"height": 200, | |
"padding": 5, | |
"data": [ | |
{ | |
"name": "d1", | |
"values": [ | |
{"a": 0, "c": "2.5", "z": 0}, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"$schema": "https://vega.github.io/schema/vega/v5.json", | |
"width": 200, | |
"height": 200, | |
"padding": 5, | |
"data": [ | |
{ | |
"name": "d1", | |
"values": [ | |
{"a": 0, "b": 0, "c": "36.5"}, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import qualified GHC.Generics as G | |
-- | generics-sop | |
import Generics.SOP | |
import Generics.SOP.NP (collapse_NP) | |
-- | Python in Haskell yay! | |
-- | |
-- Example : |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env stack | |
-- stack --resolver=lts-6.0 runghc --package constraints --package mtl --package lens --package text --package time | |
{-# LANGUAGE KindSignatures #-} | |
{-# LANGUAGE TypeFamilies #-} | |
{-# LANGUAGE GADTs #-} | |
{-# LANGUAGE DataKinds #-} | |
{-# LANGUAGE FunctionalDependencies #-} | |
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, ConstraintKinds, UndecidableInstances, ScopedTypeVariables, InstanceSigs, OverloadedStrings, TemplateHaskell #-} | |
-- This is short gist about problem I run today into, |
NewerOlder