joakim

On leap seconds

The problem with leap seconds is not leap seconds, but using UTC for precision purposes.

🤖 TAI ⬌ UTC 🧑

If we instead used [TAI][tai] for computers and derived [UTC][utc] for humans, there would be no need to abandon leap seconds and decouple the world's calendars from the rotation of the Earth. With TAI, leap seconds have no effect. They would only appear when displayed to humans in UTC, the problem of leap seconds reduced to a UI issue.

Unfortunately, rather than move towards adopting TAI for computers, there's been a strong push by tech companies to remove leap seconds from UTC for all.[^1] It would practically make TAI the new time scale for all humans on Earth.

joakim

const hoursInDay        = 24
const minutesInDay      = 1440
const secondsInDay      = 86400
const millisecondsInDay = 86400000
const microsecondsInDay = 86400000000
const nanosecondsInDay  = 86400000000000

/**
 * Converts a Temporal.Instant to a Julian Date (decimal number).
 **/

joakim

use objc::{msg_send, sel, sel_impl};
use rand::{distributions::Alphanumeric, Rng};
use tauri::{
    plugin::{Builder, TauriPlugin},
    Manager, Runtime, Window,
}; // 0.8

const WINDOW_CONTROL_PAD_X: f64 = 15.0;
const WINDOW_CONTROL_PAD_Y: f64 = 23.0;

joakim

// Inspired by this Python code: https://ralsina.me/weblog/posts/BB585.html
// Really really limited, but it works. "Look ma, no DAG!"

function evil(formula, sheet) {
  with (sheet.functions) {
    with (sheet.cells) {
      return eval(formula);
    }
  }
}

joakim

Collection = (spec) => {
  if (typeof spec !== 'object') throw new TypeError('Collection specification must be an object')
  return Object.freeze(Object.create(Collection.prototype, Object.getOwnPropertyDescriptors(spec)))
}
Collection.prototype = Object.create(null, {
  [Symbol.isConcatSpreadable]: { value: true },
  [Symbol.iterator]:           { value: function* () { for (let key in this) { yield this[key] } } },
  [Symbol.toPrimitive]:        { value: (hint) => hint === 'number' ? NaN : '[object Collection]' },
  [Symbol.toStringTag]:        { value: 'Collection' },
})

joakim

joakim

joakim

joakim

joakim

import [ read-lines ]: 'https://deno.land/std/io/buffer.ts'
import [ copy ]: 'https://deno.land/std/streams/conversion.ts'

#type: (search: #RegExp, replace: #text)

-- Pass-through the header
print "20 { Deno.args.join(';') }\r"

-- Check for type=inline parameter
inline: Deno.args.find (arg) ->