@cwebber marketing

managed to remove 12472 lines of code with no loss of functionality

dependently typed regular expressions #haskell

would I have liked this more when I was a perl programmer? I regexp so little now

my cat is sitting by my shoulder, stalking comforters

soon the comforter will come and she will pounce under it

seeing a lot of type level strings in code using new #haskell features

a bit uncomfortable with this, it's hard to tell when the code is stringily typed and when it's strongly typed

also spot the type-level typo that the type checker won't catch

**puts phone in fridge**

of *course* they make phone heat sink cases

I'm waiting for the "crash dialog crashed" dialog.

building git-annex on my phone works, but it overheats and random stuff starts crashing.

It's amusing when Android says that the entire UI crashed, and offers non-working buttons to wait/retry/hide error

TWRP -> LineageOS -> f-droid -> termux -> proot -> debian

Installing a decent OS keeps getting easier & easier or something.

ah, the LineageOS web browser seems the broken part, firefox worked

#tusky from #fdroid on top of #lineageos is failing at oauth due to ERR_UNKNOWN_URL_SCHEME .. for http!

hmmm

(Pity about him signaling hard blue dog with recent remarks..)

got a hand-written postcard from the Bredesen campaign

This is stunning because I have never, ever received any Democratic candidate mail. TN is too red for them to bother.

Anyway, I've never been convinced by Google's post-Snowden spin that their only problem involved their unencrypted intranet links, and now that we have a documented case of Google covering up privacy blunders, it's worth revisiting those Prism slides.

There are probably other such islands on Google+.

One group that still uses Google+ some is the more corporate side of the Linux development community; Google marketed it to them as early adoptors/influencers, and many of them stuck.

Probably there's public discussion that happened on there about technical descisions around but not directly affecting the Linux kernel, that's going to be lost unless the ArchiveTeam manages to save it.

1. Self-driving cars are claimed to be ready for the roads right now

2. The most reliable way to prove you are human online is to select regions of an image that contain a stop sign.

-- Nick M

#haskell gets capabilities https://www.tweag.io/posts/2018-10-04-capability.html

(Probably not quite in the classic sense.)

@memnus only been once and it did, then I wandered down to the waterfront and like 2000 Indian people were having a massive party with the best street food ever.

cat but, strategically positioned over the tab, ctrl, shift, esc, ctrl keys

@cwebber as to the chip's size, IPMI provides most of the functionality, could this just be a IPMI backdoor chip?

Given how insecure IMPI was, especially in this time frame, the chip could have just done some basic firewall bypass callout to let the attackers talk to the IMPI and they could have then simply hacked IMPI.

@cwebber well, we've seen denial from large companies before. Palm denied that the Palm Pre uploaded GPS coordinates to their servers, despite me finding them in their outgoing log queue.

@algernon I literally read this as you implemented the Perl language in 1 day.

That's how far I am away from writing perl code. Wow.

@neil the section on different kinds of denial and how they drive different reactions to climate change clarified a lot for me

But .. He admits to cherry-picking data outside current scientific consenses, justified by research that climate scientists are "erring on the side of least drama", which maybe they are, but it doesn't mean the particular data he's picked to support his conclusion is good data.

After drying my sumac harvest and rubbing the berries off the clusters, I ground it by hand with mortar and pestle.

Passed through a sieve to remove the seeds and stems, an amazing spice emerged.

This is the first time I've processed a spice. It reminds me of processing tobacco in the barn as a kid. So tactile, hands become sticky with dry sap, and it smells amazing.

Found this gorgeous thing on a bush, in a spot that I'm eyeing as a site for a small pond.

Been online via satellite for over 24 hours straight and have not used dialup at all for ~5 days. Solar upgrade is really working out; batteries have recovered significantly in the past month and despite summer waning, I have more power every day.

Cut a bumper crop of sumac just ahead of the rains. Amazing flavor.

Don't know yet how to process/store it, but I did make this jar of infused sumac garlic olive oil.

Split out the biggest cloves of Anna's garlic and planted them today.

The remaining pile-o-garlic should satisfy me for a month.

http://blog.ptsecurity.com/2017/08/disabling-intel-me.html

Minix won: Every modern Windows or Linux PC requires Minix to boot.

Guess how long this sign has been up.

This is my biggest lemon harvest ever from my potted meyer lemon tree. I've had it for 10+ years and it's always a joy. Next two lemon harvests in prep already..

Traffic was heavy through Asheville this morning.

Borg seems like the closest backup program like obnam. The main difference is it uses per-client AES keys, rather than gpg keys. So a backup can't be easily made accessible by other gpg keys.

I suppose that encrypting its AES key to the gpg keys you want to be able to access the backups, and storing the encrypted AES key alongside the backup will get the same functionality.

Did I mention the alien abduction part of my trip to Canada?

Drove to Canada and back. Home!

I walked over this bridge probably a hundred times, but never went down to see the waterfall. Let alone hiked down the gorge to Ithaca before.

Probably sums up my Cornell experience in some way.