Newest at the top
| 2024-11-16 18:38:52 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-11-16 18:38:26 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2024-11-16 18:36:23 +0100 | <RedNifre> | Sorry, that's not exactly what I meant. Basically, foldr, but the function returns an Either, but it does not need to take an Either as a parameter. |
| 2024-11-16 18:35:16 +0100 | <RedNifre> | Hello! Is there a name for (roughly) Foldable t => (a -> b -> Either a c -> Either a c -> t a -> Either a c ? Analogous to "flatMap" maybe "flatFold"? It would early return on the first "bad" Either value. |
| 2024-11-16 18:34:34 +0100 | RedNifre | (~RedNifre@dslb-002-201-038-124.002.201.pools.vodafone-ip.de) RedNifre |
| 2024-11-16 18:32:38 +0100 | jonkri | (~jonkri@90-230-234-124-no600.tbcn.telia.com) jonkri |
| 2024-11-16 18:23:39 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2024-11-16 18:23:36 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-11-16 18:23:10 +0100 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) bwe |
| 2024-11-16 18:22:51 +0100 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (Remote host closed the connection) |
| 2024-11-16 18:22:15 +0100 | <bailsman> | If I make an IOVector, put it in a record, then later replace it with another IOVector, all garbage collection "works normally" right? It's going to notice that the old iovector has no references, and collect it? There's nothing special about iovectors other than that they're mutable? |
| 2024-11-16 18:21:58 +0100 | oxide | (~lambda@user/oxide) (Ping timeout: 265 seconds) |
| 2024-11-16 18:21:12 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-11-16 18:16:41 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3307-845b-b47a-8df0-484a-dd57.rev.sfr.net) alexherbo2 |
| 2024-11-16 18:15:30 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-11-16 18:14:38 +0100 | euleritian | (~euleritia@dynamic-176-006-147-178.176.6.pool.telefonica.de) |
| 2024-11-16 18:11:03 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2024-11-16 18:10:59 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-11-16 18:10:05 +0100 | pera | (~pera@user/pera) (Quit: leaving) |
| 2024-11-16 18:07:26 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-16 18:02:06 +0100 | alphazone | (~alphazone@2.219.56.221) |
| 2024-11-16 18:01:17 +0100 | cross | (~cross@spitfire.i.gajendra.net) cross |
| 2024-11-16 18:01:14 +0100 | pavonia | (~user@user/siracusa) (Ping timeout: 252 seconds) |
| 2024-11-16 18:01:07 +0100 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2024-11-16 18:00:52 +0100 | alphazone | (~alphazone@2.219.56.221) (Ping timeout: 240 seconds) |
| 2024-11-16 18:00:43 +0100 | igemnace | (~igemnace@user/igemnace) (Max SendQ exceeded) |
| 2024-11-16 18:00:43 +0100 | cross | (~cross@spitfire.i.gajendra.net) (Max SendQ exceeded) |
| 2024-11-16 18:00:43 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Client Quit) |
| 2024-11-16 18:00:12 +0100 | tantalum.libera.chat | +o ChanServ |
| 2024-11-16 18:00:11 +0100 | ChanServ | (ChanServ@services.libera.chat) |
| 2024-11-16 18:00:11 +0100 | roosterphant_ | (~roosterph@185.21.217.76) |
| 2024-11-16 18:00:11 +0100 | guygastineau | (~guygastin@137.184.131.156) RMSBach |
| 2024-11-16 18:00:11 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) mrmonday |
| 2024-11-16 18:00:11 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2024-11-16 18:00:11 +0100 | orcus | (~orcus@mail.brprice.uk) |
| 2024-11-16 18:00:11 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2024-11-16 18:00:11 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2024-11-16 18:00:11 +0100 | nckx | (nckx@libera/staff/owl/nckx) nckx |
| 2024-11-16 18:00:11 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2024-11-16 18:00:11 +0100 | dunj3 | (~dunj3@2a01:239:328:1600::1) dunj3 |
| 2024-11-16 18:00:11 +0100 | Vajb | (~Vajb@n7m8bu6eaitlx0eukg2-1.v6.elisa-mobile.fi) |
| 2024-11-16 18:00:11 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
| 2024-11-16 18:00:11 +0100 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) b20n |
| 2024-11-16 18:00:11 +0100 | Moyst__ | (~moyst@user/moyst) Moyst |
| 2024-11-16 18:00:11 +0100 | c_wraith | (~c_wraith@adjoint.us) c_wraith |
| 2024-11-16 18:00:11 +0100 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2024-11-16 18:00:11 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2024-11-16 18:00:11 +0100 | dumptruckman | (~dumptruck@66-175-211-75.ip.linodeusercontent.com) dumptruckman |
| 2024-11-16 18:00:11 +0100 | pounce | (~pounce@user/cute/pounce) pounce |
| 2024-11-16 18:00:11 +0100 | jess | (meow@libera/staff/cat/jess) jess |