Home | Notifications | New Note | Local | Federated | Search | Logout
Federated Timeline
Blurry Moon@sun@shitposter.world (2026-09-21 19:57:18)
thanks @maid and @6EQUJ5 and all the other new users for being here, you all add to the rich tapestry.
Reply to @6EQUJ5@shitposter.world
Blurry Moon@sun@shitposter.world (2026-09-21 19:55:56)
@6EQUJ5 "ben garrison"
Reply to @sun@shitposter.world
πα©π@bonifartius@noauthority.social (2026-09-21 19:53:49)
@sun @waltercool @newt i'm not smart, i only fiddled with agda2 once for uni (failed horribly at that ;). it was interesting, but more because of the emacs environment which was actually pretty neat.
totally wired cell@cell@outerheaven.club (2026-09-21 19:51:34)
in the end, time will make us all uncs and hags
Reply to @cell@outerheaven.club
Sun Microdevil Pte Ltd@koakuma@uwu.social (2026-09-21 19:49:34)
@cell cell you should try flying Rayen Er and compare it to Layen Er :02lurk:
Reply to @bonifartius@noauthority.social
Blurry Moon@sun@shitposter.world (2026-09-21 19:46:04)
@bonifartius @newt @waltercool every now and then I'm reminded that people here are way smarter than me
Reply to @newt@stereophonic.space
πα©π@bonifartius@noauthority.social (2026-09-21 19:44:41)
@newt @waltercool @sun just go for provers directly. agda2 with special emacs mode to type in the math symbols.
---Attachments---
image: https://static.noauthority.social/media_attachments/files/117/308/618/322/584/964/original/9532397dcc60c5fa.png
Unit 4173281 Luna Arson@luna@shrimp.estrogen.today (2026-09-21 19:44:39)
Hi
I need money for food and Deutschland ticket since im currently unemployed and don't have any income and haven't started working yet, I also need medical weed for my generalised chronic pain
stripe β paypal β liberapay β ko-fi (please include βLunaβ in the subject to make it easier to match, since those are not my payment accounts for this)
revolut or iban (on request)
please boost! β:renote_requested:β β:blobcat_heart:β
monero: 8AiciuJWKVP12KrRDZJoK3VRgTDcKMHyZFfHU7PJdKqMERi61MWqddFKDEc3v4uJBTVUXKdqpixwyYCYhEhgnDX9EQKgBTL
bitcoin: bc1qchr2cyralxxe7u068dtrdq5jvsmd6vn88xeku7
litecoin: ltc1qj0pdca9c28ayky5t8urpq7s4t7cyw0zj9fg00g
Deutschland ticket 0/63β¬
Food: 0/100β¬
Medical weed: 0/60β¬
Thanks :3
#MutualAid #TransMutualAid #HelpFolksLive2025 #begpost
Reply to @kayttaja@plush.city
Sina the puppydog :therian:@datwhy@transfem.social (2026-09-21 19:44:32)
@kayttaja@plush.city @cheeseburgerally@plasmatrap.com β:neodog_blush:ββ:neodog_heart:ββ:neodog_hug_cat_heart:ββ:neodog_hug_cat_heart:ββ:neodog_hug_cat_heart:ββ:neodog_hug_cat_heart:ββ:neodog_hug_cat_heart:β
Reply to @sun@shitposter.world
Blurry Moon@sun@shitposter.world (2026-09-21 19:44:30)
@newt @waltercool koka just added async four days ago lol
definitely trying it now
Reply to @datwhy@transfem.social
lilja@kayttaja@plush.city (2026-09-21 19:43:39)
@datwhy @cheeseburgerally :neocat_blush: :neocat_hug: :neocat_hug: :neocat_hug: :neocat_hug:
Reply to @newt@stereophonic.space
Blurry Moon@sun@shitposter.world (2026-09-21 19:43:03)
@newt @waltercool gonna be awesome I'm a retard that probably maxes out conceptually at zig, I can barely do rust or ocaml, but I'm trying to get better.
Reply to @kayttaja@plush.city
Sina the puppydog :therian:@datwhy@transfem.social (2026-09-21 19:42:45)
@kayttaja@plush.city @cheeseburgerally@plasmatrap.com of courssseee, I mean them β:neodog_pleading:β
Reply to @sun@shitposter.world
Listens to Baroque while coding murder.exe :newt: @newt@stereophonic.space (2026-09-21 19:41:50)
@sun @waltercool effects have been thoroughly studied within Haskell, where they originate from. Check out Polysemy (https://hackage.haskell.org/package/polysemy), for one. Overall, it's a 2010s idea what doesn't seem to get much traction, mostly because it doesn't solve any problem in particular.
P.S. this is a reply to your Koka comment.
Reply to @datwhy@transfem.social
lilja@kayttaja@plush.city (2026-09-21 19:41:27)
@datwhy @cheeseburgerally woah thank you for the kind words π₯Ίππ₯Ή
Reply to @lolitechengineer@loli.church
Blurry Moon@sun@shitposter.world (2026-09-21 19:40:56)
@lolitechengineer @waltercool @newt using it now
Reply to @lolitechengineer@loli.church
lolitechengineer@lolitechengineer@loli.church (2026-09-21 19:39:45)
@sun@shitposter.world @newt@stereophonic.space @waltercool@pl.slash.cl actually I'd like to change my answer to ChatGPT Astra, it's extremely easy to use and transpiles to basically any other language you want.
Reply to @newt@stereophonic.space
Blurry Moon@sun@shitposter.world (2026-09-21 19:39:20)
@newt @waltercool Lean looks cool as shit thanks
Reply to @newt@stereophonic.space
Blurry Moon@sun@shitposter.world (2026-09-21 19:38:37)
@newt @waltercool I heard Koka lang
aei :neofox_upside_down: @aei@pleroma.envs.net (2026-09-21 19:36:44)
notice how nobody making "how to install chrome on windows" gifs like they do for linux cause they know there aint no way microsoft bottoming out multiple times to keep you on Edge is better/less convoluted ux than installing the chrome flatpak
Reply to @kayttaja@plush.city
Sina the puppydog :therian:@datwhy@transfem.social (2026-09-21 19:35:42)
@kayttaja@plush.city @cheeseburgerally@plasmatrap.com u nice and cute and awesome and..
Reply to @david_chisnall@infosec.exchange
Cassandrich@dalias@hachyderm.io (2026-09-21 19:30:57)
@david_chisnall @whitequark Package manager forcing a reboot is Windows level of π€¦ π€¬
Reply to @datwhy@transfem.social
lilja@kayttaja@plush.city (2026-09-21 19:30:56)
@datwhy @cheeseburgerally hm? :neocat_pleading:
Reply to @cheeseburgerally@plasmatrap.com
lilja@kayttaja@plush.city (2026-09-21 19:28:57)
@cheeseburgerally where
Reply to @hannah@hai.z0ne.social
totally wired cell@cell@outerheaven.club (2026-09-21 19:28:42)
@hannah next time i have my birthday i wonβt say anything about it on fedi
because about 100 people replied to my last one and i had spent hours on my birthday replying to each one
totally wired cell@cell@outerheaven.club boosted:
@hannah@hai.z0ne.social (2026-09-21 19:23:21)
just so you know i am writing fown everyone who doesn't wish me a happy birthday and they're going on the naughtly list
Reply to @cheeseburgerally@plasmatrap.com
doggo π³οΈββ§οΈ@doggo@plush.city (2026-09-21 19:26:34)
@cheeseburgerally :ablobfoxexplode: waaa!
Reply to @cheeseburgerally@plasmatrap.com
Sina the puppydog :therian:@datwhy@transfem.social (2026-09-21 19:26:10)
@cheeseburgerally@plasmatrap.com yeagh
Reply to @doggo@plush.city
cheeseburgerally :neocat_rainbow:@cheeseburgerally@plasmatrap.com (2026-09-21 19:25:08)
@doggo@plush.city sniffs u back β:wlfSniff:β
doggo π³οΈββ§οΈ@doggo@plush.city (2026-09-21 19:24:56)
*sniffs you* :sniffa:
Older Notes