valvallow

(define memoized-Y
  (let ((cache (make-hash-table 'equal?)))
    (lambda (c)
      ((lambda (f)
         (f f))
       (lambda (g)
         (c (lambda x
              (let ((val (hash-table-get cache x #f)))
                (if val val
                    ((lambda (ret)

briancavalier

//-------------------------------------------------------------
//
// Hypothesis:
//
// Promises/A is a Monad
//
// To be a Monad, it must provide at least:
// - A unit (aka return or mreturn) operation that creates a corresponding
//   monadic value from a non-monadic value.
// - A bind operation that applies a function to a monadic value

framon

mvn -Dsurefire.useFile=false -DtrimStackTrace=false test

chewbakartik

# This is the script that is edited in the UI for Gitlab-CI
#
# $CI_BUILD_REF_NAME is provided by Gitlab-CI, it contains the branch the runner is working in.

branch=$CI_BUILD_REF_NAME

if [ $branch = "branch1" ]; then
  bash deploy/branch1.sh
fi

jroesch

using (x : Type, P : x -> Type)
    data HList : (P : x -> Type) -> List x -> Type where
        Nil : HList P []
        (::) : {head : x} -> {tail : List x} -> P head -> HList P tail -> HList P (head :: tail)

head : {h : ty} -> {t : List ty} -> {P : ty -> Type} -> HList P (h :: t) -> P h
head (h :: _) = h

tail : {h : ty} -> {t : List ty} -> {P : ty -> Type} -> HList P (h :: t) -> HList P t
tail (_ :: t) = t

jojobyte

Windows Registry Editor Version 5.00

[-HKEY_CLASSES_ROOT\Directory\Background\shell\Cmder]
[-HKEY_CLASSES_ROOT\Directory\shell\Cmder]

patrickt

A Quick and Dirty Lens primer

Why does Lens exist? Well, Haskell records suck, for a number of reasons. I will enumerate them using this sample record.

data User = User { login    :: Text
                 , password :: ByteString
                 , email    :: Text
                 , created  :: UTCTime
 }

TerrorJack

Haskell blogs worth reading

This is a (hopefully) short list of Haskell blogs I consider worth reading for intermediate Haskellers.

• FPComplete School of Haskell
  • A collection of helpful tutorials, great for any Haskeller, novice or ninja.
• The Comonad.Reader
  • Like the one above, maintained by various Haskellers, with many helpful posts.
• Edward Z. Yang
• Features a number of blog readings that are concise and accessible.

paulirish

What forces layout / reflow

All of the below properties or methods, when requested/called in JavaScript, will trigger the browser to synchronously calculate the style and layout*. This is also called reflow or layout thrashing, and is common performance bottleneck.

Generally, all APIs that synchronously provide layout metrics will trigger forced reflow / layout. Read on for additional cases and details.

Element APIs

Getting box metrics

• elem.offsetLeft, elem.offsetTop, elem.offsetWidth, elem.offsetHeight, elem.offsetParent

joshschmelzle

Ways to remap caps lock to control on Windows 10

These methods in this gist worked for me on my U.S.-based keyboard layouts. I am unsure about other layouts. If you have problems, revert your changes; delete the registry key you created (and reboot).

Update: you should probably scroll down to approach 4 where I suggest using Microsoft PowerToys Keyboard Manager.

Approach 1. Manually through regedit

Navigate to and create a new binary value in HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSet\Control\Keyboard Layout named Scancode Map.