Chung-chieh Shan 單中杰

He misses theorizing and practicing in a leather bar.
📍PEAMSBOSAARNYCBZOITHTYOSFOINDT

Public Key

npub10tksd3ezg5vkucafdt4taj5vjnml4q9kj570qxqacnvd9uu43s4qf6y004

NIP-05 Address

ccshan@woof-group.mostr.pub

Profile Code

nprofile1qqs84mgxcu3y2xtwvw5k4647e2xffal6szmf208srqwufkxj7w2cc2spz4mhxue69uhhyetvv9ujuerfw36x7tnsw43q0scax8

Publishing to

relay.ditto.pub

Author Public Key

npub10tksd3ezg5vkucafdt4taj5vjnml4q9kj570qxqacnvd9uu43s4qf6y004

Show more details

Last Notes

2026-10-22 15:00:49 UTC

In 2019 I was introverted and wished to stay home alone and just read.
My prayer was answered.
In 2024 I was exhausted and wished to no longer have NSF programs to apply to.
My prayer is answered.
In 2026 I'm overwhelmed and wish everyone would stop producing new culture so that I have time to enjoy all the culture that already exists.

2026-10-04 02:23:30 UTC

On the afternoon of October 3rd, officers from the Ximending Police Station (Wanhua Precinct) launched a raid on Commander D, a well-known BDSM bar in Taipei. Although the police claimed to possess a search warrant, they refused to present it to the patrons on site. In response to a person with disabilities present, a police officer made a discriminatory remark: "People with disabilities can have sex too?"
https://facebook.com/events/s/%E6%8A%97%E8%AD%B0%E5%8C%97%E5%B8%82%E8%AD%A6%E5%B1%80%E4%B8%8D%E7%95%B6%E5%9F%B7%E6%B3%95%E5%8F%8D%E5%B0%8D%E8%AD%A6%E5%AF%9F%E9%A8%B7%E6%93%BE%E5%90%8C%E5%BF%97%E5%A0%B4%E6%89%80/28326505107001034/

2026-04-05 18:10:02 UTC

- reply

@nprofile…9dvk 🎉🎉
Is this one of those scales that you hold your hands to?

2026-04-05 17:22:00 UTC

- reply

@nprofile…9dvk 7.5 pounds in 2 weeks!?

2026-04-01 03:29:35 UTC

- reply

@nprofile…9dvk Thanks! How about this? https://www.urbanbodyjewelry.com/products/concave-stainless-steel-taper

2026-04-01 01:57:32 UTC

Piercing advice please! I want to gauge up my septum from a 10-gauge (2.5mm) to a 8-gauge (3mm) clicker ring, and I might need a taper to help. But the thick end of the taper at https://bodyartforms.com/productdetails.asp?productid=9325 is flat, not concave, so do I just… do my best to line up the new jewelry with the taper, or do I need a different taper (from where)? Thanks!

2026-02-21 04:15:21 UTC

Benjamin Pierce gave a great talk about writing executable specifications (QuickCheck-style property-based testing) to help AI code generation iterate faster.
https://luddy.iu.edu/student-experience/academic-events/25th-research-anniversary.html
https://files.woof.group/media_attachments/files/116/106/667/101/039/815/original/ec8aab8a771656bf.jpg
https://files.woof.group/media_attachments/files/116/106/674/838/948/814/original/e643dfa124aac6e6.jpg

2026-02-19 16:20:21 UTC

hey bro does creatine make my balls swollen and drolly
https://files.woof.group/media_attachments/files/116/098/200/494/093/091/original/c17539e9fd3b45b7.jpg

2026-02-12 22:57:34 UTC

- reply

@nprofile…5ka9 @nprofile…ntgk Um so it's been half a year since my septum piercing healed and I put in a steel ring. I've never done any cleaning or upkeep—hope that's ok.
"Does it make it hard to blow your nose?"
"No, but it does make it hard to pick my nose."

2026-02-08 20:52:35 UTC

The reading group chose a 13-year-old book and it is relevant to my current interests
https://files.woof.group/media_attachments/files/116/036/984/113/808/760/original/a7ada68e4be73872.png
https://files.woof.group/media_attachments/files/116/036/984/132/180/039/original/3c1d3f909888a84b.png
https://files.woof.group/media_attachments/files/116/036/984/132/388/294/original/7536ee11a6bbc2c8.png
https://files.woof.group/media_attachments/files/116/036/984/131/971/700/original/c9be3490c6e2e39d.png

2025-12-13 20:13:58 UTC

- reply

@nprofile…pkcq @nprofile…jhkm the titles it picks are the best part

2025-12-09 14:15:25 UTC

In any food that contains peanut (butter), it can be changed to sesame (tahini), or vice versa, and the resulting flavor will be different but equally valid. This is the Curry-Halva isomorphism.

2025-11-11 19:11:52 UTC

a comedic analogy between the three monad laws and the three robot laws?

2025-11-11 04:12:44 UTC

After 47 years on this Earth, I wrote one program that went viral. So it's now time for me to design a domain-specific language for meme generators

2025-11-11 04:06:14 UTC

- reply

@nprofile…zjv9 for example, famously the bathroom sign removal by white manager never happened

