bencrowder.net /blog

Blog

Wednesday, October 17, 2018

Just came across Flight rules for Git and it’s the kind of thing I’ve wanted for years. For example:

  • “I wrote the wrong thing in a commit message”
  • “I accidentally committed and pushed a merge”
  • “I want to discard specific unstaged files”

Great structure, very helpful. Highly recommended.

Wednesday, October 10, 2018

On wombats:

Despite the fact that they do not look streamlined, a wombat can run at up to 25 miles an hour, and maintain that speed for 90 seconds. The fastest recorded human footspeed was Usain Bolt’s 100m sprint in 2009, in which he hit a speed of 27.8 mph but maintained it for just 1.61 seconds, suggesting that a wombat could readily outrun him. They can also fell a grown man, and have the capacity to attack backwards, crushing a predator against the walls of their dens with the hard cartilage of their rumps. The shattered skulls of foxes have been found in wombat burrows.

Tuesday, October 9, 2018

The new IPCC report is alarming to say the least:

The IPCC authors promise that we will see coastal cities swallowed by the sea, global food shortages, and $54 trillion in climate-associated costs as soon as 2040.

On the plus side, we still have about ten years in which we can make changes that would prevent it from happening. Sounds like there’s significant political opposition to those changes, though. Oh, humanity.

Thursday, October 4, 2018

Bloomberg on the Chinese chip infiltration:

Two of Elemental’s biggest early clients were the Mormon church, which used the technology to beam sermons to congregations around the world, and the adult film industry, which did not.

Wednesday, October 3, 2018

Tuesday, October 2, 2018

Downside of Firefox, courtesy of Google: Gmail’s performance in Firefox is abysmal. Not only is it deathly slow, but buttons and keyboard shortcuts don’t register most of the time, and things are wonky across the board. (For example, deleting emails doesn’t actually delete them half the time.)

I’m leaning toward using Chrome just for Gmail (and perhaps other Google products as well).

Tuesday, September 25, 2018

Current school status: in the middle of writing my thesis proposal, with a deadline of mid-November. I’m aiming to defend it mid-December, spend the first half of next year finishing my research and writing my thesis, and do my final thesis defense next August.

Switched from Chrome to Firefox yesterday. (I don’t really trust Google anymore and figured it was finally time to make the move.) Other perks: multi-account containers, theming via userChrome.css, supporting Rust. Happy so far, though it’s admittedly only been a day.

Friday, September 21, 2018

Monday, September 17, 2018

The use of the letters A through F to represent the digits above 9 was not universal in the early history of computers.

Wikipedia has a fascinating list of some of the other hexadecimal representations.

Thursday, September 13, 2018