-- Increment addresses, with increment of octet
select inet '192.168.0.1' + 256;
-- Increment addresses starting with a network
select cidr '192.168.100.128/25' + 256;
-- Get a cidr network address from shorthand
select cidr '10.1.2';
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
async { | |
use conn = new NpgsqlConnection (connectionString) | |
use cmd = conn.CreateCommand (CommandText="SELECT field1, field5 FROM some_table WHERE foo=:bar") | |
cmd.Parameters.AddWithValue ("bar", "baz) |> ignore | |
do! conn.OpenAsync () |> Async.AwaitTask // Automatically closed when disposed | |
use! reader = cmd.ExecuteReaderAsync() |> Async.AwaitTask | |
// Need a function to iterate through results | |
let rec readData results = async { | |
let! hasRecord = reader.ReadAsync () |> Async.AwaitTask | |
match hasRecord with |
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 | |
sudo apt-get clean # removes cached packages | |
sudo apt autoremove --purge # removes old kernels |
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
// Works from .NET Core (netcoreapp2.0), just add nuget package FSharp.Compiler.Service | |
open System | |
open System.IO | |
open Microsoft.FSharp.Compiler.SourceCodeServices | |
let nugetPath = Path.Combine(Environment.GetFolderPath(Environment.SpecialFolder.Personal), ".nuget") | |
let systemRuntimePath = Path.Combine(nugetPath, "packages/System.Runtime/4.3.0/ref/netstandard1.5/System.Runtime.dll") | |
[<EntryPoint>] |
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
# Sets up a development environment for Ubuntu 16.04. | |
sudo apt-get install -y curl | |
# Microsoft source | |
curl https://packages.microsoft.com/keys/microsoft.asc | gpg --dearmor > microsoft.gpg | |
sudo mv microsoft.gpg /etc/apt/trusted.gpg.d/microsoft.gpg | |
sudo sh -c 'echo "deb [arch=amd64] https://packages.microsoft.com/repos/microsoft-ubuntu-xenial-prod xenial main" > /etc/apt/sources.list.d/dotnetdev.list' | |
sudo sh -c 'echo "deb [arch=amd64] https://packages.microsoft.com/repos/vscode stable main" > /etc/apt/sources.list.d/vscode.list' |
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
type TraceLogger(name, minLevel) = | |
let logWithAck level fac = | |
if level < minLevel then async.Return () else | |
async { | |
let m = fac level | |
match m.value, level with | |
| Event event, _ when level >= LogLevel.Error -> | |
System.Diagnostics.Trace.TraceError(event, [||]) | |
| Event event, _ when level = LogLevel.Warn -> |
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
Paket version 5.156.7 | |
found: /src/suaveapp/paket.dependencies | |
Parsing /src/suaveapp/paket.dependencies | |
Resolving packages for group Main: | |
0 packages in resolution. | |
1 requirements left | |
- Suave, 2.2.1 (from /src/suaveapp/paket.dependencies) | |
Trying to resolve Suave 2.2.1 (from /src/suaveapp/paket.dependencies) | |
Performance: |
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
apt-get update && apt-get install -y gcc | |
mkbundle --simple --machine-config /etc/mono/4.5/machine.config --config /etc/mono/config -L /usr/lib/mono/4.5 --library /usr/lib/libmono-btls-shared.so -o paket paket.exe |
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
$ brew install nsd | |
==> Installing dependencies for nsd: openssl, libevent | |
==> Installing nsd dependency: openssl | |
==> Downloading https://homebrew.bintray.com/bottles/openssl-1.0.2o_1.high_sierr | |
######################################################################## 100.0% | |
==> Pouring openssl-1.0.2o_1.high_sierra.bottle.tar.gz | |
==> Caveats | |
A CA file has been bootstrapped using certificates from the SystemRoots | |
keychain. To add additional certificates (e.g. the certificates added in | |
the System keychain), place .pem files in |
?- S = "the|little|brown|fox|lost|its|way", split_string(S,"|","",Strings), maplist(string_length,Strings,Lengths), list_to_set(Lengths,Set).
S = "the|little|brown|fox|lost|its|way",
Strings = ["the", "little", "brown", "fox", "lost", "its", "way"],
Lengths = [3, 6, 5, 3, 4, 3, 3],
Set = [3, 6, 5, 4].