2025-11-08 21:26:32 UTC

- reply

@nprofile…l3vf https://www.combinatorics.org/files/Surveys/ds5/VennSymmExamples.html#n7
"For every n ≥ 5, there exist simple and irreducible Venn diagrams for n classes."
—Branko Grünbaum
https://faculty.washington.edu/moishe/branko/BG145.Construct.VennDiagrams.pdf
https://files.woof.group/media_attachments/files/115/516/180/122/317/675/original/b1d26cb2307ad88c.png

2025-11-08 17:25:08 UTC

Me: "-oriented programming" considered harmful
@nprofile…f52c : "considered harmful"-oriented programming

2025-11-08 05:00:58 UTC

Is this anything https://homes.luddy.indiana.edu/ccshan/for/for.html
https://files.woof.group/media_attachments/files/115/512/350/725/043/523/original/1c8f83b74cfbb48d.png

2025-11-02 21:58:59 UTC

- reply

@nprofile…zjv9 what's the property you have in mind that both orchestra hiring and college admission enjoy?

2025-11-02 19:52:34 UTC

- reply

@nprofile…zjv9 I'm not sure what job colleges hire students to do

2025-10-28 14:14:33 UTC

- reply

@nprofile…s3l7 I will always be behind you 🥹

2025-06-08 02:35:58 UTC

- reply

@nprofile…5mmj I don't know... That sounds like a stretch...

2025-06-07 16:22:40 UTC

- reply

@nprofile…5mmj My dick really hates my balls 🥵

2025-06-07 04:54:13 UTC

I used to think I don't get horny
https://files.woof.group/media_attachments/files/114/640/289/256/065/817/original/6e773f6a6c1b2239.jpg

2025-06-06 12:01:06 UTC

I hate bargaining (with myself at the gym)
https://files.woof.group/media_attachments/files/114/635/373/754/342/372/original/86477bc8d972e09d.jpg

2025-06-04 07:03:42 UTC

- reply

@nprofile…s6x2 haha I'm wearing one right now, I guess you haven't been looking at my nsfw posts :-P thanks

2025-05-20 15:17:00 UTC

"Due to an updated policy from IU on hospitality expenses, we cannot provide coffee or tea in our kitchens and breakrooms. While this change may come as a surprise, I want to assure you that the coffee makers we currently own will remain for anyone who wishes to bring their own coffee or tea."
https://www.idsnews.com/article/2024/09/pamela-whitten-bonus-iu-president-trustees

2025-05-17 04:49:01 UTC

- reply

@nprofile…5mmj The cage has already protected me from one apple impact :-P

2025-05-16 23:45:32 UTC

- reply

@nprofile…5mmj I don't expect confirmation any time soon 😇

2025-05-16 22:18:09 UTC

This is my alarm clock now.
https://files.woof.group/media_attachments/files/114/519/813/233/803/203/original/c317808299535550.png

2025-05-02 17:26:50 UTC

SKIBIDI is just B in combinatory logic

2025-04-21 00:22:06 UTC

- reply

@nprofile…s6x2 wow I didn't know a domain name could be this long

2025-03-22 01:24:37 UTC

- reply

@nprofile…5mmj 😅
https://files.woof.group/media_attachments/files/114/203/470/161/288/148/original/ecdea47967aa8c0a.jpg

2025-03-22 00:56:31 UTC

🇺🇦
https://files.woof.group/media_attachments/files/114/203/355/124/653/905/original/5c7170d689de97b7.jpg
https://files.woof.group/media_attachments/files/114/203/355/420/661/838/original/d7d30a98744623b4.jpg
https://files.woof.group/media_attachments/files/114/203/356/062/020/349/original/493a38341c89289e.jpg

2025-03-08 01:46:37 UTC

I survived the week!
https://files.woof.group/media_attachments/files/114/124/281/394/278/753/original/326c922f17483c24.jpg

2025-01-16 22:07:00 UTC

- reply

@nprofile…n8ju Can we call them de-dicto and de-re β reduction strategies yet?

2024-12-19 03:22:42 UTC

“Puerto Rico is beautiful. The weather is incredible. I love the island. However, the problem is with the Puerto Ricans. They’re awful. They steal. They’re filthy. And the thing to do, really, is to totally exterminate the population. And I’ve started that. I’ve killed eight of my patients, and I’ve sought to transplant cancer into 13 more. Hope you’re doing well in Boston. Yours sincerely,”
https://www.democracynow.org/2019/3/5/how_to_hide_an_empire_daniel
https://www.youtube.com/watch?v=RvlUGYvLg0s
H/T @nprofile…shuz
https://files.woof.group/media_attachments/files/113/677/321/581/116/823/original/91ebcfa5b99f81f0.png

2024-12-17 23:16:14 UTC

@nprofile…0pu2 tells me to learn foundationally about macros by reading https://legacy.cs.indiana.edu/ftp/techreports/TR356.pdf https://www.greghendershott.com/fear-of-macros/ https://soegaard.github.io/mythical-macros/

2024-12-05 17:17:45 UTC

a button to snooze an email for exactly as long as they took to reply to me

2024-05-08 01:19:38 UTC

- reply

@npub1c9m…9xjd is this what they call modern safe C++