Kora ๐Ÿณ๏ธโ€โšง๏ธ's Avatar

Kora ๐Ÿณ๏ธโ€โšง๏ธ

@koragendum.bsky.social

stopping by this profile page / youโ€™ve stopped to read a verse / i hope it brings a small delight / despite the fact itโ€™s terse (and should you stay a moment more / in hopes of killing time / i wrote this stanza just for you / and even made it rhyme)

16 Followers  |  57 Following  |  33 Posts  |  Joined: 19.09.2024  |  1.8341

Latest posts by koragendum.bsky.social on Bluesky

On the Effectiveness of Love Poems
(A Proof by Demonstration)

03.02.2026 08:24 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Von Neumann said,
per Fermiโ€™s word,
that โ€œfour params can fit

an elephant,โ€ elephant!
How absurd,
and there he didnโ€™t quit:

โ€œwith five Iโ€™ll make
them wiggle their trunk,โ€
which shows to great effect:

with skill, an appendage
is easy to rouse
and even make erect.

03.02.2026 08:22 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Had an intriguing editorial discussion recently: how did people in the past talk about 'minutes' when they didn't have watches or standardised times? How does that affect your thinking?

Come down an Elizabethan/Jacobean rabbit hole with me.

1/

17.01.2026 10:34 โ€” ๐Ÿ‘ 1049    ๐Ÿ” 479    ๐Ÿ’ฌ 11    ๐Ÿ“Œ 108

...accountantโ€) because... why would we bother? [I realize โ€œidentifies asโ€ is used because there is contention whether sex or gender are inherent, immutable, chosen, or self-chosen; my point is that the phrase is unsubtly the expression of an opinion on the ultimate issue.]

20.11.2025 19:35 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

...delegitimizing. We donโ€™t say things like โ€œthey identify as (blood) type AB+โ€; we simply say โ€œthey are type AB+โ€ because it is true, and we accept report of it on good faith. We donโ€™t even say โ€œidentifies asโ€ for obviously self-chosen identities (who on earth says โ€œthey identify as an...

20.11.2025 19:29 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

...biologically categorized female rather than male by all reasonable standards. (Frankly, this ought to be neither here nor there; there are so few aspects of life where sexually dimorphic biology actually warrants differentiated treatment.) And โ€œidentifies asโ€ is overtly patronizing and...

20.11.2025 19:20 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Phrases like โ€œbiological male who identifies as a womanโ€ drive me up a wall. If by โ€œbiological maleโ€ you mean โ€œassigned male at birthโ€, say that instead of pretending to be objective. Biology is not uniaxial, not discrete, and not immutable, and in most or all aspects a transfemme person may be...

20.11.2025 19:11 โ€” ๐Ÿ‘ 6    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

thank you, annette!

30.10.2025 05:09 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

hm โ€œpierogiesโ€ is probably a better spelling

28.10.2025 04:55 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

To clarify, this was when I was a child, not when my mother was a child.

28.10.2025 01:04 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

TIL โ€œpierogiโ€ is plural! As a child, my mother would say, โ€œweโ€™re having pierogis for dinnerโ€.

28.10.2025 00:11 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 3    ๐Ÿ“Œ 0

I am mildly (but genuinely) devastated to hear this. About a third of my lookups are to confirm hyphenation points!

(will I buy a copy nonetheless? well, yeah, but...)

17.10.2025 18:16 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Typing rules for existential types. The relevant rule is the last: if โ€œp has type โ€˜exists ฮฑ so that Sโ€™โ€ and โ€œx has type S implies e has type Tโ€ then โ€œโ€˜let โŸชฮฑ, xโŸซ equals p in eโ€™ has type Tโ€.

Typing rules for existential types. The relevant rule is the last: if โ€œp has type โ€˜exists ฮฑ so that Sโ€™โ€ and โ€œx has type S implies e has type Tโ€ then โ€œโ€˜let โŸชฮฑ, xโŸซ equals p in eโ€™ has type Tโ€.

This is incidentally the syntax I use in my personal notes!

08.10.2025 20:14 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

(The older sense is surprising and interesting and Iโ€™m always tempted to share it, but anyone whoโ€™d be similarly interested already knows about it, and Iโ€™ve never actually seen use of the phrase cause confusion, myself.)

06.10.2025 16:23 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Iโ€™ve taken to avoiding the phrase altogether and saying either โ€œimplicity (or indirectly) assuming the conclusionโ€ for the older sense and โ€œraises (or invites) the questionโ€ for the newer sense. Iโ€™m not sure whether the latter works as well as โ€œbegs the questionโ€ for most people, though.

06.10.2025 16:17 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

i do not think that nonhuman things have feelings to be hurt but i do think the intent to hurt feelings is bad for a person notwithstanding whether the object of their sadism is real

03.10.2025 05:57 โ€” ๐Ÿ‘ 634    ๐Ÿ” 62    ๐Ÿ’ฌ 39    ๐Ÿ“Œ 17

I know the intended meaning of this is โ€œ80% of people at hackerspaces are cool trans peopleโ€ but Iโ€™m tickled by the idea of an โ€œ80%-cool personโ€, which... sounds pretty high actually. (That only leaves 20% for everything else!)

26.08.2025 18:15 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

fuck thatโ€™s ABCB not ABAB

05.06.2025 07:38 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Favโ€™rite note place: in the margin
Favโ€™rite dash: most often en
Favโ€™rite glyph: the reference symbol (โ€ป)
Implement of choice: a pen

05.06.2025 07:36 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

...in which case you canโ€™t have one without the other โ€“ but I doubt weโ€™ll ever be confronted with that question (it only exists in the limit, as it were). Put another way, I donโ€™t think wanting contradictory things is contradictory, which for the longest time was my automatic, unconscious judgment.)

