Logs on 2025-08-13 (liberachat/#haskell)
| 00:00:28 | → | weary-traveler joins (~user@user/user363627) |
| 00:01:04 | → | ridcully joins (~ridcully@p508ac666.dip0.t-ipconnect.de) |
| 00:01:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:03:52 | × | ridcully_ quits (~ridcully@p57b526e9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 00:10:05 | → | acidjnk joins (~acidjnk@p200300d6e7171939f113a737e8163cf1.dip0.t-ipconnect.de) |
| 00:10:16 | fgarcia_ | is now known as fgarcia |
| 00:11:28 | × | inline quits (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 00:12:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:14:18 | × | javran quits (~javran@c-24-6-38-24.hsd1.ca.comcast.net) (Quit: leaving) |
| 00:17:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:21:26 | trickard_ | is now known as trickard |
| 00:24:14 | × | acidjnk quits (~acidjnk@p200300d6e7171939f113a737e8163cf1.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 00:27:02 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 00:28:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:28:55 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 00:31:55 | → | inline joins (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) |
| 00:33:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 00:34:40 | × | karenw_ quits (~karenw@user/karenw) (Ping timeout: 252 seconds) |
| 00:39:48 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 00:43:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:43:53 | × | athan quits (~athan@syn-047-132-161-157.res.spectrum.com) (Quit: Konversation terminated!) |
| 00:43:57 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 00:43:57 | ljdarj1 | is now known as ljdarj |
| 00:44:33 | × | jreicher quits (~user@user/jreicher) (Quit: Back in a big) |
| 00:45:07 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 00:48:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:48:43 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 00:50:22 | × | xff0x quits (~xff0x@2405:6580:b080:900:8a14:ae8:7571:9eee) (Ping timeout: 260 seconds) |
| 00:53:23 | → | batbyte joins (~batbyte@172-79-46-231.nrwc.ny.frontiernet.net) |
| 00:53:37 | → | jreicher joins (~user@user/jreicher) |
| 00:59:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:00:19 | → | SlackCoder joins (~SlackCode@64-94-63-8.ip.weststar.net.ky) |
| 01:02:02 | × | SlackCoder quits (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Client Quit) |
| 01:03:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:04:57 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 01:06:24 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 01:08:00 | → | yangby joins (~secret@122.233.221.11) |
| 01:14:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:15:17 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 01:15:40 | × | batbyte quits (~batbyte@172-79-46-231.nrwc.ny.frontiernet.net) (Quit: Leaving) |
| 01:19:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:21:52 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:25:47 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 01:26:10 | → | puke joins (~puke@user/puke) |
| 01:28:56 | × | yo quits (~yo@178.42.180.183.ipv4.supernova.orange.pl) (Ping timeout: 252 seconds) |
| 01:29:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:32:08 | → | ystael joins (~ystael@user/ystael) |
| 01:32:37 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 01:34:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:34:35 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 01:39:52 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 01:40:06 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 01:41:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:42:54 | → | yo joins (~yo@178.42.40.158.ipv4.supernova.orange.pl) |
| 01:46:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:51:33 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:55:54 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 01:56:08 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 01:56:35 | × | wbrawner quits (~wbrawner@static.205.41.78.5.clients.your-server.de) (Remote host closed the connection) |
| 01:57:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:00:49 | → | batbyte joins (~batbyte@172-79-46-231.nrwc.ny.frontiernet.net) |
| 02:03:13 | × | ft quits (~ft@p4fc2aa9f.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 02:04:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 02:04:40 | × | batbyte quits (~batbyte@172-79-46-231.nrwc.ny.frontiernet.net) (Read error: Connection reset by peer) |
| 02:04:57 | → | ft joins (~ft@p3e9bc646.dip0.t-ipconnect.de) |
| 02:07:40 | trickard_ | is now known as trickard |
| 02:12:40 | × | td_ quits (~td@i53870915.versanet.de) (Ping timeout: 255 seconds) |
| 02:14:17 | → | td_ joins (~td@i5387090d.versanet.de) |
| 02:15:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:19:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 02:30:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:35:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:38:52 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 02:39:27 | × | sp1ff quits (~user@c-24-21-190-184.hsd1.wa.comcast.net) (Ping timeout: 260 seconds) |
| 02:40:24 | × | haritz quits (~hrtz@user/haritz) (Remote host closed the connection) |
| 02:40:55 | → | tavare joins (~tavare@user/tavare) |
| 02:42:35 | × | ThePenguin0 quits (~ThePengui@cust-95-80-31-242.csbnet.se) (Read error: Connection reset by peer) |
| 02:42:41 | → | ThePenguin08 joins (~ThePengui@cust-95-80-31-242.csbnet.se) |
| 02:46:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:48:54 | lol_ | is now known as jcarpenter |
| 02:48:57 | jcarpenter | is now known as jcarpenter2 |
| 02:49:51 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 02:51:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 02:51:34 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 03:01:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:04:14 | × | tavare quits (~tavare@user/tavare) (Remote host closed the connection) |
| 03:06:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 03:10:26 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 03:10:42 | → | mange joins (~mange@user/mange) |
| 03:16:32 | → | aforemny joins (~aforemny@i59F4C4EA.versanet.de) |
| 03:17:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:17:57 | × | aforemny_ quits (~aforemny@i59f4c42c.versanet.de) (Ping timeout: 260 seconds) |
| 03:21:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 03:22:06 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 03:32:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:39:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 03:41:18 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 03:42:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:44:33 | × | lane quits (809450f172@2a03:6000:1812:100::1300) (Server closed connection) |
| 03:44:40 | → | lane joins (809450f172@2a03:6000:1812:100::1300) |
| 03:46:14 | × | Square quits (~Square4@user/square) (Ping timeout: 260 seconds) |
| 03:47:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 03:47:46 | × | fgaz quits (1ff9197ed6@2a03:6000:1812:100::11ea) (Server closed connection) |
| 03:47:53 | → | fgaz joins (1ff9197ed6@2a03:6000:1812:100::11ea) |
| 03:58:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:58:47 | × | ft quits (~ft@p3e9bc646.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 04:03:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:04:18 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:04:32 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 04:05:34 | → | ft joins (~ft@p508dbd3a.dip0.t-ipconnect.de) |
| 04:11:37 | × | ft quits (~ft@p508dbd3a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 04:13:24 | → | ft joins (~ft@p508dbd4a.dip0.t-ipconnect.de) |
| 04:13:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:18:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 04:18:37 | × | ft quits (~ft@p508dbd4a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 04:19:23 | → | ft joins (~ft@p508dbdda.dip0.t-ipconnect.de) |
| 04:22:52 | × | polux quits (~polux@51-15-169-172.rev.poneytelecom.eu) (Server closed connection) |
| 04:23:05 | → | polux joins (~polux@51-15-169-172.rev.poneytelecom.eu) |
| 04:25:28 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 04:29:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:34:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 04:37:20 | × | jespada_ quits (~jespada@2800:a4:2276:cf00:b488:502d:af3f:426d) (Ping timeout: 244 seconds) |
| 04:40:07 | → | jespada joins (~jespada@2800:a4:222a:ab00:295c:3b7b:a0eb:63b5) |
| 04:43:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:48:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 04:55:38 | → | michalz joins (~michalz@185.246.207.200) |
| 04:59:02 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 04:59:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:03:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 05:14:27 | → | takuan joins (~takuan@d8d86b9e9.access.telenet.be) |
| 05:14:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:19:33 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 05:19:55 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 05:21:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 05:23:36 | trickard_ | is now known as trickard |
| 05:30:48 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 05:32:03 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 05:32:13 | trickard_ | is now known as trickard |
| 05:32:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:37:08 | × | henrytill quits (e0180937c3@2a03:6000:1812:100::e8c) (Server closed connection) |
| 05:37:17 | → | henrytill joins (e0180937c3@2a03:6000:1812:100::e8c) |
| 05:37:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 05:43:24 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 05:44:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:46:16 | × | ft quits (~ft@p508dbdda.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 05:46:30 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 05:47:28 | → | ft joins (~ft@p508dbaa3.dip0.t-ipconnect.de) |
| 05:49:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:53:14 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 05:57:14 | trickard_ | is now known as trickard |
| 06:00:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:04:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:15:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:16:06 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 06:16:20 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 06:16:52 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 06:19:17 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:20:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:23:58 | trickard_ | is now known as trickard |
| 06:25:43 | → | tromp joins (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 06:25:49 | → | raym joins (~ray@user/raym) |
| 06:25:56 | × | ft quits (~ft@p508dbaa3.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 06:28:18 | × | michalz quits (~michalz@185.246.207.200) (Remote host closed the connection) |
| 06:29:38 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 06:29:51 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 06:31:01 | → | michalz joins (~michalz@185.246.207.217) |
| 06:31:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:32:50 | → | ft joins (~ft@p508dbd8e.dip0.t-ipconnect.de) |
| 06:35:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:36:20 | → | euphores joins (~SASL_euph@user/euphores) |
| 06:41:49 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 06:44:41 | × | arcadewise quits (52968ed80d@2a03:6000:1812:100::3df) (Server closed connection) |
| 06:44:50 | → | arcadewise joins (52968ed80d@2a03:6000:1812:100::3df) |
| 06:45:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:45:58 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:49:53 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 06:50:33 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 06:50:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:54:24 | → | mellowtractor joins (~user@180.151.196.242) |
| 06:58:29 | → | euphores joins (~SASL_euph@user/euphores) |
| 07:00:00 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:41 | → | caconym747 joins (~caconym@user/caconym) |
| 07:01:33 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 07:12:36 | → | dhil joins (~dhil@5.151.29.137) |
| 07:13:27 | × | tromp quits (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:16:42 | × | fizbin quits (~fizbin@user/fizbin) (Read error: Connection reset by peer) |
| 07:16:48 | → | fizbin_ joins (~fizbin@user/fizbin) |
| 07:25:59 | × | trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 07:26:11 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 07:27:47 | → | acidjnk joins (~acidjnk@p200300d6e7171939495adaceecd6b03f.dip0.t-ipconnect.de) |
| 07:30:57 | × | potatoe quits (~potatoe@157-131-120-242.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 07:35:27 | → | potatoe joins (~potatoe@157-131-120-242.fiber.dynamic.sonic.net) |
| 07:39:55 | → | merijn joins (~merijn@77.242.116.146) |
| 07:40:09 | × | olivial quits (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 07:40:25 | → | olivial joins (~benjaminl@user/benjaminl) |
| 07:45:04 | → | __monty__ joins (~toonn@user/toonn) |
| 07:49:20 | × | ft quits (~ft@p508dbd8e.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:00:59 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 08:01:28 | → | chele joins (~chele@user/chele) |
| 08:04:35 | → | tromp joins (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 08:06:22 | trickard_ | is now known as trickard |
| 08:10:31 | → | takuan_dozo joins (~takuan@d8D86B9E9.access.telenet.be) |
| 08:10:47 | × | takuan quits (~takuan@d8d86b9e9.access.telenet.be) (Ping timeout: 260 seconds) |
| 08:33:22 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 08:33:35 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 09:01:56 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 09:13:32 | × | trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:13:46 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 09:19:05 | × | sus quits (1b7af6299f@user/zeromomentum) (Server closed connection) |
| 09:19:13 | → | sus joins (1b7af6299f@user/zeromomentum) |
| 09:20:10 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 255 seconds) |
| 09:21:34 | → | fp joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 09:21:50 | × | fp quits (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Client Quit) |
| 09:22:02 | → | fp joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 09:24:10 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 09:24:30 | × | tromp quits (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:33:48 | → | tromp joins (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 09:38:46 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 09:41:29 | → | notzmv joins (~umar@user/notzmv) |
| 09:44:02 | → | euphores joins (~SASL_euph@user/euphores) |
| 09:47:19 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 09:53:25 | × | trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:53:39 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 10:02:42 | → | tt12310978324354 joins (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 10:06:17 | × | trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:06:31 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 10:12:32 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 10:32:36 | × | fp quits (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Quit: fp) |
| 10:32:48 | → | fp joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 10:35:04 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 10:35:31 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 276 seconds) |
| 10:36:17 | × | aniketd quits (32aa4844cd@2a03:6000:1812:100::dcb) (Server closed connection) |
| 10:36:25 | → | aniketd joins (32aa4844cd@2a03:6000:1812:100::dcb) |
| 10:44:58 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 10:49:34 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:56:26 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 10:57:35 | × | fp quits (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Remote host closed the connection) |
| 10:57:50 | → | fp joins (~Thunderbi@2001:708:150:10::72df) |
| 11:00:05 | × | tromp quits (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:00:34 | × | raym quits (~ray@user/raym) (Ping timeout: 252 seconds) |
| 11:01:55 | → | tromp joins (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 11:07:37 | → | raym joins (~ray@user/raym) |
| 11:14:15 | × | tromp quits (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:14:52 | × | michalz quits (~michalz@185.246.207.217) (Remote host closed the connection) |
| 11:17:21 | → | michalz joins (~michalz@185.246.207.217) |
| 11:20:48 | → | xff0x joins (~xff0x@2405:6580:b080:900:c488:ca49:9294:78c2) |
| 11:23:17 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 11:30:56 | × | michalz quits (~michalz@185.246.207.217) (Remote host closed the connection) |
| 11:33:25 | → | michalz joins (~michalz@185.246.207.217) |
| 11:33:51 | × | michalz quits (~michalz@185.246.207.217) (Remote host closed the connection) |
| 11:36:25 | → | michalz joins (~michalz@185.246.207.217) |
| 11:36:59 | → | Guest80 joins (~Guest80@180.190.208.145) |
| 11:37:09 | × | michalz quits (~michalz@185.246.207.217) (Remote host closed the connection) |
| 11:39:23 | × | Guest80 quits (~Guest80@180.190.208.145) (Client Quit) |
| 11:39:38 | → | michalz joins (~michalz@185.246.207.193) |
| 11:41:16 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 11:43:19 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
| 11:43:32 | × | michalz quits (~michalz@185.246.207.193) (Remote host closed the connection) |
| 11:43:40 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 11:43:50 | × | jakzale quits (6291399afa@user/jakzale) (Server closed connection) |
| 11:43:58 | → | jakzale joins (6291399afa@user/jakzale) |
| 11:45:27 | → | haritz joins (~hrtz@209.35.65.79) |
| 11:45:27 | × | haritz quits (~hrtz@209.35.65.79) (Changing host) |
| 11:45:27 | → | haritz joins (~hrtz@user/haritz) |
| 11:46:01 | → | michalz joins (~michalz@185.246.207.217) |
| 11:48:19 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 11:53:22 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 11:53:53 | → | fp1 joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 11:53:58 | × | fp quits (~Thunderbi@2001:708:150:10::72df) (Read error: Connection reset by peer) |
| 11:53:58 | fp1 | is now known as fp |
| 11:55:15 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 11:56:05 | × | fp quits (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Client Quit) |
| 11:56:20 | → | fp joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 12:06:02 | <yin> | @pl liftA2 ($) (f <$> a) b |
| 12:06:02 | <lambdabot> | liftA2 id (f <$> a) b |
| 12:06:35 | <yin> | :t liftA2 id |
| 12:06:36 | <lambdabot> | Applicative f => f (b -> c) -> f b -> f c |
| 12:07:01 | ThePenguin08 | is now known as ThePenguin |
| 12:07:33 | × | mellowtractor quits (~user@180.151.196.242) (Ping timeout: 252 seconds) |
| 12:07:57 | × | califax quits (~califax@user/califx) (Ping timeout: 240 seconds) |
| 12:09:07 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 12:10:01 | <probie> | :t liftA2 ($) |
| 12:10:02 | <lambdabot> | Applicative f => f (a -> c) -> f a -> f c |
| 12:11:18 | <yin> | liftA2 id === ap |
| 12:11:19 | <yin> | nice |
| 12:15:45 | → | califax joins (~califax@user/califx) |
| 12:25:24 | <yin> | @pl map h $ g $ f <$> a |
| 12:25:24 | <lambdabot> | map h (g (f <$> a)) |
| 12:30:31 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
| 12:32:06 | → | gmg joins (~user@user/gehmehgeh) |
| 12:33:53 | <yin> | finally figured out out to build lambdabot! i had to install external ncurses-libtinfo-devel and cabal install djinn |
| 12:42:10 | × | fp quits (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Read error: Connection reset by peer) |
| 12:42:20 | → | fp1 joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 12:44:19 | trickard_ | is now known as trickard |
| 12:44:37 | fp1 | is now known as fp |
| 12:44:57 | × | septimi quits (9f60f4cb70@user/septimi) (Server closed connection) |
| 12:45:05 | → | septimi joins (9f60f4cb70@user/septimi) |
| 12:51:23 | × | spew quits (e9e8135d87@user/spew) (Server closed connection) |
| 12:51:31 | → | spew joins (e9e8135d87@user/spew) |
| 12:57:00 | → | davidlbowman joins (~dlb@user/davidlbowman) |
| 12:57:50 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 13:16:16 | → | priime joins (~priime@2a01:4ff:f0:7ccc::1) |
| 13:20:21 | × | jackdk quits (uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity) |
| 13:21:48 | × | fp quits (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 252 seconds) |
| 13:22:33 | → | fp joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 13:25:40 | → | Square joins (~Square4@user/square) |
| 13:29:44 | × | yangby quits (~secret@122.233.221.11) (Ping timeout: 260 seconds) |
| 13:33:14 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 13:39:29 | × | mange quits (~mange@user/mange) (Remote host closed the connection) |
| 13:40:56 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.0) |
| 13:44:08 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 13:45:40 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 13:54:48 | → | gmg joins (~user@user/gehmehgeh) |
| 14:04:37 | × | fp quits (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 248 seconds) |
| 14:07:35 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: You) |
| 14:22:20 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 14:28:42 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 14:30:21 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 14:31:54 | → | yangby joins (~secret@122.233.221.11) |
| 14:33:29 | → | poscat joins (~poscat@user/poscat) |
| 14:35:37 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 14:36:05 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 14:36:10 | × | traxex quits (traxex@user/traxex) (Quit: Lost terminal) |
| 14:41:47 | × | trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:46:43 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 14:47:31 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 14:52:46 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 14:54:54 | × | yangby quits (~secret@122.233.221.11) (Ping timeout: 260 seconds) |
| 15:06:19 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 15:09:57 | trickard_ | is now known as trickard |
| 15:15:51 | × | danso quits (~danso@user/danso) (Server closed connection) |
| 15:16:06 | → | danso joins (~danso@user/danso) |
| 15:16:48 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 15:34:45 | → | ft joins (~ft@p508dbd8e.dip0.t-ipconnect.de) |
| 15:38:39 | × | duncan quits (c6181279e3@user/meow/duncan) (Server closed connection) |
| 15:38:49 | → | duncan joins (c6181279e3@user/meow/duncan) |
| 15:39:51 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 15:40:19 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 15:41:54 | → | dolio joins (~dolio@130.44.140.168) |
| 15:46:50 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 15:47:53 | → | dolio joins (~dolio@130.44.140.168) |
| 15:49:02 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 15:52:48 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 15:53:12 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 15:56:23 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 15:56:54 | → | yangby joins (~secret@122.233.221.11) |
| 15:59:28 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 16:05:37 | × | Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.7.0) |
| 16:05:50 | → | Pozyomka joins (~pyon@user/pyon) |
| 16:09:58 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 16:10:49 | × | samhh quits (7569f027cf@2a03:6000:1812:100::e4) (Server closed connection) |
| 16:10:49 | samhh_ | is now known as samhh |
| 16:10:58 | → | samhh_ joins (7569f027cf@2a03:6000:1812:100::e4) |
| 16:29:05 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 16:36:16 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Server closed connection) |
| 16:36:39 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 16:36:41 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 16:36:50 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 16:49:44 | × | jespada quits (~jespada@2800:a4:222a:ab00:295c:3b7b:a0eb:63b5) (Ping timeout: 272 seconds) |
| 16:50:56 | → | jespada joins (~jespada@2800:a4:2247:2400:386f:f20:8fc5:23de) |
| 16:52:38 | × | sm2n quits (ae95cb1267@user/sm2n) (Server closed connection) |
| 16:52:46 | → | sm2n joins (ae95cb1267@user/sm2n) |
| 16:55:51 | × | uint64_t quits (ec7b9bb9f3@2a03:6000:1812:100::139b) (Server closed connection) |
| 16:56:00 | → | uint64_t joins (ec7b9bb9f3@2a03:6000:1812:100::139b) |
| 16:56:55 | → | weary-traveler joins (~user@user/user363627) |
| 16:57:12 | × | weary-traveler quits (~user@user/user363627) (Client Quit) |
| 16:57:28 | → | weary-traveler joins (~user@user/user363627) |
| 17:02:16 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 17:06:46 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:11:19 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 17:11:56 | × | stureplan quits (22e45d5caf@user/stureplan) (Server closed connection) |
| 17:12:05 | → | stureplan joins (22e45d5caf@user/stureplan) |
| 17:16:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:21:35 | × | b0o quits (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Server closed connection) |
| 17:21:44 | → | b0o joins (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
| 17:23:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 17:25:13 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:31:43 | → | tromp joins (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 17:32:44 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 17:35:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:35:49 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 17:36:03 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 17:39:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 17:41:46 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 17:43:35 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 17:49:50 | × | MironZ3 quits (~MironZ@nat-infra.ehlab.uk) (Quit: The Lounge - https://thelounge.chat) |
| 17:50:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:50:56 | → | MironZ3 joins (~MironZ@nat-infra.ehlab.uk) |
| 17:52:58 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 17:55:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 17:56:01 | → | xnov joins (~xnov@103.98.209.35) |
| 17:57:59 | ← | xnov parts (~xnov@103.98.209.35) () |
| 17:58:41 | × | mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
| 18:00:48 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 18:01:22 | → | mrmonday joins (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 18:01:44 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 18:04:45 | trickard_ | is now known as trickard |
| 18:05:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:09:45 | × | fizbin_ quits (~fizbin@user/fizbin) (Read error: Connection reset by peer) |
| 18:10:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 18:13:03 | × | ursa-major quits (114efe6c39@2a03:6000:1812:100::11f3) (Server closed connection) |
| 18:13:12 | → | ursa-major joins (114efe6c39@2a03:6000:1812:100::11f3) |
| 18:15:39 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 18:16:16 | × | chaitlatte0 quits (ea29c0bb16@user/chaitlatte0) (Server closed connection) |
| 18:16:25 | → | chaitlatte0 joins (ea29c0bb16@user/chaitlatte0) |
| 18:20:43 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 18:21:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:21:39 | × | Igloo quits (~ian@81.2.99.210) (Ping timeout: 276 seconds) |
| 18:23:17 | → | Igloo joins (~ian@45.130.105.69) |
| 18:24:19 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 18:25:48 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 18:25:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 18:27:42 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 18:30:23 | × | Igloo quits (~ian@45.130.105.69) (Ping timeout: 245 seconds) |
| 18:32:36 | → | Igloo joins (~ian@81.2.99.210) |
| 18:33:48 | × | tromp quits (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:34:57 | × | dhil quits (~dhil@5.151.29.137) (Ping timeout: 260 seconds) |
| 18:36:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:38:11 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 18:40:25 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
| 18:40:25 | ljdarj1 | is now known as ljdarj |
| 18:41:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 18:43:22 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 18:45:56 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 18:46:10 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 18:51:35 | × | phma quits (~phma@2001:5b0:210d:d428:62c1:b76:34b1:839a) (Read error: Connection reset by peer) |
| 18:51:45 | × | trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 18:52:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:53:23 | → | phma joins (~phma@host-67-44-208-71.hnremote.net) |
| 18:55:36 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:57:08 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 18:57:28 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:59:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 19:00:02 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:42 | → | caconym747 joins (~caconym@user/caconym) |
| 19:07:45 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 19:10:57 | × | Ankhers quits (e99e97ef8e@2a03:6000:1812:100::2a2) (Server closed connection) |
| 19:11:05 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 19:11:06 | → | Ankhers joins (e99e97ef8e@2a03:6000:1812:100::2a2) |
| 19:18:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:22:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:33:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:38:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 19:42:10 | → | tromp joins (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 19:44:32 | → | poxel joins (~poxel@user/poxel) |
| 19:45:16 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 19:45:47 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 19:47:04 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 19:48:28 | × | poxel quits (~poxel@user/poxel) (Client Quit) |
| 19:49:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:49:33 | × | JoelMcCracken quits (5ea8252fbb@2a03:6000:1812:100::10e3) (Server closed connection) |
| 19:49:42 | → | JoelMcCracken joins (5ea8252fbb@2a03:6000:1812:100::10e3) |
| 19:52:53 | → | sixteenrats joins (~emelia@user/sixteenrats) |
| 19:53:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:53:46 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 19:55:14 | → | euphores joins (~SASL_euph@user/euphores) |
| 19:56:30 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 20:01:09 | × | yangby quits (~secret@122.233.221.11) (Ping timeout: 260 seconds) |
| 20:01:46 | <sixteenrats> | Hi, I'm sure this question is asked a lot, but is Haskell ever faster than well optimized C, especially in very parallel code? I.E. does it ever make sense for me to rewrite a very performance critical section of parallel C code in Haskell, or is it more worth my time to try to optimize the C? The specific project this would be for is for mid-at-coding/cablegen, and probably would be most of the |
| 20:01:48 | <sixteenrats> | src/generate.c file (if you're curious). |
| 20:02:49 | → | yangby joins (~secret@115.205.231.82) |
| 20:03:30 | <sixteenrats> | The reason I'm asking is because a very similar project to mine uses somewhat similar constructs to Haskell's paralellism and outperforms my C by a fair bit. |
| 20:04:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:07:33 | <sprout> | https://benchmarksgame-team.pages.debian.net/benchmarksgame/index.html |
| 20:09:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:11:18 | <sixteenrats> | sprout: ty! sorry for the simple question :P |
| 20:13:04 | <sprout> | it's not a simple question ;) |
| 20:13:18 | <sprout> | here: https://benchmarksgame-team.pages.debian.net/benchmarksgame/fastest/clang-ghc.html |
| 20:15:32 | × | tromp quits (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:18:00 | → | tromp joins (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
| 20:18:29 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 260 seconds) |
| 20:19:31 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 20:19:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:20:32 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 260 seconds) |
| 20:22:47 | <geekosaur> | there's at least one known case where haskell came in noticeably faster than C. but parallelism will depend a lot on how it's done (neither language auto-parallelizes, and except in simple cases that's still a very open topic of research) |
| 20:23:19 | <sixteenrats> | geekosaur: what's the case? |
| 20:25:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 20:25:14 | <geekosaur> | I think it was numeric code compiled via LLVM? |
| 20:26:35 | × | TimWolla quits (~timwolla@2a01:4f8:150:6153:beef::6667) (Quit: Bye) |
| 20:26:49 | × | yangby quits (~secret@115.205.231.82) (Ping timeout: 260 seconds) |
| 20:27:30 | → | sprotte24 joins (~sprotte24@p200300d16f078c0059c6348cdb3f9f36.dip0.t-ipconnect.de) |
| 20:28:55 | rvalue- | is now known as rvalue |
| 20:32:50 | → | TimWolla joins (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 20:33:10 | × | michalz quits (~michalz@185.246.207.217) (Remote host closed the connection) |
| 20:35:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:42:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:43:37 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 20:47:27 | × | samhh quits (7569f027cf@2a03:6000:1812:100::e4) (Server closed connection) |
| 20:47:27 | samhh_ | is now known as samhh |
| 20:47:36 | → | samhh_ joins (7569f027cf@2a03:6000:1812:100::e4) |
| 20:53:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:58:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 20:59:07 | → | pavonia joins (~user@user/siracusa) |
| 21:08:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:09:14 | trickard_ | is now known as trickard |
| 21:13:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:16:54 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 21:19:09 | × | jreicher quits (~user@user/jreicher) (Read error: Connection reset by peer) |
| 21:19:37 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 21:24:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:26:13 | → | pera joins (~pera@user/pera) |
| 21:28:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 21:31:54 | × | tromp quits (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:32:47 | trickard_ | is now known as trickard |
| 21:34:00 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 21:39:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:41:41 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:42:31 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 21:44:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 21:45:03 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 21:45:03 | ljdarj1 | is now known as ljdarj |
| 21:48:23 | × | takuan_dozo quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 21:54:42 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 21:54:55 | × | fgarcia quits (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 21:55:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:55:22 | → | fgarcia joins (~lei@user/fgarcia) |
| 21:55:54 | × | davidlbowman quits (~dlb@user/davidlbowman) (Ping timeout: 260 seconds) |
| 21:59:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:09:15 | × | Igloo quits (~ian@81.2.99.210) (Ping timeout: 252 seconds) |
| 22:09:48 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 22:10:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:11:17 | → | Igloo joins (~ian@45.130.105.70) |
| 22:16:49 | × | Igloo quits (~ian@45.130.105.70) (Ping timeout: 248 seconds) |
| 22:17:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 22:17:36 | → | Igloo joins (~ian@81.2.99.210) |
| 22:24:53 | → | batbyte joins (~batbyte@172-79-46-231.nrwc.ny.frontiernet.net) |
| 22:25:57 | × | Igloo quits (~ian@81.2.99.210) (Ping timeout: 260 seconds) |
| 22:26:44 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Remote host closed the connection) |
| 22:27:09 | × | pera quits (~pera@user/pera) (Quit: leaving) |
| 22:27:10 | → | rvalue joins (~rvalue@about/hackers/rvalue) |
| 22:27:53 | → | Igloo joins (~ian@45.130.105.70) |
| 22:28:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:33:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:34:08 | × | Igloo quits (~ian@45.130.105.70) (Ping timeout: 245 seconds) |
| 22:36:16 | → | Igloo joins (~ian@81.2.99.210) |
| 22:38:17 | → | davidlbowman joins (~dlb@user/davidlbowman) |
| 22:40:38 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 22:41:32 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 22:44:58 | → | jreicher joins (~user@user/jreicher) |
| 22:47:40 | rvalue- | is now known as rvalue |
| 22:51:54 | → | batbyte_ joins (~batbyte@52.sub-174-215-208.myvzw.com) |
| 22:56:17 | × | batbyte quits (~batbyte@172-79-46-231.nrwc.ny.frontiernet.net) (Ping timeout: 260 seconds) |
| 23:03:09 | × | batbyte_ quits (~batbyte@52.sub-174-215-208.myvzw.com) (Read error: Connection reset by peer) |
| 23:05:55 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 255 seconds) |
| 23:06:03 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 23:08:49 | → | yangby joins (~secret@115.205.231.82) |
| 23:13:01 | × | DragonMaus quits (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 23:13:51 | → | DragonMaus joins (~dragonmau@user/dragonmaus) |
| 23:19:48 | → | weary-traveler joins (~user@user/user363627) |
| 23:23:45 | × | weary-traveler quits (~user@user/user363627) (Client Quit) |
| 23:24:07 | → | weary-traveler joins (~user@user/user363627) |
| 23:34:33 | × | davidlbowman quits (~dlb@user/davidlbowman) (Quit: WeeChat 4.1.1) |
| 23:46:19 | → | user363627 joins (~user@user/user363627) |
| 23:48:21 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 23:48:34 | → | davidlbowman joins (~dlb@user/davidlbowman) |
| 23:49:41 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 248 seconds) |
| 23:52:27 | × | sprotte24 quits (~sprotte24@p200300d16f078c0059c6348cdb3f9f36.dip0.t-ipconnect.de) (Quit: Leaving) |
| 23:56:17 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 23:57:14 | × | acidjnk quits (~acidjnk@p200300d6e7171939495adaceecd6b03f.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 23:57:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:57:38 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
All times are in UTC on 2025-08-13.