| 2024-06-19 00:10:09 +0200 | Roc | (~Roc@ip-213-49-101-14.dsl.scarlet.be) |
| 2024-06-19 00:10:43 +0200 | <Roc> | I'm reading the learnyouahaskel book. I'm on linux and i have installed haskell tools using ghcup. I can follow everything in the book but now it seems that don' t have System.Random installed. Can i install this using ghcup or do i have to use cabal as shown in most search results? |
| 2024-06-19 00:11:31 +0200 | <monochrom> | Yes you will need cabal. System.Random doesn't come with GHC any more. |
| 2024-06-19 00:12:07 +0200 | <monochrom> | The easiest way is https://cabal.readthedocs.io/en/stable/getting-started.html#running-a-single-file-haskell-script |
| 2024-06-19 00:12:45 +0200 | <Roc> | I'll follow that guide. Thanks! |
| 2024-06-19 00:12:56 +0200 | <monochrom> | You can also have "cabal repl" on that file. So basically s/ghci foo.hs/cabal repl foo.hs/ , s/runghc foo.hs/cabal run foo.hs/ |
| 2024-06-19 00:13:36 +0200 | myme | (~myme@2a01:799:d5c:5f00:33d4:3d73:88f6:3af4) |
| 2024-06-19 00:15:35 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-06-19 00:16:28 +0200 | CiaoSen | (~Jura@2a05:5800:2d9:7200:e6b9:7aff:fe80:3d03) (Quit: CiaoSen) |
| 2024-06-19 00:18:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-19 00:25:27 +0200 | ft | (~ft@p3e9bcb39.dip0.t-ipconnect.de) |
| 2024-06-19 00:27:45 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-06-19 00:36:07 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
| 2024-06-19 00:40:57 +0200 | Square2 | (~Square4@user/square) |
| 2024-06-19 00:42:05 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc44fcfbcb66e1510efc.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-06-19 00:42:24 +0200 | <EvanR> | haskell doesn't come with an RNG anymore? nice |
| 2024-06-19 00:44:29 +0200 | <glguy> | Anymore? |
| 2024-06-19 00:45:24 +0200 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2024-06-19 00:48:02 +0200 | pavonia | (~user@user/siracusa) |
| 2024-06-19 00:48:12 +0200 | <EvanR> | how long have I been asleep |
| 2024-06-19 00:49:00 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-06-19 00:49:34 +0200 | <monochrom> | Don't worry, these things change all the time. :) |
| 2024-06-19 00:49:38 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Remote host closed the connection) |
| 2024-06-19 00:50:21 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-06-19 00:54:55 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2024-06-19 00:55:50 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:674f:8bcc:dd31:934b) |
| 2024-06-19 01:01:05 +0200 | forell | (~forell@user/forell) (Ping timeout: 272 seconds) |
| 2024-06-19 01:06:19 +0200 | forell | (~forell@user/forell) |
| 2024-06-19 01:19:38 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-06-19 01:20:37 +0200 | dmj` | (uid72307@id-72307.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-06-19 01:27:56 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-06-19 01:35:48 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
| 2024-06-19 01:39:10 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-06-19 01:39:51 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-06-19 01:41:31 +0200 | <cheater> | i can't believe i spent a whole ass day working on getting taglist working and tagbar just works out of the box |
| 2024-06-19 01:41:38 +0200 | <cheater> | and it's great for haskell |
| 2024-06-19 01:41:42 +0200 | <cheater> | uses hasktags |
| 2024-06-19 01:41:51 +0200 | <cheater> | has actual support (not me hacking it in) |
| 2024-06-19 01:41:58 +0200 | <cheater> | etc |
| 2024-06-19 02:14:57 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-06-19 02:17:43 +0200 | xff0x | (~xff0x@2405:6580:b080:900:fd6a:2265:c425:f820) (Ping timeout: 272 seconds) |
| 2024-06-19 02:22:22 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b960:a570:a53a:e862:a200) |
| 2024-06-19 02:24:12 +0200 | Roc | (~Roc@ip-213-49-101-14.dsl.scarlet.be) (Quit: Client closed) |
| 2024-06-19 02:27:53 +0200 | myme | (~myme@2a01:799:d5c:5f00:33d4:3d73:88f6:3af4) (Quit: WeeChat 4.2.2) |
| 2024-06-19 02:32:09 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 2024-06-19 02:32:33 +0200 | henry40408 | (~henry4040@175.182.111.183) |
| 2024-06-19 02:46:27 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2024-06-19 02:56:58 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1d:7cf9:8000::) |
| 2024-06-19 03:03:32 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 268 seconds) |
| 2024-06-19 03:09:48 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1d:7cf9:8000::) (Quit: Quit) |
| 2024-06-19 03:13:47 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-06-19 03:27:35 +0200 | erty` | (~user@122.161.50.232) (Ping timeout: 268 seconds) |
| 2024-06-19 03:35:56 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Quit: dysthesis) |
| 2024-06-19 03:38:45 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-19 03:57:15 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 2024-06-19 03:57:43 +0200 | henry40408 | (~henry4040@175.182.111.183) |
| 2024-06-19 04:02:52 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
| 2024-06-19 04:05:02 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-19 04:09:24 +0200 | causal | (~eric@50.35.88.207) |
| 2024-06-19 04:11:26 +0200 | Leary | (~Leary@user/Leary/x-0910699) |
| 2024-06-19 04:19:12 +0200 | euleritian | (~euleritia@dynamic-176-003-069-120.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-19 04:19:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-19 04:36:54 +0200 | rosco | (~rosco@175.136.155.137) |
| 2024-06-19 04:48:53 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 240 seconds) |
| 2024-06-19 04:57:15 +0200 | td_ | (~td@i53870936.versanet.de) (Ping timeout: 264 seconds) |
| 2024-06-19 04:59:00 +0200 | td_ | (~td@i53870921.versanet.de) |
| 2024-06-19 05:17:35 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 05:24:08 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 268 seconds) |
| 2024-06-19 05:38:26 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 05:44:11 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 268 seconds) |
| 2024-06-19 05:45:39 +0200 | aforemny | (~aforemny@2001:9e8:6cc0:df00:949a:33df:9d68:3e31) |
| 2024-06-19 05:46:07 +0200 | aforemny_ | (~aforemny@2001:9e8:6cdf:6100:2338:8f16:3564:eee6) (Ping timeout: 246 seconds) |
| 2024-06-19 05:57:57 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 06:01:27 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2024-06-19 06:02:53 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-19 06:04:50 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 268 seconds) |
| 2024-06-19 06:29:46 +0200 | michalz | (~michalz@185.246.207.193) |
| 2024-06-19 06:30:37 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 06:32:24 +0200 | pwug | (~pwug@user/pwug) (Quit: Leaving) |
| 2024-06-19 06:36:36 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 268 seconds) |
| 2024-06-19 06:38:39 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 272 seconds) |
| 2024-06-19 06:41:08 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:674f:8bcc:dd31:934b) (Quit: Leaving) |
| 2024-06-19 06:47:50 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 06:53:23 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 264 seconds) |
| 2024-06-19 06:58:17 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-06-19 06:59:27 +0200 | michalz | (~michalz@185.246.207.193) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-06-19 07:02:16 +0200 | michalz | (~michalz@185.246.207.205) |
| 2024-06-19 07:05:52 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 07:08:30 +0200 | nyc | (~quassel@2603:7000:a106:2fb5::1f12) |
| 2024-06-19 07:08:54 +0200 | nyc | (~quassel@2603:7000:a106:2fb5::1f12) (Changing host) |
| 2024-06-19 07:08:54 +0200 | nyc | (~quassel@user/nyc) |
| 2024-06-19 07:12:13 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 246 seconds) |
| 2024-06-19 07:22:25 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-06-19 07:23:16 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-06-19 07:26:39 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 07:27:15 +0200 | dmj` | (uid72307@id-72307.hampstead.irccloud.com) |
| 2024-06-19 07:28:38 +0200 | euleritian | (~euleritia@dynamic-176-002-074-154.176.2.pool.telefonica.de) |
| 2024-06-19 07:31:12 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 255 seconds) |
| 2024-06-19 07:32:23 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-06-19 07:34:11 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
| 2024-06-19 07:35:41 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-19 07:36:18 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-06-19 07:37:13 +0200 | califax | (~califax@user/califx) |
| 2024-06-19 07:37:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-19 07:42:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-06-19 07:43:36 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-19 07:45:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-19 07:45:43 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 07:49:44 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc520c8312600ef4c57c.dip0.t-ipconnect.de) |
| 2024-06-19 07:50:05 +0200 | CiaoSen | (~Jura@2a05:5800:2d2:8900:e6b9:7aff:fe80:3d03) |
| 2024-06-19 07:51:14 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 256 seconds) |
| 2024-06-19 08:01:33 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 08:06:29 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 240 seconds) |
| 2024-06-19 08:16:39 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-06-19 08:16:53 +0200 | danse-nr3 | (~danse-nr3@151.57.152.233) |
| 2024-06-19 08:20:26 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 08:21:44 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 2024-06-19 08:25:43 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 246 seconds) |
| 2024-06-19 08:27:16 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-06-19 08:33:18 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2024-06-19 08:38:14 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 08:39:19 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-06-19 08:42:06 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-06-19 08:43:47 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 264 seconds) |
| 2024-06-19 08:46:27 +0200 | kyborg2011_ | (~kyborg201@host-176-36-215-61.b024.la.net.ua) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-06-19 08:46:57 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-06-19 08:52:27 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
| 2024-06-19 08:53:58 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-19 08:58:04 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 09:01:35 +0200 | euleritian | (~euleritia@dynamic-176-002-074-154.176.2.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-06-19 09:01:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-19 09:03:17 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 240 seconds) |
| 2024-06-19 09:08:55 +0200 | rosco | (rosco@gateway/vpn/airvpn/rosco) |
| 2024-06-19 09:15:00 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2024-06-19 09:16:52 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 09:22:04 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 246 seconds) |
| 2024-06-19 09:22:40 +0200 | myme | (~myme@2a01:799:d5c:5f00:33d4:3d73:88f6:3af4) |
| 2024-06-19 09:22:52 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-06-19 09:24:09 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-06-19 09:24:51 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:8e83:44df:afb0:80e1) (Ping timeout: 264 seconds) |
| 2024-06-19 09:24:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-19 09:25:21 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:309b:a5ab:1320:adb2) |
| 2024-06-19 09:27:06 +0200 | nyc | (~quassel@user/nyc) (Ping timeout: 268 seconds) |
| 2024-06-19 09:32:01 +0200 | rosco | (rosco@gateway/vpn/airvpn/rosco) (Quit: Lost terminal) |
| 2024-06-19 09:38:06 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 09:42:23 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 252 seconds) |
| 2024-06-19 09:46:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-06-19 09:48:09 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-06-19 09:50:34 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-06-19 09:55:27 +0200 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 264 seconds) |
| 2024-06-19 09:55:36 +0200 | nyc | (~quassel@2603:7000:a106:2fb5::1f12) |
| 2024-06-19 09:56:20 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 09:56:53 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-19 10:00:24 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-06-19 10:01:17 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 240 seconds) |
| 2024-06-19 10:03:54 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-06-19 10:03:58 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2024-06-19 10:09:09 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-06-19 10:14:43 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 10:20:19 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 272 seconds) |
| 2024-06-19 10:23:09 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-06-19 10:24:27 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
| 2024-06-19 10:25:32 +0200 | chele | (~chele@user/chele) |
| 2024-06-19 10:28:12 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-06-19 10:29:13 +0200 | akegalj | (~akegalj@95.168.118.12) |
| 2024-06-19 10:34:31 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 10:36:39 +0200 | danse-nr3 | (~danse-nr3@151.57.152.233) (Ping timeout: 256 seconds) |
| 2024-06-19 10:38:41 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-06-19 10:40:29 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 268 seconds) |
| 2024-06-19 10:40:44 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-06-19 10:52:48 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 10:55:55 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-06-19 10:58:11 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 264 seconds) |
| 2024-06-19 10:59:21 +0200 | danse-nr3 | (~danse-nr3@151.57.152.233) |
| 2024-06-19 11:00:50 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-06-19 11:10:49 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-06-19 11:11:39 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 11:11:43 +0200 | poscat0x04 | (~poscat@user/poscat) |
| 2024-06-19 11:13:51 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 11:14:59 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 264 seconds) |
| 2024-06-19 11:15:08 +0200 | poscat- | (~poscat@user/poscat) |
| 2024-06-19 11:15:18 +0200 | soverysour | (~soverysou@86.122.85.40) |
| 2024-06-19 11:15:18 +0200 | soverysour | (~soverysou@86.122.85.40) (Changing host) |
| 2024-06-19 11:15:18 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-19 11:16:06 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-06-19 11:16:41 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 272 seconds) |
| 2024-06-19 11:18:22 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-06-19 11:19:03 +0200 | ft | (~ft@p3e9bcb39.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-06-19 11:20:23 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 2024-06-19 11:22:51 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
| 2024-06-19 11:23:58 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 268 seconds) |
| 2024-06-19 11:26:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-19 11:31:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-19 11:38:50 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 11:40:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-19 11:43:31 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 260 seconds) |
| 2024-06-19 11:45:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-19 11:54:56 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 11:56:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-19 12:00:05 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 240 seconds) |
| 2024-06-19 12:00:49 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 12:01:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-19 12:05:58 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Quit: Quit) |
| 2024-06-19 12:06:15 +0200 | danse-nr3 | (~danse-nr3@151.57.152.233) (Read error: Connection reset by peer) |
| 2024-06-19 12:06:40 +0200 | danse-nr3 | (~danse-nr3@151.43.196.110) |
| 2024-06-19 12:07:35 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2024-06-19 12:10:31 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-06-19 12:18:33 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-06-19 12:20:03 +0200 | zmt01 | (~zmt00@user/zmt00) |
| 2024-06-19 12:21:03 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 256 seconds) |
| 2024-06-19 12:21:10 +0200 | swamp_ | (~zmt00@user/zmt00) |
| 2024-06-19 12:24:56 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 256 seconds) |
| 2024-06-19 12:26:16 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Read error: Connection reset by peer) |
| 2024-06-19 12:26:42 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
| 2024-06-19 12:27:30 +0200 | zmt01 | (~zmt00@user/zmt00) |
| 2024-06-19 12:31:11 +0200 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 268 seconds) |
| 2024-06-19 12:39:57 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 12:44:26 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-06-19 12:44:47 +0200 | euleritian | (~euleritia@dynamic-176-006-179-020.176.6.pool.telefonica.de) |
| 2024-06-19 12:47:32 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Remote host closed the connection) |
| 2024-06-19 12:47:41 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 12:53:10 +0200 | gehmehgeh | gmg |
| 2024-06-19 12:56:03 +0200 | rosco | (~rosco@175.136.155.137) |
| 2024-06-19 12:57:03 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Quit: Quit) |
| 2024-06-19 12:59:17 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 272 seconds) |
| 2024-06-19 13:04:45 +0200 | xff0x | (~xff0x@ai068022.d.east.v6connect.net) |
| 2024-06-19 13:05:04 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 13:08:52 +0200 | destituion | (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) (Ping timeout: 246 seconds) |
| 2024-06-19 13:09:22 +0200 | destituion | (~destituio@85.221.111.174) |
| 2024-06-19 13:10:00 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-06-19 13:20:09 +0200 | poxel | (~lennart@user/poxel) |
| 2024-06-19 13:23:30 +0200 | dmj` | (uid72307@id-72307.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-06-19 13:29:55 +0200 | verde | (~user@user/verde) |
| 2024-06-19 13:30:54 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Quit: Quit) |
| 2024-06-19 13:36:57 +0200 | mxs | (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat) |
| 2024-06-19 13:46:31 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 13:47:42 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Client Quit) |
| 2024-06-19 14:10:25 +0200 | danse-nr3 | (~danse-nr3@151.43.196.110) (Remote host closed the connection) |
| 2024-06-19 14:10:42 +0200 | euleritian | (~euleritia@dynamic-176-006-179-020.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-19 14:10:49 +0200 | danse-nr3 | (~danse-nr3@151.43.196.110) |
| 2024-06-19 14:11:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-19 14:13:18 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-19 14:14:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-19 14:14:48 +0200 | soverysour | (~soverysou@86.122.85.40) |
| 2024-06-19 14:14:48 +0200 | soverysour | (~soverysou@86.122.85.40) (Changing host) |
| 2024-06-19 14:14:48 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-19 14:15:27 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 14:21:27 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Quit: Quit) |
| 2024-06-19 14:23:23 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-06-19 14:23:25 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-06-19 14:24:21 +0200 | verde | (~user@user/verde) (Remote host closed the connection) |
| 2024-06-19 14:24:49 +0200 | euleritian | (~euleritia@dynamic-176-006-179-020.176.6.pool.telefonica.de) |
| 2024-06-19 14:24:49 +0200 | danse-nr3 | (~danse-nr3@151.43.196.110) (Ping timeout: 246 seconds) |
| 2024-06-19 14:42:15 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-06-19 14:44:27 +0200 | califax | (~califax@user/califx) |
| 2024-06-19 14:44:39 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-06-19 14:46:47 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 264 seconds) |
| 2024-06-19 14:46:51 +0200 | califax | (~califax@user/califx) |
| 2024-06-19 14:49:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-19 14:49:50 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-06-19 14:52:05 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-06-19 14:52:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-19 14:55:21 +0200 | Digit | (~user@user/digit) (Ping timeout: 255 seconds) |
| 2024-06-19 15:01:24 +0200 | akegalj | (~akegalj@95.168.118.12) (Read error: Connection reset by peer) |
| 2024-06-19 15:07:35 +0200 | Digit | (~user@user/digit) |
| 2024-06-19 15:08:18 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:668b:8ad4:1fc2:fd6f) |
| 2024-06-19 15:12:53 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 15:13:15 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Client Quit) |
| 2024-06-19 15:18:14 +0200 | dmj` | (uid72307@id-72307.hampstead.irccloud.com) |
| 2024-06-19 15:25:27 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-06-19 15:28:29 +0200 | nyc | (~quassel@2603:7000:a106:2fb5::1f12) (Ping timeout: 240 seconds) |
| 2024-06-19 15:32:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-19 15:32:44 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-06-19 15:34:20 +0200 | euleritian | (~euleritia@dynamic-176-006-179-020.176.6.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-06-19 15:35:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-19 15:36:44 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-06-19 15:36:51 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-06-19 15:37:24 +0200 | euleritian | (~euleritia@dynamic-176-004-198-011.176.4.pool.telefonica.de) |
| 2024-06-19 15:54:20 +0200 | akegalj | (~akegalj@86.33.70.155) |
| 2024-06-19 15:57:22 +0200 | nyc | (~quassel@2603:7000:a106:2fb5::1f12) |
| 2024-06-19 16:05:14 +0200 | danse-nr3 | (~danse-nr3@151.43.194.82) |
| 2024-06-19 16:06:42 +0200 | euleritian | (~euleritia@dynamic-176-004-198-011.176.4.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-06-19 16:08:02 +0200 | euleritian | (~euleritia@dynamic-176-001-214-220.176.1.pool.telefonica.de) |
| 2024-06-19 16:13:48 +0200 | Digitteknohippie | (~user@user/digit) |
| 2024-06-19 16:15:07 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2024-06-19 16:18:43 +0200 | soverysour | (~soverysou@user/soverysour) (Remote host closed the connection) |
| 2024-06-19 16:18:55 +0200 | Digitteknohippie | Digit |
| 2024-06-19 16:19:15 +0200 | soverysour | (~soverysou@86.122.85.40) |
| 2024-06-19 16:19:15 +0200 | soverysour | (~soverysou@86.122.85.40) (Changing host) |
| 2024-06-19 16:19:15 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-19 16:21:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-06-19 16:25:46 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-06-19 16:26:08 +0200 | nyc | (~quassel@2603:7000:a106:2fb5::1f12) (Remote host closed the connection) |
| 2024-06-19 16:35:48 +0200 | kyborg2011 | (~kyborg201@host-176-36-215-61.b024.la.net.ua) |
| 2024-06-19 16:38:46 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2024-06-19 16:40:18 +0200 | zzz | (~yin@user/zero) |
| 2024-06-19 16:40:45 +0200 | y-koj | (~yk@2404:7a81:c840:5e00:c44:429d:83d8:df96) |
| 2024-06-19 16:43:39 +0200 | <hadronized> | anyone had a look at Idris2? I saw somewhere that it can run without a GC?! |
| 2024-06-19 16:50:06 +0200 | <EvanR> | they replaced the basic C runtime with semispace collector with chicken scheme, I think |
| 2024-06-19 16:50:27 +0200 | <EvanR> | I wouldn't bet on idris2 being the pathway to extreme performance |
| 2024-06-19 16:51:11 +0200 | <EvanR> | it's really about the dependent types |
| 2024-06-19 16:51:17 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 240 seconds) |
| 2024-06-19 16:52:37 +0200 | <hadronized> | I’m not sure why people are so hyped about DT |
| 2024-06-19 16:55:48 +0200 | y-koj | (~yk@2404:7a81:c840:5e00:c44:429d:83d8:df96) (Quit: WeeChat 4.2.1) |
| 2024-06-19 16:56:04 +0200 | y-koj | (~yk@2404:7a81:c840:5e00:c44:429d:83d8:df96) |
| 2024-06-19 16:58:24 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-06-19 17:00:32 +0200 | <mauke> | good DPS, cloaked by default, always good for a comeback |
| 2024-06-19 17:02:22 +0200 | kimiamania | (~65804703@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2024-06-19 17:02:46 +0200 | kimiamania | (~65804703@user/kimiamania) |
| 2024-06-19 17:05:07 +0200 | euleritian | (~euleritia@dynamic-176-001-214-220.176.1.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2024-06-19 17:06:12 +0200 | euleritian | (~euleritia@dynamic-176-001-135-067.176.1.pool.telefonica.de) |
| 2024-06-19 17:08:59 +0200 | danse-nr3 | (~danse-nr3@151.43.194.82) (Ping timeout: 264 seconds) |
| 2024-06-19 17:12:39 +0200 | someone235 | (uid419897@id-419897.ilkley.irccloud.com) |
| 2024-06-19 17:18:41 +0200 | kyborg2011 | (~kyborg201@host-176-36-215-61.b024.la.net.ua) (Read error: Connection reset by peer) |
| 2024-06-19 17:19:09 +0200 | kyborg2011 | (~kyborg201@host-176-36-215-61.b024.la.net.ua) |
| 2024-06-19 17:23:20 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-06-19 17:23:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-19 17:26:15 +0200 | euleritian | (~euleritia@dynamic-176-001-135-067.176.1.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-06-19 17:26:36 +0200 | kimiamania | (~65804703@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2024-06-19 17:27:05 +0200 | kimiamania | (~65804703@user/kimiamania) |
| 2024-06-19 17:29:11 +0200 | euleritian | (~euleritia@dynamic-176-006-011-233.176.6.pool.telefonica.de) |
| 2024-06-19 17:30:49 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
| 2024-06-19 17:37:27 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 264 seconds) |
| 2024-06-19 17:43:21 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: Leaving) |
| 2024-06-19 17:44:17 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-06-19 17:44:19 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-06-19 17:48:23 +0200 | Athas | (athas@sigkill.dk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-19 17:48:41 +0200 | Athas | (athas@sigkill.dk) |
| 2024-06-19 17:54:10 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 17:55:11 +0200 | euleritian | (~euleritia@dynamic-176-006-011-233.176.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-06-19 17:56:22 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-06-19 17:59:07 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-19 18:03:34 +0200 | danse-nr3 | (~danse-nr3@151.43.194.82) |
| 2024-06-19 18:03:41 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:668b:8ad4:1fc2:fd6f) (Remote host closed the connection) |
| 2024-06-19 18:03:54 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:c91:a997:4d69:689b) |
| 2024-06-19 18:07:27 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Quit: Quit) |
| 2024-06-19 18:08:41 +0200 | akegalj | (~akegalj@86.33.70.155) (Quit: leaving) |
| 2024-06-19 18:08:47 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-06-19 18:11:16 +0200 | zzz | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-06-19 18:12:49 +0200 | CiaoSen | (~Jura@2a05:5800:2d2:8900:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 2024-06-19 18:13:41 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-06-19 18:17:54 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) |
| 2024-06-19 18:20:33 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-19 18:21:42 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-06-19 18:26:15 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 18:35:55 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:c91:a997:4d69:689b) (Remote host closed the connection) |
| 2024-06-19 18:38:22 +0200 | JamesMowery1 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
| 2024-06-19 18:39:44 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 252 seconds) |
| 2024-06-19 18:39:45 +0200 | JamesMowery1 | JamesMowery |
| 2024-06-19 18:41:35 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Quit: Quit) |
| 2024-06-19 18:41:45 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 18:41:46 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 256 seconds) |
| 2024-06-19 18:42:43 +0200 | soverysour | (~soverysou@86.122.85.40) |
| 2024-06-19 18:42:43 +0200 | soverysour | (~soverysou@86.122.85.40) (Changing host) |
| 2024-06-19 18:42:43 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-19 18:45:10 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 256 seconds) |
| 2024-06-19 18:46:36 +0200 | euleritian | (~euleritia@dynamic-176-000-211-014.176.0.pool.telefonica.de) |
| 2024-06-19 18:50:17 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Quit: Quit) |
| 2024-06-19 18:50:30 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 18:52:11 +0200 | ames | (~amelia@offtopia/offtopian/amelia) (Quit: Bye!) |
| 2024-06-19 18:52:20 +0200 | ames | (~amelia@offtopia/offtopian/amelia) |
| 2024-06-19 18:55:22 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
| 2024-06-19 18:56:07 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-06-19 18:56:32 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Quit: Quit) |
| 2024-06-19 18:58:03 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 18:58:45 +0200 | euleritian | (~euleritia@dynamic-176-000-211-014.176.0.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-06-19 19:00:21 +0200 | euleritian | (~euleritia@dynamic-176-007-158-220.176.7.pool.telefonica.de) |
| 2024-06-19 19:00:58 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) (Ping timeout: 246 seconds) |
| 2024-06-19 19:08:34 +0200 | euleritian | (~euleritia@dynamic-176-007-158-220.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-19 19:08:56 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Quit: Quit) |
| 2024-06-19 19:09:03 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-06-19 19:13:17 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 240 seconds) |
| 2024-06-19 19:15:45 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-19 19:18:07 +0200 | Square | (~Square@user/square) |
| 2024-06-19 19:19:10 +0200 | TactfulCitrus | (al@gateway/vpn/protonvpn/tactfulcitrus) (Ping timeout: 256 seconds) |
| 2024-06-19 19:26:54 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 19:29:41 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-06-19 19:30:18 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
| 2024-06-19 19:38:58 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-06-19 19:41:18 +0200 | danse-nr3 | (~danse-nr3@151.43.194.82) (Ping timeout: 268 seconds) |
| 2024-06-19 19:41:40 +0200 | someone235 | (uid419897@id-419897.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-06-19 19:45:07 +0200 | notzmv | (~daniel@user/notzmv) |
| 2024-06-19 19:46:35 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-06-19 19:48:54 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-06-19 19:49:41 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-06-19 19:51:11 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-06-19 19:53:20 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) |
| 2024-06-19 19:56:09 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) (Client Quit) |
| 2024-06-19 19:56:19 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
| 2024-06-19 19:56:29 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) |
| 2024-06-19 19:56:29 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) (Client Quit) |
| 2024-06-19 19:58:09 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) |
| 2024-06-19 19:58:25 +0200 | ft | (~ft@p3e9bcb39.dip0.t-ipconnect.de) |
| 2024-06-19 19:58:47 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 264 seconds) |
| 2024-06-19 19:59:42 +0200 | destituion | (~destituio@85.221.111.174) |
| 2024-06-19 20:00:09 +0200 | ystael | (~ystael@user/ystael) |
| 2024-06-19 20:00:12 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-06-19 20:01:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-06-19 20:01:48 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) (Client Quit) |
| 2024-06-19 20:03:28 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) |
| 2024-06-19 20:03:46 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-19 20:07:47 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-06-19 20:07:54 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-06-19 20:09:15 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-06-19 20:11:57 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Quit: Quit) |
| 2024-06-19 20:12:29 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 272 seconds) |
| 2024-06-19 20:13:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-19 20:15:20 +0200 | soverysour | (~soverysou@86.122.85.40) |
| 2024-06-19 20:15:20 +0200 | soverysour | (~soverysou@86.122.85.40) (Changing host) |
| 2024-06-19 20:15:20 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-19 20:17:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-06-19 20:18:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-19 20:19:41 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 240 seconds) |
| 2024-06-19 20:21:05 +0200 | <iqubic> | I like Idris2. |
| 2024-06-19 20:21:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-19 20:26:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-06-19 20:26:25 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) |
| 2024-06-19 20:29:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-19 20:29:59 +0200 | Digitteknohippie | (~user@user/digit) |
| 2024-06-19 20:31:16 +0200 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2024-06-19 20:34:35 +0200 | zzz | (~yin@user/zero) |
| 2024-06-19 20:35:02 +0200 | Digitteknohippie | Digit |
| 2024-06-19 20:38:28 +0200 | destituion | (~destituio@2a02:2121:306:89fe:b849:537f:4eb9:4445) |
| 2024-06-19 20:39:06 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e714dc52cdce3fd1d2726986.dip0.t-ipconnect.de) |
| 2024-06-19 20:40:59 +0200 | moolc | (~malc@109-252-143-253.dynamic.spd-mgts.ru) |
| 2024-06-19 20:41:23 +0200 | moolc | (~malc@109-252-143-253.dynamic.spd-mgts.ru) (ERC 5.6 (IRC client for GNU Emacs 30.0.50)) |
| 2024-06-19 20:42:41 +0200 | Digitteknohippie | (~user@user/digit) |
| 2024-06-19 20:43:17 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc520c8312600ef4c57c.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-06-19 20:44:31 +0200 | Digit | (~user@user/digit) (Ping timeout: 268 seconds) |
| 2024-06-19 20:48:23 +0200 | simendsjo | (~user@84.209.170.3) |
| 2024-06-19 20:55:57 +0200 | crns | (~crns@user/crns) |
| 2024-06-19 20:56:28 +0200 | crns | (~crns@user/crns) (Client Quit) |
| 2024-06-19 21:07:13 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) (Quit: Leaving) |
| 2024-06-19 21:11:38 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
| 2024-06-19 21:21:28 +0200 | Digitteknohippie | Digit |
| 2024-06-19 21:22:30 +0200 | Guest|78 | (~Guest|78@100.4.128.234) |
| 2024-06-19 21:22:34 +0200 | Guest|78 | (~Guest|78@100.4.128.234) (Client Quit) |
| 2024-06-19 21:24:02 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-19 21:28:35 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
| 2024-06-19 21:28:36 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-06-19 21:29:23 +0200 | <EvanR> | hadronized, dependent types let you express logical propositions |
| 2024-06-19 21:32:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-19 21:33:31 +0200 | <EvanR> | when you have a value of some type in haskell, you tend to know a lot of stuff. With dependent types you can know even more stuff. There are practical issues but you only were wondering about the positives xD |
| 2024-06-19 21:34:27 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-06-19 21:37:17 +0200 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2024-06-19 21:48:03 +0200 | <monochrom> | Some people want dependent types for what can also be done by Liquid Haskell and refinement types, e.g., the domain is integers between 100 and 200. |
| 2024-06-19 21:50:25 +0200 | <monochrom> | Some other people want dependent types for how Idris uses it: fine-grained effect/capability types, e.g., more fine-grained than our IO, so your type says a subset of {console, files, IORef, ...}. |
| 2024-06-19 21:51:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-06-19 21:52:22 +0200 | <monochrom> | Some other people want dependent types for just row polymorphism i.e. a record system that doesn't suck. :) |
| 2024-06-19 21:53:47 +0200 | <EvanR> | that's a roundabout way to get that, and not clear it wouldn't suck! |
| 2024-06-19 21:55:19 +0200 | <monochrom> | In every use case, dependent typing is an overkill. But history and politics taught us that, when multiple groups who will have conflicting stakes eventually but right now they have a more pressing common foe, they will be very hyped up about joining forces. |
| 2024-06-19 21:58:07 +0200 | <c_wraith> | I just want pi types so I can abstract over values at the type level |
| 2024-06-19 21:58:33 +0200 | <monochrom> | Yeah the general idea is that if you have a Gödel-complete proof language, then you can define any powerful programming language you want. OK that's a hyperbole but think about it. :) |
| 2024-06-19 22:00:10 +0200 | mxs9 | (~mxs@user/mxs) |
| 2024-06-19 22:01:44 +0200 | <monochrom> | In my own notes when I study math, there are actually a few instances when I use Pi types because it clarifies and directly express what the math text means to say but too afraid to bring up infinite cartesian products... |
| 2024-06-19 22:03:41 +0200 | <monochrom> | basically scenerio like choice functions where the math text says "f : X -> big union of Y_1, Y_2 ... , with the contraint that f(x) must be in Y_x". OK that's a type Pi. |
| 2024-06-19 22:03:46 +0200 | <monochrom> | err Pi type |
| 2024-06-19 22:04:14 +0200 | <monochrom> | Speaking of which, please remind me on June 28 to celebrate tau day! |
| 2024-06-19 22:07:38 +0200 | <c_wraith> | so are Tau types twice as good as Pi types? |
| 2024-06-19 22:08:16 +0200 | <monochrom> | :) |
| 2024-06-19 22:09:00 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-06-19 22:09:11 +0200 | <monochrom> | Some kind of Fubini's theorem ought to say that Tau_x,y = Pi_x Pi_y :) |
| 2024-06-19 22:15:59 +0200 | danse-nr3 | (~danse-nr3@151.35.139.58) |
| 2024-06-19 22:20:31 +0200 | cheater | (~Username@user/cheater) |
| 2024-06-19 22:31:41 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Ping timeout: 240 seconds) |
| 2024-06-19 22:32:23 +0200 | <EvanR> | it's funny because type theory seems to say more specifically what you want, but at the same time, means nothing because it's basically a theory of syntax only |
| 2024-06-19 22:35:34 +0200 | <danse-nr3> | "a theory of syntax"? |
| 2024-06-19 22:39:45 +0200 | <lxsameer> | hey folks, have you ever used tasty-autocollect or tasty-discover in a nix based build environment |
| 2024-06-19 22:40:02 +0200 | <monochrom> | I thought through this question a long time ago, I concluded that one person's semantics is another person's syntax. But I understand that it is not obvious to everyone. |
| 2024-06-19 22:41:01 +0200 | swamp_ | (~zmt00@user/zmt00) |
| 2024-06-19 22:41:02 +0200 | <monochrom> | Part of it being that it is customary to not talk about the syntax of one's meta-logic. But it is still there. |
| 2024-06-19 22:44:19 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-06-19 22:48:53 +0200 | zzz | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-06-19 22:49:47 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2024-06-19 22:50:36 +0200 | barthandelous01 | (~calebbrze@216.158.140.68) (Quit: WeeChat 4.3.2) |
| 2024-06-19 23:05:03 +0200 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
| 2024-06-19 23:05:17 +0200 | Square | (~Square@user/square) |
| 2024-06-19 23:15:22 +0200 | pavonia | (~user@user/siracusa) |
| 2024-06-19 23:17:09 +0200 | michalz | (~michalz@185.246.207.205) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-06-19 23:21:57 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-19 23:23:49 +0200 | zzz | (~yin@user/zero) |
| 2024-06-19 23:26:05 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-06-19 23:26:35 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2024-06-19 23:26:55 +0200 | EvanR | (~EvanR@user/evanr) |
| 2024-06-19 23:29:40 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) |
| 2024-06-19 23:30:07 +0200 | barthandelous01 | (barth@triton.blinkenshell.org) |
| 2024-06-19 23:36:25 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 246 seconds) |
| 2024-06-19 23:41:32 +0200 | AlexNoo_ | (~AlexNoo@178.34.162.224) |
| 2024-06-19 23:42:12 +0200 | poxel | (~lennart@user/poxel) (Quit: WeeChat 4.3.2) |
| 2024-06-19 23:43:20 +0200 | AlexZenon | (~alzenon@178.34.163.174) (Ping timeout: 252 seconds) |
| 2024-06-19 23:45:12 +0200 | AlexNoo | (~AlexNoo@178.34.163.174) (Ping timeout: 268 seconds) |
| 2024-06-19 23:47:53 +0200 | AlexZenon | (~alzenon@178.34.162.224) |
| 2024-06-19 23:51:35 +0200 | hc | (~hc@mail.hce.li) (Remote host closed the connection) |