Logs on 2025-03-18 (liberachat/#haskell)
| 00:01:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:04:07 | × | hgolden_ quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 00:08:18 | × | tccq quits (~user@user/tccq) (Ping timeout: 276 seconds) |
| 00:11:45 | × | plitter quits (~plitter@user/plitter) (Ping timeout: 246 seconds) |
| 00:12:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:13:44 | → | kh0d joins (~kh0d@212.200.181.159) |
| 00:14:30 | × | xff0x quits (~xff0x@2405:6580:b080:900:9913:8179:fb69:5ee5) (Ping timeout: 265 seconds) |
| 00:17:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 00:18:34 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 00:19:45 | → | xff0x joins (~xff0x@2405:6580:b080:900:9913:8179:fb69:5ee5) |
| 00:27:00 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 00:28:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:32:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:33:00 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:34:51 | <mauke> | #define DEFSTRUCT(X) typedef struct X X; struct X |
| 00:35:25 | → | alfiee joins (~alfiee@user/alfiee) |
| 00:37:03 | <monochrom> | I have trouble telling that apart from DESTRUCT :) |
| 00:40:07 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 00:40:57 | × | tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 00:41:04 | × | euleritian quits (~euleritia@dynamic-176-006-132-052.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 00:41:22 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 00:43:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:48:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:49:17 | → | bilegeek joins (~bilegeek@2600:1008:b042:84f7:27d1:e8e2:5d3b:65d1) |
| 00:51:03 | <Axman6> | thats how I read it too |
| 00:51:28 | <geekosaur> | is that wrong? 😈 |
| 00:52:30 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 00:52:39 | <EvanR> | upgrade to DEFSTRUCT(4) |
| 00:52:48 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 00:52:53 | × | sprotte24 quits (~sprotte24@p200300d16f275800a1de62e3bbd83239.dip0.t-ipconnect.de) (Quit: Leaving) |
| 00:53:54 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 00:54:41 | → | euleritian joins (~euleritia@95.90.214.149) |
| 00:54:42 | × | acidjnk quits (~acidjnk@p200300d6e71c4f06b15130e44e471244.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 00:55:12 | × | euleritian quits (~euleritia@95.90.214.149) (Remote host closed the connection) |
| 00:56:14 | <int-e> | it's perfectly accurate; it allows you to use `X` without `struct`, so it de-structs it. |
| 00:56:34 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 00:57:56 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 00:58:24 | → | euleritian joins (~euleritia@95.90.214.149) |
| 00:59:29 | × | euleritian quits (~euleritia@95.90.214.149) (Remote host closed the connection) |
| 00:59:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:00:26 | <geekosaur> | I think EvanR confused it with "define constructor" 😈 |
| 01:00:28 | → | euleritian joins (~euleritia@95.90.214.149) |
| 01:01:28 | <monochrom> | oh yeah hehe, so that's why I was thinking "do you mean defcon 4?" |
| 01:03:43 | <yin> | and yet |
| 01:03:48 | <yin> | :t takeWhile |
| 01:03:48 | <lambdabot> | (a -> Bool) -> [a] -> [a] |
| 01:03:52 | <yin> | :t takeUntil |
| 01:03:53 | <lambdabot> | error: Variable not in scope: takeUntil |
| 01:04:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:06:23 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:11:21 | <jackdk> | takeUntil = takeWhile . (not .) |
| 01:11:22 | <EvanR> | takeYet takeNevertheless takeAlongside takeDespite... |
| 01:11:44 | <EvanR> | the API has only scratched the surface |
| 01:14:31 | <jackdk> | takeAsLongAsIFeelLikeIt |
| 01:15:04 | <EvanR> | getTheeHence |
| 01:15:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:20:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 01:21:09 | → | alfiee joins (~alfiee@user/alfiee) |
| 01:22:03 | × | kh0d quits (~kh0d@212.200.181.159) (Ping timeout: 245 seconds) |
| 01:25:52 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 01:31:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:32:18 | × | notdabs quits (~Owner@2600:1700:69cf:9000:d0f2:9051:9f97:5934) (Read error: Connection reset by peer) |
| 01:35:31 | → | kh0d joins (~kh0d@212.200.181.159) |
| 01:38:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 01:42:19 | × | kh0d quits (~kh0d@212.200.181.159) (Ping timeout: 260 seconds) |
| 01:49:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:53:55 | → | kh0d joins (~kh0d@212.200.247.164) |
| 01:54:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:56:56 | → | Inst joins (~Inst@user/Inst) |
| 01:57:44 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 01:58:01 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 01:58:08 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 02:01:33 | → | Googulator8 joins (~Googulato@84-236-65-216.pool.digikabel.hu) |
| 02:01:39 | × | xff0x quits (~xff0x@2405:6580:b080:900:9913:8179:fb69:5ee5) (Ping timeout: 246 seconds) |
| 02:03:11 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 02:04:23 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 02:04:30 | × | Googulator quits (~Googulato@2a01-036d-0106-4b74-b88c-ff83-9891-e272.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 02:05:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:06:53 | → | alfiee joins (~alfiee@user/alfiee) |
| 02:07:12 | × | kh0d quits (~kh0d@212.200.247.164) (Ping timeout: 252 seconds) |
| 02:07:58 | → | j1n37 joins (~j1n37@user/j1n37) |
| 02:09:18 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 02:10:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 02:11:17 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 02:20:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:22:03 | → | tavare joins (~tavare@user/tavare) |
| 02:22:55 | → | kh0d joins (~kh0d@212.200.247.164) |
| 02:23:31 | × | tavare quits (~tavare@user/tavare) (Remote host closed the connection) |
| 02:24:08 | × | Square quits (~Square4@user/square) (Ping timeout: 272 seconds) |
| 02:26:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 02:28:07 | → | tavare joins (~tavare@user/tavare) |
| 02:33:06 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 02:36:06 | → | j1n37 joins (~j1n37@user/j1n37) |
| 02:36:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:41:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 02:46:27 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 02:49:38 | → | j1n37 joins (~j1n37@user/j1n37) |
| 02:52:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:52:37 | → | alfiee joins (~alfiee@user/alfiee) |
| 02:56:53 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 02:56:53 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 02:57:13 | → | weary-traveler joins (~user@user/user363627) |
| 02:57:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 03:00:29 | × | kh0d quits (~kh0d@212.200.247.164) (Ping timeout: 260 seconds) |
| 03:01:40 | → | j1n37- joins (~j1n37@user/j1n37) |
| 03:02:13 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 03:08:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:08:20 | → | werneta joins (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 03:11:13 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2) |
| 03:13:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 03:16:04 | × | feetwind quits (~mike@user/feetwind) (Ping timeout: 260 seconds) |
| 03:19:13 | → | kh0d joins (~kh0d@212.200.247.164) |
| 03:19:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:24:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 03:24:26 | × | kh0d quits (~kh0d@212.200.247.164) (Ping timeout: 244 seconds) |
| 03:25:26 | → | Googulator68 joins (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 03:28:15 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 03:28:54 | × | Googulator8 quits (~Googulato@84-236-65-216.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 03:32:53 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 03:35:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:37:41 | → | alfiee joins (~alfiee@user/alfiee) |
| 03:40:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:41:44 | × | manwithluck quits (~manwithlu@2a09:bac1:5ba0:20::49:217) (Ping timeout: 260 seconds) |
| 03:42:28 | → | manwithluck joins (~manwithlu@2a09:bac5:5085:2dc::49:de) |
| 03:42:40 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 03:43:46 | → | kh0d joins (~kh0d@212.200.181.151) |
| 03:50:14 | × | kh0d quits (~kh0d@212.200.181.151) (Ping timeout: 252 seconds) |
| 03:50:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:51:32 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 03:54:00 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 03:54:02 | → | rvalue- joins (~rvalue@user/rvalue) |
| 03:55:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:58:42 | rvalue- | is now known as rvalue |
| 04:04:55 | → | werneta_ joins (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 04:05:58 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 04:06:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:11:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 04:13:10 | × | sabathan quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 04:16:37 | → | sabathan joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 04:16:58 | × | werneta quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal) |
| 04:21:47 | → | kh0d joins (~kh0d@212.200.181.151) |
| 04:22:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:23:25 | → | alfiee joins (~alfiee@user/alfiee) |
| 04:25:48 | × | tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 245 seconds) |
| 04:27:24 | × | kh0d quits (~kh0d@212.200.181.151) (Ping timeout: 260 seconds) |
| 04:28:18 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 04:29:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 04:32:40 | → | werneta joins (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 04:35:02 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) |
| 04:37:24 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 04:40:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:42:19 | × | dolio quits (~dolio@130.44.140.168) (Read error: Connection reset by peer) |
| 04:42:26 | → | codolio joins (~dolio@130.44.140.168) |
| 04:43:14 | → | kh0d joins (~kh0d@212.200.181.151) |
| 04:45:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 04:45:10 | → | aforemny_ joins (~aforemny@2001:9e8:6cc7:6b00:b975:f736:215a:5f1e) |
| 04:45:48 | × | aforemny quits (~aforemny@i577B136A.versanet.de) (Ping timeout: 246 seconds) |
| 04:47:11 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 04:47:48 | × | werneta_ quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal) |
| 04:47:54 | × | kh0d quits (~kh0d@212.200.181.151) (Ping timeout: 246 seconds) |
| 04:54:04 | → | michalz joins (~michalz@185.246.207.203) |
| 04:56:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:57:35 | → | dsrt^ joins (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) |
| 05:01:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 05:08:50 | → | alfiee joins (~alfiee@user/alfiee) |
| 05:12:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:13:00 | × | weary-traveler quits (~user@user/user363627) (Read error: Connection reset by peer) |
| 05:13:15 | → | weary-traveler joins (~user@user/user363627) |
| 05:13:52 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 05:14:30 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 05:15:12 | → | kh0d joins (~kh0d@212.200.181.151) |
| 05:17:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:17:18 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 05:17:46 | → | j1n37 joins (~j1n37@user/j1n37) |
| 05:18:34 | × | dtman34_ quits (~dtman34@2601:447:d000:1f5e:5ed:4e8c:420f:e376) (Ping timeout: 260 seconds) |
| 05:19:48 | × | kh0d quits (~kh0d@212.200.181.151) (Ping timeout: 252 seconds) |
| 05:20:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:20:21 | → | dtman34 joins (~dtman34@2601:447:d000:1f5e:adb1:5444:1e59:864f) |
| 05:25:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:31:12 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 05:34:52 | → | j1n37 joins (~j1n37@user/j1n37) |
| 05:36:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:38:58 | → | killy joins (~killy@terminal-3-187.retsat1.com.pl) |
| 05:41:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 05:51:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:53:54 | → | alfiee joins (~alfiee@user/alfiee) |
| 05:54:53 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 05:56:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:57:49 | → | j1n37 joins (~j1n37@user/j1n37) |
| 05:58:18 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 05:59:06 | × | killy quits (~killy@terminal-3-187.retsat1.com.pl) (Ping timeout: 268 seconds) |
| 05:59:20 | → | killy joins (~killy@176.223.173.240) |
| 06:00:18 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:02:23 | → | wildsalander joins (~wildsalan@81-175-155-97.bb.dnainternet.fi) |
| 06:03:20 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:03:23 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:04:20 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:05:36 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:07:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:08:51 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:10:43 | × | wildsalander quits (~wildsalan@81-175-155-97.bb.dnainternet.fi) (Quit: wildsalander) |
| 06:11:38 | → | kh0d joins (~kh0d@109.111.226.14) |
| 06:12:27 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:12:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 06:14:56 | × | euleritian quits (~euleritia@95.90.214.149) (Ping timeout: 244 seconds) |
| 06:15:34 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:16:29 | × | kh0d quits (~kh0d@109.111.226.14) (Ping timeout: 244 seconds) |
| 06:21:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:21:31 | × | bilegeek quits (~bilegeek@2600:1008:b042:84f7:27d1:e8e2:5d3b:65d1) (Quit: Leaving) |
| 06:25:30 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:26:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:28:14 | × | sabathan quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 06:30:09 | → | kh0d joins (~kh0d@109.111.226.14) |
| 06:31:37 | → | sabathan joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 06:35:22 | × | kh0d quits (~kh0d@109.111.226.14) (Ping timeout: 265 seconds) |
| 06:36:56 | × | mange quits (~user@user/mange) (Remote host closed the connection) |
| 06:39:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:40:19 | → | alfiee joins (~alfiee@user/alfiee) |
| 06:43:49 | → | wildsalander joins (~wildsalan@81-175-155-97.bb.dnainternet.fi) |
| 06:44:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 06:44:37 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 06:44:46 | × | wildsalander quits (~wildsalan@81-175-155-97.bb.dnainternet.fi) (Client Quit) |
| 06:48:27 | × | werneta quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal) |
| 06:48:32 | → | kh0d joins (~kh0d@109.111.226.14) |
| 06:51:37 | × | igemnace quits (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 06:53:00 | → | igemnace joins (~igemnace@user/igemnace) |
| 06:53:18 | × | kh0d quits (~kh0d@109.111.226.14) (Ping timeout: 252 seconds) |
| 06:55:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:58:41 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 07:00:01 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:52 | → | caconym joins (~caconym@user/caconym) |
| 07:02:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 07:04:22 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 07:07:39 | × | Googulator68 quits (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
| 07:07:56 | → | Googulator68 joins (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 07:10:35 | × | MyNetAz quits (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 07:12:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:12:22 | → | ash3en joins (~Thunderbi@149.222.132.64) |
| 07:13:26 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 07:13:50 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 07:14:49 | Lord_of_Life_ | is now known as Lord_of_Life |
| 07:15:31 | → | kh0d joins (~kh0d@109.111.226.14) |
| 07:17:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:17:35 | → | MyNetAz joins (~MyNetAz@user/MyNetAz) |
| 07:18:49 | → | plitter joins (~plitter@user/plitter) |
| 07:19:58 | × | kh0d quits (~kh0d@109.111.226.14) (Ping timeout: 245 seconds) |
| 07:22:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:22:40 | → | kh0d joins (~kh0d@109.111.226.14) |
| 07:25:23 | → | alfiee joins (~alfiee@user/alfiee) |
| 07:27:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 07:29:51 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 07:32:22 | × | ash3en quits (~Thunderbi@149.222.132.64) (Quit: ash3en) |
| 07:35:12 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 07:38:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:43:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 07:52:03 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 07:52:55 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:53:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:54:29 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 07:56:41 | → | ash3en joins (~Thunderbi@149.222.132.64) |
| 07:57:57 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 07:59:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 08:10:47 | → | alfiee joins (~alfiee@user/alfiee) |
| 08:12:36 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 08:12:55 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:14:58 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 08:15:49 | × | ash3en quits (~Thunderbi@149.222.132.64) (Ping timeout: 248 seconds) |
| 08:16:55 | × | killy quits (~killy@176.223.173.240) (Quit: leaving) |
| 08:17:12 | → | notdabs joins (~Owner@2600:1700:69cf:9000:24c8:4afb:c51c:4471) |
| 08:19:26 | → | ash3en joins (~Thunderbi@149.222.132.64) |
| 08:21:45 | → | wildsalander joins (~wildsalan@81-175-155-97.bb.dnainternet.fi) |
| 08:26:13 | → | acidjnk joins (~acidjnk@p200300d6e71c4f8808e167a733e40eac.dip0.t-ipconnect.de) |
| 08:48:51 | → | sprotte24 joins (~sprotte24@p200300d16f2b0f00f146771413e22502.dip0.t-ipconnect.de) |
| 08:53:00 | poscat0x04 | is now known as poscat |
| 08:53:33 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 244 seconds) |
| 08:53:46 | × | ft quits (~ft@p508db291.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:56:11 | → | alfiee joins (~alfiee@user/alfiee) |
| 08:57:49 | → | merijn joins (~merijn@77.242.116.146) |
| 08:58:24 | × | Googulator68 quits (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
| 08:58:41 | → | Googulator68 joins (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 09:01:14 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 09:03:00 | × | Googulator68 quits (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Client Quit) |
| 09:03:14 | → | Googulator68 joins (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 09:05:23 | × | ash3en quits (~Thunderbi@149.222.132.64) (Ping timeout: 245 seconds) |
| 09:15:42 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 09:17:48 | <merijn> | Quick poll: What are people's favourite functional pearls? I'm trying to find some good stuff for our juniors to read |
| 09:18:52 | → | ash3en joins (~Thunderbi@149.222.132.64) |
| 09:23:05 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 09:27:23 | × | tavare quits (~tavare@user/tavare) (Remote host closed the connection) |
| 09:28:08 | <Leary> | merijn: https://www.reddit.com/r/haskell/comments/1chgo7x/what_are_some_research_papers_that_every/ |
| 09:31:59 | <mauke> | merijn: Implicit Configurations |
| 09:32:06 | <mauke> | because I can actually understand it |
| 09:32:10 | → | fp1 joins (~Thunderbi@wireless-86-50-140-47.open.aalto.fi) |
| 09:32:48 | → | chele joins (~chele@user/chele) |
| 09:33:42 | <c_wraith> | lazy level-order tree renumbering |
| 09:34:45 | <dminuoso> | Mmm, I have an exception with an instance `ErrorAnnotation p => Exception (ValueSpecMismatch p)` for which a bunch of `instance ErrorAnnotation ...` exist. |
| 09:35:39 | <dminuoso> | Now, I want to write a `catch` handler that will catch any of these, it seems like I would have to write `handleValueSpecMismatch :: exists p. ErrorAnnotation p *> ValueSpecMismatch p -> IO a` |
| 09:36:20 | → | dhil joins (~dhil@2a0c:b381:52e:3600:dac:1d21:ce7f:30a0) |
| 09:36:21 | × | fp1 quits (~Thunderbi@wireless-86-50-140-47.open.aalto.fi) (Ping timeout: 252 seconds) |
| 09:37:30 | <dminuoso> | Is there a way to accomplish this, without using catches and enumerating a handler for each ErrorAnnotation instance? |
| 09:39:31 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 09:40:23 | <c_wraith> | Not really. It's all built on top of Typeable, and Typeable checks for equality between two concrete types |
| 09:41:12 | × | Inst quits (~Inst@user/Inst) (Remote host closed the connection) |
| 09:41:15 | → | alfiee joins (~alfiee@user/alfiee) |
| 09:42:40 | <c_wraith> | You could use some TH hackery to make it build you a list of all instances (that are currently in scope) automatically, though |
| 09:42:45 | <dminuoso> | So I guess the library is at fault for not hiding this constraint inside a GADT? |
| 09:43:29 | <c_wraith> | If it intended for you to match against all of them uniformly... yes |
| 09:44:28 | <dminuoso> | Mmm fair enough. Thanks |
| 09:44:48 | → | merijn joins (~merijn@77.242.116.146) |
| 09:45:18 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:45:21 | × | poscat quits (~poscat@user/poscat) (Quit: Bye) |
| 09:45:36 | → | poscat joins (~poscat@user/poscat) |
| 09:45:44 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 09:58:53 | <c_wraith> | I guess the Exception class is a little more sophisticated. You just need to be able to write a SomeException -> e function |
| 10:00:39 | <c_wraith> | You could use Typeable to see if the type matches the top level type constructor, ignoring the argument. |
| 10:01:02 | <c_wraith> | But if you do that, you lose the ErrorAnnotation instance |
| 10:01:13 | <c_wraith> | So... Who knows if it's sufficient |
| 10:04:15 | → | ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:4780:d0f0:79b4:9ac) |
| 10:08:17 | × | Leary quits (~Leary@user/Leary/x-0910699) (Ping timeout: 248 seconds) |
| 10:14:04 | × | Googulator68 quits (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
| 10:14:24 | → | Googulator68 joins (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 10:19:46 | → | rvalue joins (~rvalue@user/rvalue) |
| 10:20:15 | <dminuoso> | That would be sufficient for my usecase actually |
| 10:20:36 | <dminuoso> | I mean given what Im doing this is more a theoretical discussion |
| 10:25:01 | → | Leary joins (~Leary@user/Leary/x-0910699) |
| 10:26:19 | → | alfiee joins (~alfiee@user/alfiee) |
| 10:28:54 | → | alp joins (~alp@2001:861:8ca0:4940:ee1f:fdc:72ba:d779) |
| 10:31:00 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 10:31:44 | × | kh0d quits (~kh0d@109.111.226.14) (Remote host closed the connection) |
| 10:32:11 | → | kh0d joins (~kh0d@109.111.226.14) |
| 10:32:17 | × | kh0d quits (~kh0d@109.111.226.14) (Remote host closed the connection) |
| 10:32:54 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 268 seconds) |
| 10:38:31 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 10:40:24 | → | alexherbo2 joins (~alexherbo@2a02-8440-3507-7a57-f54b-3cee-8f5a-99cb.rev.sfr.net) |
| 10:42:16 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 10:42:36 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 10:44:02 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 10:44:02 | × | ash3en quits (~Thunderbi@149.222.132.64) (Read error: Connection reset by peer) |
| 10:47:11 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 10:47:11 | ljdarj1 | is now known as ljdarj |
| 10:47:55 | → | kh0d joins (~kh0d@109.111.226.14) |
| 10:56:39 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 10:57:40 | <merijn> | mauke: I'll have a look :) I always quite liked Ghosts of Departed Proofs too |
| 10:58:49 | × | kh0d quits (~kh0d@109.111.226.14) (Ping timeout: 260 seconds) |
| 11:00:05 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 11:02:11 | → | caconym joins (~caconym@user/caconym) |
| 11:02:23 | → | kh0d joins (~kh0d@109.111.226.14) |
| 11:02:49 | → | takuan joins (~takuan@d8D86B601.access.telenet.be) |
| 11:12:04 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 11:12:22 | → | alfiee joins (~alfiee@user/alfiee) |
| 11:13:43 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 11:16:22 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 11:23:51 | → | merijn joins (~merijn@77.242.116.146) |
| 11:28:06 | → | xff0x joins (~xff0x@2405:6580:b080:900:b08c:1e92:87c1:3f68) |
| 11:28:15 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 11:28:54 | → | merijn joins (~merijn@77.242.116.146) |
| 11:32:01 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 11:33:04 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 11:38:18 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 11:38:46 | → | merijn joins (~merijn@77.242.116.146) |
| 11:44:00 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 11:50:46 | → | __monty__ joins (~toonn@user/toonn) |
| 11:56:05 | → | merijn joins (~merijn@77.242.116.146) |
| 11:57:46 | → | alfiee joins (~alfiee@user/alfiee) |
| 11:59:44 | × | koz quits (~koz@121.99.240.58) (Ping timeout: 252 seconds) |
| 11:59:51 | → | ash3en joins (~Thunderbi@149.222.132.64) |
| 11:59:52 | × | ash3en quits (~Thunderbi@149.222.132.64) (Client Quit) |
| 12:01:05 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 12:01:56 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 12:03:29 | × | alp quits (~alp@2001:861:8ca0:4940:ee1f:fdc:72ba:d779) (Ping timeout: 248 seconds) |
| 12:12:42 | → | merijn joins (~merijn@77.242.116.146) |
| 12:13:25 | → | koz joins (~koz@121.99.240.58) |
| 12:26:15 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 12:26:52 | → | jespada joins (~jespada@2800:a4:22a3:dd00:ccd8:1ec4:f7c9:8e8d) |
| 12:35:01 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 12:40:29 | → | st_aldini1 joins (~Thunderbi@136.48.22.91) |
| 12:40:35 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 12:42:18 | × | st_aldini quits (~Thunderbi@2605:a601:a07c:af00:edd4:453a:4c88:19a0) (Ping timeout: 276 seconds) |
| 12:42:18 | st_aldini1 | is now known as st_aldini |
| 12:42:23 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:42:51 | → | j1n37- joins (~j1n37@user/j1n37) |
| 12:43:26 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 12:43:28 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 12:44:09 | → | alfiee joins (~alfiee@user/alfiee) |
| 12:48:21 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 12:57:07 | → | weary-traveler joins (~user@user/user363627) |
| 12:58:19 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 13:10:01 | × | MyNetAz quits (~MyNetAz@user/MyNetAz) (K-Lined) |
| 13:15:27 | × | kh0d quits (~kh0d@109.111.226.14) (Remote host closed the connection) |
| 13:15:55 | → | kh0d joins (~kh0d@109.111.226.14) |
| 13:20:23 | × | kh0d quits (~kh0d@109.111.226.14) (Ping timeout: 245 seconds) |
| 13:22:46 | → | Guest23 joins (~Guest23@2607:f470:6:4001:ad10:d2c2:8393:6a02) |
| 13:25:40 | → | kh0d joins (~kh0d@212.200.181.151) |
| 13:30:13 | → | alfiee joins (~alfiee@user/alfiee) |
| 13:30:23 | × | kh0d quits (~kh0d@212.200.181.151) (Ping timeout: 245 seconds) |
| 13:34:03 | <ski> | merijn : "A Poor Man's Concurrency Monad" in 1999-05 at <https://web.archive.org/web/20070305025415/http://www.cs.chalmers.se/~koen/pubs/jfp99-monad.ps>,"Parallel Parsing Processes" in 2004 at <https://web.archive.org/web/20061012125410/http://www.cs.chalmers.se/~koen/pubs/jfp04-parser.ps>, by Koen Claessen, are two that i remember |
| 13:34:50 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 13:36:32 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 13:36:58 | → | babo67_ joins (~babo67@user/babo67) |
| 13:37:07 | → | rvalue joins (~rvalue@user/rvalue) |
| 13:37:46 | → | Guest13 joins (~Guest23@2607:f470:6:4001:ad10:d2c2:8393:6a02) |
| 13:42:30 | × | Guest13 quits (~Guest23@2607:f470:6:4001:ad10:d2c2:8393:6a02) (Ping timeout: 240 seconds) |
| 13:42:55 | → | ash3en joins (~Thunderbi@31.16.203.214) |
| 13:58:47 | × | ash3en quits (~Thunderbi@31.16.203.214) (Quit: ash3en) |
| 14:03:47 | × | alexherbo2 quits (~alexherbo@2a02-8440-3507-7a57-f54b-3cee-8f5a-99cb.rev.sfr.net) (Remote host closed the connection) |
| 14:16:16 | → | ash3en joins (~Thunderbi@31.16.203.214) |
| 14:16:18 | → | alfiee joins (~alfiee@user/alfiee) |
| 14:19:50 | × | dsrt^ quits (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 14:20:30 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 14:20:51 | → | dsrt^ joins (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) |
| 14:31:13 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 14:31:46 | × | notdabs quits (~Owner@2600:1700:69cf:9000:24c8:4afb:c51c:4471) (Quit: Leaving) |
| 14:31:48 | → | euleritian joins (~euleritia@95.90.214.149) |
| 14:33:43 | × | dsrt^ quits (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) (Ping timeout: 245 seconds) |
| 14:33:55 | → | dsrt^ joins (elomin@c-71-199-187-173.hsd1.ga.comcast.net) |
| 14:34:22 | × | ash3en quits (~Thunderbi@31.16.203.214) (Quit: ash3en) |
| 14:35:48 | → | ash3en joins (~Thunderbi@31.16.203.214) |
| 14:38:07 | × | euleritian quits (~euleritia@95.90.214.149) (Ping timeout: 252 seconds) |
| 14:38:59 | → | alexherbo2 joins (~alexherbo@2a02-8440-3507-7a57-506e-16a6-4790-85b7.rev.sfr.net) |
| 14:39:16 | → | euleritian joins (~euleritia@dynamic-176-006-139-032.176.6.pool.telefonica.de) |
| 14:42:09 | × | ash3en quits (~Thunderbi@31.16.203.214) (Ping timeout: 252 seconds) |
| 14:42:10 | × | ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:4780:d0f0:79b4:9ac) (Quit: ubert) |
| 14:46:16 | → | ash3en joins (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) |
| 14:49:42 | × | Guest23 quits (~Guest23@2607:f470:6:4001:ad10:d2c2:8393:6a02) (Ping timeout: 240 seconds) |
| 14:50:36 | × | ash3en quits (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 14:57:25 | → | ash3en joins (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) |
| 14:57:41 | → | Square joins (~Square4@user/square) |
| 15:02:02 | → | alfiee joins (~alfiee@user/alfiee) |
| 15:06:34 | × | jespada quits (~jespada@2800:a4:22a3:dd00:ccd8:1ec4:f7c9:8e8d) (Ping timeout: 260 seconds) |
| 15:06:42 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 15:07:42 | → | jespada joins (~jespada@2800:a4:22a4:bf00:c8e8:ae3a:868c:376c) |
| 15:08:34 | × | ash3en quits (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 15:16:40 | → | kh0d joins (~kh0d@212.200.181.151) |
| 15:17:51 | → | ash3en joins (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) |
| 15:21:34 | × | kh0d quits (~kh0d@212.200.181.151) (Ping timeout: 244 seconds) |
| 15:24:05 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 15:39:41 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:43:18 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 15:46:03 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 15:48:07 | → | alfiee joins (~alfiee@user/alfiee) |
| 15:52:34 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 15:56:41 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 15:58:39 | × | son0p quits (~ff@2800:e6:4000:d723:c181:4205:f2b1:437a) (Remote host closed the connection) |
| 16:10:52 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 16:18:03 | → | kh0d joins (~kh0d@212.200.181.151) |
| 16:22:33 | × | kh0d quits (~kh0d@212.200.181.151) (Ping timeout: 252 seconds) |
| 16:26:22 | × | chele quits (~chele@user/chele) (Read error: Connection reset by peer) |
| 16:26:44 | × | jespada quits (~jespada@2800:a4:22a4:bf00:c8e8:ae3a:868c:376c) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 16:33:12 | → | alfiee joins (~alfiee@user/alfiee) |
| 16:33:55 | × | alexherbo2 quits (~alexherbo@2a02-8440-3507-7a57-506e-16a6-4790-85b7.rev.sfr.net) (Remote host closed the connection) |
| 16:33:59 | × | cipherrot quits (~znc-user@user/petrichor) (Ping timeout: 252 seconds) |
| 16:37:58 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 16:38:35 | × | acidjnk quits (~acidjnk@p200300d6e71c4f8808e167a733e40eac.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 16:41:52 | → | kh0d joins (~kh0d@109.111.226.14) |
| 16:44:15 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 16:50:59 | → | petrichor joins (~znc-user@user/petrichor) |
| 16:54:17 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 16:55:19 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 16:55:48 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 16:55:57 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 16:58:51 | → | cipherrot joins (~znc-user@user/petrichor) |
| 16:59:16 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 17:01:13 | × | petrichor quits (~znc-user@user/petrichor) (Ping timeout: 245 seconds) |
| 17:11:06 | <EvanR> | is there a paper or document or something which has an overview of GHC's modern compilation strategy, including how it deals with machine arithmetic, unboxing, etc. All the old books on graph reduction seem... old |
| 17:11:39 | <EvanR> | is it all in SPJ's mind locked away |
| 17:11:57 | <EvanR> | do we have to go in there like inception |
| 17:13:10 | × | cipherrot quits (~znc-user@user/petrichor) (Ping timeout: 244 seconds) |
| 17:14:03 | → | petrichor joins (~znc-user@user/petrichor) |
| 17:15:35 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:16:26 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 17:19:40 | → | jespada joins (~jespada@2800:a4:22a4:bf00:c8e8:ae3a:868c:376c) |
| 17:20:04 | → | cipherrot joins (~znc-user@user/petrichor) |
| 17:20:56 | → | alfiee joins (~alfiee@user/alfiee) |
| 17:21:04 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:21:19 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 17:22:03 | × | krei-se quits (~krei-se@tmo-113-205.customers.d1-online.com) (Read error: Connection reset by peer) |
| 17:22:22 | × | petrichor quits (~znc-user@user/petrichor) (Ping timeout: 268 seconds) |
| 17:22:39 | <monochrom> | It is not even SPJ's mind necessarily. It's very likely someone else's minds. |
| 17:23:08 | <monochrom> | But yeah it's locked in minds or buried deeply in source code. |
| 17:23:55 | <monochrom> | OK OK, + or scattered over multiple papers that each partially supercede each other. |
| 17:24:30 | × | euleritian quits (~euleritia@dynamic-176-006-139-032.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 17:24:43 | <geekosaur> | if I had to guess, it's in a whole bunch of scattered [Note]s throughout the ghc codebase |
| 17:24:47 | → | euleritian joins (~euleritia@95.90.214.149) |
| 17:24:47 | monochrom | has the push-apply thing in mind. |
| 17:25:24 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 17:26:18 | × | euleritian quits (~euleritia@95.90.214.149) (Read error: Connection reset by peer) |
| 17:26:29 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 17:26:31 | <monochrom> | Reminds me of the mythical story about Osiris. >:) |
| 17:28:00 | → | krei-se joins (~krei-se@p3ee0f57d.dip0.t-ipconnect.de) |
| 17:29:21 | → | petrichor joins (~znc-user@user/petrichor) |
| 17:31:01 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 17:31:19 | → | euleritian joins (~euleritia@95.90.214.149) |
| 17:32:14 | × | cipherrot quits (~znc-user@user/petrichor) (Ping timeout: 268 seconds) |
| 17:35:03 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 17:39:24 | × | krei-se quits (~krei-se@p3ee0f57d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 17:44:12 | <haskellbridge> | <Bowuigi> EvanR the GHC wisdom is scattered over the world but there are new papers that implement some of those concepts |
| 17:45:18 | <haskellbridge> | <Bowuigi> https://dl.acm.org/doi/10.1145/3674654 deals with unboxing and some machine stuff |
| 17:46:42 | × | wildsalander quits (~wildsalan@81-175-155-97.bb.dnainternet.fi) (Quit: wildsalander) |
| 17:46:53 | <haskellbridge> | <Bowuigi> The compiler itself is a good reference of Core https://hackage.haskell.org/package/ghc-9.6.1/docs/GHC-Core.html, which links to https://www.microsoft.com/en-us/research/publication/system-f-with-type-equality-coercions/ |
| 17:47:35 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 17:48:05 | <haskellbridge> | <Bowuigi> And https://www.microsoft.com/en-us/research/publication/implementing-lazy-functional-languages-on-stock-hardware-the-spineless-tagless-g-machine/ is a good resource on STG |
| 17:50:04 | <haskellbridge> | <Bowuigi> Nowadays, probably doing some magic on a first order STLC can get you nice results tho, namely, some superset of the object language of https://andraskovacs.github.io/pdfs/2ltt_icfp24.pdf should be simple enough to translate to assembly |
| 17:50:12 | → | krei-se joins (~krei-se@p508296bc.dip0.t-ipconnect.de) |
| 17:51:23 | <haskellbridge> | <Bowuigi> To translate a language into first order, you need defunctionalization. Here's the best one I know https://dl.acm.org/doi/10.1145/3591260 |
| 17:52:28 | <monochrom> | I think EvanR has already seen the STG paper. But it doesn't cover any development since then (and there are a lot). |
| 17:52:54 | <monochrom> | or s/paper/papers, books, etc./ |
| 17:53:13 | <haskellbridge> | <Bowuigi> Yeah those are really old |
| 17:53:58 | <haskellbridge> | <Bowuigi> Haven't seen books on full functional language compiler implementations that appeared after the 2000s |
| 17:54:43 | <monochrom> | I don't think GHC does defunctionalization. It goes eval-apply or push-enter (I forgot which one is older and which one is current). |
| 17:55:17 | <haskellbridge> | <Bowuigi> I mentioned that because of the alternative compilation route via a first order language |
| 17:55:51 | <EvanR> | re: magic on first order STLC, is this your original research or an actual thing happening |
| 17:56:34 | <EvanR> | I'm getting the impression there's alot of new ideas too, not necessarily implemented |
| 17:56:48 | <EvanR> | making "what is GHC actually doing now" more of a question |
| 17:56:54 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 17:57:01 | <haskellbridge> | <Bowuigi> A random thought that happened to cross my mind based on the paper by Kovacs I linked |
| 17:57:43 | <haskellbridge> | <Bowuigi> First order STLC doesn't look too different from various IRs like QBE or LLVM IR |
| 17:58:10 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 17:58:28 | → | krei-se- joins (~krei-se@p3ee0f216.dip0.t-ipconnect.de) |
| 17:58:41 | × | krei-se quits (~krei-se@p508296bc.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 18:00:08 | <haskellbridge> | <Bowuigi> Specially if parts of it were generated with single-purpose optimizers, like https://www.fing.edu.uy/inco/proyectos/fusion/ |
| 18:00:36 | <geekosaur> | see the "making a fast curry" paper re eval/apply vs. push/enter |
| 18:02:50 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 18:03:30 | <haskellbridge> | <Bowuigi> Also tangentially related but Perceus seems to be okay-ish without extensions https://www.reddit.com/r/ProgrammingLanguages/comments/1anyq4j/can_reference_counting_really_be_as_competitive/, extensions make it good tho https://lptk.github.io/files/ctrc-2024-05-09.pdf |
| 18:06:01 | → | alfiee joins (~alfiee@user/alfiee) |
| 18:08:09 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 18:08:13 | × | jespada quits (~jespada@2800:a4:22a4:bf00:c8e8:ae3a:868c:376c) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 18:10:30 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 18:12:42 | × | kh0d quits (~kh0d@109.111.226.14) (Remote host closed the connection) |
| 18:17:17 | × | sprotte24 quits (~sprotte24@p200300d16f2b0f00f146771413e22502.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 18:17:21 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 18:18:16 | → | julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752) |
| 18:21:59 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 18:23:22 | → | kh0d joins (~kh0d@212.200.181.151) |
| 18:26:20 | <EvanR> | geekosaur, yeah I've read it. Then I was like, what does GHC actually do now? |
| 18:26:26 | <EvanR> | is it up to date |
| 18:27:06 | × | biberu quits (~biberu@user/biberu) (Quit: ZNC - https://znc.in) |
| 18:27:26 | → | biberu joins (~biberu@user/biberu) |
| 18:27:48 | <EvanR> | maybe the wiki has the latest |
| 18:30:14 | → | Digitteknohippie joins (~user@user/digit) |
| 18:31:52 | × | Digit quits (~user@user/digit) (Ping timeout: 272 seconds) |
| 18:40:42 | × | ash3en quits (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Quit: ash3en) |
| 18:41:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:46:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 18:51:45 | → | alfiee joins (~alfiee@user/alfiee) |
| 18:52:31 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 18:52:56 | × | julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 18:53:12 | → | krei-se joins (~krei-se@p5dea1935.dip0.t-ipconnect.de) |
| 18:56:00 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 18:56:30 | → | krei-se| joins (~krei-se@p50829815.dip0.t-ipconnect.de) |
| 18:56:35 | → | tremon joins (~tremon@83.80.159.219) |
| 18:56:50 | × | krei-se- quits (~krei-se@p3ee0f216.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 18:57:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:57:21 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 18:58:03 | × | krei-se quits (~krei-se@p5dea1935.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 19:00:03 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:27 | → | acidjnk joins (~acidjnk@p200300d6e71c4f8808e167a733e40eac.dip0.t-ipconnect.de) |
| 19:00:45 | → | caconym joins (~caconym@user/caconym) |
| 19:01:52 | → | jespada joins (~jespada@2800:a4:22a4:bf00:c8e8:ae3a:868c:376c) |
| 19:01:58 | Digitteknohippie | is now known as Digit |
| 19:02:21 | <geekosaur> | the paper says they were trialing it; it has since adopted it fully |
| 19:02:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 19:02:42 | <geekosaur> | I don't think there's a lot of tuning in that choice |
| 19:06:57 | × | krei-se| quits (~krei-se@p50829815.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 19:07:44 | → | krei-se joins (~krei-se@p3ee0faf4.dip0.t-ipconnect.de) |
| 19:10:49 | <dminuoso> | Is there a library that using TH or generics takes two values of a given data type and produces a structural diff, denoting how/where they are different? |
| 19:12:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:13:16 | <EvanR> | how different are a left and right infinite tree xD |
| 19:13:22 | <geekosaur> | https://hackage.haskell.org/package/gdiff https://hackage.haskell.org/package/tree-diff ? |
| 19:16:38 | <dminuoso> | geekosaur: Mmm, while it looks a bit thick it contained a pointer to an older simpler package https://hackage.haskell.org/package/gdiff-1.1/ |
| 19:16:41 | <dminuoso> | So I think that helped. Thanks |
| 19:17:15 | <geekosaur> | I pointed to that too (two URLs there) |
| 19:17:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:17:34 | <dminuoso> | Oh, I did not even see. Thanks |
| 19:17:51 | <dminuoso> | My mind pretty much always skips to the end of an URL |
| 19:18:10 | <dminuoso> | And then I scan backwards until I see an https. |
| 19:18:12 | <dminuoso> | :-) |
| 19:18:13 | × | lbseale quits (~quassel@user/ep1ctetus) (Ping timeout: 248 seconds) |
| 19:28:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:33:24 | → | pavonia joins (~user@user/siracusa) |
| 19:35:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 19:37:30 | → | alfiee joins (~alfiee@user/alfiee) |
| 19:42:12 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 19:42:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:45:24 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 19:45:50 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 19:47:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 19:48:16 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) |
| 19:50:04 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 19:58:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:59:48 | × | dsrt^ quits (elomin@c-71-199-187-173.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 20:00:33 | → | dsrt^ joins (elomin@c-71-199-187-173.hsd1.ga.comcast.net) |
| 20:03:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 20:09:05 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 20:14:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:14:25 | → | ft joins (~ft@p508db291.dip0.t-ipconnect.de) |
| 20:19:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:24:54 | → | alfiee joins (~alfiee@user/alfiee) |
| 20:25:45 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 20:26:24 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 20:29:05 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 20:29:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:34:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:34:43 | codolio | is now known as dolio |
| 20:36:38 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 20:43:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:47:41 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 20:48:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:51:26 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 20:52:58 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 20:59:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:04:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 21:09:38 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 21:12:40 | × | jespada quits (~jespada@2800:a4:22a4:bf00:c8e8:ae3a:868c:376c) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 21:13:58 | → | alfiee joins (~alfiee@user/alfiee) |
| 21:14:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:18:25 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 21:19:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:23:09 | → | sprotte24 joins (~sprotte24@p200300d16f2b0f0091a07214a15713f4.dip0.t-ipconnect.de) |
| 21:28:49 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 21:30:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:32:26 | × | dsrt^ quits (elomin@c-71-199-187-173.hsd1.ga.comcast.net) (Ping timeout: 265 seconds) |
| 21:33:12 | → | dsrt^ joins (dsrt@c-71-199-187-173.hsd1.ga.comcast.net) |
| 21:33:16 | → | ash3en joins (~Thunderbi@31.16.203.214) |
| 21:35:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 21:44:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:49:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 21:51:55 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 21:52:25 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 21:55:08 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 21:59:23 | → | alfiee joins (~alfiee@user/alfiee) |
| 22:00:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:01:55 | × | ash3en quits (~Thunderbi@31.16.203.214) (Quit: ash3en) |
| 22:03:30 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 22:04:19 | → | weary-traveler joins (~user@user/user363627) |
| 22:06:00 | × | kh0d quits (~kh0d@212.200.181.151) (Read error: Connection reset by peer) |
| 22:06:32 | → | kh0d joins (~kh0d@212.200.181.151) |
| 22:06:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:16:27 | × | dhil quits (~dhil@2a0c:b381:52e:3600:dac:1d21:ce7f:30a0) (Ping timeout: 252 seconds) |
| 22:18:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:26:44 | × | tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 22:26:49 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 22:28:35 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 22:28:58 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:28:59 | × | tromp quits (~textual@2a02:a210:cba:8500:2c80:dbc6:3e9d:a12d) (Ping timeout: 265 seconds) |
| 22:33:48 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 22:38:15 | → | mange joins (~user@user/mange) |
| 22:43:11 | × | Googulator68 quits (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
| 22:43:31 | → | Googulator68 joins (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 22:45:26 | → | alfiee joins (~alfiee@user/alfiee) |
| 22:48:01 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:48:06 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 22:49:50 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 22:51:37 | × | rvalue quits (~rvalue@user/rvalue) (Quit: ZNC - https://znc.in) |
| 22:54:52 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:56:48 | × | ft quits (~ft@p508db291.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 22:58:43 | → | ft joins (~ft@p508db463.dip0.t-ipconnect.de) |
| 23:00:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:03:30 | → | LainExperiments joins (~LainExper@user/LainExperiments) |
| 23:11:37 | × | takuan quits (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 23:12:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:17:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:18:49 | × | Googulator68 quits (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
| 23:19:02 | → | Googulator68 joins (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 23:19:05 | × | LainExperiments quits (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 23:19:20 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 23:21:45 | × | kh0d quits (~kh0d@212.200.181.151) (Remote host closed the connection) |
| 23:22:13 | → | rvalue joins (~rvalue@user/rvalue) |
| 23:22:36 | → | kh0d joins (~kh0d@212.200.181.151) |
| 23:22:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:23:48 | × | babo67_ quits (~babo67@user/babo67) (Remote host closed the connection) |
| 23:24:09 | → | babo67_ joins (~babo67@user/babo67) |
| 23:27:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:27:49 | × | kh0d quits (~kh0d@212.200.181.151) (Ping timeout: 260 seconds) |
| 23:28:27 | → | LainExperiments joins (~LainExper@user/LainExperiments) |
| 23:28:37 | → | ph88 joins (~ph88@2a02:8109:9e26:c800:ca47:fcbc:9b57:28e4) |
| 23:32:05 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:32:30 | → | alfiee joins (~alfiee@user/alfiee) |
| 23:36:03 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 23:37:08 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 23:38:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:40:00 | → | kh0d joins (~kh0d@212.200.181.151) |
| 23:43:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:43:44 | Ekho- | is now known as Ekho |
| 23:43:55 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 23:44:18 | → | rvalue- joins (~rvalue@user/rvalue) |
| 23:44:58 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 23:48:59 | rvalue- | is now known as rvalue |
| 23:54:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:54:39 | × | kh0d quits (~kh0d@212.200.181.151) (Ping timeout: 252 seconds) |
| 23:57:04 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 23:58:12 | → | prasad joins (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) |
| 23:58:29 | × | LainExperiments quits (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 23:59:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:59:51 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 23:59:51 | ljdarj1 | is now known as ljdarj |
All times are in UTC on 2025-03-18.