Lauren Yim cherryblossom000

This document contains some ideas for additions to the Nix language.

Motivation

The Nix package manager, Nixpkgs and NixOS currently have several problems:

Poor discoverability of package options. Package functions have function arguments like enableFoo, but there is no way for the Nix UI to discover them, let alone to provide programmatic ways to

Falsehoods programmers believe about time

This is a compiled list of falsehoods programmers tend to believe about working with time.

Don't re-invent a date time library yourself. If you think you understand everything about time, you're probably doing it wrong.

Falsehoods

There are always 24 hours in a day.
February is always 28 days long.
Any 24-hour period will always begin and end in the same day (or week, or month).

Type Asset:

  {
    "id": 123123123123,
    "name": "asset_key",
    "type": 1
  }

ID: The ID of the asset

Exporting your 2FA tokens from Authy to transfer them into another 2FA application

IMPORTANT - Update regarding deprecation of Authy desktop apps

Past August 2024, Authy stopped supported the desktop version of their apps:
See Authy is shutting down its desktop app | The 2FA app Authy will only be available on Android and iOS starting in August for details.

And indeed, after a while, Authy changed something in their backend which now prevents the old desktop app from logging in. If you are already logged in, then you are in luck, and you can follow the instructions below to export your tokens.

If you are not logged in anymore, but can find a backup of the necessary files, then restore those files, and re-install Authy 2.2.3 following the instructions below, and it should work as expected.

Achieving warp speed with Rust

type StringBool = "true"|"false";


interface AnyNumber { prev?: any, isZero: StringBool };
interface PositiveNumber { prev: any, isZero: "false" };

type IsZero<TNumber extends AnyNumber> = TNumber["isZero"];
type Next<TNumber extends AnyNumber> = { prev: TNumber, isZero: "false" };
type Prev<TNumber extends PositiveNumber> = TNumber["prev"];

Technical overview

A basic `Option` type

// Option.ts

// definition
export class None {
  readonly tag: 'None' = 'None'

	#!/bin/bash
	# macOS Mojave build >18A326g has a nasty issue.
	#
	# Basically, loginwindow likes threads. It's so passionate about threads that
	# it will continue to collect threads endlessly. Now, the problem with such a
	# process collecting so many threads is that, as the owner of all processes
	# running under your account, if the process crashes, say goodbye to most of
	# macOS.
	#
	# Well, this is exactly what happens. loginwindow freezes at 4096 threads and

	#!/bin/bash

	# Tom Hale, 2016. MIT Licence.
	# Print out 256 colours, with each number printed in its corresponding colour
	# See http://askubuntu.com/questions/821157/print-a-256-color-test-pattern-in-the-terminal/821163#821163

	set -eu # Fail on errors or undeclared variables

	printable_colours=256