| 2024-03-08 00:03:22 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 268 seconds) |
| 2024-03-08 00:04:29 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-03-08 00:06:15 +0000 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-08 00:06:35 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-03-08 00:06:45 +0000 | eldritch_cookie | (~Srain@177.132.38.123) (Ping timeout: 256 seconds) |
| 2024-03-08 00:09:09 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) (Remote host closed the connection) |
| 2024-03-08 00:09:34 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-08 00:10:43 +0000 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 260 seconds) |
| 2024-03-08 00:12:58 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-03-08 00:14:09 +0000 | dolio | (~dolio@130.44.134.54) |
| 2024-03-08 00:19:14 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-08 00:23:36 +0000 | notzmv- | (~daniel@user/notzmv) |
| 2024-03-08 00:24:45 +0000 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
| 2024-03-08 00:28:04 +0000 | notzmv- | notzmv |
| 2024-03-08 00:31:41 +0000 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-08 00:31:58 +0000 | jle` | (~jle`@2603-8001-3b02-84d4-8918-88b4-4576-a17c.res6.spectrum.com) (Quit: WeeChat 4.2.1) |
| 2024-03-08 00:34:49 +0000 | dolio | (~dolio@130.44.134.54) |
| 2024-03-08 00:47:26 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2024-03-08 00:49:02 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-03-08 00:52:45 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-08 00:53:38 +0000 | jle` | (~jle`@2603-8001-3b02-84d4-2952-6fd3-5d1e-d0fc.res6.spectrum.com) |
| 2024-03-08 00:58:34 +0000 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) |
| 2024-03-08 01:01:11 +0000 | notzmv- | (~daniel@user/notzmv) |
| 2024-03-08 01:03:38 +0000 | jle` | (~jle`@2603-8001-3b02-84d4-2952-6fd3-5d1e-d0fc.res6.spectrum.com) (Quit: WeeChat 4.2.1) |
| 2024-03-08 01:04:22 +0000 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
| 2024-03-08 01:06:17 +0000 | redmp | (~redmp@mobile-166-137-178-225.mycingular.net) (Quit: leaving) |
| 2024-03-08 01:16:48 +0000 | notzmv- | notzmv |
| 2024-03-08 01:17:49 +0000 | jle` | (~jle`@2603-8001-3b02-84d4-2434-b3aa-dbdb-d17c.res6.spectrum.com) |
| 2024-03-08 01:20:16 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-08 01:22:41 +0000 | mei | (~mei@user/mei) |
| 2024-03-08 01:22:42 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 260 seconds) |
| 2024-03-08 01:24:16 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-03-08 01:25:30 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-08 01:33:11 +0000 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 2024-03-08 01:33:24 +0000 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2024-03-08 01:42:11 +0000 | igemnace | (~ian@user/igemnace) |
| 2024-03-08 01:57:35 +0000 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 260 seconds) |
| 2024-03-08 01:59:33 +0000 | tessier | (~treed@ip72-220-57-194.sd.sd.cox.net) |
| 2024-03-08 02:00:05 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2024-03-08 02:01:38 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-03-08 02:05:07 +0000 | xff0x | (~xff0x@2405:6580:b080:900:e821:772c:646b:bc1f) (Ping timeout: 255 seconds) |
| 2024-03-08 02:40:39 +0000 | rainbyte | (~rainbyte@186.22.19.215) (Ping timeout: 255 seconds) |
| 2024-03-08 02:41:15 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-03-08 02:46:07 +0000 | otto_s | (~user@p4ff27fa9.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-03-08 02:47:46 +0000 | otto_s | (~user@p4ff27cc1.dip0.t-ipconnect.de) |
| 2024-03-08 02:50:40 +0000 | bilegeek | (~bilegeek@2600:1008:b020:d6dc:8289:eb45:38ac:a7b) |
| 2024-03-08 02:57:32 +0000 | mulk | (~mulk@p5b112b94.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-03-08 02:58:54 +0000 | mulk | (~mulk@p5b2dcc16.dip0.t-ipconnect.de) |
| 2024-03-08 03:08:34 +0000 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-03-08 03:10:21 +0000 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 255 seconds) |
| 2024-03-08 03:16:02 +0000 | tessier | (~treed@ip72-220-57-194.sd.sd.cox.net) (Ping timeout: 252 seconds) |
| 2024-03-08 03:17:47 +0000 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2024-03-08 03:20:17 +0000 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-03-08 03:26:07 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-03-08 03:30:26 +0000 | seedse | (~seedse@097-086-001-048.res.spectrum.com) |
| 2024-03-08 03:31:21 +0000 | seedse | (~seedse@097-086-001-048.res.spectrum.com) (Remote host closed the connection) |
| 2024-03-08 03:38:04 +0000 | igemnace | (~ian@user/igemnace) |
| 2024-03-08 03:43:08 +0000 | seedse | (~seedse@097-086-001-048.res.spectrum.com) |
| 2024-03-08 03:43:27 +0000 | seedse | (~seedse@097-086-001-048.res.spectrum.com) (Remote host closed the connection) |
| 2024-03-08 03:43:45 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-08 03:48:09 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-03-08 03:54:19 +0000 | rainbyte | (~rainbyte@186.22.19.215) |
| 2024-03-08 03:55:03 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-08 03:56:49 +0000 | shapr` | shapr |
| 2024-03-08 03:58:42 +0000 | khumba | (~khumba@user/khumba) |
| 2024-03-08 04:01:24 +0000 | td_ | (~td@i53870916.versanet.de) (Ping timeout: 268 seconds) |
| 2024-03-08 04:02:40 +0000 | td_ | (~td@i53870902.versanet.de) |
| 2024-03-08 04:25:32 +0000 | aforemny | (~aforemny@i59F516FB.versanet.de) |
| 2024-03-08 04:26:58 +0000 | aforemny_ | (~aforemny@i59F516F6.versanet.de) (Ping timeout: 264 seconds) |
| 2024-03-08 04:29:26 +0000 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Quit: sleep) |
| 2024-03-08 04:32:13 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-03-08 04:34:27 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-08 04:34:34 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-08 04:36:51 +0000 | bontaq``` | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-03-08 04:36:53 +0000 | mei | (~mei@user/mei) |
| 2024-03-08 04:40:53 +0000 | khumba | (~khumba@user/khumba) () |
| 2024-03-08 04:43:03 +0000 | tr_ev | (~trev@user/trev) |
| 2024-03-08 04:54:14 +0000 | tr_ev | (~trev@user/trev) (Quit: tr_ev) |
| 2024-03-08 05:07:24 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-03-08 05:07:55 +0000 | koz | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-08 05:08:10 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-03-08 05:09:41 +0000 | koz | (~koz@121.99.240.58) |
| 2024-03-08 05:16:05 +0000 | axd | (~axd@182.69.178.225) |
| 2024-03-08 05:24:11 +0000 | axd | (~axd@182.69.178.225) (Ping timeout: 250 seconds) |
| 2024-03-08 05:29:40 +0000 | micro | (~micro@user/micro) (Ping timeout: 260 seconds) |
| 2024-03-08 05:33:24 +0000 | michalz | (~michalz@185.246.207.197) |
| 2024-03-08 05:41:41 +0000 | rainbyte | (~rainbyte@186.22.19.215) (Ping timeout: 240 seconds) |
| 2024-03-08 05:42:59 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-08 05:48:01 +0000 | jargon | (~jargon@154.sub-174-205-226.myvzw.com) (Remote host closed the connection) |
| 2024-03-08 05:49:03 +0000 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-08 05:49:35 +0000 | mizlan | (~mizlan@2607:f010:2a7:1026:359c:c739:3059:f1a7) |
| 2024-03-08 05:50:50 +0000 | axd | (~axd@182.69.178.225) |
| 2024-03-08 05:51:30 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 260 seconds) |
| 2024-03-08 05:51:33 +0000 | axd | (~axd@182.69.178.225) (Client Quit) |
| 2024-03-08 05:51:51 +0000 | michalz | (~michalz@185.246.207.221) |
| 2024-03-08 05:54:31 +0000 | jle` | (~jle`@2603-8001-3b02-84d4-2434-b3aa-dbdb-d17c.res6.spectrum.com) (Quit: WeeChat 4.2.1) |
| 2024-03-08 05:57:13 +0000 | jle` | (~jle`@2603-8001-3b02-84d4-8dab-a668-ca70-1e00.res6.spectrum.com) |
| 2024-03-08 05:57:28 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-03-08 06:01:21 +0000 | micro | (~micro@user/micro) |
| 2024-03-08 06:03:01 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2024-03-08 06:03:06 +0000 | zetef | (~quassel@95.77.17.251) |
| 2024-03-08 06:04:10 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-08 06:10:09 +0000 | benkard | (~mulk@p5b11243f.dip0.t-ipconnect.de) |
| 2024-03-08 06:11:10 +0000 | mulk | (~mulk@p5b2dcc16.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-03-08 06:11:10 +0000 | benkard | mulk |
| 2024-03-08 06:12:13 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-03-08 06:17:17 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-03-08 06:36:29 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e737e7998d5743bf05995198.dip0.t-ipconnect.de) |
| 2024-03-08 06:39:17 +0000 | mizlan_ | (~mizlan@s-169-232-102-150.resnet.ucla.edu) |
| 2024-03-08 06:40:51 +0000 | mizlan | (~mizlan@2607:f010:2a7:1026:359c:c739:3059:f1a7) (Ping timeout: 260 seconds) |
| 2024-03-08 06:44:14 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 260 seconds) |
| 2024-03-08 06:44:20 +0000 | notzmv | (~daniel@user/notzmv) (Ping timeout: 260 seconds) |
| 2024-03-08 06:48:55 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-08 06:49:19 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2024-03-08 06:50:13 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-08 06:53:34 +0000 | zetef | (~quassel@95.77.17.251) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-03-08 06:55:22 +0000 | zetef | (~quassel@95.77.17.251) |
| 2024-03-08 07:01:47 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-03-08 07:03:26 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-08 07:03:31 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-08 07:07:16 +0000 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) |
| 2024-03-08 07:07:54 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-03-08 07:09:15 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-08 07:10:53 +0000 | travgm_ | (~travgm@2600:100e:a121:ef84:90d:44c5:aa1d:9cd6) |
| 2024-03-08 07:13:37 +0000 | travgm__ | (~travgm@2600:100e:a121:ef84:90d:44c5:aa1d:9cd6) (Ping timeout: 264 seconds) |
| 2024-03-08 07:26:15 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-08 07:26:29 +0000 | jle` | (~jle`@2603-8001-3b02-84d4-8dab-a668-ca70-1e00.res6.spectrum.com) (Quit: WeeChat 4.2.1) |
| 2024-03-08 07:29:10 +0000 | jle` | (~jle`@2603-8001-3b02-84d4-2a01-8827-dae2-515f.res6.spectrum.com) |
| 2024-03-08 07:32:59 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-03-08 07:35:23 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-03-08 07:35:39 +0000 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-03-08 07:36:44 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 256 seconds) |
| 2024-03-08 07:37:58 +0000 | mizlan_ | (~mizlan@s-169-232-102-150.resnet.ucla.edu) (Ping timeout: 246 seconds) |
| 2024-03-08 07:43:40 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-03-08 07:43:59 +0000 | bliminse | (~bliminse@user/bliminse) |
| 2024-03-08 07:44:18 +0000 | lortabac | (~lortabac@88-125-6-227.subs.proxad.net) |
| 2024-03-08 07:46:18 +0000 | micro | (~micro@user/micro) (Remote host closed the connection) |
| 2024-03-08 07:49:12 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-08 07:53:22 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-08 07:54:04 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-08 07:54:22 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-08 07:57:16 +0000 | micro | (~micro@user/micro) |
| 2024-03-08 08:00:20 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-08 08:02:57 +0000 | fmd | (~fmd@2a02-8429-4b52-f901-285e-4c99-9f66-0c47.rev.sfr.net) |
| 2024-03-08 08:05:19 +0000 | danza | (~francesco@151.43.191.247) |
| 2024-03-08 08:08:53 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-08 08:11:46 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-03-08 08:16:58 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2024-03-08 08:17:05 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-08 08:19:46 +0000 | CiaoSen | (~Jura@2a05:5800:2e4:cc00:e6b9:7aff:fe80:3d03) |
| 2024-03-08 08:21:24 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2024-03-08 08:22:42 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-03-08 08:24:54 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-03-08 08:25:19 +0000 | Vajb | (~Vajb@n7kymlrhl8zspe1o45k-1.v6.elisa-mobile.fi) (Remote host closed the connection) |
| 2024-03-08 08:27:04 +0000 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-03-08 08:30:46 +0000 | notzmv | (~daniel@user/notzmv) |
| 2024-03-08 08:32:30 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 260 seconds) |
| 2024-03-08 08:33:36 +0000 | danza | (~francesco@151.43.191.247) (Read error: Connection reset by peer) |
| 2024-03-08 08:33:48 +0000 | danza | (~francesco@151.43.187.246) |
| 2024-03-08 08:34:03 +0000 | ft | (~ft@p508db2e6.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-03-08 08:37:01 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 264 seconds) |
| 2024-03-08 08:38:43 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-08 08:39:36 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-03-08 08:41:03 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-03-08 08:43:36 +0000 | cyphase | (~cyphase@user/cyphase) |
| 2024-03-08 08:45:12 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-03-08 09:00:35 +0000 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-03-08 09:01:30 +0000 | zetef | (~quassel@95.77.17.251) |
| 2024-03-08 09:02:13 +0000 | travgm_ | (~travgm@2600:100e:a121:ef84:90d:44c5:aa1d:9cd6) (Read error: Connection reset by peer) |
| 2024-03-08 09:04:23 +0000 | Vajb | (~Vajb@n70t65z9ztei3blo55b-1.v6.elisa-mobile.fi) |
| 2024-03-08 09:06:18 +0000 | danza | (~francesco@151.43.187.246) (Ping timeout: 255 seconds) |
| 2024-03-08 09:10:01 +0000 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 272 seconds) |
| 2024-03-08 09:14:48 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-03-08 09:23:24 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-08 09:27:10 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-08 09:29:27 +0000 | mizlan | (~mizlan@2607:f010:2a7:1026:8874:5e5d:4a24:cfb0) |
| 2024-03-08 09:31:02 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-08 09:34:24 +0000 | mizlan | (~mizlan@2607:f010:2a7:1026:8874:5e5d:4a24:cfb0) (Ping timeout: 268 seconds) |
| 2024-03-08 09:34:47 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-03-08 09:42:11 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-08 09:51:07 +0000 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-03-08 09:54:09 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Ping timeout: 250 seconds) |
| 2024-03-08 09:55:56 +0000 | gehmehgeh | gmg |
| 2024-03-08 09:59:12 +0000 | Square | (~Square@user/square) |
| 2024-03-08 09:59:51 +0000 | arahael | (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) |
| 2024-03-08 10:02:01 +0000 | danse-nr3 | (~danse@151.43.187.246) |
| 2024-03-08 10:06:09 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2024-03-08 10:16:12 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-03-08 10:21:24 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-08 10:23:12 +0000 | fmd | (~fmd@2a02-8429-4b52-f901-285e-4c99-9f66-0c47.rev.sfr.net) (Ping timeout: 260 seconds) |
| 2024-03-08 10:26:41 +0000 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-03-08 10:26:59 +0000 | misterfish | (~misterfis@46.44.172.198) |
| 2024-03-08 10:27:34 +0000 | fmd | (~fmd@2a02-8429-4b52-f901-bd48-1efe-c59d-ee47.rev.sfr.net) |
| 2024-03-08 10:31:23 +0000 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-03-08 10:36:45 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-08 10:39:53 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-08 10:44:32 +0000 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2024-03-08 10:44:43 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-08 10:47:43 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-03-08 10:48:29 +0000 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-03-08 10:50:21 +0000 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
| 2024-03-08 10:57:52 +0000 | bilegeek | (~bilegeek@2600:1008:b020:d6dc:8289:eb45:38ac:a7b) (Quit: Leaving) |
| 2024-03-08 11:05:31 +0000 | lortabac | (~lortabac@88-125-6-227.subs.proxad.net) (Ping timeout: 246 seconds) |
| 2024-03-08 11:11:14 +0000 | danse-nr3 | (~danse@151.43.187.246) (Ping timeout: 252 seconds) |
| 2024-03-08 11:11:41 +0000 | danse-nr3 | (~danse@185.211.81.183) |
| 2024-03-08 11:17:55 +0000 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-03-08 11:27:09 +0000 | CiaoSen | (~Jura@2a05:5800:2e4:cc00:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds) |
| 2024-03-08 11:29:17 +0000 | bgamari | (~bgamari@64.223.237.41) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-08 11:29:30 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-08 11:30:38 +0000 | bgamari | (~bgamari@64.223.237.41) |
| 2024-03-08 11:32:04 +0000 | mizlan | (~mizlan@2607:f010:2a7:1026:8874:5e5d:4a24:cfb0) |
| 2024-03-08 11:33:59 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-08 11:34:54 +0000 | igemnace | (~ian@user/igemnace) |
| 2024-03-08 11:35:08 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2024-03-08 11:35:38 +0000 | jau | (~user@2a04:4540:7205:a500:1602:b784:1fc6:8a4b) |
| 2024-03-08 11:36:25 +0000 | mizlan | (~mizlan@2607:f010:2a7:1026:8874:5e5d:4a24:cfb0) (Ping timeout: 264 seconds) |
| 2024-03-08 11:36:50 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-08 11:38:46 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 246 seconds) |
| 2024-03-08 11:38:54 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-08 11:39:21 +0000 | fmd | (~fmd@2a02-8429-4b52-f901-bd48-1efe-c59d-ee47.rev.sfr.net) (Quit: WeeChat 4.1.1) |
| 2024-03-08 11:40:43 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-08 11:43:53 +0000 | Guest7 | (~Guest7@59.145.65.79) |
| 2024-03-08 11:44:10 +0000 | Guest7 | (~Guest7@59.145.65.79) (Client Quit) |
| 2024-03-08 11:48:25 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-03-08 11:48:41 +0000 | Guest7 | (~Guest7@59.145.65.79) |
| 2024-03-08 11:48:52 +0000 | driib | (~driib@vmi931078.contaboserver.net) |
| 2024-03-08 11:49:19 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-08 11:50:01 +0000 | Guest7 | (~Guest7@59.145.65.79) (Client Quit) |
| 2024-03-08 11:52:19 +0000 | causal | (~eric@50.35.85.7) |
| 2024-03-08 11:53:16 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-08 11:53:59 +0000 | __monty__ | (~toonn@user/toonn) (Ping timeout: 264 seconds) |
| 2024-03-08 11:58:12 +0000 | danse-nr3 | (~danse@185.211.81.183) (Ping timeout: 255 seconds) |
| 2024-03-08 11:59:04 +0000 | danse-nr3 | (~danse@151.57.150.180) |
| 2024-03-08 12:05:54 +0000 | rainbyte | (~rainbyte@186.22.19.215) |
| 2024-03-08 12:16:34 +0000 | danse-nr3 | (~danse@151.57.150.180) (Ping timeout: 246 seconds) |
| 2024-03-08 12:18:59 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-03-08 12:20:18 +0000 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) (Quit: Client closed) |
| 2024-03-08 12:21:17 +0000 | cheater_ | (~Username@user/cheater) |
| 2024-03-08 12:21:17 +0000 | misterfish | (~misterfis@46.44.172.198) (Ping timeout: 240 seconds) |
| 2024-03-08 12:22:26 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2024-03-08 12:22:32 +0000 | cheater_ | cheater |
| 2024-03-08 12:22:33 +0000 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2024-03-08 12:23:19 +0000 | cheater_ | (~Username@user/cheater) |
| 2024-03-08 12:23:19 +0000 | cheater_ | cheater |
| 2024-03-08 12:24:27 +0000 | xff0x | (~xff0x@2405:6580:b080:900:eeab:d10b:4c0a:2139) |
| 2024-03-08 12:29:38 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-03-08 12:29:54 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-03-08 12:30:50 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-08 12:32:56 +0000 | xff0x | (~xff0x@2405:6580:b080:900:eeab:d10b:4c0a:2139) (Ping timeout: 260 seconds) |
| 2024-03-08 12:33:14 +0000 | xff0x | (~xff0x@2405:6580:b080:900:eeab:d10b:4c0a:2139) |
| 2024-03-08 12:39:25 +0000 | vpan | (~vpan@mail.elitnet.lt) |
| 2024-03-08 12:40:35 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-08 12:40:58 +0000 | destituion | (~destituio@85.221.111.174) |
| 2024-03-08 12:42:49 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 272 seconds) |
| 2024-03-08 12:43:00 +0000 | mei | (~mei@user/mei) |
| 2024-03-08 12:43:53 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-08 12:55:36 +0000 | CiaoSen | (~Jura@2a05:5800:2e4:cc00:e6b9:7aff:fe80:3d03) |
| 2024-03-08 12:56:07 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 272 seconds) |
| 2024-03-08 12:57:22 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-08 12:59:02 +0000 | bontaq``` | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-03-08 12:59:18 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-03-08 12:59:36 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-08 13:01:23 +0000 | danse-nr3 | (~danse@151.57.142.44) |
| 2024-03-08 13:02:43 +0000 | danse-nr3 | (~danse@151.57.142.44) (Remote host closed the connection) |
| 2024-03-08 13:03:08 +0000 | danse-nr3 | (~danse@151.57.142.44) |
| 2024-03-08 13:03:22 +0000 | ft | (~ft@p508db2e6.dip0.t-ipconnect.de) |
| 2024-03-08 13:29:53 +0000 | <haskellbridge> | <eldritchcookie> say what do i need to do if a want to become the maintainer of a abandoned package? |
| 2024-03-08 13:31:38 +0000 | <byorgey> | here are the guidelines for that process: https://wiki.haskell.org/Taking_over_a_package |
| 2024-03-08 13:33:02 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-03-08 13:40:56 +0000 | mxs | (~mxs@user/mxs) |
| 2024-03-08 13:42:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-08 13:46:44 +0000 | <haskellbridge> | <eldritchcookie> thanks |
| 2024-03-08 13:53:29 +0000 | son0p | (~ff@186.121.98.6) (Ping timeout: 252 seconds) |
| 2024-03-08 13:55:42 +0000 | EvanR_ | (~EvanR@user/evanr) |
| 2024-03-08 13:57:33 +0000 | EvanR | (~EvanR@user/evanr) (Ping timeout: 272 seconds) |
| 2024-03-08 13:58:12 +0000 | mizlan | (~mizlan@2607:f010:2a7:1026:8874:5e5d:4a24:cfb0) |
| 2024-03-08 13:59:29 +0000 | <haskellbridge> | <eldritchcookie> hm |
| 2024-03-08 14:02:08 +0000 | <haskellbridge> | <eldritchcookie> i could easily make a test for my package with nix or i could import the ghc package in the test suite and suffer through compiler internals and make my test flaky |
| 2024-03-08 14:02:47 +0000 | mizlan | (~mizlan@2607:f010:2a7:1026:8874:5e5d:4a24:cfb0) (Ping timeout: 260 seconds) |
| 2024-03-08 14:11:31 +0000 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) |
| 2024-03-08 14:20:40 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-03-08 14:26:40 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-08 14:32:45 +0000 | mei | (~mei@user/mei) |
| 2024-03-08 14:42:25 +0000 | bontaq``` | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-03-08 14:43:16 +0000 | bontaq``` | (~user@165.1.205.230) |
| 2024-03-08 15:04:56 +0000 | Silver_X | (~Silver_X@182.178.141.158) |
| 2024-03-08 15:05:15 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-03-08 15:17:15 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-03-08 15:20:20 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-03-08 15:29:17 +0000 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2024-03-08 15:29:20 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-03-08 15:29:26 +0000 | remexre | (~remexre@user/remexre) |
| 2024-03-08 15:30:01 +0000 | [exa] | (~exa@user/exa/x-3587197) (Ping timeout: 272 seconds) |
| 2024-03-08 15:30:06 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-03-08 15:33:00 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-03-08 15:33:47 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-03-08 15:33:57 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-03-08 15:33:58 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-03-08 15:34:23 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-03-08 15:34:31 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-03-08 15:34:59 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-03-08 15:35:25 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-03-08 15:35:40 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-03-08 15:36:34 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-03-08 15:39:38 +0000 | danse-nr3 | (~danse@151.57.142.44) (Ping timeout: 252 seconds) |
| 2024-03-08 15:42:28 +0000 | danse-nr3 | (~danse@151.57.142.44) |
| 2024-03-08 15:46:49 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 255 seconds) |
| 2024-03-08 15:49:23 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-03-08 15:55:51 +0000 | mizlan | (~mizlan@s-169-232-102-150.resnet.ucla.edu) |
| 2024-03-08 15:57:01 +0000 | mizlan | (~mizlan@s-169-232-102-150.resnet.ucla.edu) (Remote host closed the connection) |
| 2024-03-08 15:57:40 +0000 | mizlan | (~mizlan@s-169-232-102-150.resnet.ucla.edu) |
| 2024-03-08 15:59:22 +0000 | bontaq``` | (~user@165.1.205.230) (Ping timeout: 256 seconds) |
| 2024-03-08 16:02:44 +0000 | son0p | (~ff@186.121.26.39) |
| 2024-03-08 16:03:31 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-03-08 16:07:37 +0000 | xff0x | (~xff0x@2405:6580:b080:900:eeab:d10b:4c0a:2139) (Ping timeout: 264 seconds) |
| 2024-03-08 16:08:04 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-03-08 16:09:29 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-03-08 16:09:30 +0000 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) |
| 2024-03-08 16:10:01 +0000 | destituion | (~destituio@85.221.111.174) (Ping timeout: 264 seconds) |
| 2024-03-08 16:10:10 +0000 | ph88 | (~ph88@2a02:8109:9e26:c800:f5bf:fee6:a40b:7301) |
| 2024-03-08 16:10:47 +0000 | jinsun | (~jinsun@user/jinsun) (Quit: No Ping reply in 180 seconds.) |
| 2024-03-08 16:11:45 +0000 | yoneda | (~mike@193.206.102.122) (Quit: Lost terminal) |
| 2024-03-08 16:11:57 +0000 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-03-08 16:12:55 +0000 | kimiamania | (~7da15a40@user/kimiamania) |
| 2024-03-08 16:13:08 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-08 16:13:52 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2024-03-08 16:14:33 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-08 16:16:49 +0000 | <haskellbridge> | <vaibhavsagar> how does nix save you from needing to import the ghc package? |
| 2024-03-08 16:18:19 +0000 | destituion | (~destituio@2a02:2121:650:17b6:e217:f904:637b:c0b5) |
| 2024-03-08 16:18:21 +0000 | Silver_X | (~Silver_X@182.178.141.158) (Quit: Leaving) |
| 2024-03-08 16:19:30 +0000 | jinsun | (~jinsun@user/jinsun) (Quit: No Ping reply in 180 seconds.) |
| 2024-03-08 16:21:05 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2024-03-08 16:22:17 +0000 | jinsun | (~jinsun@user/jinsun) (Client Quit) |
| 2024-03-08 16:22:45 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2024-03-08 16:23:07 +0000 | bontaq``` | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-03-08 16:35:21 +0000 | mizlan | (~mizlan@s-169-232-102-150.resnet.ucla.edu) (Remote host closed the connection) |
| 2024-03-08 16:36:00 +0000 | mizlan | (~mizlan@s-169-232-102-150.resnet.ucla.edu) |
| 2024-03-08 16:37:08 +0000 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-03-08 16:39:30 +0000 | <ph88> | Can anyone help me with this issue ? https://github.com/haskell-effectful/effectful/discussions/205 |
| 2024-03-08 16:41:05 +0000 | mizlan_ | (~mizlan@2607:f010:2a7:1026:8874:5e5d:4a24:cfb0) |
| 2024-03-08 16:42:34 +0000 | mizlan | (~mizlan@s-169-232-102-150.resnet.ucla.edu) (Ping timeout: 246 seconds) |
| 2024-03-08 16:43:20 +0000 | son0p | (~ff@186.121.26.39) (Quit: Bye) |
| 2024-03-08 16:48:01 +0000 | CiaoSen | (~Jura@2a05:5800:2e4:cc00:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds) |
| 2024-03-08 16:49:09 +0000 | mizlan_ | (~mizlan@2607:f010:2a7:1026:8874:5e5d:4a24:cfb0) (Ping timeout: 268 seconds) |
| 2024-03-08 16:54:06 +0000 | son0p | (~ff@186.121.26.39) |
| 2024-03-08 16:58:31 +0000 | zetef | (~quassel@95.77.17.251) |
| 2024-03-08 17:00:50 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-03-08 17:01:22 +0000 | danse-nr3 | (~danse@151.57.142.44) (Read error: Connection reset by peer) |
| 2024-03-08 17:01:57 +0000 | danse-nr3 | (~danse@151.57.193.225) |
| 2024-03-08 17:02:05 +0000 | mizlan | (~mizlan@2607:f010:2a7:1026:257c:1c59:1ea9:ebb4) |
| 2024-03-08 17:04:46 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Remote host closed the connection) |
| 2024-03-08 17:05:11 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-08 17:06:55 +0000 | mizlan | (~mizlan@2607:f010:2a7:1026:257c:1c59:1ea9:ebb4) (Ping timeout: 272 seconds) |
| 2024-03-08 17:07:37 +0000 | danse-nr3 | (~danse@151.57.193.225) (Ping timeout: 264 seconds) |
| 2024-03-08 17:08:16 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-03-08 17:08:19 +0000 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-03-08 17:10:29 +0000 | EvanR_ | EvanR |
| 2024-03-08 17:17:06 +0000 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) (Quit: Client closed) |
| 2024-03-08 17:17:43 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-08 17:18:23 +0000 | causal | (~eric@50.35.85.7) (Quit: WeeChat 4.1.1) |
| 2024-03-08 17:20:13 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-08 17:20:46 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-08 17:20:58 +0000 | bontaq``` | bontaq |
| 2024-03-08 17:23:23 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-08 17:23:35 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-08 17:24:39 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2024-03-08 17:29:32 +0000 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-03-08 17:30:22 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-03-08 17:31:50 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-03-08 17:33:04 +0000 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-03-08 17:33:32 +0000 | <haskellbridge> | <eldritchcookie> simple i then can use ghc from the commandline this is obviously kinda of a hack but whatever |
| 2024-03-08 17:37:58 +0000 | <raehik> | in GHC.Exts, why does copyAddrToAddr return a `State# RealWorld`, while all other Addr#<->ByteArray# copy primops return a `State# d`? |
| 2024-03-08 17:39:13 +0000 | <raehik> | I suppose I'm most confused by `copyMutableByteArrayToAddr# :: ... -> State# d` |
| 2024-03-08 17:42:28 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-08 17:45:36 +0000 | ulf-frostypaw | (~ulf-frost@189.195.8.166) |
| 2024-03-08 17:46:37 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-03-08 17:47:25 +0000 | <ulf-frostypaw> | 2 |
| 2024-03-08 17:47:57 +0000 | vpan | (~vpan@mail.elitnet.lt) (Quit: Leaving.) |
| 2024-03-08 17:48:34 +0000 | ulf-frostypaw | (~ulf-frost@189.195.8.166) (Remote host closed the connection) |
| 2024-03-08 17:58:00 +0000 | Etabeta1 | (~Etabeta1@user/Etabeta1) (Quit: quit) |
| 2024-03-08 18:01:17 +0000 | Joao[3] | (~Joao003@190.108.99.67) |
| 2024-03-08 18:02:35 +0000 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) |
| 2024-03-08 18:03:55 +0000 | notzmv | (~daniel@user/notzmv) (Ping timeout: 272 seconds) |
| 2024-03-08 18:04:11 +0000 | <tomsmeding> | raehik: no answer, but they were introduced in this commit, it seems https://gitlab.haskell.org/ghc/ghc/-/commit/9095e297fbb46781fd182210609ce2a3f6c59b7a |
| 2024-03-08 18:06:18 +0000 | destituion | (~destituio@2a02:2121:650:17b6:e217:f904:637b:c0b5) (Ping timeout: 255 seconds) |
| 2024-03-08 18:07:21 +0000 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) |
| 2024-03-08 18:07:25 +0000 | Joao[3] | (~Joao003@190.108.99.67) (Read error: Connection reset by peer) |
| 2024-03-08 18:07:40 +0000 | <raehik> | tomsmeding: yeah I just realized they were new. Only just wrapping my head around ST and IO and that RealWorld forced me to de-generalize a bit of code |
| 2024-03-08 18:07:56 +0000 | Joao[3] | (~Joao003@190.108.99.67) |
| 2024-03-08 18:07:59 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-08 18:08:14 +0000 | <raehik> | but fairly happy that it has to be that way. and now I have some 9.6 wrappers in prep for those primops (when 9.8 works for me) |
| 2024-03-08 18:11:53 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-03-08 18:20:06 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-03-08 18:20:44 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-03-08 18:20:47 +0000 | <raehik> | Wait, I figured it out in a way. the primop is replacing some other wonky code which needs to touch# after copying due to working on non-GCed data |
| 2024-03-08 18:21:35 +0000 | <raehik> | don't need to touch# going the other ways. except copyAddrToByteArray# but idk |
| 2024-03-08 18:21:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-08 18:21:54 +0000 | tomku|two | (~tomku@user/tomku) |
| 2024-03-08 18:22:55 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 272 seconds) |
| 2024-03-08 18:24:18 +0000 | <raehik> | (pfft well touch# has had its type changed between GHC 9.6 and 9.8 too. ignore me) |
| 2024-03-08 18:27:49 +0000 | phma | (phma@2001:5b0:2172:bea8:4de3:ce84:5b1f:c1a2) (Read error: Connection reset by peer) |
| 2024-03-08 18:28:43 +0000 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) (Quit: Client closed) |
| 2024-03-08 18:30:19 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-08 18:42:24 +0000 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) |
| 2024-03-08 18:44:09 +0000 | phma | (phma@2001:5b0:215d:d9f8:8a50:43b0:3984:5f61) |
| 2024-03-08 18:45:13 +0000 | Joao[3] | (~Joao003@190.108.99.67) (Quit: Bye!) |
| 2024-03-08 18:50:52 +0000 | [exa] | (~exa@user/exa/x-3587197) |
| 2024-03-08 18:53:31 +0000 | <ph88> | good job raehik ! |
| 2024-03-08 19:00:17 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-08 19:06:59 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-03-08 19:08:45 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-08 19:24:13 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-03-08 19:32:06 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-03-08 19:32:33 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-03-08 19:33:21 +0000 | mizlan | (~mizlan@wifi-131-179-20-90.host.ucla.edu) |
| 2024-03-08 19:33:27 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-08 19:33:47 +0000 | Square | (~Square@user/square) |
| 2024-03-08 19:34:25 +0000 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-08 19:34:45 +0000 | califax | (~califax@user/califx) |
| 2024-03-08 19:46:07 +0000 | michalz | (~michalz@185.246.207.221) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-08 19:48:16 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-08 19:48:43 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-08 19:53:34 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-03-08 19:55:04 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 268 seconds) |
| 2024-03-08 19:55:23 +0000 | mizlan | (~mizlan@wifi-131-179-20-90.host.ucla.edu) (Remote host closed the connection) |
| 2024-03-08 19:56:07 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-08 19:56:29 +0000 | mizlan | (~mizlan@wifi-131-179-20-90.host.ucla.edu) |
| 2024-03-08 19:58:01 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-08 19:58:13 +0000 | mizlan | (~mizlan@wifi-131-179-20-90.host.ucla.edu) (Remote host closed the connection) |
| 2024-03-08 20:00:27 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-03-08 20:00:56 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-08 20:06:08 +0000 | mechap | (~mechap@user/mechap) |
| 2024-03-08 20:06:12 +0000 | <mechap> | can we describe any recursion schemes with catamorphisms ? |
| 2024-03-08 20:08:13 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-08 20:08:51 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-08 20:12:38 +0000 | mizlan | (~mizlan@wifi-131-179-20-90.host.ucla.edu) |
| 2024-03-08 20:16:53 +0000 | mizlan | (~mizlan@wifi-131-179-20-90.host.ucla.edu) (Ping timeout: 240 seconds) |
| 2024-03-08 20:25:01 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-08 20:27:16 +0000 | <monochrom> | No. |
| 2024-03-08 20:28:48 +0000 | <dolio> | You can describe catamorphisms with catamorphisms. |
| 2024-03-08 20:29:10 +0000 | <monochrom> | :) |
| 2024-03-08 20:29:16 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-08 20:35:27 +0000 | pavonia | (~user@user/siracusa) |
| 2024-03-08 20:36:01 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2024-03-08 20:38:56 +0000 | <dolio> | The lesson is, don't use the word "any." |
| 2024-03-08 20:39:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-08 20:41:43 +0000 | <int-e> | :t \f -> foldr ((||) . f) False |
| 2024-03-08 20:41:44 +0000 | <lambdabot> | Foldable t => (a -> Bool) -> t a -> Bool |
| 2024-03-08 20:42:21 +0000 | <int-e> | any (implemented with) catamorphism |
| 2024-03-08 20:42:58 +0000 | <monochrom> | :) |
| 2024-03-08 20:43:07 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-08 20:46:02 +0000 | jargon | (~jargon@154.sub-174-205-226.myvzw.com) |
| 2024-03-08 21:01:26 +0000 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) (Quit: Client closed) |
| 2024-03-08 21:09:51 +0000 | son0p | (~ff@186.121.26.39) (Ping timeout: 256 seconds) |
| 2024-03-08 21:12:05 +0000 | jau | (~user@2a04:4540:7205:a500:1602:b784:1fc6:8a4b) (Quit: Leaving) |
| 2024-03-08 21:15:13 +0000 | <monochrom> | class Semigroup (Aug v) => Augable v where { type Aug v; aug :: v -> Aug v } -- the class constraint can be a forward reference (even inward reference) heh |
| 2024-03-08 21:16:22 +0000 | <monochrom> | (I am implementing "augmented binary search trees" in general. I noticed that all augmentation schemes are backed by semigroups...) |
| 2024-03-08 21:16:33 +0000 | <tomsmeding> | yeah I've written code like that before, it feels a bit weird :p |
| 2024-03-08 21:16:47 +0000 | <tomsmeding> | can be really nice for type inference |
| 2024-03-08 21:16:54 +0000 | <monochrom> | (So basically data BST k v = Node k v (Aug v) ...) |
| 2024-03-08 21:18:43 +0000 | <tomsmeding> | there's also this other trick where you take 'class C a', ('instance (...) => C T')* and turn it into 'type family D a; class D a => C a', ('type instance D T = (...); instance (...) => C T')* |
| 2024-03-08 21:19:10 +0000 | <tomsmeding> | the point being that now not only do you get 'C T' from (...), you also get (...) from 'C T' |
| 2024-03-08 21:19:35 +0000 | <tomsmeding> | I've needed this _once_ |
| 2024-03-08 21:19:59 +0000 | tomsmeding | now wonders if D can be an associated type family to C |
| 2024-03-08 21:21:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-08 21:22:03 +0000 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) (Ping timeout: 255 seconds) |
| 2024-03-08 21:22:12 +0000 | mizlan | (~mizlan@2607:f010:2e9:b:8c79:eb45:5954:d939) |
| 2024-03-08 21:22:27 +0000 | destituion | (~destituio@2a02:2121:650:17b6:dadb:8eeb:69ad:5745) |
| 2024-03-08 21:26:45 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-03-08 21:34:16 +0000 | mizlan | (~mizlan@2607:f010:2e9:b:8c79:eb45:5954:d939) (Ping timeout: 260 seconds) |
| 2024-03-08 21:35:01 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-03-08 21:37:14 +0000 | mizlan | (~mizlan@2607:f010:2e9:b:8c79:eb45:5954:d939) |
| 2024-03-08 21:38:27 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-08 21:40:01 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-03-08 21:40:38 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-03-08 21:47:43 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-03-08 21:48:38 +0000 | <byorgey> | monochrom: indeed, reminds me of the 'Measured' class from the finger tree paper |
| 2024-03-08 21:50:33 +0000 | mxs | (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat) |
| 2024-03-08 21:52:11 +0000 | <EvanR> | if anyone was ironically interesting in NeoHaskell I have good news. Someone already did the work to produce NeoHaskell, i.e. "a language like haskell but missing a bunch of stuff that someone considered to be too difficult". it's name is gleam |
| 2024-03-08 21:52:39 +0000 | <EvanR> | difference is this language is real |
| 2024-03-08 21:53:30 +0000 | <probie> | Is that the one which runs on BEAM? |
| 2024-03-08 21:53:45 +0000 | <EvanR> | yes |
| 2024-03-08 21:54:04 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-08 21:58:47 +0000 | mizlan | (~mizlan@2607:f010:2e9:b:8c79:eb45:5954:d939) (Ping timeout: 260 seconds) |
| 2024-03-08 21:59:02 +0000 | <tomsmeding> | EvanR: can it do the things monochrom and I were mentioning :p |
| 2024-03-08 21:59:28 +0000 | <int-e> | does it shimmer in the dark |
| 2024-03-08 21:59:30 +0000 | <tomsmeding> | can I even be a wannabe Agda programmer |
| 2024-03-08 21:59:41 +0000 | <int-e> | tomsmeding: yes you can |
| 2024-03-08 21:59:48 +0000 | <tomsmeding> | in gleam, that is |
| 2024-03-08 21:59:58 +0000 | <int-e> | All you have to do is to want to be an Agda programmer. |
| 2024-03-08 22:00:02 +0000 | <tomsmeding> | :D |
| 2024-03-08 22:00:28 +0000 | <EvanR> | it doesn't have type classes |
| 2024-03-08 22:00:37 +0000 | <tomsmeding> | O.O |
| 2024-03-08 22:00:50 +0000 | <int-e> | Lazy ML without modules? |
| 2024-03-08 22:00:52 +0000 | <EvanR> | it has a justification for why not in the FAQ |
| 2024-03-08 22:00:55 +0000 | <tomsmeding> | I was expecting it to give up around type families or so |
| 2024-03-08 22:01:12 +0000 | <int-e> | Or maybe it's not lazy either... because laziness is also complicated. |
| 2024-03-08 22:01:14 +0000 | <Rembane> | tomsmeding: Try Purescript for the "I can't believe it's not Haskell"-feeling. |
| 2024-03-08 22:01:24 +0000 | <ph88> | what is the general opinion of the singletons library ? |
| 2024-03-08 22:01:28 +0000 | <Rembane> | IIRC gleam is eager |
| 2024-03-08 22:02:02 +0000 | <tomsmeding> | I write so little code that depends on laziness that I don't even care much about eager evaluation |
| 2024-03-08 22:02:11 +0000 | <EvanR> | are you sure? xD |
| 2024-03-08 22:02:16 +0000 | <tomsmeding> | no xD |
| 2024-03-08 22:02:26 +0000 | <tomsmeding> | well mostly |
| 2024-03-08 22:02:37 +0000 | <int-e> | in Haskell, short-circuiting || and && rely on laziness |
| 2024-03-08 22:02:39 +0000 | <EvanR> | I tried to write some code in idris and realized I need to reconfigure my brain |
| 2024-03-08 22:02:42 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-03-08 22:02:52 +0000 | <EvanR> | unless I want things to be dirt slow |
| 2024-03-08 22:02:57 +0000 | <tomsmeding> | ph88: I tend to write my own singleton GADTs manually and eschew the general framework from the library |
| 2024-03-08 22:03:07 +0000 | <int-e> | And there's the ubiquitous use of `where` that would have awkward semantics without laziness |
| 2024-03-08 22:03:53 +0000 | <EvanR> | like, accumulating parameters are serious and seriously necessary without laziness |
| 2024-03-08 22:04:03 +0000 | <tomsmeding> | the 'where' thing is only for non-functions, and even then writing stuff without the intent to use it in all branches always felt weird to me |
| 2024-03-08 22:04:06 +0000 | <EvanR> | and they get old xD |
| 2024-03-08 22:04:08 +0000 | <tomsmeding> | the && and || thing is real though |
| 2024-03-08 22:04:12 +0000 | <ph88> | quite an invasive library as it looks like |
| 2024-03-08 22:04:32 +0000 | tomsmeding | admits to never having used the singletons library |
| 2024-03-08 22:04:51 +0000 | <EvanR> | maybe you embrace eagerness more often than not in your haskell code |
| 2024-03-08 22:05:04 +0000 | <tomsmeding> | EvanR: example of annoying accumulating parameters? |
| 2024-03-08 22:05:08 +0000 | <EvanR> | using the default lazy behavior selectively |
| 2024-03-08 22:05:45 +0000 | <EvanR> | example, function to compute the length of a list |
| 2024-03-08 22:06:00 +0000 | <tomsmeding> | oh right, no tail recursion you mean |
| 2024-03-08 22:06:03 +0000 | mizlan | (~mizlan@2607:f010:2e9:b:a0b8:d43d:4e1e:e149) |
| 2024-03-08 22:06:14 +0000 | <EvanR> | or equivalently the value of a Nat as a machine int |
| 2024-03-08 22:07:05 +0000 | <EvanR> | ... er no you need tail recursion to write the function, but you need an accumulating parameter to store the intermediate sum |
| 2024-03-08 22:08:09 +0000 | <EvanR> | bad example because we do this in haskell anyway, with foldl' |
| 2024-03-08 22:08:41 +0000 | <tomsmeding> | I mean, you could write it without the accumulating parameter too (i.e. exactly as you'd write the naive recursive function in haskell), but it wouldn't be tail recursive |
| 2024-03-08 22:09:15 +0000 | <tomsmeding> | length [] = 0 ; length (x : xs) = 1 + length xs |
| 2024-03-08 22:09:53 +0000 | <EvanR> | try writing like any list function |
| 2024-03-08 22:09:59 +0000 | <EvanR> | it's gross xD |
| 2024-03-08 22:10:12 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-03-08 22:10:41 +0000 | <tomsmeding> | doesn't the compiler fix some of the missing tail recursion for you |
| 2024-03-08 22:11:08 +0000 | <EvanR> | I'm not sure what they would even mean |
| 2024-03-08 22:11:11 +0000 | <EvanR> | that |
| 2024-03-08 22:11:31 +0000 | <tomsmeding> | automatically introduce an accumulating parameter for you, making the function tail-recursive |
| 2024-03-08 22:11:37 +0000 | <tomsmeding> | but that's probably hard in general |
| 2024-03-08 22:11:51 +0000 | <EvanR> | not at all, back when I was doing idris |
| 2024-03-08 22:11:58 +0000 | <tomsmeding> | even for 'length' it depends on (+) on Int being associative |
| 2024-03-08 22:11:58 +0000 | <EvanR> | what you write is what you get for the most part |
| 2024-03-08 22:12:26 +0000 | <EvanR> | eager is as eager does |
| 2024-03-08 22:12:31 +0000 | <int-e> | I don't think it does... some libraries might accomplish this for their own functions through rewrite rules. |
| 2024-03-08 22:13:01 +0000 | <int-e> | (including the build/foldr fusion business in base) |
| 2024-03-08 22:13:08 +0000 | <EvanR> | the point of eager is so you don't have to guess or hope what the optimizer is going to do |
| 2024-03-08 22:13:21 +0000 | <EvanR> | and then not write your code is a non obvious way |
| 2024-03-08 22:13:32 +0000 | <EvanR> | blaw |
| 2024-03-08 22:13:47 +0000 | <int-e> | what the compiler may accomplish through strictness analysis is turning a foldl into a foldl' |
| 2024-03-08 22:13:55 +0000 | <int-e> | /may/ |
| 2024-03-08 22:18:00 +0000 | <ph88> | does it unroll loops? then you need an accumulator no? |
| 2024-03-08 22:18:29 +0000 | <EvanR> | what loops lol |
| 2024-03-08 22:22:33 +0000 | <int-e> | ph88: Unrolling would be inlining one or several recursive calls... it's conceivable that GHC does that sometimes, I don't know. |
| 2024-03-08 22:23:19 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-03-08 22:23:23 +0000 | <int-e> | And I guess when a tail recursive function is finally transformed to LLVM code (if that's the backend you use) it'll become a loop that LLVM might unroll. |
| 2024-03-08 22:23:30 +0000 | <int-e> | Lots of speculation in that one. |
| 2024-03-08 22:23:54 +0000 | <geekosaur> | llvm generally doesn't understand ghc's code because it's been cpsed |
| 2024-03-08 22:24:39 +0000 | <int-e> | I mean this is assuming that we have a fragment without any allocation or evaluation of unknown thunks. It would almost always be tiny. |
| 2024-03-08 22:25:35 +0000 | <tomsmeding> | that may not even hold for 'length', the list being lazy and potentially thunky |
| 2024-03-08 22:25:50 +0000 | <int-e> | Right, it wouldn't hold for length |
| 2024-03-08 22:26:01 +0000 | <tomsmeding> | in which case it holds for basically nothing in practice |
| 2024-03-08 22:26:01 +0000 | <int-e> | It might work for something like summing an unboxed vector. |
| 2024-03-08 22:26:10 +0000 | <geekosaur> | eh? unless the list itself is a thunk, it won't matter |
| 2024-03-08 22:26:14 +0000 | <tomsmeding> | right, there might be some bytestring internals |
| 2024-03-08 22:26:26 +0000 | <tomsmeding> | geekosaur: the tail of the list might be a thunk, how can ghc know |
| 2024-03-08 22:26:42 +0000 | <tomsmeding> | and hence how can the generated code know |
| 2024-03-08 22:30:35 +0000 | <int-e> | An example of "unrolling" by inlining one recursive call (and some simplification relying on associativity so it'll depend on the concrete type) would be: length (_:_:xs) = 2 + length xs; length (_:xs) = 1 + length xs; length _ = 0 |
| 2024-03-08 22:31:06 +0000 | <int-e> | And I don't know whether ghc ever does this. |
| 2024-03-08 22:32:36 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 260 seconds) |
| 2024-03-08 22:34:52 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-08 22:37:55 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-03-08 22:39:27 +0000 | <ph88> | int-e, can't we just stick that in godbolt and have a look ? |
| 2024-03-08 22:39:28 +0000 | notzmv | (~daniel@user/notzmv) |
| 2024-03-08 22:39:34 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-03-08 22:41:01 +0000 | <int-e> | feel free to try |
| 2024-03-08 22:41:04 +0000 | <geekosaur> | or play.haskell.org |
| 2024-03-08 22:43:03 +0000 | <[Leary]> | iirc ghc identifies loop-breakers refuses to inline them |
| 2024-03-08 22:43:05 +0000 | <int-e> | (My expectation is that ghc does none of the above... but I don't know enough about its internals to be sure. In this case, I don't know how strictly it enforces not inlining "loop breakers".) |
| 2024-03-08 22:43:14 +0000 | <[Leary]> | and* |
| 2024-03-08 22:43:38 +0000 | darkling | (~darkling@2001:ba8:1f1:f0e6::2) (Summoning his cosmic powers, and glowing slightly from his toes...) |
| 2024-03-08 22:43:49 +0000 | darkling | (~darkling@2001:ba8:1f1:f0e6::2) |
| 2024-03-08 22:52:05 +0000 | <ph88> | reading the assembly is not east :| |
| 2024-03-08 22:53:26 +0000 | <monochrom> | When I want to read GHC-generated assembly, I also ask it to generate core and cmm. Then it is easier to follow. |
| 2024-03-08 22:59:58 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2024-03-08 23:00:55 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e737e7998d5743bf05995198.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-03-08 23:04:27 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-08 23:12:04 +0000 | <monochrom> | The name lookup is used up by Prelude in GHC 9.4.* :( |
| 2024-03-08 23:12:48 +0000 | <monochrom> | Hrm maybe it has been there longer. |
| 2024-03-08 23:15:27 +0000 | <geekosaur> | https://downloads.haskell.org/ghc/6.6.1/docs/html/libraries/base/Prelude.html#v%3Alookup |
| 2024-03-08 23:16:06 +0000 | <int-e> | gah, "name lookup" is a technical term of its own... failed to parse |
| 2024-03-08 23:17:29 +0000 | <int-e> | monochrom: it's in the Haskell 98 report Prelude as part of PreludeList |
| 2024-03-08 23:17:40 +0000 | <int-e> | So "forever". |
| 2024-03-08 23:17:57 +0000 | <monochrom> | :( |
| 2024-03-08 23:19:38 +0000 | son0p | (~ff@152.203.102.157) |
| 2024-03-08 23:23:59 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-08 23:24:36 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-03-08 23:28:42 +0000 | <ph88> | is there some ghc version that doesn't require you to list mtl as a separate package ? |
| 2024-03-08 23:29:30 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-08 23:29:48 +0000 | <geekosaur> | 5.x maybe |
| 2024-03-08 23:30:11 +0000 | <ph88> | wow that's old |
| 2024-03-08 23:31:16 +0000 | <ph88> | when i have -Weverything -Wno-incomplete-uni-patterns why does it still complain about incomplete-uni-patterns ? |
| 2024-03-08 23:33:10 +0000 | <glguy> | ph88: I'd guess you have another flag after that that turns them back on |
| 2024-03-08 23:33:26 +0000 | <glguy> | or that the order you wrote here isn't the order you wrote them to the compiler |
| 2024-03-08 23:33:31 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-08 23:33:42 +0000 | <EvanR> | you have to lookup the name name lookup |
| 2024-03-08 23:34:06 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-08 23:37:23 +0000 | <ph88> | glguy, i have it like this https://bpa.st/GC5Q building with stack build |
| 2024-03-08 23:38:22 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2024-03-08 23:42:21 +0000 | mizlan | (~mizlan@2607:f010:2e9:b:a0b8:d43d:4e1e:e149) (Remote host closed the connection) |
| 2024-03-08 23:43:12 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-03-08 23:43:44 +0000 | mizlan | (~mizlan@wifi-131-179-21-178.host.ucla.edu) |
| 2024-03-08 23:46:30 +0000 | mizlan | (~mizlan@wifi-131-179-21-178.host.ucla.edu) (Remote host closed the connection) |
| 2024-03-08 23:47:54 +0000 | mizlan | (~mizlan@wifi-131-179-21-178.host.ucla.edu) |
| 2024-03-08 23:50:14 +0000 | Guest87 | (~Guest34@2409:40f2:1020:7082:a9b9:5ddd:1c1:e02d) |
| 2024-03-08 23:50:28 +0000 | renpose | (~renpose@user/renpose) |
| 2024-03-08 23:50:46 +0000 | <geekosaur> | did you forget to add it to the executable stanza? |
| 2024-03-08 23:51:31 +0000 | <geekosaur> | cf. line 18 |
| 2024-03-08 23:51:50 +0000 | <geekosaur> | also perhaps you have things set up wrong such that it's rebuilding the library as part of the executable |
| 2024-03-08 23:52:05 +0000 | mizlan | (~mizlan@wifi-131-179-21-178.host.ucla.edu) (Ping timeout: 240 seconds) |
| 2024-03-08 23:52:14 +0000 | Guest87 | (~Guest34@2409:40f2:1020:7082:a9b9:5ddd:1c1:e02d) (Client Quit) |
| 2024-03-08 23:52:18 +0000 | <geekosaur> | (commonly this means you tried to use the same surce directory for both) |
| 2024-03-08 23:52:25 +0000 | <geekosaur> | *source |
| 2024-03-08 23:55:38 +0000 | <geekosaur> | sorry, I meant line 18 of the build log, which shows it configuring and building the executable after building the library |
| 2024-03-08 23:55:50 +0000 | <renpose> | Is there a way to unzip(ish) a HKD record generically: When I have `Record mode = { v :: mode :- T, ... }` and I have modes for `T` (Value), `IO T` (Fetch), and `T -> IO ()` (Store) and a combined mode `(IO T, T -> IO T)` (Loc). Given types in combined mode can I split them? So a generic function `Record Loc -> (Record Fetch, Record Store)`? |
| 2024-03-08 23:57:03 +0000 | <renpose> | Excuse formatting, I have a readable, cleaned up, commented and minimal example: https://pastebin.com/CThDgD2E |
| 2024-03-08 23:57:56 +0000 | <renpose> | I can generate the combined record, but struggle with the `K1` case for the split version. Surely this is some kind of pattern that has occurred somewhere and I just don't know it? |