22.05.2025 20:09 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

...but exist side by side in spite of each other. We can embrace and cultivate some aspects of our nature while trying to eliminate others, and although there may be some ultimate dilemma โ€“ if they come both part and parcel, then the ultimate and only question is existence versus nonexistence, ...

22.05.2025 20:06 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

(And I think this extends pretty naturally to other aspects of the human condition. Can we cherish our humanity, cultivate our humanity, while also wanting to kill our humanity? I somehow think this is possible. Good things and evil things, eudaimonoa and suffering, donโ€™t cancel each other out, ...

22.05.2025 19:58 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

(After rereading what I just wrote, I realize I left the linking idea unspoken โ€“ what prompted the comment about acceptance and disavowal was the reality of death. Can we both love it and hate it, fear it and embrace it, attempt to overcome it without running from it?)

22.05.2025 19:55 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Iโ€™m not really sure where the right place to end up is, if there even is one.

22.05.2025 19:52 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

You can both adore and defend the quality of being human and acknowledge the circumstances of our existence while also fighting against them, insistent that the universe bend to the consciousness that inhabits it.

22.05.2025 19:47 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

About many things in life, Iโ€™m beginning to simultaneously feel both acceptance (or at least realize the foundational importance of acceptance) and disavowal, both appreciation and indignation or aspiration, which ought to be contradictory but in fact coรซxist complimentarily.

22.05.2025 19:33 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

โ€œI will sacrifice some length of my days to add depth to another personโ€™s experience of the rest of theirs. Many did this for me. The work is slow. Its results often go unseen for years. But it is no gimmick.โ€

โ€“ hedgehogreview.com/web-features...

22.05.2025 19:16 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

[2/2] โ€œIt is to help them learn, together, to defend how they want to live, precisely because they, too, unlike a machine, will one day die.โ€

22.05.2025 19:13 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

[1/2] โ€œPart of a teacherโ€™s jobโ€”certainly in the humanities, but even in professional fields like businessโ€”is to help students break out of their prisons, at least for an hour, so they can see and enhance the beauty of their own minds.

22.05.2025 19:13 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

โ€œPerhaps the whole root of our trouble, the human trouble, is that we will sacrifice all the beauty of our lives, will imprison ourselves in totems, taboos, [icons, races, ...], armies, flags, nations, in order to deny the fact of death, which is the only fact we have.โ€

22.05.2025 19:12 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

@koragendum is following 19 prominent accounts