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 |
View URIDecoding.hs
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) |
View get_highlighted_text.html
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> |
View server-sent-events.html
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}} |
View server-sent-events.hs
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 |
View histograms-vega.json
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}, |
View scatterplot-over-heatmap-vega.json
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"}, |
View records-to-lists.hs
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 : |
View comonad-graph.md
View existential-constraint.hs
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, |
View gist:56bb62e139321a204df2
- General Background and Overview
- Probabilistic Data Structures for Web Analytics and Data Mining : A great overview of the space of probabilistic data structures and how they are used in approximation algorithm implementation.
- Models and Issues in Data Stream Systems
- Philippe Flajolet’s contribution to streaming algorithms : A presentation by Jérémie Lumbroso that visits some of the hostorical perspectives and how it all began with Flajolet
- Approximate Frequency Counts over Data Streams by Gurmeet Singh Manku & Rajeev Motwani : One of the early papers on the subject.
- [Methods for Finding Frequent Items in Data Streams](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.187.9800&rep
NewerOlder