This work is released under a Creative Commons Attribution-NoDerivatives 4.0 International License.
"OpenPGP" refers to the OpenPGP protocol, in much the same way that HTML refers to the protocol that specifies how to write a web page. "GnuPG", "SequoiaPGP", "OpenPGP.js", and others are implementations of the OpenPGP protocol in the same way that Mozilla Firefox, Google Chromium, and Microsoft Edge refer to software packages that process HTML data.
| {-# LANGUAGE GHC2021, LambdaCase, PatternSynonyms, RecordWildCards, | |
| ViewPatterns, OverloadedStrings, GADTs, NoMonoLocalBinds, | |
| UnboxedTuples, MagicHash #-} | |
| {-# OPTIONS_GHC -O2 -fspec-constr-count=100 -fllvm #-} | |
| -- need at least 8 to completely remove all allocations | |
| -- (I don't know what change lead to it) | |
| {-# OPTIONS_GHC -Wall -Wno-gadt-mono-local-binds -Wno-type-defaults #-} |
| {-# LANGUAGE TypeSynonymInstances #-} | |
| data Dual d = D Float d deriving Show | |
| type Float' = Float | |
| diff :: (Dual Float' -> Dual Float') -> Float -> Float' | |
| diff f x = y' | |
| where D y y' = f (D x 1) | |
| class VectorSpace v where | |
| zero :: v |
| {-# LANGUAGE ForeignFunctionInterface #-} | |
| module Adder where | |
| import Foreign.C | |
| adder :: CInt -> CInt -> IO CInt | |
| adder x y = return $ x + y | |
| foreign export ccall adder :: CInt -> CInt -> IO CInt |
| davs://poliveira@some.webserver.pt/webdav/someFolder |
| #!/usr/bin/awk -f | |
| BEGIN { | |
| while (1) { | |
| split(exec_line_match("ip addr show dev eth0", " inet "), ip_a_parts, " ") | |
| split(ip_a_parts[2], ip_value_parts, "/") | |
| split(ip_value_parts[1], ip_parts, ".") | |
| reset(); |
| #!/bin/sh | |
| if test -f .merlin; then | |
| echo ".merlin already exists, bailing out ..." >&2 | |
| exit 1 | |
| else | |
| # You could add your default EXT's and such to this list: |
| Question Real Guess Correct? RelErr Digits | |
| What is 18857 - 592? 18265 18265 Yes 0.0% 5/5 | |
| What is 30752 - 3087? 27665 27365 No 1.1% 4/5 | |
| What is 2241 + 19873? 22114 22114 Yes 0.0% 5/5 | |
| What is 5412 + 10169? 15581 15581 Yes 0.0% 5/5 | |
| What is 11831 - 9178? 2653 3153 No 18.8% 2/4 | |
| What is 1701 * 19933? 33906033 33953373 No 0.1% 4/8 | |
| What is 11648 + 17851? 29499 30509 No 3.4% 1/5 | |
| What is 29253 - 6202? 23051 22151 No 3.9% 3/5 | |
| What is 27365 + 24989? 52354 53554 No 2.3% 3/5 |
| #!/bin/bash | |
| mkdir /tmp/curl-ca-bundle | |
| cd /tmp/curl-ca-bundle | |
| wget http://curl.haxx.se/download/curl-7.22.0.tar.bz2 | |
| tar xzf curl-7.22.0.tar.bz2 | |
| cd curl-7.22.0/lib/ | |
| ./mk-ca-bundle.pl | |
| if [ ! -d /usr/share/curl/ ]; then | |
| sudo mkdir -p /usr/share/curl/ | |
| else |
| ## derived from http://stackoverflow.com/questions/994563/integrate-readlines-kill-ring-and-the-x11-clipboard | |
| ## You need to choose which clipboard to integrate with, OS X or X11: | |
| shell_copy() { | |
| pbcopy # OS X | |
| # or ssh user@remote_mac pbcopy | |
| # or xclip | |
| } | |
| shell_yank() { |
