Reposted
Was that intuinistic or classical logic? INTUITIONISTIC OR CLASSICAL!!!
Oh, so you CAN tell the difference.
Oh, so you CAN tell the difference.
December 16, 2025 at 10:34 PM
Was that intuinistic or classical logic? INTUITIONISTIC OR CLASSICAL!!!
Oh, so you CAN tell the difference.
Oh, so you CAN tell the difference.
going to the city broke my reading streak i hate it
December 16, 2025 at 10:13 PM
going to the city broke my reading streak i hate it
Reposted
speaking of reminders: I think open source authors should have the absolute right to withdraw their work and personal information from circulation, and no argument about "supply chain security" overrides this bsky.app/profile/stev...
December 16, 2025 at 9:01 PM
speaking of reminders: I think open source authors should have the absolute right to withdraw their work and personal information from circulation, and no argument about "supply chain security" overrides this bsky.app/profile/stev...
when i see my friends running linux i always ask them if theyre using uwuntu, and tell them that they should try it
December 16, 2025 at 5:34 PM
when i see my friends running linux i always ask them if theyre using uwuntu, and tell them that they should try it
i think i'm in a group of max 20 people worlwide that have run a haskell server on an ipad lol
December 16, 2025 at 12:19 AM
i think i'm in a group of max 20 people worlwide that have run a haskell server on an ipad lol
every six months there's a ritual that every university student has to perform: selecting their next semester's courses. it crushes their soul and makes them question whether higher education is really worth it. nevertheless, they always do it, as not one of them is actually ready to be free
December 13, 2025 at 6:03 PM
every six months there's a ritual that every university student has to perform: selecting their next semester's courses. it crushes their soul and makes them question whether higher education is really worth it. nevertheless, they always do it, as not one of them is actually ready to be free
sometimes dealing with people (mom) is kinda tiring
December 13, 2025 at 5:12 AM
sometimes dealing with people (mom) is kinda tiring
maybe i should’ve never studied cs
December 13, 2025 at 3:38 AM
maybe i should’ve never studied cs
they have said very good things about dokploy, if it’s not actually that good i will die
December 13, 2025 at 1:48 AM
they have said very good things about dokploy, if it’s not actually that good i will die
i kinda hate the old guy that setup the code im working on, really terrible workflow, just a bunch of bad decisions: js (not even ts!!), no lints no nothing, lol tests? what are those?, https? whats that?, oh yeah we deploy reloading manually the code
December 13, 2025 at 1:47 AM
i kinda hate the old guy that setup the code im working on, really terrible workflow, just a bunch of bad decisions: js (not even ts!!), no lints no nothing, lol tests? what are those?, https? whats that?, oh yeah we deploy reloading manually the code
is there something like tidalcycles but for images/video?
December 11, 2025 at 9:09 PM
is there something like tidalcycles but for images/video?
Reposted
The State of #Haskell 2025 survey is out! Please take ~10 minutes to fill this out and share it with friends/colleagues/coworkers, whether or not they are users of Haskell.
State of Haskell 2025
Hello everyone! The Haskell Foundation is reviving @taylorfausak’s State of Haskell Survey. It’s been a few years and so we’re doing it a bit differently, but the plan is to start doing this yearly a...
discourse.haskell.org
December 10, 2025 at 8:14 PM
The State of #Haskell 2025 survey is out! Please take ~10 minutes to fill this out and share it with friends/colleagues/coworkers, whether or not they are users of Haskell.
Reposted
As long as they don't evaluate their impure actions…
do haskell programmers have to go to confession when they have impure thoughts
December 9, 2025 at 7:20 PM
As long as they don't evaluate their impure actions…
Reposted
is this an academic edition? does it have a critical apparatus? -its a good book, sir
it was in fact, not a good book
it was in fact, not a good book
December 8, 2025 at 8:05 PM
is this an academic edition? does it have a critical apparatus? -its a good book, sir
it was in fact, not a good book
it was in fact, not a good book
first time reading a book for pleasure in months and i wish i read that fast for school lol
December 8, 2025 at 8:01 PM
first time reading a book for pleasure in months and i wish i read that fast for school lol
lmao i want to meet someone like this
December 8, 2025 at 12:36 AM
lmao i want to meet someone like this
brat 2025 winter anyone?
December 7, 2025 at 12:48 AM
brat 2025 winter anyone?
top ten things you should not do: shave your head with a razor
December 7, 2025 at 12:38 AM
top ten things you should not do: shave your head with a razor
“why don’t people communicate their feelings properly??” says the person who doesn’t ever communicate them
December 6, 2025 at 5:38 PM
“why don’t people communicate their feelings properly??” says the person who doesn’t ever communicate them
i swear this holiday season i will really really achieve my goals!! (please allow me this one time)
December 4, 2025 at 4:29 AM
i swear this holiday season i will really really achieve my goals!! (please allow me this one time)
feeeling very happy right now, for unknown reasons
December 4, 2025 at 4:26 AM
feeeling very happy right now, for unknown reasons
small auth webserver/api with haskell for my job????? omg
December 4, 2025 at 4:26 AM
small auth webserver/api with haskell for my job????? omg
quite literally what we do in my job
however the memory leaks are (mainly) cause of way fire!!!! not meeee!!! could never me be!! cause i’ll never be him 😔😔😔
however the memory leaks are (mainly) cause of way fire!!!! not meeee!!! could never me be!! cause i’ll never be him 😔😔😔
December 4, 2025 at 4:25 AM
quite literally what we do in my job
however the memory leaks are (mainly) cause of way fire!!!! not meeee!!! could never me be!! cause i’ll never be him 😔😔😔
however the memory leaks are (mainly) cause of way fire!!!! not meeee!!! could never me be!! cause i’ll never be him 😔😔😔