Logs on 2025-05-27 (liberachat/#haskell)
| 00:01:37 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 00:01:50 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:02:11 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:02:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:02:55 | → | img joins (~img@user/img) |
| 00:03:45 | × | jespada quits (~jespada@r179-24-29-82.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds) |
| 00:04:04 | → | j1n37 joins (~j1n37@user/j1n37) |
| 00:11:10 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:11:32 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:13:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:19:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 00:25:53 | × | acidjnk quits (~acidjnk@p200300d6e71c4f793ca0c1b1d3dae2fd.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 00:29:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:35:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:41:43 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:42:06 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:45:17 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 00:45:31 | × | xff0x quits (~xff0x@ai083248.d.east.v6connect.net) (Ping timeout: 252 seconds) |
| 00:45:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:50:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:50:33 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 00:53:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 00:54:00 | → | Guest28 joins (~Guest28@2603-9001-0c00-014b-38e2-3bbc-855e-ebc7.inf6.spectrum.com) |
| 00:54:40 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 00:54:49 | × | Guest28 quits (~Guest28@2603-9001-0c00-014b-38e2-3bbc-855e-ebc7.inf6.spectrum.com) (Client Quit) |
| 00:54:55 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 00:55:43 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 00:58:23 | → | j1n37 joins (~j1n37@user/j1n37) |
| 01:00:12 | → | aprilwall_ joins (~aprilwall@83.220.239.86) |
| 01:03:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:05:33 | → | arahael joins (~arahael@user/arahael) |
| 01:08:17 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 265 seconds) |
| 01:08:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 01:15:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:15:59 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:18:17 | × | aprilwall_ quits (~aprilwall@83.220.239.86) (Quit: Leaving) |
| 01:19:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:21:57 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 01:22:03 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 01:23:15 | × | ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 01:24:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:25:23 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:25:42 | × | mrmr5 quits (~mrmr@user/mrmr) (Remote host closed the connection) |
| 01:25:42 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:25:51 | → | j1n37 joins (~j1n37@user/j1n37) |
| 01:27:33 | × | kritzefitz quits (~kritzefit@debian/kritzefitz) (Ping timeout: 252 seconds) |
| 01:28:21 | → | kritzefitz joins (~kritzefit@debian/kritzefitz) |
| 01:29:33 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 01:29:45 | × | krei-se quits (~krei-se@p3ee0f1b5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 01:29:52 | → | j1n37 joins (~j1n37@user/j1n37) |
| 01:30:06 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 01:30:21 | → | Square2 joins (~Square@user/square) |
| 01:32:21 | → | pyooque joins (~puke@user/puke) |
| 01:32:21 | puke | is now known as Guest6057 |
| 01:32:21 | × | Guest6057 quits (~puke@user/puke) (Killed (mercury.libera.chat (Nickname regained by services))) |
| 01:32:21 | pyooque | is now known as puke |
| 01:34:21 | → | j1n37 joins (~j1n37@user/j1n37) |
| 01:35:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:35:32 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:35:57 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:36:54 | → | krei-se joins (~krei-se@p3ee0f1b5.dip0.t-ipconnect.de) |
| 01:40:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 01:40:28 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:41:46 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:42:07 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 01:44:46 | × | krei-se quits (~krei-se@p3ee0f1b5.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 01:47:08 | → | krei-se joins (~krei-se@p200300f1cfff0773da9ef3fffe7fdac8.dip0.t-ipconnect.de) |
| 01:50:27 | → | craunts7 joins (~craunts@136.158.8.87) |
| 01:50:46 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 01:50:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:53:56 | → | j1n37 joins (~j1n37@user/j1n37) |
| 01:55:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:56:58 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 01:58:39 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:59:01 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:01:09 | → | j1n37 joins (~j1n37@user/j1n37) |
| 02:06:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:07:15 | × | td_ quits (~td@83.135.9.23) (Ping timeout: 265 seconds) |
| 02:08:57 | → | td_ joins (~td@i53870903.versanet.de) |
| 02:12:14 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 02:13:04 | → | werneta joins (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 02:13:42 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:13:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 02:14:03 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:15:28 | → | j1n37 joins (~j1n37@user/j1n37) |
| 02:20:13 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 02:23:28 | → | j1n37 joins (~j1n37@user/j1n37) |
| 02:25:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:32:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:40:40 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 02:42:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:42:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:43:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:45:25 | → | j1n37 joins (~j1n37@user/j1n37) |
| 02:48:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 02:58:05 | → | mange joins (~user@user/mange) |
| 02:59:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:02:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:02:21 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:04:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 03:10:47 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:11:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:15:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:16:53 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:17:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:20:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 03:21:11 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:fcbd:4c31:903a:fb6c) (Quit: ZNC 1.8.2 - https://znc.in) |
| 03:21:29 | → | nschoe joins (~nschoe@82-65-202-30.subs.proxad.net) |
| 03:25:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:26:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:30:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:35:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:37:21 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 03:40:51 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:41:14 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:42:51 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 03:46:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:51:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:51:21 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:51:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 03:52:17 | × | tomku|two quits (~tomku@user/tomku) (Ping timeout: 248 seconds) |
| 03:56:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:56:30 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 03:58:45 | → | tomku joins (~tomku@user/tomku) |
| 04:01:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:07:57 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:08:18 | × | poscat quits (~poscat@user/poscat) (Read error: Connection reset by peer) |
| 04:08:18 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:10:28 | → | poscat joins (~poscat@user/poscat) |
| 04:10:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:15:09 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:15:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:15:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 04:26:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:27:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:27:35 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:31:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:31:13 | → | Square joins (~Square4@user/square) |
| 04:34:02 | × | Square2 quits (~Square@user/square) (Ping timeout: 272 seconds) |
| 04:34:08 | → | michalz joins (~michalz@185.246.207.193) |
| 04:35:06 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:35:30 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:42:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:43:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:43:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:47:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:49:12 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 04:49:36 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:56:45 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 04:57:29 | × | notzmv quits (~daniel@user/notzmv) (Ping timeout: 245 seconds) |
| 04:57:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:57:53 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 04:58:06 | Lord_of_Life_ | is now known as Lord_of_Life |
| 05:03:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 05:07:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:07:42 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:11:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:15:27 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 05:16:53 | → | tavare joins (~tavare@user/tavare) |
| 05:16:57 | → | takuan joins (~takuan@d8D86B601.access.telenet.be) |
| 05:17:22 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:17:46 | × | tavare quits (~tavare@user/tavare) (Read error: Connection reset by peer) |
| 05:17:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:18:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:20:56 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 05:25:16 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 05:25:50 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:26:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:29:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:33:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:34:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:34:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:41:27 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:41:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:45:25 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 05:45:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:47:53 | → | erty joins (~user@user/aeroplane) |
| 05:50:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 05:52:46 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 05:55:27 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:55:48 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:01:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:03:29 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:03:50 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:06:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:09:52 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:10:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:12:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:13:22 | × | erty quits (~user@user/aeroplane) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 06:17:07 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 06:17:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 06:19:58 | → | tromp joins (~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e) |
| 06:22:20 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 272 seconds) |
| 06:25:29 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:25:53 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:27:59 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:28:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:33:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 06:35:39 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:36:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:36:12 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 06:38:51 | × | werneta quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds) |
| 06:44:04 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:44:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:44:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:49:19 | × | Vajb quits (~Vajb@n70s1gw9rltp7nongp6-1.v6.elisa-mobile.fi) (Ping timeout: 276 seconds) |
| 06:49:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 06:51:42 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 06:52:02 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:52:06 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:59:16 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 07:00:02 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:00:40 | → | caconym7 joins (~caconym@user/caconym) |
| 07:04:43 | → | chele joins (~chele@user/chele) |
| 07:04:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 07:16:02 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:16:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:21:01 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 07:25:42 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 07:26:06 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 07:29:32 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:29:56 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:35:42 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:36:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:41:38 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:41:59 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 07:42:04 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 07:52:45 | → | merijn joins (~merijn@77.242.116.146) |
| 07:55:50 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 07:56:15 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:01:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:02:06 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:08:36 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 08:09:13 | → | acidjnk joins (~acidjnk@p200300d6e71c4f71f40919caceb60240.dip0.t-ipconnect.de) |
| 08:14:23 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 08:22:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:22:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:24:16 | × | ft quits (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:32:12 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:32:34 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:37:09 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 08:39:06 | → | merijn joins (~merijn@77.242.116.146) |
| 08:39:37 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:41:32 | × | tromp quits (~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:42:13 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:42:36 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:43:32 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 08:44:06 | → | merijn joins (~merijn@77.242.116.146) |
| 08:50:17 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:50:45 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 08:50:54 | → | Digitteknohippie joins (~user@user/digit) |
| 08:51:35 | × | craunts7 quits (~craunts@136.158.8.87) (Read error: Connection reset by peer) |
| 08:51:48 | × | Digit quits (~user@user/digit) (Ping timeout: 265 seconds) |
| 08:51:57 | → | craunts7 joins (~craunts@136.158.8.87) |
| 08:56:17 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 08:56:40 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:02:19 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:02:31 | Digitteknohippie | is now known as Digit |
| 09:02:44 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:07:44 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 09:09:17 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 09:09:52 | → | ubert joins (~Thunderbi@2a02:8109:abb3:7000:3f2d:6c2:b2d6:5714) |
| 09:12:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:12:22 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:22:24 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:22:35 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 09:22:46 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:26:49 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Remote host closed the connection) |
| 09:35:43 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 09:37:25 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 09:38:13 | → | gmg joins (~user@user/gehmehgeh) |
| 09:40:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:41:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:41:20 | → | yoneda joins (~mike@193.206.102.122) |
| 09:41:55 | → | tromp joins (~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e) |
| 09:46:31 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:46:51 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:50:29 | → | __monty__ joins (~toonn@user/toonn) |
| 09:51:11 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 09:52:49 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 10:02:35 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:03:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:06:12 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 264 seconds) |
| 10:06:39 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 10:18:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:18:52 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 10:19:05 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:42:46 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:43:05 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:48:47 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 10:49:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:00:04 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 11:00:51 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:01:13 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:01:42 | → | jespada joins (~jespada@r167-61-143-22.dialup.adsl.anteldata.net.uy) |
| 11:02:11 | → | caconym7 joins (~caconym@user/caconym) |
| 11:03:48 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 11:04:53 | → | califax_ joins (~califax@user/califx) |
| 11:05:36 | × | califax quits (~califax@user/califx) (Ping timeout: 264 seconds) |
| 11:06:07 | califax_ | is now known as califax |
| 11:07:04 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 11:09:42 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 11:12:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:13:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:16:53 | → | xff0x joins (~xff0x@2405:6580:b080:900:421a:f7d5:c8c3:af24) |
| 11:16:54 | × | ubert quits (~Thunderbi@2a02:8109:abb3:7000:3f2d:6c2:b2d6:5714) (Quit: ubert) |
| 11:17:07 | → | ubert joins (~Thunderbi@2a02:8109:abb3:7000:32db:426b:cdd9:f98a) |
| 11:24:57 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:25:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:30:57 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:31:20 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:32:09 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 11:34:16 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 11:45:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 11:45:26 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:53:02 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 11:55:44 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 11:57:15 | × | tromp quits (~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:00:33 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 12:00:34 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 12:00:34 | → | haritz joins (~hrtz@user/haritz) |
| 12:09:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:09:44 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:13:16 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 12:15:09 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:15:21 | → | poscat joins (~poscat@user/poscat) |
| 12:15:32 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:24:59 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 12:25:29 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:25:50 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:26:12 | × | jespada quits (~jespada@r167-61-143-22.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 12:29:51 | <pounce> | is account creation broken on the haskell wiki |
| 12:31:19 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:31:40 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:33:13 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 12:34:27 | → | shaeto joins (~Shaeto@94.25.234.143) |
| 12:35:30 | <int-e> | the web frontend for that has been disabled for ages. https://wiki.haskell.org/index.php?title=HaskellWiki:New_accounts |
| 12:35:58 | → | oskarw joins (~user@user/oskarw) |
| 12:36:33 | <oskarw> | Hi everyone, I've done cs194 and I've done "programming from first principle" and now I want to work on some project with someone. Does anybody works on something and would like to work with me? I'm finishing my math master degree, so I don't have problem if project would be based on paper. |
| 12:37:15 | <pounce> | i c |
| 12:37:24 | × | carbolymer quits (~carbolyme@dropacid.net) (Remote host closed the connection) |
| 12:37:30 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:37:43 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 12:37:52 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:40:05 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 12:41:50 | → | poscat joins (~poscat@user/poscat) |
| 12:42:04 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 12:44:33 | × | acidjnk quits (~acidjnk@p200300d6e71c4f71f40919caceb60240.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 12:45:18 | → | poscat joins (~poscat@user/poscat) |
| 12:45:29 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:45:51 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:51:32 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 12:51:53 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:55:48 | → | fp1 joins (~Thunderbi@dhcp-84-224.eduroam.aalto.fi) |
| 12:56:53 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 248 seconds) |
| 12:56:53 | fp1 | is now known as fp |
| 12:57:29 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 13:00:34 | → | acidjnk joins (~acidjnk@p200300d6e71c4f718953afdf32714a23.dip0.t-ipconnect.de) |
| 13:02:03 | → | olliep joins (~ollie@2a0a:ef40:19e:b02:f7b5:f015:a53b:d50f) |
| 13:03:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:03:55 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:10:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:10:32 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:16:19 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:16:41 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:19:57 | → | fp1 joins (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) |
| 13:21:49 | × | fp quits (~Thunderbi@dhcp-84-224.eduroam.aalto.fi) (Ping timeout: 244 seconds) |
| 13:21:49 | fp1 | is now known as fp |
| 13:23:31 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:23:53 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:27:35 | → | fp1 joins (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) |
| 13:28:01 | × | fp quits (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 244 seconds) |
| 13:28:01 | fp1 | is now known as fp |
| 13:35:23 | <EvanR> | oskarw, that sounds rad, I'd like to see if you and someone can come up with something |
| 13:36:17 | → | tromp joins (~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e) |
| 13:37:33 | <oskarw> | EvanR: thank you for words of encouragement |
| 13:43:42 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:44:06 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:45:08 | → | Digitteknohippie joins (~user@user/digit) |
| 13:45:40 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 13:51:35 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:51:51 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 13:51:55 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:55:25 | → | jespada joins (~jespada@131.0.212.99) |
| 13:57:06 | Digitteknohippie | is now known as Digit |
| 13:57:20 | × | jespada quits (~jespada@131.0.212.99) (Client Quit) |
| 13:57:33 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 13:57:53 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:58:08 | → | gmg joins (~user@user/gehmehgeh) |
| 14:16:04 | × | mange quits (~user@user/mange) (Quit: Zzz...) |
| 14:23:47 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:24:09 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:26:40 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 14:31:55 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:32:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:33:10 | × | fp quits (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Read error: Connection reset by peer) |
| 14:33:24 | → | fp joins (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) |
| 14:34:06 | → | Square2 joins (~Square@user/square) |
| 14:34:29 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 14:34:50 | → | olliep- joins (~ollie@2a0a:ef40:19e:b02:f7b5:f015:a53b:d50f) |
| 14:38:06 | × | Square quits (~Square4@user/square) (Ping timeout: 252 seconds) |
| 14:39:50 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:40:14 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:45:07 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 14:45:07 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 14:45:48 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:46:11 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 14:49:40 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 14:50:19 | → | weary-traveler joins (~user@user/user363627) |
| 14:58:34 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 14:59:52 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:00:13 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:00:44 | <Leary> | Is there a `data VoidF :: k -> Type where {}` hiding somewhere? I feel like I saw one at some point. |
| 15:01:09 | × | fp quits (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 248 seconds) |
| 15:03:25 | <int-e> | scnr (made me giggle when I saw it): https://gitlab.haskell.org/ghc/ghc/-/blob/master/testsuite/tests/typecheck/should_compile/T21583.hs#L45 |
| 15:16:13 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 15:21:45 | → | fp joins (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) |
| 15:23:00 | <EvanR> | VoidF sounds like a good AAA haskell game |
| 15:23:44 | <bwe> | [exa]: do you know how to yield just the next row of a select with selda? There is https://github.com/valderman/selda/blob/ab9619db13b93867d1a244441bb4de03d3e1dadb/selda/src/Database/Selda/SqlRow.hs#L34, but it's not documented. (I am asking because I want to create a Stream using `streaming`'s yield function. |
| 15:28:01 | × | oskarw quits (~user@user/oskarw) (Ping timeout: 276 seconds) |
| 15:28:33 | <EvanR> | -- | Read the next, potentially composite, result from a stream of columns. is a documentation comment |
| 15:29:18 | <EvanR> | oops wrong line you're right |
| 15:30:14 | <EvanR> | though gNextResult is for "columns" not rows |
| 15:31:15 | → | RedFlamingos joins (~RedFlamin@user/RedFlamingos) |
| 15:36:35 | <bwe> | It appears I "just" need to roll my variant of `buildResult` including a variant of `toRes` that is using yield with next (without calling itself). If I'd do that by defining a new instance `toStream`, I would do it in a different package than selda. How do I go about/avoid the orphan type instances? |
| 15:36:56 | <bwe> | https://github.com/search?q=repo%3Avalderman%2Fselda+toRes&type=code |
| 15:37:06 | → | mfc_kbs joins (~keibisoft@user/mfc-kbs:22635) |
| 15:38:10 | × | mrvdb quits (~mrvdb@185.92.221.186) (Quit: ZNC 1.9.1 - https://znc.in) |
| 15:39:14 | → | mrvdb joins (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 15:43:13 | × | fp quits (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 248 seconds) |
| 15:44:19 | <EvanR> | yes it appears the query function eventually runs an IO action to get (Int, [[SqlValue]]) before converting them all to the desired result types |
| 15:44:37 | <EvanR> | so unless it's using lazy I/O this gets all the data up front |
| 15:44:55 | × | Square2 quits (~Square@user/square) (Ping timeout: 276 seconds) |
| 15:46:16 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:46:37 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:46:44 | <lxsameer> | hey folks, is llvm-hs dead? |
| 15:57:48 | → | fp joins (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) |
| 15:58:22 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 15:58:25 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:58:47 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:01:59 | × | fp quits (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 244 seconds) |
| 16:03:49 | → | laurapigeon joins (~laurapige@user/laurapigeon) |
| 16:04:47 | × | laurapigeon quits (~laurapige@user/laurapigeon) (Quit: WeeChat 4.6.3) |
| 16:05:19 | → | sprotte24 joins (~sprotte24@p200300d16f362e006c438e53ebe4b26d.dip0.t-ipconnect.de) |
| 16:05:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:06:14 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:10:55 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
| 16:11:06 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 16:13:37 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds) |
| 16:14:06 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:20:15 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:20:36 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:26:15 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 16:26:36 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:27:04 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 16:32:16 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:32:37 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:33:36 | × | ubert quits (~Thunderbi@2a02:8109:abb3:7000:32db:426b:cdd9:f98a) (Quit: ubert) |
| 16:38:19 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:38:39 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:52:02 | × | ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 16:52:12 | × | visilii_ quits (~visilii@213.24.132.221) (Read error: Connection reset by peer) |
| 16:52:57 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 16:54:13 | → | visilii joins (~visilii@213.24.132.221) |
| 16:54:40 | → | pavonia joins (~user@user/siracusa) |
| 16:55:47 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 16:58:10 | × | visilii quits (~visilii@213.24.132.221) (Read error: Connection reset by peer) |
| 16:58:28 | → | visilii joins (~visilii@213.24.132.221) |
| 17:08:35 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:08:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:10:44 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 17:15:40 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:17:50 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 17:18:39 | → | ft joins (~ft@p3e9bc106.dip0.t-ipconnect.de) |
| 17:21:37 | × | yoneda quits (~mike@193.206.102.122) (Quit: leaving) |
| 17:22:00 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 17:25:28 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:25:48 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 17:25:51 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 17:27:50 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 17:31:32 | <tomsmeding> | @tell lxsameer kind of, there is a llvm-15 branch in the github repository of llvm-hs that does work, but nothing newer |
| 17:31:33 | <lambdabot> | Consider it noted. |
| 17:32:11 | → | euphores joins (~SASL_euph@user/euphores) |
| 17:40:43 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:41:38 | × | tromp quits (~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:46:28 | → | tromp joins (~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e) |
| 17:47:45 | × | shaeto quits (~Shaeto@94.25.234.143) (Ping timeout: 260 seconds) |
| 17:47:45 | → | laurapigeon joins (~laurapige@user/laurapigeon) |
| 17:49:43 | → | shaeto joins (~Shaeto@94.25.234.207) |
| 17:51:00 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 17:52:49 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:53:10 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:06:05 | × | craunts7 quits (~craunts@136.158.8.87) (Quit: The Lounge - https://thelounge.chat) |
| 18:08:34 | × | talismanick quits (~user@2601:644:937c:ed10::ae5) (Ping timeout: 260 seconds) |
| 18:15:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:15:28 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:16:39 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 18:23:58 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 18:24:00 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 18:25:29 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:25:44 | × | laurapigeon quits (~laurapige@user/laurapigeon) (Quit: WeeChat 4.6.3) |
| 18:25:52 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:31:19 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 18:35:00 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:35:23 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:35:30 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 18:38:37 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:46:13 | → | oskarw joins (~user@user/oskarw) |
| 18:48:53 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:49:13 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:00:00 | × | olliep- quits (~ollie@2a0a:ef40:19e:b02:f7b5:f015:a53b:d50f) (Remote host closed the connection) |
| 19:00:00 | × | olliep quits (~ollie@2a0a:ef40:19e:b02:f7b5:f015:a53b:d50f) (Remote host closed the connection) |
| 19:00:03 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 19:01:04 | → | caconym7 joins (~caconym@user/caconym) |
| 19:02:05 | × | shaeto quits (~Shaeto@94.25.234.207) (Quit: WeeChat 4.1.1) |
| 19:08:08 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:09:48 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 19:14:16 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 19:16:31 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:16:52 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:21:50 | <[exa]> | bwe: if I got it correctly you want some equivalent of what e.g. db cursors would give you? |
| 19:25:31 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:25:34 | → | tccq joins (~user@97-120-253-57.ptld.qwest.net) |
| 19:25:49 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:26:10 | → | weary-traveler joins (~user@user/user363627) |
| 19:29:17 | <[exa]> | bwe: also looks like streaming is in the TODOs in the readme |
| 19:29:53 | <[exa]> | I wouldn't say it's gonna be hard but you might really need to touch undocumented internals |
| 19:31:29 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 19:32:54 | × | tccq quits (~user@97-120-253-57.ptld.qwest.net) (Ping timeout: 252 seconds) |
| 19:33:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:33:26 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:37:39 | <[exa]> | bwe: anyway the implementation "trail" goes through query, queryWith, then Backend type with field runStmt, which executes the query "normally" in both postgres and sqlite |
| 19:38:04 | <[exa]> | if you want streaming from the database, you need to change the backend to use something like this: https://www.postgresql.org/docs/current/libpq-single-row-mode.html |
| 19:38:56 | <[exa]> | OTOH if you have a streaming library there you might be good off with just spewing out LIMIT n OFFSET (k*n) queries until there's anything returned. |
| 19:39:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:39:30 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:42:19 | <[exa]> | (oh, well, sqlite3 does this with _C callbacks_, wow. Not sure if anyone ever succeeded in wrapping these in streamy libraries.) |
| 19:46:04 | <EvanR> | callbacks aren't the only way to use sqlite3 |
| 19:53:13 | <[exa]> | ah there's sqlite3_step |
| 19:54:00 | <[exa]> | I was looking at sqlite3_exec, in the reference the _step looks like it does something entirely different |
| 19:54:56 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 19:58:49 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 20:12:01 | × | acidjnk quits (~acidjnk@p200300d6e71c4f718953afdf32714a23.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 20:12:10 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:12:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:12:52 | → | acidjnk joins (~acidjnk@p200300d6e71c4f7168889a89d8a6ca2a.dip0.t-ipconnect.de) |
| 20:15:14 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 20:15:45 | × | acidjnk quits (~acidjnk@p200300d6e71c4f7168889a89d8a6ca2a.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 20:25:40 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:25:59 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:32:48 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 20:34:59 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 20:36:27 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:36:49 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:38:15 | → | acidjnk joins (~acidjnk@p200300d6e71c4f71d1d5de29932680ec.dip0.t-ipconnect.de) |
| 20:48:04 | × | oskarw quits (~user@user/oskarw) (Ping timeout: 268 seconds) |
| 20:49:42 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:50:03 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:02:07 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:02:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:09:35 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 260 seconds) |
| 21:09:59 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 21:12:02 | × | takuan quits (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 21:15:36 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:15:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:16:25 | <sm> | https://haskell-links.org simplified |
| 21:17:06 | <sm> | @where+ auto-status https://auto-status.haskell.org |
| 21:17:06 | <lambdabot> | Done. |
| 21:20:16 | <sm> | I'd like to show no results by default but don't know how just now |
| 21:23:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:23:26 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:29:18 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:29:38 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:37:37 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:37:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 21:40:34 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:43:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:44:08 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:04:50 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:05:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:10:46 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:11:07 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:14:57 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 22:16:45 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:17:06 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:22:17 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:22:37 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:24:49 | × | tromp quits (~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:28:42 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:29:56 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:30:17 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:40:57 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:41:17 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:42:44 | × | biberu quits (~biberu@user/biberu) (Ping timeout: 272 seconds) |
| 22:47:01 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:47:23 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:48:39 | <EvanR> | the link to existential anti-pattern doesn't work :( |
| 22:48:57 | <EvanR> | though I've seen it on wayback machine recently |
| 22:51:36 | → | biberu joins (~biberu@user/biberu) |
| 22:53:21 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:53:42 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 22:54:24 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 22:58:22 | <EvanR> | or maybe it's gone for a reason |
| 22:58:38 | <EvanR> | like turns out existentials are cool after all xD |
| 23:00:23 | <monochrom> | \∩/ |
| 23:01:18 | <monochrom> | The anti-pattern anti-pattern. The code-smell opinion smell. |
| 23:02:06 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:02:27 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:03:33 | → | Square2 joins (~Square@user/square) |
| 23:05:28 | × | sprotte24 quits (~sprotte24@p200300d16f362e006c438e53ebe4b26d.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 23:06:35 | <sm> | @where existential-antipattern |
| 23:06:35 | <lambdabot> | "Haskell Antipattern: Existential Typeclass" by Luke Palmer at <https://web.archive.org/web/20220121105027/https://lukepalmer.wordpress.com/2010/01/24/haskell-antipattern-existential-typeclass/> |
| 23:07:19 | <sm> | working for me! |
| 23:07:51 | <sm> | I see a bad one, drop that I guess |
| 23:07:53 | <sm> | @where+ antipattern |
| 23:07:53 | <lambdabot> | It is forgotten. |
| 23:11:54 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 23:12:05 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:12:25 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:18:57 | <EvanR> | @where parse-don't-validate |
| 23:18:57 | <lambdabot> | "Parse, don't validate" by lexi-lambda in 2019-11-05 at <https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/> |
| 23:19:37 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 23:19:39 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:20:00 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:21:24 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:23:31 | × | Vq quits (~vq@81-226-38-201-no600.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 23:26:08 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:26:29 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:30:12 | → | mange joins (~user@user/mange) |
| 23:30:22 | → | Vq joins (~vq@81-226-38-201-no600.tbcn.telia.com) |
| 23:31:08 | <EvanR> | @where lambdacats |
| 23:31:08 | <lambdabot> | http://lambdacats.org |
| 23:32:10 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:32:31 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:32:40 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 23:38:27 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 23:39:38 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 23:40:07 | <EvanR> | @where escaping-hell |
| 23:40:07 | <lambdabot> | (non-tutorial teaser) "Escaping Hell with Monads" by Philip Nillson in 2017-05-08 at <https://philipnilsson.github.io/Badness10k/escaping-hell-with-monads/> |
| 23:40:28 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:40:45 | <int-e> | . o O ( but now you'r stuck in a monad? ) |
| 23:40:49 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:44:20 | <EvanR> | stuck in a burrito like one of those cat pictures |
| 23:48:30 | → | biberu\ joins (~biberu@user/biberu) |
| 23:49:55 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 23:49:56 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:50:16 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:51:31 | × | biberu quits (~biberu@user/biberu) (Ping timeout: 252 seconds) |
| 23:51:35 | biberu\ | is now known as biberu |
| 23:55:22 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
All times are in UTC on 2025-05-27.