Dan P

Not using this site, or others like it, anymore

[Dan P @copumpkin]

Here’s an old proof of this I wrote in Agda: https://t.co/DbXFgzOdqB

[Andrzej Kukla @Mathinity_]

Even though I'm certain that this identity is true (3 proofs in this 🧵), I still can't believe it's true!
[1/4]

[austerity is theft @wideofthepost]

how dare you "poach" these people we just mass laid off and then boasted how we could run this broken jalopy of a network better with such things as "staff"

[Dan P @copumpkin]

@onepunchlinux @kmett @graninas @jacob_tan_en You’re not inviting actual discussion when you casually dismiss the other side as “hysterical.” Ironic when you then go on to completely mischaracterize the causes. I’ll stop engaging now.

[Dan P @copumpkin]

@onepunchlinux @kmett @graninas @jacob_tan_en Yes, when we’re arguing about whether you need a Monoid or a Semigroup for that typeclass, one of us being confidently wrong isn’t costing lives and harming the medical system and professionals working in it

[Dan P @copumpkin]

@onepunchlinux @kmett @graninas @jacob_tan_en Just think about how much nuance goes into arguing against a stance like that. And how many differing opinions like “ruby is right” exist in our field. Then, forgetting all that, go out into other fields, come across their blog posts, and decide we’re the free thinkers

[Dan P @copumpkin]

@onepunchlinux @kmett @graninas @jacob_tan_en It’s a shame that self-professed intellectuals have such trouble seeing beyond their own scope of expertise. Imagine how frustrated you’d be to have an MD/MPH show up and say “types? I read five blog posts and a research paper that said ruby and OO is the future. Prove me wrong”

[Dan P @copumpkin]

Not a huge fan of the title, but @ramit’s show on Netflix is otherwise awesome and most people would benefit from watching it

[Aidan W Steele @__steele]

The AWS CLI (v2.12.0+) can be used to create a tunnel to connect to RDS DBs now, but I created a tool that tries to make it more convenient.

1. Create EIC endpoint
2. Download tool
3. Run `rdsconn p`
4. Run `psql -h 127.0.0.1 ...`

https://t.co/kItMSmKvn1

[Dan P @copumpkin]

@allegedlysteve 🤞🤞🤞

[Dan P @copumpkin]

Someday there will be a movie about the Trump events and those of us who experienced them will hate it because it reminds us, and others will hate it because it’s too absurd to be a credible movie plot

[Dan P @copumpkin]

The summary to end all summaries

[fooler initiative @metroadlib]

I LITERALLY stopped working on my memo so I could read this indictment.

I am on page 24 and JESUS LUPITA NYONG'O CHRIST.

HOW this man still has the capacity to shock me after everything that's happened, i'll never know.

but I am sitting here *STUNNED*.

[Charlotte Clymer 🇺🇦 @cmclymer]

"Shiny Happy People" is horrific. No other way to describe it. Whatever you've heard of the Duggar Family, I promise it's so much worse. And exceptional timing for this documentary to drop while evangelical extremists stir an anti-LGBTQ moral panic.

Massive content warning.

[Dan P @copumpkin]

@LauraJHyatt Conan the Barbarian!

[Dan P @copumpkin]

TLOU2 is such a painful game to play, but you can’t help it, it’s so good

[Dan P @copumpkin]

Saw Muse live and enjoyed it so much I’m going again 😇

[Dan P @copumpkin]

Feels like all scrolling these days is doomscrolling

[Dan P @copumpkin]

@QuinnyPig At least they didn’t leave their only copy of the keys on ephemeral storage, unlike certain historical examples 🙃 https://t.co/TlhzSOc7Iy

[Dan P @copumpkin]

@pmod Omg this is a game changer

[Dan P @copumpkin]

Can’t wait for all this fancy AI LLM stuff to finally stop autocorrect from fixing my correct usage of “it’s” and “its”.

Also, iOS, I never intend to write “ducking”

[Alexandria Ocasio-Cortez @AOC]

Hell yes!!