Logs: liberachat/#haskell
| 2025-10-09 02:45:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-09 02:52:41 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-09 02:52:54 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 02:53:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-09 02:57:37 | × | Square2 quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-10-09 02:58:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-09 03:01:13 | trickard_ | is now known as trickard |
| 2025-10-09 03:07:13 | → | aforemny joins (~aforemny@2001:9e8:6cfe:fa00:f0a4:d59e:65ba:70ff) |
| 2025-10-09 03:07:13 | × | aforemny_ quits (~aforemny@2001:9e8:6ce1:5a00:119f:ba7b:f92f:1a2c) (Ping timeout: 265 seconds) |
| 2025-10-09 03:09:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-09 03:09:59 | → | chexum_ joins (~quassel@gateway/tor-sasl/chexum) |
| 2025-10-09 03:10:36 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 272 seconds) |
| 2025-10-09 03:12:08 | × | dyno quits (dyno@user/dyno) (Ping timeout: 260 seconds) |
| 2025-10-09 03:14:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-09 03:18:36 | → | dyno joins (dyno@user/dyno) |
| 2025-10-09 03:20:46 | → | Googulator88 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 03:21:09 | × | Googulator49 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 03:23:56 | <fgidim> | if you have some functions you want to change the type signatures of, you can have the compiler help you out |
| 2025-10-09 03:24:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-09 03:28:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-09 03:30:33 | × | superstar64 quits (~superstar@2600:1700:57e0:e3c0::31) (Quit: Leaving) |
| 2025-10-09 03:35:31 | × | craunts79533 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-09 03:40:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-09 03:41:25 | × | shapr quits (~user@130.44.148.32) (Ping timeout: 264 seconds) |
| 2025-10-09 03:46:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-09 03:47:44 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-10-09 03:47:58 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 03:53:54 | → | mange joins (~mange@user/mange) |
| 2025-10-09 03:55:49 | → | Googulator2 joins (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-09 03:56:22 | × | Googulator88 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 03:58:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-09 04:06:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-09 04:16:53 | × | chexum_ quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-10-09 04:17:27 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2025-10-09 04:17:31 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-09 04:17:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-09 04:17:45 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-09 04:22:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-09 04:23:08 | × | ryanbooker quits (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-10-09 04:25:40 | × | Googulator2 quits (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 04:25:43 | → | Googulator87 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 04:33:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-09 04:37:09 | × | qqe quits (~qqq@185.54.23.200) (Quit: Lost terminal) |
| 2025-10-09 04:37:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-09 04:44:24 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-10-09 04:46:31 | × | tessier quits (~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 240 seconds) |
| 2025-10-09 04:47:33 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-10-09 04:48:16 | → | tessier joins (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2025-10-09 04:48:20 | → | michalz joins (~michalz@185.246.207.221) |
| 2025-10-09 04:48:22 | × | dyno quits (dyno@user/dyno) (Ping timeout: 256 seconds) |
| 2025-10-09 04:48:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-09 04:53:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-09 04:54:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-09 04:59:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-09 05:00:01 | → | dyno joins (dyno@user/dyno) |
| 2025-10-09 05:00:43 | → | Googulator81 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 05:00:44 | × | Googulator87 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 05:10:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-09 05:14:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-09 05:15:39 | × | dyno quits (dyno@user/dyno) (Ping timeout: 250 seconds) |
| 2025-10-09 05:23:02 | × | remexre quits (~remexre@user/remexre) (Ping timeout: 265 seconds) |
| 2025-10-09 05:24:29 | × | Eoco quits (~ian@128.101.131.218) (Ping timeout: 265 seconds) |
| 2025-10-09 05:25:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-09 05:25:38 | → | remexre joins (~remexre@user/remexre) |
| 2025-10-09 05:26:07 | → | Eoco joins (~ian@128.101.131.218) |
| 2025-10-09 05:30:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-10-09 05:30:42 | → | peterbecich joins (~Thunderbi@syn-172-222-148-214.res.spectrum.com) |
| 2025-10-09 05:30:55 | × | acarrico1 quits (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 240 seconds) |
| 2025-10-09 05:31:58 | → | acarrico joins (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
| 2025-10-09 05:33:43 | → | dyno joins (dyno@user/dyno) |
| 2025-10-09 05:38:45 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-09 05:38:59 | × | dyno quits (dyno@user/dyno) (Ping timeout: 265 seconds) |
| 2025-10-09 05:39:09 | → | poscat joins (~poscat@user/poscat) |
| 2025-10-09 05:40:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-09 05:43:25 | <dminuoso> | yin: So we have an extension called RankNTypes that gives you multiple levels of GHC to beat (rank 1, rank 2, etc..)? Upon reaching rank N there is an endboss - a mysterious dark wizard named Skolem. Be careful not to zonk his type minions too early, or you will not defeat him. One done you achieve eternal unification and make it onto a global leaderboard. |
| 2025-10-09 05:44:23 | <dminuoso> | Maybe a Haskell-themed roguelike wouldn't be the worst of ideas. |
| 2025-10-09 05:47:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-09 05:54:19 | → | dyno joins (dyno@user/dyno) |
| 2025-10-09 05:55:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-09 06:00:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-09 06:00:40 | → | Googulator87 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-09 06:00:42 | × | Googulator81 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-09 06:06:28 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-09 06:06:31 | <[exa]> | dminuoso: ascension message: "You reach immutability" |
| 2025-10-09 06:06:47 | <dminuoso> | Not bad. |
| 2025-10-09 06:08:10 | → | hsw joins (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) |
| 2025-10-09 06:11:00 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-10-09 06:11:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-09 06:11:11 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2025-10-09 06:12:32 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 240 seconds) |
| 2025-10-09 06:12:34 | × | dontdieych quits (~dontdieyc@132.226.169.184) (Ping timeout: 244 seconds) |
| 2025-10-09 06:13:52 | × | peterbecich quits (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2025-10-09 06:15:20 | → | dontdieych joins (~dontdieyc@132.226.169.184) |
| 2025-10-09 06:15:34 | → | peterbecich joins (~Thunderbi@syn-172-222-148-214.res.spectrum.com) |
| 2025-10-09 06:15:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-09 06:15:45 | × | mud quits (~mud@user/kadoban) (Remote host closed the connection) |
| 2025-10-09 06:16:10 | → | mud joins (~mud@user/kadoban) |
| 2025-10-09 06:17:15 | → | fired_ joins (~la@173-255-196-82.ip.linodeusercontent.com) |
| 2025-10-09 06:17:39 | × | fired quits (la@2600:3c00::f03c:92ff:fee3:aace) (Ping timeout: 260 seconds) |
| 2025-10-09 06:17:48 | fired_ | is now known as fired |
All times are in UTC.