Dan P @copumpkin

Not using this site, or others like it, anymore gist.github.com/copumpkin Tower of the Elephant's Tusk Joined February 2008

Tweets

15K
Followers

20K
Following

900
Likes

29K

Dan P @copumpkin

3 years ago

Here’s an old proof of this I wrote in Agda: gist.github.com/copumpkin/2356…

Andrzej Kukla @Mathinity_

3 years ago

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

59 916 7K 803K 2K

0 0 3 2K 0

View Details

austerity is theft @wideofthepost

3 years ago

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"

Dexerto @Dexerto

3 years ago

Twitter is accusing Meta of several things, including poaching/stealing employees to copy their platform Here is the full letter:

201 198 1K 3.7M 160

66 1K 14K 4.1M 264

View Details

@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.

1 0 0 28 0

View Details

Dan P @copumpkin

3 years ago

@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

1 0 1 25 0

View Details

Dan P @copumpkin

3 years ago

@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

1 0 0 52 0

View Details

Dan P @copumpkin

3 years ago

@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”

2 0 0 68 0

View Details

Dan P @copumpkin

3 years ago

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

0 0 4 1K 0

View Details

Aidan W Steele @__steele

3 years ago

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 ...` github.com/aidansteele/rd…

7 40 213 35K 86

View Details

Dan P @copumpkin

3 years ago

@allegedlysteve 🤞🤞🤞

0 0 0 50 0

View Details

Dan P @copumpkin

3 years ago

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

0 0 4 760 0

View Details

Dan P @copumpkin

3 years ago

The summary to end all summaries

fooler initiative @metroadlib

3 years ago

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*.

1K 16K 75K 14.9M 14K

0 0 3 1K 0

View Details

Charlotte Clymer 🇺🇦 @cmclymer

3 years ago

"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.

627 3K 27K 3.5M 1K

View Details

Dan P @copumpkin

3 years ago

@LauraJHyatt Conan the Barbarian!

0 0 1 155 0

View Details

Dan P @copumpkin

3 years ago

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

0 0 1 641 0

View Details

Dan P @copumpkin

3 years ago

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

0 0 3 622 0

View Details

Dan P @copumpkin

3 years ago

Feels like all scrolling these days is doomscrolling

0 0 2 840 0

View Details

Dan P @copumpkin

3 years ago

@QuinnyPig At least they didn’t leave their only copy of the keys on ephemeral storage, unlike certain historical examples 🙃 reddit.com/r/Bitcoin/comm…

0 0 0 546 0

View Details

Dan P @copumpkin

3 years ago

@pmod Omg this is a game changer

1 0 1 33 0

View Details

Dan P @copumpkin

3 years ago

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”