Logs: liberachat/#haskell
| 2025-12-10 19:49:00 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-12-10 19:49:00 | × | AlexZenon quits (~alzenon@85.174.180.40) (Ping timeout: 240 seconds) |
| 2025-12-10 19:49:00 | × | sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 240 seconds) |
| 2025-12-10 19:49:00 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 240 seconds) |
| 2025-12-10 19:49:00 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-10 19:49:00 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 240 seconds) |
| 2025-12-10 19:49:01 | ljdarj1 | is now known as ljdarj |
| 2025-12-10 19:49:16 | × | haskellbridge quits (~hackager@96.28.224.214) (Ping timeout: 240 seconds) |
| 2025-12-10 19:49:34 | → | poscat joins (~poscat@user/poscat) |
| 2025-12-10 19:50:08 | → | sindu joins (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-12-10 19:50:55 | × | gentauro quits (~gentauro@user/gentauro) (Ping timeout: 240 seconds) |
| 2025-12-10 19:51:03 | → | gentauro joins (~gentauro@user/gentauro) |
| 2025-12-10 19:53:15 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 2025-12-10 19:53:15 | ChanServ | sets mode +v haskellbridge |
| 2025-12-10 19:54:23 | <geekosaur> | I have no idea why it did that |
| 2025-12-10 19:54:29 | <geekosaur> | (or why it recovered) |
| 2025-12-10 19:57:44 | <milan> | tomsmeding: Thanks |
| 2025-12-10 20:00:05 | → | Wygulmage joins (~Wygulmage@user/Wygulmage) |
| 2025-12-10 20:03:36 | <Wygulmage> | Is there some deep reason that `deleteFirstsBy` applies its predicate argument in the opposite order of its list arguments? So that `deleteFirstsBy (<=)` means 'for each value in the second list, delete the first value in the first list that is greater than it'? |
| 2025-12-10 20:05:29 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-10 20:13:59 | → | ft joins (~ft@p508db844.dip0.t-ipconnect.de) |
| 2025-12-10 20:24:20 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 265 seconds) |
| 2025-12-10 20:24:53 | <jmct> | Hey all, we're reviving the State of Haskell survey, should take around 10 minutes and all participation is appreciated! https://www.surveymonkey.com/r/6M3Z6NV |
| 2025-12-10 20:24:58 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-12-10 20:30:10 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-10 20:31:08 | → | califax joins (~califax@user/califx) |
| 2025-12-10 20:34:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 20:38:18 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 2025-12-10 20:38:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-10 20:39:01 | → | Tuplanolla joins (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) |
| 2025-12-10 20:43:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 20:47:00 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 2025-12-10 20:48:28 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-10 20:49:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-10 20:53:14 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2025-12-10 20:55:52 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 2025-12-10 20:59:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 21:08:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-10 21:08:50 | trickard_ | is now known as trickard |
| 2025-12-10 21:13:29 | × | trickard quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 21:13:42 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 21:20:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 21:24:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-10 21:26:35 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-10 21:30:57 | → | pavonia joins (~user@user/siracusa) |
| 2025-12-10 21:33:18 | chiselfu1e | is now known as chiselfuse |
| 2025-12-10 21:35:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 21:40:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-10 21:43:49 | × | milan quits (~milan@88.212.61.169) (Quit: WeeChat 4.5.2) |
| 2025-12-10 21:51:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 21:52:35 | trickard_ | is now known as trickard |
| 2025-12-10 21:53:41 | × | Wygulmage quits (~Wygulmage@user/Wygulmage) (Ping timeout: 272 seconds) |
| 2025-12-10 21:54:29 | _________ | is now known as noodly |
| 2025-12-10 21:54:44 | noodly | is now known as _________ |
| 2025-12-10 21:55:13 | _________ | is now known as noodly |
| 2025-12-10 21:55:33 | noodly | is now known as _________ |
| 2025-12-10 21:56:44 | → | Milan joins (~Milan@88.212.61.169) |
| 2025-12-10 21:56:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-10 21:58:48 | × | Milan quits (~Milan@88.212.61.169) (Remote host closed the connection) |
| 2025-12-10 21:59:01 | AlexZenon_2 | is now known as AlexZenon |
| 2025-12-10 21:59:12 | → | Milan joins (~Milan@88.212.61.169) |
| 2025-12-10 21:59:20 | → | AlexNoo joins (~AlexNoo@85.174.180.40) |
| 2025-12-10 22:00:06 | → | AlexNoo_ joins (~AlexNoo@85.174.180.40) |
| 2025-12-10 22:00:50 | → | AlexNoo__ joins (~AlexNoo@85.174.180.40) |
| 2025-12-10 22:01:26 | × | Milan quits (~Milan@88.212.61.169) (Remote host closed the connection) |
| 2025-12-10 22:03:43 | × | AlexNoo quits (~AlexNoo@85.174.180.40) (Ping timeout: 240 seconds) |
| 2025-12-10 22:04:31 | × | AlexNoo_ quits (~AlexNoo@85.174.180.40) (Ping timeout: 240 seconds) |
| 2025-12-10 22:04:45 | → | st_aldini1 joins (~Thunderbi@2605:a601:a07c:7400:7a53:9ab0:188f:494f) |
| 2025-12-10 22:04:55 | × | AlexNoo__ quits (~AlexNoo@85.174.180.40) (Ping timeout: 240 seconds) |
| 2025-12-10 22:07:22 | × | st_aldini quits (~Thunderbi@2605:a601:a07c:7400:6e26:f360:f11d:472c) (Ping timeout: 244 seconds) |
| 2025-12-10 22:07:22 | st_aldini1 | is now known as st_aldini |
| 2025-12-10 22:07:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 22:10:58 | × | oats quits (~oats@user/oats) (Read error: Connection reset by peer) |
| 2025-12-10 22:11:13 | → | oats joins (~oats@user/oats) |
| 2025-12-10 22:12:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-10 22:13:06 | × | trickard quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 22:15:01 | × | malte quits (~malte@mal.tc) (Ping timeout: 264 seconds) |
| 2025-12-10 22:15:45 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 22:20:08 | → | malte joins (~malte@mal.tc) |
| 2025-12-10 22:20:14 | × | kuribas quits (~user@2a02:1808:e7:7fdf:2747:3312:d53c:fc8c) (Remote host closed the connection) |
| 2025-12-10 22:20:34 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-12-10 22:23:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 22:26:02 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 22:27:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-10 22:35:01 | × | tromp quits (~textual@2001:1c00:3487:1b00:fc9c:738b:219c:bafe) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-10 22:36:47 | → | tromp joins (~textual@2001:1c00:3487:1b00:fc9c:738b:219c:bafe) |
| 2025-12-10 22:37:13 | × | Square2 quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-12-10 22:37:26 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-10 22:39:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 22:42:21 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 2025-12-10 22:43:13 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Ping timeout: 260 seconds) |
| 2025-12-10 22:43:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-10 22:44:36 | DetourNe- | is now known as DetourNetworkUK |
| 2025-12-10 22:44:51 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-12-10 22:46:05 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-10 22:49:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 22:54:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-10 23:04:02 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-12-10 23:04:31 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-10 23:08:10 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
All times are in UTC.