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
<Project Sdk="Microsoft.NET.Sdk"> | |
<PropertyGroup> | |
<OutputType>Exe</OutputType> | |
<TargetFramework>net5.0</TargetFramework> | |
<WarnOn>3390;$(WarnOn)</WarnOn> | |
</PropertyGroup> | |
<ItemGroup> | |
<Compile Include="Program.fs" /> |
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
#!fsharp | |
#r "nuget:Dash.NET.Interactive,0.2.0-alpha.4" | |
#!fsharp | |
#r "nuget: FSharp.Data" | |
open FSharp.Data | |
let [<Literal>] Csv = "https://raw.githubusercontent.com/plotly/datasets/master/iris-id.csv" | |
type CsvData = CsvProvider<Csv> |
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
#!fsharp | |
#r "nuget:Dash.NET.Interactive,0.2.0-alpha.4" | |
#!fsharp | |
open System.Net | |
// Download Iris dataset | |
let webClient = new WebClient() |
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
#!fsharp | |
#r "nuget:Dash.NET.Interactive,0.2.0-alpha.3" | |
#!fsharp | |
open System.Net | |
// Download Iris dataset | |
let webClient = new WebClient() |
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
### Keybase proof | |
I hereby claim: | |
* I am ademar on github. | |
* I am ademar (https://keybase.io/ademar) on keybase. | |
* I have a public key whose fingerprint is 1EBA 8095 9E88 913B 7D5C ADC3 5882 6291 9525 EFE7 | |
To claim this, I am signing this object: |
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
// Units of measure | |
[<Measure>] type USD | |
[<Measure>] type BTC | |
[<Measure>] type sec | |
[<Measure>] type hour | |
[<Measure>] type H | |
[<Measure>] type GH | |
[<Measure>] type Watt | |
[<Measure>] type KW |
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
Verifying that "ademar.id" is my Blockstack ID. https://onename.com/ademar |
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 python | |
# Wikipedia: https://en.wikipedia.org/wiki/Metcalfe%27s_law | |
import numpy as np | |
from matplotlib import pyplot as plt | |
import urllib | |
def g(u): | |
return urllib.urlopen(u).readlines() |
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
open Logary | |
open Logary.Configuration | |
open Logary.Targets | |
open Hopac | |
let logstashConf = Logstash.LogstashConf.create("tcp://127.0.0.1:1939") | |
let pointName = PointName.ofSingle "logstash" | |
let logary = |
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
let redirectToSsl : WebPart = | |
context(fun c -> | |
if not c.runtime.matchedBinding.scheme.secure | |
then | |
let uriBuilder = new UriBuilder(c.request.url) | |
uriBuilder.Scheme <- Uri.UriSchemeHttps | |
Redirection.redirect (uriBuilder.Uri.ToString()) | |
else never) |
NewerOlder