VictorTaelin

// A nano dependent type-checker featuring inductive types via self encodings.
// All computation rules are justified by interaction combinator semantics,
// resulting in major simplifications and improvements over old Kind-Core.
// Specifically, computable annotations (ANNs) and their counterpart (ANN
// binders) and a new self encoding based on equality (rather than dependent
// motives) greatly reduce code size. A more complete file, including
// superpositions (for optimal unification) is available on the
// Interaction-Type-Theory repository.
// Credits also to Franchu and T6 for insights.

dustingetz

References — Electric Clojure

Electric Clojure implements a form of arrowized continuous time dataflow programming with extensions for network-transparent function composition.

• The Haskell School of Music: From Signals to Symphonies (2018) — best starting point and also a great intro to Haskell.
• The Essence of Dataflow Programming (2006) great category theory overview of dataflow programming; missing Applicative (2008), Free monad and Cofree comonad
• Push-pull functional reactive programming, Elliot (2009)
• Breaking down FRP, Jane Street (2014) — good concise comparision of many FRP aspects; missing discussion of discrete vs continuous
• [Compiling to Categories, Elliott (2017)](http

kiliman

💡 HOWTO: Debug your server-side Remix code using VSCode

✨ New in Remix v1.3.5

The latest release of Remix fixes sourcemaps so you no longer need to use any hacks to set breakpoints in your route modules. Simply start the debugger and Remix will hit the breakpoint in your loaders and actions.

Debugging session even survives edits and Live Reload.

donchev7

import { OPENSSL_VERSION_NUMBER } from 'constants'
import crypto from 'crypto'
import * as env from 'env-var'

const ivSize = 16
const algorithm = 'aes256'

// Check for Heartbleed vulnerabilities
if (OPENSSL_VERSION_NUMBER <= 268443727) {
  throw new Error('OpenSSL Version too old')

holyjak

Unsorted notes on Fulcro RAD.

Reports

Displaying to-one :ref attributes

Tony advises:

There are two primary ways to do this. If it is a true to one relationship, then you can simply make a resolver from person ID to address ID in pathom and then you can just include address things as columns. The other option, which works for any cardinality, is to use the report option ro/column-EQL and write a join that pulls the information you want to format in the column, and then supply a column formatter to do the formatting of the nested data.

melaniehoff

Always Already Programming

Everyone who interacts with computers has in important ways always already been programming them.

Every time you make a folder or rename a file on your computer, the actions you take through moving your mouse and clicking on buttons, translate into text-based commands or scripts which eventually translate into binary.

Why are the common conceptions of programmer and user so divorced from each other? The distinction between programmer and user is reinforced and maintained by a tech industry that benefits from a population rendered computationally passive. If we accept and adopt the role of less agency, we then make it harder for ourselves to come into more agency.

We've unpacked the "user" a little, now let's look at the "programmer." When a programmer is writing javascript, they are using prewritten, packaged functions and variables in order to carry out the actions they want their code to do. In this way, the programmer is also the user. Why is using pre-made scripts seen

Peaches491

#! /usr/bin/env python2

import sys
import termios
import tty

stdin_fd = sys.stdin.fileno()
old = termios.tcgetattr(stdin_fd)
try:
    tty.setcbreak(sys.stdin)

LnL7

self: super:

{
  # Install overlay:
  # $ mkdir -p ~/.config/nixpkgs/overlays
  # $ curl https://gist.githubusercontent.com/LnL7/570349866bb69467d0caf5cb175faa74/raw/3f3d53fe8e8713ee321ee894ecf76edbcb0b3711/lnl-overlay.nix -o ~/.config/nixpkgs/overlays/lnl.nix
  userPackages = super.userPackages or {} // {

    # Example:
    hello = self.hello;

ipbastola

JQ to filter JSON by value

Syntax: cat <filename> | jq -c '.[] | select( .<key> | contains("<value>"))'

Example: To get json record having _id equal 611

cat my.json | jq -c '.[] | select( ._id | contains(611))'

Remember: if JSON value has no double quotes (eg. for numeric) to do not supply in filter i.e. in contains(611)

evelynharthbrooke

Overview of all chromium:// pages.

This list may be out of date, for completely up-to-date information please refer to your browser's dedicated internal URL listing.

This list contains internal URL listings for Google Chrome and Microsoft Edge (Chromium), the current most popular browsers based on the Chromium browser project.

List of Chrome URLs

chrome://about
chrome://accessibility
chrome://appcache-internals