@copumpkin

Not using this site, or others like it, anymore

 Tower of the Elephant's Tusk
gist.github.com/copumpkin
Joined February 2008
  • Tweets15.5K
  • Following897
  • Followers19.4K
275Media
Here’s an old proof of this I wrote in Agda: gist.github.com/copumpkin/23…

Nicomachus's theorem

Nicomachus's theorem. GitHub Gist: instantly share code, notes, and snippets.

gist.github.com
Andrzej Kukla@Mathinity_13 Jul 2023
Even though I'm certain that this identity is true (3 proofs in this 🧵), I still can't believe it's true! [1/4]
3
2,551
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
@Dexerto6 Jul 2023
Replying to @Dexerto
Twitter is accusing Meta of several things, including poaching/stealing employees to copy their platform Here is the full letter:
64
1,343
69
13,894
4,109,169
Not a huge fan of the title, but @ramit’s show on Netflix is otherwise awesome and most people would benefit from watching it
3
1,098
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/rdsco…

GitHub - aidansteele/rdsconn: rdsconn makes connecting to an AWS RDS instance inside a VPC from...

rdsconn makes connecting to an AWS RDS instance inside a VPC from your laptop easier - aidansteele/rdsconn

github.com
7
40
7
213
35,160
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
4
779
The summary to end all summaries
fooler initiative@metroadlib9 Jun 2023
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*.
1
3
1,142
"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.
621
2,608
194
27,061
3,481,482
TLOU2 is such a painful game to play, but you can’t help it, it’s so good
1
650
Saw Muse live and enjoyed it so much I’m going again 😇
3
627
Feels like all scrolling these days is doomscrolling
2
845
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”
1
16
1,541
Hell yes!!
Acyn
@Acyn6 Apr 2023
Wow
2,418
3,377
167
31,803
4,435,149
This is why parental consent as a gatekeeper to gender affirming care is so dangerous. What shitty reporting to hear one parent and not the actual person whose care is at stake. Please read Alex’s thread and imagine what it takes to see your parent do this and have to correct it.
Alex 🏳️‍⚧️@SleepyOktobur4 Apr 2023
I have reinstalled Twitter to respond to this story and make sure my voice is fully heard. I am Casey. My real name is Alex but my mom decided it would be best to hide it for anonymity. But this is my story, not hers. This is not the free press’s story.
19
1
76
7,334
NEW: I’m not sure people fully appreciate how dire the US life expectancy / mortality situation has got. My column: enterprise-sharing.ft.com/re… And some utterly damning charts. 1) at *every* point on the income distribution, Americans live shorter lives than the English.
1,104
12,164
3,982
37,597
14,197,975
It's the same with code. Accepting that there's lots of text that needs to exist in your program but will be written by AI, is just categorically worse than evolving programming languages to allow more terse expression
4
5
3
53
7,673
Oh so their argument is not about valuing life it is just about hating women. And especially women making their own choices.
4
20
2
72
4,750
Auschwitz was at the end of a long process. We must remember that it did not start from gas chambers. This hatred gradually developed from ideas, words, stereotypes & prejudice through legal exclusion, dehumanization & escalating violence. It took time. #GenocidePreventionDay
712
18,142
1,283
58,246
1. @Walgreens is in damage control mode after telling GOP Attorneys General that it wouldn't distribute abortion pills in their states --including several that represent states where abortion is legal But the damage control is extremely deceptive Follow along if interested 🧵
149
1,894
273
9,147
2,474,002
UPDATE: Brian Covey, a full-time substitute teacher in Duval County, Florida, was FIRED for posting a video of empty bookshelves. This is the REAL STORY about why those shelves were empty and why Covey was let go
178
4,775
523
22,441
3,806,398
Next up, “if you’d like to use a password for your account that isn’t hunter1, you gotta pay” 😩
You’re unable to view this Post because this account owner limits who can view their Posts. Learn more
2
1,223
Load more