Chung-chieh Shan 單中杰
LightNews LightNews
banner
ccshan.woof.group.ap.brid.gy
Chung-chieh Shan 單中杰
@ccshan.woof.group.ap.brid.gy
86 followers 20 following 520 posts
He misses theorizing and practicing in a leather bar.
📍PEAMSBOSAARNYCBZOITHTYOSFOINDT

🌉 bridged from https://woof.group/@ccshan on the fediverse by https://fed.brid.gy/
Posts Replies Media Videos
ccshan.woof.group.ap.brid.gy
Kirstenbosch National Botanical Garden
December 11, 2025 at 12:14 AM
ccshan.woof.group.ap.brid.gy
Kirstenbosch National Botanical Garden
December 11, 2025 at 12:13 AM
ccshan.woof.group.ap.brid.gy
Kirstenbosch National Botanical Garden
December 11, 2025 at 12:12 AM
ccshan.woof.group.ap.brid.gy
More penguins
Two penguins on a sandy beach A beach with some penguins on sand and some penguins in water. Ocean and mountains in the background. Hundreds of penguins on a beach. Ocean and mountains in the background. A dozen penguins on a beach. Rocks. Ocean. Mountains.
December 10, 2025 at 11:51 PM
ccshan.woof.group.ap.brid.gy
One retoot/reply = one more penguin photo
penguin dassie lizard? birds
December 10, 2025 at 4:19 PM
ccshan.woof.group.ap.brid.gy
Bo-Kaap
December 7, 2025 at 8:06 AM
ccshan.woof.group.ap.brid.gy
Radiation-resistant quine
https://mametter.hatenablog.com/entry/20140915/p1
Inscrutable code that looks like the radiation symbol
December 3, 2025 at 12:00 PM
ccshan.woof.group.ap.brid.gy
I'm at the national park
I'm at the nude beach
I'm at the combination national park and nude beach
November 30, 2025 at 7:41 PM
ccshan.woof.group.ap.brid.gy
a few minutes of horniness relief?
November 28, 2025 at 6:07 AM
ccshan.woof.group.ap.brid.gy
chutney flavor is pretty addictive
A bag of Nik Naks chutney flavoured maize snack. A bag of Lays potato chips, Chinese 5 spice flavour. A small box of cherry tomatoes on the vine. A mango (green). A can of lemongrass ginger & lime sparkling drink. On a desk.
November 28, 2025 at 3:35 AM
ccshan.woof.group.ap.brid.gy
Holy shit
November 26, 2025 at 4:59 PM
ccshan.woof.group.ap.brid.gy
The gym is repairing equipment over Thanksgiving break, so the knee pad on the assisted pull-up machine is gone. I found it helpful for the bare metal pad to hurt my shins.
An assisted pull-up machine at a gym, with its knee pad removed, exposing the metal support underneath. A posted sign says "REST DAYS ARE IMPORTANT. This piece of equipment is out of order and taking a break as we fix it."
November 24, 2025 at 6:47 PM
ccshan.woof.group.ap.brid.gy
Well I certainly wouldn't trust anybody wearing a "(void *)" shirt. But why are you advertising free PrEP to me? Is it because U=U (unspecified = undefined)?
A man wearing a black tank top that says "(void *)" in white. In front of him, the subtitles say "You can't trust anybody". Behind him, a neon sign for "mistr" is lit, and the street is sunny. A hyperlink at the bottom says "🔗 More details here📍".
November 23, 2025 at 8:34 PM
ccshan.woof.group.ap.brid.gy
Am I even lifting if my balls didn't escape?
selfie at squat rack
November 23, 2025 at 5:25 PM
ccshan.woof.group.ap.brid.gy
Can your power strip do this?
https://www.sanwa.co.jp/product/syohin?code=TAP-SLIM6UC-15W
Japanese advertising for a two-prong power strip whose outlet holes form squares at even intervals, so that plugging in works in two perpendicular directions, and even if you skip one prong along the row of evenly spaced prongs
November 23, 2025 at 1:38 AM
ccshan.woof.group.ap.brid.gy
不是說學琴的小孩才不會變壞嗎？
https://www.journals.uchicago.edu/doi/10.1086/738251
Exercise Improves Academic Performance Alexander W. Cappelen, Gary Charness, Mathias Ekström, Uri Gneezy, and Bertil Tungodden Abstract In a randomized controlled trial, we test whether removal of a barrier to exercise can improve academic performance. We find strong support for this hypothesis: University students who were provided with a free gym card exercised more and had a significant improvement in academic performance. The treated students were less likely to drop out of classes and to fail at the exam. We provide evidence showing that exercise caused a healthier lifestyle and increased perceived self-control, which ultimately improved academic performance. The study demonstrates that removing barriers to physical activity can be an important tool for improving educational achievements. open access • special issue article PDF PDF PLUS Abstract Full Text Supplemental Material
November 23, 2025 at 12:08 AM
ccshan.woof.group.ap.brid.gy
The SEQUENT CALCULUS alignment chart:

W2-2R Side road (right) is a sequent calculus

"All men are mortal. Socrates is a man. Therefore, Socrates is mortal." is a sequent calculus
A yellow diamond road sign, depicting a main road and a side street on the right
November 21, 2025 at 4:15 AM
ccshan.woof.group.ap.brid.gy
Reading "Explaining Norms" again, I wonder if there's a notion of "levels" of norms, like if some parliamentary courtesy were violated then all parliamentary courtesies are fair game but you're still supposed to hold the door open for others even though it's not legally required
November 20, 2025 at 2:07 PM
ccshan.woof.group.ap.brid.gy
Using my gym spreadsheet to encourage myself:

1. PR!!!

2. not PR but more reps!!

3. not more reps per set, but more total reps!

4. not more total reps, but lexicographically greater sequence of rep counts 🎉
A selfie I took at dumbbell bench press. I'm wearing shorts and a tank top that says "property of ginger bears" in the mirror.
November 14, 2025 at 5:15 PM
ccshan.woof.group.ap.brid.gy
Most of those memes are so niche, I have no idea what they're referring to
P for zheimer house
November 12, 2025 at 2:54 PM
ccshan.woof.group.ap.brid.gy
I need bro-ey encouragement to go out in the dark and bike home in the snow.

Hats off to my Chicago friends who ride through the winter while self-locked in long-term chastity. 💍
"lube lotion lock" calligraphy
November 10, 2025 at 6:18 PM
ccshan.woof.group.ap.brid.gy
It is super easy for you to tell the Indiana Bureau of Motor Vehicles to give up trying to ban trans Hoosiers from updating gender markers.

SUBMIT TESTIMONY
https://bit.ly/bmvtestimony

ATTEND HEARING
https://bit.ly/iygpacktheroom
STAND UP to the Indiana BMV Attend the public hearing _in person_ Friday, Nov. 14 at 9 AM EST! And don't forget to submit your *written public comment* by _Nov. 14_ and tell the BMV that _Indiana cares about accurate IDS_! Logo of Indiana Youth Group Clip art of driver license
November 9, 2025 at 10:08 PM
ccshan.woof.group.ap.brid.gy
What do y'all think
@mathewkumar
Mathew Kumar ‪@mathewkumar.com‬ The Mamdani sign generator is an op to make us hate the iconography of a socialist win as quickly as possible by flooding the zone with absolutely unfunny nothing. It is the weapon of our enemy and we do not need it. We will not use it. November 9, 2025 at 3:36 PM Everybody can reply
November 9, 2025 at 8:50 PM
ccshan.woof.group.ap.brid.gy
OMG @foone fixed a font bug for me 🥵 so Windows users can now enjoy https://homes.luddy.indiana.edu/ccshan/for/for.html
SANITIZED for YOUR PROTECTION
November 9, 2025 at 2:37 AM
ccshan.woof.group.ap.brid.gy
Oh, Brian Cantwell Smith died.

‘In computer science, the phrase “the semantics of a program” refers to the program-behavior (process) relation α, whereas the relation considered semantic in the philosophy of mind is the process-world relation β.’ […]

[Original post on woof.group]
Two arrows, labeled α and β, connect three things. The arrow labeled α points from a box labeled PROGRAM (begin proc Test(n,m) if n = 0 then.... ..... end) to a cloud labeled PROCESS. The arrow labeled β points from the cloud labeled PROCESS to a cluster of houses on a hill, labeled SUBJECT MATTER.
November 4, 2025 at 2:13 AM