https://nostr.ae https://nostr.ae/npub1vssaep0y0uqxrgayuwcuglfvd4had9varq7pqmslv5p9aes9q63sxhwces https://nostr.ae/nevent1qqsrpucm5xgvunmsjqcdxdl75zucl042f4htqf8v3xuhlqw5fgzs7vczypjzrhy9u3lsqcdr5n3mr3ra93kkl454n5vrcyrwrajsyhhxq5r2xp2qdww In reply to <a href='/nevent1qqsdgsfp6gs732rekevuwng0a8dxfre7ey2zlg24cl02pwlxcxmtzlgyxr5ta'>nevent1q…r5ta</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub146y6jmfuvptq3asmpkwpjjudjf2jpnf2s4pn2yq0f0wpkf0dssmqtnwzmp" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>npub146y6jmfuvptq3asmpkwpjjudjf2jpnf2s4pn2yq0f0wpkf0dssmqtnwzmp</span> (<span class="italic">npub146y…wzmp</span>)</a></span> to be fair humans are also shitheels and we do basically the same thing to everything below us.<br/><br/>its just that between humans and the fae, humans are the housecat :cat_sad: 2026-07-17T23:00:53Z https://nostr.ae/nevent1qqsy36c3stszkpx8yex4ld3ka9u0fkhwgere09etlgq80zld62ke28czypjzrhy9u3lsqcdr5n3mr3ra93kkl454n5vrcyrwrajsyhhxq5r2x564wc3 In reply to <a href='/nevent1qqspvc66dm2ezsxfu0kayy5s675xv2v292kwjl82nthy2r390vugfvcd28nhc'>nevent1q…8nhc</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub17p4kcwyfxfw2euwukuz25cf7m09mftsknz3v3mgxqmfspvhm0ppqk5tlp6" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>npub17p4kcwyfxfw2euwukuz25cf7m09mftsknz3v3mgxqmfspvhm0ppqk5tlp6</span> (<span class="italic">npub17p4…tlp6</span>)</a></span> i&#39;ve seen idris a couple of times. one of my mutuals used to be big in to it.<br/><br/>i think Lean is eating up the whole dependently typed space these days 2026-07-03T10:11:35Z