antonlogvinenko

The Cloudflare outage was a good thing

Cloudflare, the CDN provider, suffered a massive outage today. Some of the world's most popular apps and web services were left inaccessible for serveral hours whilst the Cloudflare team scrambled to fix a whole swathe of the internet.

And that might be a good thing.

The proximate cause of the outage was pretty mundane: a bad config file triggered a latent bug in one of Cloudflare's services. The file was too large (details still hazy) and this led to a cascading failure across Cloudflare operations. Probably there is some useful post-morteming about canary releases and staged rollouts.

What you NEED to Know Before Touching a Video File

Hanging out in subtitling and video re-editing communities, I see my fair share of novice video editors and video encoders, and see plenty of them make the classic beginner mistakes when it comes to working with videos. A man can only read "Use Handbrake to convert your mkv to an mp4 :)" so many times before losing it, so I am writing this article to channel the resulting psychic damage into something productive.

If you are new to working with videos (or, let's face it, even if you aren't), please read through this guide to avoid making mistakes that can cost you lots of time, computing power, storage space, or video quality.

Every atomic object has a timeline (TL) of writes:
- A write is either a store or a read-modify-write (RMW): it read latest write & pushed new one.
- A write is either tagged Relaxed, Release, or SeqCst.
- A read observes some write on the timeline:
  - On the same thread, future reads can't go backwards on the timeline.
  - A read is either tagged Relaxed, Acquire, or SeqCst.
  - RMWs can also be tagged Acquire (or AcqRel). If so, the Acquire refers to the "read" portion of "RMW".
Each thread has its own view of the world:

Shared write timelines but each thread could be reading at different points.

Binary Lambda Calculus

The Binary Lambda Calculus (BLC) is a minimal, pure functional programming language invented by John Tromp in 2004 [1] based on a binary encoding of the untyped lambda calculus in De Bruijn index notation.

macOS Internals

Understand your Mac and iPhone more deeply by tracing the evolution of Mac OS X from prelease to Swift. John Siracusa delivers the details.

Starting Points

How to use this gist

You've got two main options:

Twitter ID	Status	Followers	Screen names
25073877	❌ suspended		realDonaldTrump
187680645	❌ suspended		LLinWood
770781940341288960	☑️ active	1,137,346	RudyGiuliani, xxxxxxx37583982
26487169	☑️ active	2,144,540	LouDobbs, loudobbsnews
4041824789	☑️ active	618,434	RSBNetwork
240454812	❌ suspended		GenFlynn
586707638	❌ suspended		SidneyPowell1
2853461537	☑️ active	656,713	ScottAdamsSays
16989178	❌ suspended		JamesOKeefeIII

At the beginning of 2030, I found this essay in my archives. From what I know today, I think it was very insightful at the moment of writing. And I feel it should be published because it can teach us, Rust developers, how to prevent that sad story from happening again.

What killed Haskell, could kill Rust, too

What killed Haskell, could kill Rust, too. Why would I even mention Haskell in this context? Well, Haskell and Rust are deeply related. Not because Rust is Haskell without HKTs. (Some of you know what that means, and the rest of you will wonder for a very long time). Much of the style of Rust is similar in many ways to the style of Haskell. In some sense Rust is a reincarnation of Haskell, with a little bit of C-ish like syntax, a very small amount.

Is Haskell dead?

	#!/usr/bin/env bb

	(require '[babashka.deps :as deps])
	(deps/add-deps '{:deps {org.clojars.askonomm/ruuter {:mvn/version "1.3.2"}}})

	(require '[clojure.java.browse :as browse]
	'[clojure.string :as str]
	'[cheshire.core :as json]
	'[org.httpkit.server :as srv]
	'[ruuter.core :as ruuter]

	import Control.Monad
	import Data.Foldable
	import Data.Functor
	import Data.List
	import Data.Maybe
	import Data.Time.Clock
	import System.Directory
	import System.Process

	main = listPackages >>= filterM needsUpdate >>= traverse_ update

	{- cabal:
	build-depends: base, constraints
	-}
	{-# language TypeFamilies, TypeFamilyDependencies, ConstraintKinds, ScopedTypeVariables, NoStarIsType, TypeOperators, TypeApplications, GADTs, AllowAmbiguousTypes, FunctionalDependencies, UndecidableSuperClasses, UndecidableInstances, FlexibleInstances, QuantifiedConstraints, BlockArguments, RankNTypes, FlexibleContexts, StandaloneKindSignatures, DefaultSignatures #-}

	-- ⊷, ≕, =∘, =◯ These choices all look like something out of Star Trek, so let's boldly go...

	import Data.Constraint hiding (top, bottom, Bottom)
	import Data.Kind
	import Data.Some