Logs: liberachat/#haskell
| 2026-04-20 18:31:08 | → | ft joins (~ft@p508db287.dip0.t-ipconnect.de) |
| 2026-04-20 18:32:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-20 18:33:19 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-04-20 18:42:10 | <haskellbridge> | <slack1256> Didn't know there were other Chileans on #haskell-irc:matrix.org (https://matrix.to/#/#haskell-irc:matrix.org) |
| 2026-04-20 18:42:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 18:42:43 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-04-20 18:47:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-20 18:47:59 | <dcb> | sorry, I'm from latin america but not chile. that was from a discussion in another channel, rougly about "the underwhelming electoral performance of (various regional incarnations of) the left" |
| 2026-04-20 18:51:27 | → | Alex_delenda_est joins (~al_test@178.34.150.30) |
| 2026-04-20 18:52:15 | <haskellbridge> | <slack1256> Send me that channel name pls |
| 2026-04-20 18:55:33 | → | karenw joins (~karenw@user/karenw) |
| 2026-04-20 18:58:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 18:58:17 | × | Tuplanolla quits (~Tuplanoll@85-156-32-112.elisa-laajakaista.fi) (Read error: Connection reset by peer) |
| 2026-04-20 19:00:10 | × | redshuffle quits (~quassel@45.43.70.75) (Remote host closed the connection) |
| 2026-04-20 19:00:17 | → | redshuffle joins (~quassel@45.43.70.75) |
| 2026-04-20 19:02:33 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-20 19:04:12 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-20 19:07:21 | × | somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 248 seconds) |
| 2026-04-20 19:08:29 | × | havochunter quits (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) (Remote host closed the connection) |
| 2026-04-20 19:10:54 | → | Digitteknohippie joins (~user@user/digit) |
| 2026-04-20 19:11:37 | × | Digit quits (~user@user/digit) (Ping timeout: 248 seconds) |
| 2026-04-20 19:12:51 | → | spew joins (~spew@user/spew) |
| 2026-04-20 19:13:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 19:19:32 | × | kuribas quits (~user@2a02-1810-2825-6000-8fe3-9553-464-1f7d.ip6.access.telenet.be) (Remote host closed the connection) |
| 2026-04-20 19:19:56 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-20 19:27:33 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-04-20 19:28:00 | → | Square3 joins (~Square4@user/square) |
| 2026-04-20 19:31:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 19:36:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-20 19:41:43 | × | Eoco quits (~ian@128.101.131.218) (Ping timeout: 264 seconds) |
| 2026-04-20 19:45:35 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-04-20 19:46:34 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-04-20 19:49:10 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-20 19:49:13 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2026-04-20 19:51:01 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-20 19:53:30 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2026-04-20 19:57:48 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-04-20 19:57:52 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-04-20 19:58:21 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2026-04-20 20:00:42 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-04-20 20:01:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 20:04:06 | → | Eoco joins (~ian@128.101.131.218) |
| 2026-04-20 20:05:29 | <haskellbridge> | <Liamzee> is it a good thing or a bad thing that Haskell is a fantasy language? |
| 2026-04-20 20:05:41 | <haskellbridge> | <Liamzee> well, obvious answer is obvious; I designed a module, wrote up a spec |
| 2026-04-20 20:05:47 | → | Square2 joins (~Square@user/square) |
| 2026-04-20 20:05:51 | <haskellbridge> | <Liamzee> then translated it into do notation with undefined |
| 2026-04-20 20:06:04 | <humasect> | arent they all |
| 2026-04-20 20:06:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-20 20:06:44 | × | Square2 quits (~Square@user/square) (Remote host closed the connection) |
| 2026-04-20 20:07:07 | <EvanR> | a data structure is just dumb programming language |
| 2026-04-20 20:07:29 | <EvanR> | so a fantasy language is a subgenre of sci-fi data structure |
| 2026-04-20 20:07:32 | <humasect> | i'd say a language without any program/ing |
| 2026-04-20 20:07:33 | × | Square3 quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2026-04-20 20:07:43 | → | Square2 joins (~Square@user/square) |
| 2026-04-20 20:07:59 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-20 20:08:00 | <EvanR> | post apocalyptic even |
| 2026-04-20 20:08:20 | × | Eoco quits (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 2026-04-20 20:08:46 | <haskellbridge> | <Liamzee> no, but I assume you've done this before, right? Translate spec to undefined do notation, fill out types? |
| 2026-04-20 20:08:58 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
| 2026-04-20 20:09:05 | × | michalz quits (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2026-04-20 20:11:26 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-04-20 20:11:39 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-04-20 20:11:53 | <EvanR> | do you mean f = do undefined? |
| 2026-04-20 20:12:47 | → | Square3 joins (~Square4@user/square) |
| 2026-04-20 20:13:00 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2026-04-20 20:17:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 20:17:47 | × | Square3 quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2026-04-20 20:18:16 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2026-04-20 20:21:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-20 20:28:16 | <haskellbridge> | <Liamzee> action = do |
| 2026-04-20 20:28:16 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/dJFSXSpOynrxyxnKoNFbSpyU/IlzSD0NuocY (3 lines) |
| 2026-04-20 20:30:13 | × | Googulator96 quits (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-20 20:30:29 | → | Googulator96 joins (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-20 20:31:49 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 272 seconds) |
| 2026-04-20 20:32:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 20:37:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-20 20:42:04 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2026-04-20 20:42:43 | × | somemathguy quits (~somemathg@user/somemathguy) (Client Quit) |
| 2026-04-20 20:42:51 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-20 20:48:09 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-04-20 20:55:03 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 255 seconds) |
| 2026-04-20 20:57:42 | → | szkl joins (uid110435@2a03:5180:f:5::1:af63) |
| 2026-04-20 21:00:09 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-20 21:03:01 | × | skum quits (~skum@user/skum) (Quit: WeeChat 4.9.0) |
| 2026-04-20 21:03:25 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2026-04-20 21:06:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 21:10:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-20 21:18:33 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2026-04-20 21:21:00 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:85:3ed7:37e3:2de4) |
| 2026-04-20 21:21:00 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:85:3ed7:37e3:2de4) (Changing host) |
| 2026-04-20 21:21:00 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-20 21:21:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 21:22:07 | × | rabbull quits (~rabbull@user/rabbull) (Quit: And in case I don't see you, good afternoon, good evening and good night!) |
| 2026-04-20 21:22:28 | → | rabbull joins (~rabbull@user/rabbull) |
| 2026-04-20 21:22:45 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-04-20 21:25:04 | → | redpotato joins (~nick@c-76-152-12-168.hsd1.ma.comcast.net) |
| 2026-04-20 21:25:24 | → | karenw_ joins (~karenw@user/karenw) |
| 2026-04-20 21:25:24 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-04-20 21:26:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-20 21:27:08 | × | karenw_ quits (~karenw@user/karenw) (Read error: Connection reset by peer) |
All times are in UTC.