| 2025-01-24 00:01:19 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 264 seconds) |
| 2025-01-24 00:01:22 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-24 00:03:11 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-24 00:04:29 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 00:04:43 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-24 00:06:56 +0100 | Guest59 | (~Guest59@2a09:bac3:bc20:1923::281:51) |
| 2025-01-24 00:09:09 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 248 seconds) |
| 2025-01-24 00:09:12 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 2025-01-24 00:10:03 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-01-24 00:10:24 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
| 2025-01-24 00:12:24 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-01-24 00:14:25 +0100 | Guest59 | (~Guest59@2a09:bac3:bc20:1923::281:51) (Quit: Client closed) |
| 2025-01-24 00:15:54 +0100 | xff0x | (~xff0x@2405:6580:b080:900:7b70:7132:4b2b:5865) (Ping timeout: 260 seconds) |
| 2025-01-24 00:16:20 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-24 00:17:54 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-24 00:18:45 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-01-24 00:20:16 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 00:20:18 +0100 | ColinRobinson | JuanDaugherty |
| 2025-01-24 00:21:06 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Ping timeout: 276 seconds) |
| 2025-01-24 00:21:51 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 00:22:26 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
| 2025-01-24 00:25:07 +0100 | Everything | (~Everythin@195.138.86.118) (Quit: Lost terminal) |
| 2025-01-24 00:25:17 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-24 00:25:57 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-01-24 00:26:24 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-24 00:27:06 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-24 00:34:38 +0100 | madjidnrl | (~madjidnrl@129.45.36.94) |
| 2025-01-24 00:35:29 +0100 | madjidnrl | (~madjidnrl@129.45.36.94) (Client Quit) |
| 2025-01-24 00:36:04 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 00:36:09 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-24 00:37:02 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-24 00:38:48 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-24 00:38:56 +0100 | xff0x | (~xff0x@2405:6580:b080:900:7b70:7132:4b2b:5865) |
| 2025-01-24 00:39:35 +0100 | jle` | (~jle`@2603:8001:3b02:84d4::a0b) (Ping timeout: 252 seconds) |
| 2025-01-24 00:40:23 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 2025-01-24 00:40:27 +0100 | jle` | (~jle`@2603:8001:3b02:84d4:467d:3e5f:31ca:9a0a) jle` |
| 2025-01-24 00:41:15 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2025-01-24 00:41:31 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 264 seconds) |
| 2025-01-24 00:43:12 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-24 00:46:56 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-24 00:47:09 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-24 00:51:51 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 00:53:32 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-24 00:54:28 +0100 | xdminsy | (~xdminsy@117.147.71.143) (Read error: Connection reset by peer) |
| 2025-01-24 00:55:00 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-24 00:55:21 +0100 | xdminsy | (~xdminsy@117.147.71.143) xdminsy |
| 2025-01-24 00:59:24 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-24 01:01:48 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-01-24 01:07:54 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-24 01:10:21 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 01:11:15 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 01:12:14 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-24 01:15:10 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-24 01:15:46 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-24 01:21:23 +0100 | Guest26 | (~Guest26@81-228-133-81-no600.tbcn.telia.com) (Quit: Client closed) |
| 2025-01-24 01:26:08 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 01:31:09 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 260 seconds) |
| 2025-01-24 01:31:21 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-01-24 01:36:16 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-24 01:37:57 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-24 01:41:58 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 01:42:02 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-24 01:44:51 +0100 | LainExperiments | (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 2025-01-24 01:45:13 +0100 | acidjnk | (~acidjnk@p200300d6e7283f96b914b0b581af9338.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-24 01:47:05 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 265 seconds) |
| 2025-01-24 01:52:18 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-24 01:52:37 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-24 01:52:44 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-24 01:53:01 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-24 01:53:05 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-24 01:53:22 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-24 01:53:46 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-24 01:54:04 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-24 01:55:48 +0100 | xff0x | (~xff0x@2405:6580:b080:900:7b70:7132:4b2b:5865) (Ping timeout: 265 seconds) |
| 2025-01-24 01:57:44 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 01:58:07 +0100 | _0xa | (~user@95.179.128.10) |
| 2025-01-24 01:58:07 +0100 | _0xa | (~user@95.179.128.10) (Changing host) |
| 2025-01-24 01:58:07 +0100 | _0xa | (~user@user/0xa/x-3134607) _0xa |
| 2025-01-24 01:58:17 +0100 | jmtd | (jon@dow.land) jmtd |
| 2025-01-24 01:58:24 +0100 | deriamis_ | (nobody@2600:3c0a::f03c:95ff:fee8:f335) deriamis |
| 2025-01-24 01:58:26 +0100 | xelxebar_ | (~xelxebar@wilsonb.com) xelxebar |
| 2025-01-24 01:58:30 +0100 | biberu\ | (~biberu@user/biberu) biberu |
| 2025-01-24 01:59:39 +0100 | Arsen_ | (arsen@gentoo/developer/managarm.dev.Arsen) Arsen |
| 2025-01-24 02:00:11 +0100 | joeyh | (~joeyh@kitenet.net) joeyh |
| 2025-01-24 02:00:24 +0100 | codedmart_ | (~codedmart@li335-49.members.linode.com) |
| 2025-01-24 02:00:40 +0100 | nefercheprure | (tma@twin.jikos.cz) TMA |
| 2025-01-24 02:01:00 +0100 | sweater2 | (~sweater@206.81.18.26) sweater |
| 2025-01-24 02:01:01 +0100 | dfordivam1 | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) dfordivam |
| 2025-01-24 02:01:56 +0100 | notzmv | (~umar@user/notzmv) (Remote host closed the connection) |
| 2025-01-24 02:02:00 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 02:03:14 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 272 seconds) |
| 2025-01-24 02:03:38 +0100 | remsen | (ianremsen@tilde.team) remsense |
| 2025-01-24 02:04:05 +0100 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) |
| 2025-01-24 02:04:16 +0100 | markasoftware_ | (~quassel@2604:180:f2::217) markasoftware |
| 2025-01-24 02:04:27 +0100 | xnbya2 | (~xnbya@2a01:4f8:c17:cbdd::1) (Quit: No Ping reply in 180 seconds.) |
| 2025-01-24 02:04:28 +0100 | biberu | (~biberu@user/biberu) (Quit: ZNC - https://znc.in) |
| 2025-01-24 02:04:28 +0100 | Jon | (jon@dow.land) (Quit: ZNC - http://znc.in) |
| 2025-01-24 02:04:28 +0100 | deriamis | (nobody@2600:3c0a::f03c:95ff:fee8:f335) (Quit: ZNC - https://znc.in) |
| 2025-01-24 02:04:28 +0100 | _0xa_ | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2025-01-24 02:04:28 +0100 | xelxebar | (~xelxebar@wilsonb.com) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2025-01-24 02:04:28 +0100 | remmie | (ianremsen@tilde.team) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2025-01-24 02:04:28 +0100 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2025-01-24 02:04:28 +0100 | jmtd | Jon |
| 2025-01-24 02:04:28 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Quit: No Ping reply in 180 seconds.) |
| 2025-01-24 02:04:28 +0100 | joeyh_ | (~joeyh@kitenet.net) (Quit: ZNC 1.9.1+deb1 - https://znc.in) |
| 2025-01-24 02:04:28 +0100 | markasoftware | (~quassel@107.161.26.124) (Quit: No Ping reply in 180 seconds.) |
| 2025-01-24 02:04:28 +0100 | dfordvm | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (Remote host closed the connection) |
| 2025-01-24 02:04:28 +0100 | dsrt^ | (~dsrt@108.192.66.114) (Remote host closed the connection) |
| 2025-01-24 02:04:28 +0100 | sweater1 | (~sweater@206.81.18.26) (Remote host closed the connection) |
| 2025-01-24 02:04:30 +0100 | biberu\ | biberu |
| 2025-01-24 02:04:34 +0100 | remsen | remmie |
| 2025-01-24 02:04:43 +0100 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-01-24 02:06:08 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-24 02:07:04 +0100 | HappyNewYear2025 | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-01-24 02:07:06 +0100 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-01-24 02:09:07 +0100 | TMA | (tma@twin.jikos.cz) (Ping timeout: 264 seconds) |
| 2025-01-24 02:09:16 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-24 02:13:31 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 02:13:43 +0100 | hawer | (~newyear@2.219.56.221) |
| 2025-01-24 02:14:37 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-01-24 02:16:35 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2025-01-24 02:18:14 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-24 02:18:41 +0100 | LainExperiments | (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 2025-01-24 02:21:44 +0100 | sprotte24 | (~sprotte24@p200300d16f0615004cac1667a189cb83.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-01-24 02:21:52 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-24 02:26:34 +0100 | otto_s | (~user@p5de2f4cd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-01-24 02:28:11 +0100 | otto_s | (~user@p5de2f982.dip0.t-ipconnect.de) |
| 2025-01-24 02:29:19 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 02:29:43 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-24 02:30:33 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-24 02:31:49 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-24 02:33:59 +0100 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2025-01-24 02:36:11 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-24 02:41:19 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2025-01-24 02:42:11 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2025-01-24 02:42:11 +0100 | ChanServ | +v haskellbridge |
| 2025-01-24 02:45:22 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-01-24 02:47:22 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 02:48:02 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-24 02:48:14 +0100 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-01-24 02:50:27 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-24 02:50:30 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-24 02:50:45 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 02:54:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-24 02:55:55 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 264 seconds) |
| 2025-01-24 02:56:26 +0100 | LainExperiments | (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 2025-01-24 03:05:31 +0100 | _0xa_ | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) |
| 2025-01-24 03:05:54 +0100 | _0xa | (~user@user/0xa/x-3134607) (Ping timeout: 252 seconds) |
| 2025-01-24 03:06:56 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-24 03:07:14 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 03:08:26 +0100 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-01-24 03:11:31 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 2025-01-24 03:12:08 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-24 03:13:14 +0100 | hueso | (~root@user/hueso) (Ping timeout: 252 seconds) |
| 2025-01-24 03:13:43 +0100 | hueso | (~root@user/hueso) hueso |
| 2025-01-24 03:15:02 +0100 | agent314 | (~quassel@static-198-54-131-122.cust.tzulo.com) agent314 |
| 2025-01-24 03:15:02 +0100 | agent314 | (~quassel@static-198-54-131-122.cust.tzulo.com) (Client Quit) |
| 2025-01-24 03:22:59 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 03:27:54 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-24 03:34:54 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-24 03:38:44 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 03:40:10 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 03:40:18 +0100 | johnjaye | (~pi@syn-035-146-235-019.res.spectrum.com) johnjaye |
| 2025-01-24 03:43:55 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 264 seconds) |
| 2025-01-24 03:44:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-24 03:49:04 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 03:55:14 +0100 | ft | (~ft@p3e9bcab6.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-24 03:57:06 +0100 | ft | (~ft@p508db1ba.dip0.t-ipconnect.de) ft |
| 2025-01-24 03:57:13 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-24 03:58:47 +0100 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-24 04:02:14 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Ping timeout: 260 seconds) |
| 2025-01-24 04:08:53 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 04:09:27 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-24 04:13:55 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 264 seconds) |
| 2025-01-24 04:14:05 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-01-24 04:16:57 +0100 | heavy_cloud | (~heavy_clo@2603:7081:1600:6425:c8b5:8fc6:d959:2025) |
| 2025-01-24 04:17:31 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 264 seconds) |
| 2025-01-24 04:22:04 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 260 seconds) |
| 2025-01-24 04:22:43 +0100 | heavy_cloud | (~heavy_clo@2603:7081:1600:6425:c8b5:8fc6:d959:2025) (Quit: Client closed) |
| 2025-01-24 04:24:08 +0100 | LainExperiments | (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 2025-01-24 04:24:40 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 04:30:15 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 04:33:38 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 248 seconds) |
| 2025-01-24 04:34:29 +0100 | xdminsy | (~xdminsy@117.147.71.143) (Read error: Connection reset by peer) |
| 2025-01-24 04:34:38 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-24 04:35:25 +0100 | xdminsy | (~xdminsy@117.147.71.143) xdminsy |
| 2025-01-24 04:40:31 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-24 04:42:35 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-24 04:45:05 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 04:50:02 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-24 04:55:28 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-24 05:00:07 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 2025-01-24 05:00:53 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 05:06:07 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 264 seconds) |
| 2025-01-24 05:12:30 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-24 05:16:26 +0100 | user363627 | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2025-01-24 05:16:40 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 05:19:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 05:23:24 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-24 05:23:27 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-01-24 05:27:43 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-24 05:32:03 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 2025-01-24 05:34:43 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 05:39:33 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 245 seconds) |
| 2025-01-24 05:46:19 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2025-01-24 05:50:03 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 05:54:55 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-24 05:54:57 +0100 | OftenFaded | (~OftenFade@user/tisktisk) (Ping timeout: 246 seconds) |
| 2025-01-24 05:57:14 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-01-24 06:05:51 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 06:08:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 06:10:04 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-24 06:10:42 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-24 06:12:43 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 264 seconds) |
| 2025-01-24 06:14:11 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-24 06:14:22 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-24 06:21:39 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 06:22:41 +0100 | michalz | (~michalz@185.246.207.215) |
| 2025-01-24 06:23:25 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-24 06:25:59 +0100 | michalz_ | (~michalz@185.246.207.203) |
| 2025-01-24 06:27:07 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 264 seconds) |
| 2025-01-24 06:27:43 +0100 | michalz | (~michalz@185.246.207.215) (Ping timeout: 264 seconds) |
| 2025-01-24 06:37:25 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 06:42:43 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 264 seconds) |
| 2025-01-24 06:51:04 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 06:52:44 +0100 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-24 06:56:50 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 06:57:37 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-24 07:01:02 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-24 07:01:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-24 07:04:02 +0100 | Axma72592 | (~Axman6@user/axman6) Axman6 |
| 2025-01-24 07:04:37 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-24 07:06:11 +0100 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2025-01-24 07:09:06 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 07:09:08 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 2025-01-24 07:11:33 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-24 07:13:43 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 245 seconds) |
| 2025-01-24 07:17:16 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-24 07:21:12 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 244 seconds) |
| 2025-01-24 07:22:23 +0100 | ft | (~ft@p508db1ba.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-24 07:24:08 +0100 | EvanR_ | (~EvanR@user/evanr) EvanR |
| 2025-01-24 07:24:38 +0100 | EvanR | (~EvanR@user/evanr) (Read error: Connection reset by peer) |
| 2025-01-24 07:24:53 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-24 07:24:54 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 07:29:12 +0100 | mange | (~user@user/mange) (Quit: Quittin' time!) |
| 2025-01-24 07:29:38 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 248 seconds) |
| 2025-01-24 07:30:37 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-01-24 07:31:19 +0100 | euleritian | (~euleritia@dynamic-176-006-145-062.176.6.pool.telefonica.de) |
| 2025-01-24 07:33:54 +0100 | hughjfch1 | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-01-24 07:40:42 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 07:45:34 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 07:45:39 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-24 07:46:35 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-24 07:48:28 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-24 07:49:55 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 264 seconds) |
| 2025-01-24 07:52:04 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 07:54:50 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-24 07:57:07 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 264 seconds) |
| 2025-01-24 07:58:24 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-24 08:02:00 +0100 | user_ | (~user@user/fmira) (Ping timeout: 264 seconds) |
| 2025-01-24 08:07:50 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 08:13:19 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 264 seconds) |
| 2025-01-24 08:20:10 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-24 08:24:03 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 08:25:24 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 2025-01-24 08:27:15 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-01-24 08:28:53 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 244 seconds) |
| 2025-01-24 08:32:33 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-01-24 08:32:41 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) (Quit: %quit%) |
| 2025-01-24 08:33:02 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2025-01-24 08:35:00 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 08:37:07 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-24 08:39:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-24 08:39:51 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 08:42:57 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-01-24 08:45:48 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-24 08:53:05 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 08:54:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-24 08:54:36 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-24 08:58:13 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 248 seconds) |
| 2025-01-24 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-24 09:00:44 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-24 09:02:10 +0100 | Googulator | (~Googulato@2a01-036d-0106-2445-f43e-80de-c8dc-0b63.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2025-01-24 09:02:28 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-24 09:03:12 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2025-01-24 09:04:02 +0100 | CrunchyFlakes_ | (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-01-24 09:05:20 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-24 09:06:03 +0100 | CrunchyFlakes | (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) |
| 2025-01-24 09:06:45 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-01-24 09:06:57 +0100 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 276 seconds) |
| 2025-01-24 09:07:33 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 09:08:55 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-24 09:10:07 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-24 09:16:13 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 245 seconds) |
| 2025-01-24 09:17:31 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-01-24 09:19:17 +0100 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2025-01-24 09:20:09 +0100 | zmt00 | (~zmt00@user/zmt00) (Remote host closed the connection) |
| 2025-01-24 09:20:26 +0100 | acidjnk | (~acidjnk@p200300d6e7283f4988944b924ab82f58.dip0.t-ipconnect.de) acidjnk |
| 2025-01-24 09:23:07 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-01-24 09:23:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 09:27:25 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 09:27:36 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-24 09:32:54 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 272 seconds) |
| 2025-01-24 09:43:33 +0100 | chele | (~chele@user/chele) chele |
| 2025-01-24 09:44:03 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 09:47:48 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2025-01-24 09:50:42 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-24 09:50:45 +0100 | euleritian | (~euleritia@dynamic-176-006-145-062.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-24 09:51:03 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-24 09:54:05 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 09:55:11 +0100 | dhil | (~dhil@2a0c:b381:588:5f00:29fc:4647:d8a6:1493) dhil |
| 2025-01-24 09:56:48 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-24 09:57:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-24 09:59:31 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 264 seconds) |
| 2025-01-24 10:00:52 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-01-24 10:03:04 +0100 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2025-01-24 10:09:53 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 10:10:19 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 264 seconds) |
| 2025-01-24 10:11:35 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-24 10:12:49 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 10:16:02 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
| 2025-01-24 10:17:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-24 10:17:09 +0100 | vpan | (~vpan@212.117.1.172) |
| 2025-01-24 10:26:07 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-01-24 10:35:30 +0100 | tv | (~tv@user/tv) tv |
| 2025-01-24 10:36:38 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-24 10:39:35 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-24 10:40:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-24 10:48:32 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-01-24 10:50:00 +0100 | hawer | (~newyear@2.219.56.221) (Read error: Connection reset by peer) |
| 2025-01-24 10:54:52 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 252 seconds) |
| 2025-01-24 10:55:07 +0100 | monochrom | (trebla@216.138.220.146) |
| 2025-01-24 10:57:30 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-24 11:00:22 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-24 11:01:53 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 11:06:10 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-24 11:06:43 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 264 seconds) |
| 2025-01-24 11:09:07 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2025-01-24 11:15:46 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-24 11:25:09 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-24 11:43:13 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-24 11:44:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-24 11:50:58 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 11:51:51 +0100 | nefercheprure | TMA |
| 2025-01-24 11:55:22 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-24 12:03:43 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 264 seconds) |
| 2025-01-24 12:06:13 +0100 | homo | (~homo@user/homo) (Remote host closed the connection) |
| 2025-01-24 12:06:26 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-24 12:06:50 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-24 12:07:22 +0100 | xff0x | (~xff0x@2405:6580:b080:900:2b3c:b3c3:f979:5337) |
| 2025-01-24 12:08:49 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-01-24 12:10:57 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-24 12:17:19 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-24 12:22:56 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-24 12:23:45 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-24 12:25:24 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 264 seconds) |
| 2025-01-24 12:27:55 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-24 12:33:43 +0100 | hughjfch1 | (~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.4.3) |
| 2025-01-24 12:34:14 +0100 | hughjfch1 | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-01-24 12:34:14 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
| 2025-01-24 12:39:43 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 12:39:43 +0100 | <kuribas> | merijn: Where you saying (forall a. Num a) is an existential, not a universal? |
| 2025-01-24 12:40:41 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-24 12:41:56 +0100 | <merijn> | Whether I was saying that, that depends very much on what context that syntax is in. And my terminology is a sloppy mess anyway :p |
| 2025-01-24 12:41:56 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-24 12:42:22 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-24 12:44:08 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-24 12:53:50 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-01-24 12:54:25 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 248 seconds) |
| 2025-01-24 12:59:46 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-01-24 13:00:15 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-01-24 13:00:49 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-01-24 13:01:59 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-24 13:03:55 +0100 | ft | (~ft@p508db1ba.dip0.t-ipconnect.de) ft |
| 2025-01-24 13:04:29 +0100 | rvalue- | rvalue |
| 2025-01-24 13:04:45 +0100 | <dminuoso> | kuribas: That type is not existential. |
| 2025-01-24 13:04:50 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-24 13:10:25 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-24 13:10:38 +0100 | <dminuoso> | `(∃a. ... a ...) -> r` however is an existential type and it is isomorphic to `∀ a. (... a ... -> r)` |
| 2025-01-24 13:21:37 +0100 | Midjak | (~MarciZ@82.66.147.146) Midjak |
| 2025-01-24 13:29:28 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 13:29:57 +0100 | <ncf> | forall a. Num a is not a type |
| 2025-01-24 13:30:51 +0100 | <ncf> | dminuoso: (∃a. ... a ...) is an existential type |
| 2025-01-24 13:30:55 +0100 | <ncf> | (∃a. ... a ...) -> r is not |
| 2025-01-24 13:33:10 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-24 13:33:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-01-24 13:42:35 +0100 | Googulator | (~Googulato@host-88-132-146-182.prtelecom.hu) |
| 2025-01-24 13:46:28 +0100 | jespada | (~jespada@2800:a4:2288:4600:a43e:beb4:c592:b90b) jespada |
| 2025-01-24 13:52:24 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-24 13:52:49 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-24 13:59:48 +0100 | visilii | (~visilii@46.61.242.99) (Read error: Connection reset by peer) |
| 2025-01-24 14:01:07 +0100 | visilii | (~visilii@46.61.242.99) |
| 2025-01-24 14:02:23 +0100 | iamsleepy | (~weechat@2a01:4f9:3070:feff:9969:2d95:7b68:eef5) (Read error: Connection reset by peer) |
| 2025-01-24 14:02:47 +0100 | iamsleepy | (~weechat@2a01:4f9:3070:feff:a9de:dfff:cd7f:fdcd) iamsleepy |
| 2025-01-24 14:16:10 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-24 14:18:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 14:18:25 +0100 | <kuribas> | ncf: it is with impredicative types enabled? |
| 2025-01-24 14:18:51 +0100 | <ncf> | no |
| 2025-01-24 14:19:11 +0100 | <kuribas> | well (forall a. Num a => a) |
| 2025-01-24 14:20:08 +0100 | <ncf> | yes |
| 2025-01-24 14:20:13 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-24 14:22:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-24 14:28:41 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-24 14:38:30 +0100 | Everything | (~Everythin@195.138.86.118) Everything |
| 2025-01-24 14:39:19 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-24 14:40:19 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-24 14:56:26 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-24 14:56:29 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-24 15:00:56 +0100 | KicksonButt | (~quassel@187.21.174.221) |
| 2025-01-24 15:05:14 +0100 | KicksonButt | (~quassel@187.21.174.221) (Client Quit) |
| 2025-01-24 15:05:33 +0100 | KicksonButt | (~quassel@187.21.174.221) |
| 2025-01-24 15:07:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 15:11:41 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-24 15:11:46 +0100 | Arsen_ | Arsen |
| 2025-01-24 15:12:43 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 264 seconds) |
| 2025-01-24 15:15:12 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-24 15:19:38 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-24 15:22:09 +0100 | <dminuoso> | ncf: Oh, I indeed mixed this one up. |
| 2025-01-24 15:24:10 +0100 | Googulator | (~Googulato@host-88-132-146-182.prtelecom.hu) (Ping timeout: 240 seconds) |
| 2025-01-24 15:26:56 +0100 | <kuribas> | dminuoso: that's not valid haskell syntax |
| 2025-01-24 15:27:20 +0100 | <dminuoso> | kuribas: Half of it is. |
| 2025-01-24 15:27:38 +0100 | <merijn> | Actually ∀ totally is valid haskell with -XUnicodeSyntax :p |
| 2025-01-24 15:27:49 +0100 | <dminuoso> | Yes we do not have `∃x.` .. but then again we do not really have existential codes (except for those encoded via universal quantification) |
| 2025-01-24 15:30:33 +0100 | <kuribas> | We do have existential types. |
| 2025-01-24 15:30:43 +0100 | <dminuoso> | kuribas: Let me rephrase: |
| 2025-01-24 15:30:47 +0100 | <dminuoso> | We do not have existential quantification. |
| 2025-01-24 15:30:55 +0100 | <dminuoso> | Except that you encode it via the above isomorphism. |
| 2025-01-24 15:31:20 +0100 | <dminuoso> | Not quite sure whether we can give a clean and accurate definition of what "an existential type" is exactly. |
| 2025-01-24 15:32:12 +0100 | <dminuoso> | If an existential type is any quantified type where an `∃a. ...` could appear in, then `id` too is an existential type because we could encode it in terms of an existential quantifier. |
| 2025-01-24 15:33:27 +0100 | <dminuoso> | s/too is an /too has an/ |
| 2025-01-24 15:35:47 +0100 | <kuribas> | "data Foo = forall a. Foo a" is an existential type. |
| 2025-01-24 15:35:59 +0100 | <kuribas> | a is existential in Foo. |
| 2025-01-24 15:36:13 +0100 | <kuribas> | Foo is not a function type. |
| 2025-01-24 15:36:16 +0100 | <dminuoso> | That one is a bit funny. |
| 2025-01-24 15:36:36 +0100 | <dminuoso> | So the language extension *is* called ExistentialQuantification, and if it had been faithful, it would have allowed to write: |
| 2025-01-24 15:36:53 +0100 | <dminuoso> | `data Foo where Foo :: exists a. a -> Foo` |
| 2025-01-24 15:37:22 +0100 | <dminuoso> | Instead it uses a very strange notation where you put the `forall a` into a strange spot, there by impying that. |
| 2025-01-24 15:37:36 +0100 | <dminuoso> | % :set -XExistentialQuantification |
| 2025-01-24 15:37:36 +0100 | <yahb2> | <no output> |
| 2025-01-24 15:37:45 +0100 | <dminuoso> | % data Foo = forall a. Foo a |
| 2025-01-24 15:37:45 +0100 | <yahb2> | <no output> |
| 2025-01-24 15:37:47 +0100 | <dminuoso> | % :t Foo |
| 2025-01-24 15:37:47 +0100 | <yahb2> | Foo :: a -> Foo |
| 2025-01-24 15:38:19 +0100 | <Leary> | dminuoso: That should be `(exists a. a)`; you wouldn't even need GADTSyntax to write it. |
| 2025-01-24 15:38:36 +0100 | <dminuoso> | Leary: Sure or that. |
| 2025-01-24 15:38:55 +0100 | <dminuoso> | Leary: I just wanted to use GADTSyntax to avoid some confusion. |
| 2025-01-24 15:41:04 +0100 | <dminuoso> | Can you make GHC print out quantifiers explicitly with :t ? |
| 2025-01-24 15:43:14 +0100 | <Leary> | kuribas: `Foo` is also effectively "encoded via universal quantification" due to the fact that we need to type any code that interacts with it using only `forall`: `Foo :: forall a. a -> Foo`; `\f -> \case{ Foo x -> f x } :: forall r. (forall a. a -> r) -> r`. |
| 2025-01-24 15:44:29 +0100 | <Leary> | *Foo -> r |
| 2025-01-24 15:45:07 +0100 | <Leary> | Shouldda swapped those args, but you get the picture. |
| 2025-01-24 15:45:59 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:3d80:bfe2:3c69:fb84) ubert |
| 2025-01-24 15:46:12 +0100 | <dminuoso> | I think the only sensible definition of "existential type" is one that has an existential quantifier inside it. |
| 2025-01-24 15:46:32 +0100 | <dminuoso> | If its encoded via unviersal quantification, I would not call it an "existential type" |
| 2025-01-24 15:47:11 +0100 | <dminuoso> | Otherwise there would be no distinction between "universal type" and "existential type", and thereby no reason to have two terms. |
| 2025-01-24 15:47:45 +0100 | <dminuoso> | (Which begs the question what to call a type has both an existential and universal quantifier inside) |
| 2025-01-24 15:48:06 +0100 | <dminuoso> | Maybe we should not use these terms at all. |
| 2025-01-24 15:49:24 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-01-24 15:50:31 +0100 | euleritian | (~euleritia@dynamic-176-006-139-225.176.6.pool.telefonica.de) |
| 2025-01-24 15:50:35 +0100 | <Leary> | The strict definition should be that a universal or existential type has the corresponding quantifier outermost, but in the absense of the latter quantifier and the presence of reasonable encodings thereof, that definition obviously just isn't pragmatic enough. |
| 2025-01-24 15:57:02 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 16:01:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-24 16:06:24 +0100 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2025-01-24 16:09:13 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-24 16:13:30 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-24 16:22:09 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:3d80:bfe2:3c69:fb84) (Remote host closed the connection) |
| 2025-01-24 16:25:31 +0100 | penteract | (~toby@blbn-12-b2-v4wan-167809-cust345.vm18.cable.virginm.net) |
| 2025-01-24 16:26:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-24 16:26:44 +0100 | Googulator | (~Googulato@20014C4D1DC05D00E430F981B083C4A0.dsl.pool.telekom.hu) |
| 2025-01-24 16:28:01 +0100 | <kuribas> | dminuoso: this is an existential type by all definitions. |
| 2025-01-24 16:30:43 +0100 | <kuribas> | It's the same as Foo (a:Type ** a) in idris. |
| 2025-01-24 16:32:08 +0100 | <kuribas> | Since Pi(a:Type, (a -> Type)) equals Sigma(a:Type, a) -> Type |
| 2025-01-24 16:33:45 +0100 | bgtdsword | (b968c1779f@2a03:6000:1812:100::1460) |
| 2025-01-24 16:33:57 +0100 | <kuribas> | A universal type would be (data Foo = Foo (forall a. a)) |
| 2025-01-24 16:35:02 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-24 16:45:54 +0100 | euleritian | (~euleritia@dynamic-176-006-139-225.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-24 16:46:12 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-24 16:47:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 16:50:08 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-24 16:51:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-01-24 16:52:04 +0100 | Googulator77 | (~Googulato@host-88-132-146-182.prtelecom.hu) |
| 2025-01-24 16:54:21 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-01-24 16:54:49 +0100 | Googulator95 | (~Googulato@20014C4D1DC05D000D8336F0438E30FB.dsl.pool.telekom.hu) |
| 2025-01-24 16:55:10 +0100 | Googulator | (~Googulato@20014C4D1DC05D00E430F981B083C4A0.dsl.pool.telekom.hu) (Ping timeout: 240 seconds) |
| 2025-01-24 16:55:28 +0100 | Googulator67 | (~Googulato@host-88-132-146-182.prtelecom.hu) |
| 2025-01-24 16:57:18 +0100 | Googulator22 | (~Googulato@20014C4D1DC27400F4C071F0F2BD5711.dsl.pool.telekom.hu) |
| 2025-01-24 16:58:10 +0100 | Googulator77 | (~Googulato@host-88-132-146-182.prtelecom.hu) (Ping timeout: 240 seconds) |
| 2025-01-24 16:59:10 +0100 | Googulator95 | (~Googulato@20014C4D1DC05D000D8336F0438E30FB.dsl.pool.telekom.hu) (Ping timeout: 240 seconds) |
| 2025-01-24 17:00:18 +0100 | Googulator22 | Googulator |
| 2025-01-24 17:00:38 +0100 | Googulator46 | (~Googulato@20014C4D1DC2740015D1F124CD99EC2E.dsl.pool.telekom.hu) |
| 2025-01-24 17:00:40 +0100 | Googulator67 | (~Googulato@host-88-132-146-182.prtelecom.hu) (Ping timeout: 240 seconds) |
| 2025-01-24 17:00:57 +0100 | Googulator52 | (~Googulato@81.183.235.203) |
| 2025-01-24 17:01:00 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 246 seconds) |
| 2025-01-24 17:04:40 +0100 | Googulator | (~Googulato@20014C4D1DC27400F4C071F0F2BD5711.dsl.pool.telekom.hu) (Ping timeout: 240 seconds) |
| 2025-01-24 17:05:10 +0100 | Googulator46 | (~Googulato@20014C4D1DC2740015D1F124CD99EC2E.dsl.pool.telekom.hu) (Ping timeout: 240 seconds) |
| 2025-01-24 17:05:58 +0100 | Googulator91 | (~Googulato@81.183.235.203) |
| 2025-01-24 17:06:57 +0100 | Googulator46 | (~Googulato@81.183.235.203) |
| 2025-01-24 17:09:40 +0100 | Googulator52 | (~Googulato@81.183.235.203) (Ping timeout: 240 seconds) |
| 2025-01-24 17:10:40 +0100 | Googulator91 | (~Googulato@81.183.235.203) (Ping timeout: 240 seconds) |
| 2025-01-24 17:11:29 +0100 | Googulator73 | (~Googulato@20014C4D1DC27400EC1C108CC71E90E8.dsl.pool.telekom.hu) |
| 2025-01-24 17:13:00 +0100 | Googulator47 | (~Googulato@81.183.235.203) |
| 2025-01-24 17:14:40 +0100 | Googulator46 | (~Googulato@81.183.235.203) (Ping timeout: 240 seconds) |
| 2025-01-24 17:16:40 +0100 | Googulator73 | (~Googulato@20014C4D1DC27400EC1C108CC71E90E8.dsl.pool.telekom.hu) (Ping timeout: 240 seconds) |
| 2025-01-24 17:19:10 +0100 | EvanR_ | EvanR |
| 2025-01-24 17:19:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-24 17:21:24 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-24 17:26:38 +0100 | KicksonButt | (~quassel@187.21.174.221) (Ping timeout: 272 seconds) |
| 2025-01-24 17:30:21 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-01-24 17:30:44 +0100 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-01-24 17:31:40 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-01-24 17:31:45 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-01-24 17:32:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-24 17:32:51 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-24 17:34:34 +0100 | Googulator81 | (~Googulato@20014C4D1DC2740020B6DF4FD38204F1.dsl.pool.telekom.hu) |
| 2025-01-24 17:36:53 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 17:36:58 +0100 | <hellwolf> | chatgpt <<< "Write f :: Integer -> [Word8] for me in Haskell" would you bet on its performance? |
| 2025-01-24 17:37:20 +0100 | <hellwolf> | it should ask at least BE or LE though. |
| 2025-01-24 17:38:10 +0100 | Googulator47 | (~Googulato@81.183.235.203) (Ping timeout: 240 seconds) |
| 2025-01-24 17:39:39 +0100 | <homo> | portability tip: write code to be independent of byte order |
| 2025-01-24 17:39:39 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-24 17:39:50 +0100 | <mauke> | map (toEnum . fromEnum) . show |
| 2025-01-24 17:41:08 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-24 17:41:40 +0100 | Googulator55 | (~Googulato@netacc-gpn-34-124-103.pool.yettel.hu) |
| 2025-01-24 17:42:10 +0100 | <homo> | mauke if every element can store only between 0 and 9, it's a waste of space to use 8-bit type |
| 2025-01-24 17:43:10 +0100 | Googulator81 | (~Googulato@20014C4D1DC2740020B6DF4FD38204F1.dsl.pool.telekom.hu) (Ping timeout: 240 seconds) |
| 2025-01-24 17:44:08 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 2025-01-24 17:44:11 +0100 | Square | (~Square@user/square) Square |
| 2025-01-24 17:44:36 +0100 | <merijn> | homo: I have bad news if you think Word8 is an 8-bit type :) |
| 2025-01-24 17:45:17 +0100 | <homo> | prototype: f i = if i < 256 then [i] else (i % 256) : f (i / 256) |
| 2025-01-24 17:46:41 +0100 | <mauke> | :t let f i = if i < 256 then [i] else (i % 256) : f (i / 256) in f |
| 2025-01-24 17:46:42 +0100 | <lambdabot> | error: |
| 2025-01-24 17:46:42 +0100 | <lambdabot> | • Occurs check: cannot construct the infinite type: t1 ~ Ratio t1 |
| 2025-01-24 17:46:42 +0100 | <lambdabot> | Expected type: [t1] |
| 2025-01-24 17:46:45 +0100 | <merijn> | That's not gonna do what you expect :p |
| 2025-01-24 17:46:51 +0100 | <merijn> | Since % is not modulo |
| 2025-01-24 17:47:08 +0100 | <merijn> | (I mean, it's also not modulo in any other programming language, but at least it's closer) |
| 2025-01-24 17:47:19 +0100 | <hellwolf> | data {-# CTYPE "HsWord8" #-} Word8 |
| 2025-01-24 17:47:19 +0100 | <hellwolf> | = W8# Word8# |
| 2025-01-24 17:47:25 +0100 | <hellwolf> | but it's boxed... |
| 2025-01-24 17:47:49 +0100 | <merijn> | hellwolf: Right, so it's just a machine word and thus 64bit :p |
| 2025-01-24 17:48:17 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-01-24 17:48:20 +0100 | <hellwolf> | huh? |
| 2025-01-24 17:48:29 +0100 | <homo> | > let fi = if i < 256 then [i] else (mod i 256) : f (i / 256) in f 2038 |
| 2025-01-24 17:48:31 +0100 | <lambdabot> | error: |
| 2025-01-24 17:48:31 +0100 | <lambdabot> | • Could not deduce (FromExpr [Expr]) arising from a use of ‘f’ |
| 2025-01-24 17:48:31 +0100 | <lambdabot> | from the context: FromExpr t |
| 2025-01-24 17:48:47 +0100 | <homo> | > let f i = if i < 256 then [i] else (mod i 256) : f (i / 256) in f 2038 |
| 2025-01-24 17:48:48 +0100 | <lambdabot> | error: |
| 2025-01-24 17:48:48 +0100 | <lambdabot> | • Ambiguous type variable ‘t0’ arising from a use of ‘show_M163387529259... |
| 2025-01-24 17:48:48 +0100 | <lambdabot> | prevents the constraint ‘(Show t0)’ from being solved. |
| 2025-01-24 17:49:06 +0100 | <merijn> | hellwolf: Word8 takes up 64bits of memory, because that's the minimal size for boxed values in GHC |
| 2025-01-24 17:49:22 +0100 | <merijn> | I mean, I suppose it'd take 32 on an x86 but who still uses those |
| 2025-01-24 17:50:47 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-24 17:51:34 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-24 17:51:36 +0100 | <homo> | > let f i = if i < 256 then [i] else (mod i 256) : f (div i 256) in f 203820382038 |
| 2025-01-24 17:51:37 +0100 | <lambdabot> | [86,55,164,116,47] |
| 2025-01-24 17:52:07 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-01-24 17:52:11 +0100 | <merijn> | mod should probably be rem, no? |
| 2025-01-24 17:52:27 +0100 | <merijn> | And you can optimise it with quoteRem |
| 2025-01-24 17:52:31 +0100 | <merijn> | eh, quotRem |
| 2025-01-24 17:52:33 +0100 | <merijn> | :t quotRem |
| 2025-01-24 17:52:34 +0100 | <lambdabot> | Integral a => a -> a -> (a, a) |
| 2025-01-24 17:52:45 +0100 | <merijn> | > 372 `quotRem` 256 |
| 2025-01-24 17:52:46 +0100 | <lambdabot> | (1,116) |
| 2025-01-24 17:53:35 +0100 | <homo> | tuple is not a list |
| 2025-01-24 17:53:52 +0100 | <mauke> | :t uncurry (:) |
| 2025-01-24 17:53:53 +0100 | <lambdabot> | (a, [a]) -> [a] |
| 2025-01-24 17:53:53 +0100 | <homo> | also what's difference between mod and rem? |
| 2025-01-24 17:54:10 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-24 17:54:11 +0100 | <merijn> | mod is always positive |
| 2025-01-24 17:54:22 +0100 | <merijn> | homo: So they're identical IFF both arguments are positive |
| 2025-01-24 17:54:34 +0100 | <merijn> | > (-1297 `mod` 256) |
| 2025-01-24 17:54:35 +0100 | <lambdabot> | -17 |
| 2025-01-24 17:54:38 +0100 | <merijn> | > (-1297 `rem` 256) |
| 2025-01-24 17:54:39 +0100 | <lambdabot> | -17 |
| 2025-01-24 17:54:46 +0100 | <haskellbridge> | <hellwolf> how can you create a tuple of unboxed blah |
| 2025-01-24 17:54:47 +0100 | <merijn> | or is it on the divider? |
| 2025-01-24 17:54:50 +0100 | <merijn> | I always forget |
| 2025-01-24 17:54:56 +0100 | <merijn> | hellwolf: With difficulty :) |
| 2025-01-24 17:55:00 +0100 | <homo> | and prototype that I use (assuming it converts to word8) assumes positive integers anyway |
| 2025-01-24 17:55:12 +0100 | <merijn> | > (1297 `rem` -256) |
| 2025-01-24 17:55:13 +0100 | <hellwolf> | :set -XWithDifficulty? |
| 2025-01-24 17:55:13 +0100 | <lambdabot> | error: |
| 2025-01-24 17:55:13 +0100 | <lambdabot> | Precedence parsing error |
| 2025-01-24 17:55:13 +0100 | <lambdabot> | cannot mix ‘rem’ [infixl 7] and prefix `-' [infixl 6] in the same in... |
| 2025-01-24 17:55:18 +0100 | <merijn> | > (1297 `rem` (-256)) |
| 2025-01-24 17:55:19 +0100 | <lambdabot> | 17 |
| 2025-01-24 17:55:25 +0100 | <merijn> | > (-1297 `rem` (-256)) |
| 2025-01-24 17:55:27 +0100 | <lambdabot> | -17 |
| 2025-01-24 17:55:31 +0100 | <merijn> | > (-1297 `mod` (-256)) |
| 2025-01-24 17:55:32 +0100 | <lambdabot> | 239 |
| 2025-01-24 17:55:35 +0100 | <merijn> | > (1297 `mod` (-256)) |
| 2025-01-24 17:55:36 +0100 | <lambdabot> | -239 |
| 2025-01-24 17:56:25 +0100 | <merijn> | hellwolf: I think you just need UnboxedTuples and MagicHash? |
| 2025-01-24 17:58:24 +0100 | _73 | (~user@129.63.248.16) (Remote host closed the connection) |
| 2025-01-24 18:01:23 +0100 | Googulator7 | (~Googulato@81.183.235.203) |
| 2025-01-24 18:04:40 +0100 | Googulator55 | (~Googulato@netacc-gpn-34-124-103.pool.yettel.hu) (Ping timeout: 240 seconds) |
| 2025-01-24 18:05:39 +0100 | <hellwolf> | https://paste.tomsmeding.com/0xsGQoyr |
| 2025-01-24 18:05:46 +0100 | <hellwolf> | I don't know what I am doing, but I crashed GHC |
| 2025-01-24 18:06:43 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2025-01-24 18:07:01 +0100 | <merijn> | Congrats! |
| 2025-01-24 18:07:13 +0100 | <homo> | merijn the reason to not use quotRem and uncurry is because resulting code becomes longer than it is with div and mod/rem |
| 2025-01-24 18:07:28 +0100 | <merijn> | hellwolf: ah, you can't do that in ghci I expect |
| 2025-01-24 18:07:39 +0100 | <haskellbridge> | <sm> six mentions of Call Stack, making clear there was panic! |
| 2025-01-24 18:07:51 +0100 | <merijn> | hellwolf: ghci doesn't compile to machine code, it compiles to bytecode that's interpreted |
| 2025-01-24 18:08:04 +0100 | <merijn> | hellwolf: I'm not sure bytecode can support unboxed tuples |
| 2025-01-24 18:08:08 +0100 | <haskellbridge> | <sm> Don't Panic, GHC |
| 2025-01-24 18:08:08 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-24 18:08:55 +0100 | <homo> | > let f i = if i < 256 then [i] else uncurry (flip (:)) . (\(a,b) -> (f a, b)) $ quotRem i 256 in f 203820382038 |
| 2025-01-24 18:08:57 +0100 | <lambdabot> | [86,55,164,116,47] |
| 2025-01-24 18:09:08 +0100 | <homo> | > let f i = if i < 256 then [i] else (mod i 256) : f (div i 256) in f 203820382038 |
| 2025-01-24 18:09:10 +0100 | <lambdabot> | [86,55,164,116,47] |
| 2025-01-24 18:09:16 +0100 | <hellwolf> | I proceed to crash https://play.haskell.org/ then |
| 2025-01-24 18:09:45 +0100 | <merijn> | hellwolf: You can try to start ghci with -fobject-code |
| 2025-01-24 18:10:10 +0100 | Googulator7 | (~Googulato@81.183.235.203) (Ping timeout: 240 seconds) |
| 2025-01-24 18:10:18 +0100 | <geekosaur> | it's supposed to in recent versions but you need to turn on a flag (-fno-unoptimized-core-for-interpreter, I think) |
| 2025-01-24 18:10:50 +0100 | <geekosaur> | requires 9.8 or later; older versions crash with unboxed tuples |
| 2025-01-24 18:11:13 +0100 | <geekosaur> | (the bytecode interpreter can't tell the difference between boxed and unboxed tuples, specifically) |
| 2025-01-24 18:12:18 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-01-24 18:14:22 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-01-24 18:15:23 +0100 | <hellwolf> | https://play.haskell.org/saved/YjifSESh |
| 2025-01-24 18:15:32 +0100 | <hellwolf> | crash GHC 9.10, but meaningful error in 9.8 |
| 2025-01-24 18:15:36 +0100 | <hellwolf> | wrong code, I guess. |
| 2025-01-24 18:16:24 +0100 | <geekosaur> | interesting. I'd report that |
| 2025-01-24 18:16:40 +0100 | <geekosaur> | although maybe 9.10.2-to-be already has it fixed |
| 2025-01-24 18:18:03 +0100 | <hellwolf> | what's the syntax for unboxed tuple anyways |
| 2025-01-24 18:18:12 +0100 | <hellwolf> | is it `(# ... #)` |
| 2025-01-24 18:18:27 +0100 | <geekosaur> | yes |
| 2025-01-24 18:18:42 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-01-24 18:18:46 +0100 | <geekosaur> | (with commas; note that with | it's unboxed sum) |
| 2025-01-24 18:20:03 +0100 | <hellwolf> | " Operator applied to too few arguments: #" |
| 2025-01-24 18:20:54 +0100 | <geekosaur> | did you turn on MagicHash? |
| 2025-01-24 18:21:06 +0100 | <hellwolf> | yes |
| 2025-01-24 18:21:17 +0100 | <hellwolf> | let me read some docs |
| 2025-01-24 18:22:11 +0100 | <hellwolf> | well, the solution to all your problems -XUnboxedTuples |
| 2025-01-24 18:22:24 +0100 | <hellwolf> | ¯_(ツ)_/¯ |
| 2025-01-24 18:22:33 +0100 | Everything | (~Everythin@195.138.86.118) (Ping timeout: 252 seconds) |
| 2025-01-24 18:25:21 +0100 | <mauke> | what happened to the left arm? (does your irc client speak markdown?) |
| 2025-01-24 18:25:25 +0100 | Googulator7 | (~Googulato@20014C4D1DC76E0020B6DF4FD38204F1.dsl.pool.telekom.hu) |
| 2025-01-24 18:25:43 +0100 | <hellwolf> | losing arms and legs using ghc |
| 2025-01-24 18:26:23 +0100 | <hellwolf> | print ((# (wordToWord8# 8##), (wordToWord8# 9##) #) :: F#) ... |
| 2025-01-24 18:26:34 +0100 | Pixi__ | Pixi |
| 2025-01-24 18:26:37 +0100 | <hellwolf> | now idea how to lift >>> show an unlifted type |
| 2025-01-24 18:26:40 +0100 | <hellwolf> | *no |
| 2025-01-24 18:26:47 +0100 | <hellwolf> | but I think I am letting it go; I digressed too much. |
| 2025-01-24 18:26:59 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 18:27:51 +0100 | Googulator7 | (~Googulato@20014C4D1DC76E0020B6DF4FD38204F1.dsl.pool.telekom.hu) (Client Quit) |
| 2025-01-24 18:30:10 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-01-24 18:30:18 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-24 18:30:33 +0100 | KicksonButt | (~quassel@187.21.174.221) |
| 2025-01-24 18:31:01 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-24 18:34:41 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-24 18:36:35 +0100 | titibandit | (e33ffbab65@user/titibandit) (Remote host closed the connection) |
| 2025-01-24 18:37:00 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 244 seconds) |
| 2025-01-24 18:49:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-24 18:50:15 +0100 | tokie | (~tokie@user/strtok) (WeeChat 2.8) |
| 2025-01-24 18:50:47 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-01-24 18:53:48 +0100 | euleritian | (~euleritia@dynamic-176-000-001-239.176.0.pool.telefonica.de) |
| 2025-01-24 18:56:27 +0100 | jleightcap | (7bc4014b62@user/jleightcap) (Remote host closed the connection) |
| 2025-01-24 18:56:37 +0100 | jleigh | (7bc4014b62@user/jleightcap) jleightcap |
| 2025-01-24 18:59:47 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-01-24 19:08:46 +0100 | hueso | (~root@user/hueso) (Read error: Connection reset by peer) |
| 2025-01-24 19:11:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-24 19:13:22 +0100 | hueso | (~root@user/hueso) hueso |
| 2025-01-24 19:15:05 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-24 19:15:21 +0100 | euleritian | (~euleritia@dynamic-176-000-001-239.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-24 19:15:39 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-24 19:16:21 +0100 | dhil | (~dhil@2a0c:b381:588:5f00:29fc:4647:d8a6:1493) (Ping timeout: 248 seconds) |
| 2025-01-24 19:17:56 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-24 19:22:19 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 264 seconds) |
| 2025-01-24 19:24:33 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |