| 2024-02-19 00:01:55 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2024-02-19 00:07:29 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-02-19 00:14:17 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-02-19 00:17:30 +0100 | JackieGarcia | (~JackieGar@2600:8801:9e1e:e000:4942:fb25:1276:277) |
| 2024-02-19 00:21:35 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-02-19 00:24:14 +0100 | azr4e1 | (~azr4e1@137.220.68.193) (Quit: azr4e1) |
| 2024-02-19 00:24:29 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-19 00:26:30 +0100 | Guest57 | (~Guest29@129.170.197.97) |
| 2024-02-19 00:27:20 +0100 | <Guest57> | Is there any documentation/guide on when it is most appropriate to use the inline/inlinable pragmas? |
| 2024-02-19 00:35:58 +0100 | Guest57 | (~Guest29@129.170.197.97) (Ping timeout: 250 seconds) |
| 2024-02-19 00:36:20 +0100 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) |
| 2024-02-19 00:39:16 +0100 | yoo | (~yo0O0o@130.105.162.42) (Ping timeout: 268 seconds) |
| 2024-02-19 00:42:25 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 264 seconds) |
| 2024-02-19 00:47:58 +0100 | JackieGarcia | (~JackieGar@2600:8801:9e1e:e000:4942:fb25:1276:277) (Quit: Client closed) |
| 2024-02-19 00:51:18 +0100 | acidjnk | (~acidjnk@p200300d6e737e7658172c370cd7bd683.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-02-19 00:53:33 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-02-19 01:01:20 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-19 01:04:40 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-02-19 01:05:13 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-02-19 01:16:19 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-19 01:20:15 +0100 | yoo | (~yo0O0o@130.105.162.42) (Ping timeout: 255 seconds) |
| 2024-02-19 01:25:35 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 260 seconds) |
| 2024-02-19 01:28:57 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2024-02-19 01:38:59 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-02-19 01:39:24 +0100 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-02-19 01:41:05 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 252 seconds) |
| 2024-02-19 01:41:22 +0100 | dodoyada | (~dodoyada@pool-71-178-11-160.washdc.fios.verizon.net) |
| 2024-02-19 01:49:21 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-19 01:49:53 +0100 | mulk | (~mulk@p5b112fd0.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-02-19 01:51:28 +0100 | catties | (~catties@user/catties) |
| 2024-02-19 01:53:17 +0100 | mulk | (~mulk@p5b11227f.dip0.t-ipconnect.de) |
| 2024-02-19 01:58:36 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-02-19 02:03:34 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-02-19 02:06:10 +0100 | yoo | (~yo0O0o@130.105.162.42) (Ping timeout: 255 seconds) |
| 2024-02-19 02:12:02 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2024-02-19 02:14:01 +0100 | califax | (~califax@user/califx) |
| 2024-02-19 02:14:02 +0100 | califax | (~califax@user/califx) (Read error: Connection reset by peer) |
| 2024-02-19 02:14:17 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-19 02:15:32 +0100 | califax | (~califax@user/califx) |
| 2024-02-19 02:45:36 +0100 | slack1256 | (~slack1256@181.203.35.44) |
| 2024-02-19 02:49:50 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-02-19 02:50:33 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-02-19 02:52:25 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-02-19 03:08:09 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-02-19 03:08:26 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-19 03:08:50 +0100 | califax | (~califax@user/califx) |
| 2024-02-19 03:09:07 +0100 | otto_s | (~user@p5de2fd5d.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-02-19 03:10:48 +0100 | otto_s | (~user@p5b044a25.dip0.t-ipconnect.de) |
| 2024-02-19 03:36:43 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-19 03:44:13 +0100 | mmhat | (~mmh@p200300f1c7288d8eee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-02-19 03:44:50 +0100 | yoo | (~yo0O0o@130.105.162.42) (Ping timeout: 252 seconds) |
| 2024-02-19 03:48:45 +0100 | slack1256 | (~slack1256@181.203.35.44) (Read error: Connection reset by peer) |
| 2024-02-19 03:49:16 +0100 | dodoyada | (~dodoyada@pool-71-178-11-160.washdc.fios.verizon.net) (Quit: Client closed) |
| 2024-02-19 03:52:07 +0100 | xigua | (~xigua@user/xigua) (Remote host closed the connection) |
| 2024-02-19 03:52:41 +0100 | xigua | (~xigua@user/xigua) |
| 2024-02-19 03:54:33 +0100 | Me-me | (~me-me@user/me-me) (Quit: Disconnecting on purpose.) |
| 2024-02-19 03:56:05 +0100 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 240 seconds) |
| 2024-02-19 03:56:14 +0100 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
| 2024-02-19 04:03:37 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2024-02-19 04:09:35 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Quit: Leaving) |
| 2024-02-19 04:13:16 +0100 | xigua | (~xigua@user/xigua) (Remote host closed the connection) |
| 2024-02-19 04:13:51 +0100 | xigua | (~xigua@user/xigua) |
| 2024-02-19 04:21:06 +0100 | srk_ | (~sorki@user/srk) |
| 2024-02-19 04:22:18 +0100 | Pozyomka | (~pyon@user/pyon) |
| 2024-02-19 04:22:52 +0100 | srk| | (~sorki@user/srk) |
| 2024-02-19 04:23:47 +0100 | td_ | (~td@i53870910.versanet.de) (Ping timeout: 272 seconds) |
| 2024-02-19 04:23:55 +0100 | srk | (~sorki@user/srk) (Ping timeout: 246 seconds) |
| 2024-02-19 04:25:11 +0100 | td_ | (~td@i53870935.versanet.de) |
| 2024-02-19 04:26:05 +0100 | srk| | srk |
| 2024-02-19 04:27:35 +0100 | srk_ | (~sorki@user/srk) (Ping timeout: 272 seconds) |
| 2024-02-19 04:28:33 +0100 | dodoyada | (~dodoyada@pool-71-178-11-160.washdc.fios.verizon.net) |
| 2024-02-19 04:34:00 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-19 04:43:35 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-02-19 04:46:26 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2024-02-19 05:02:08 +0100 | xigua | (~xigua@user/xigua) (Remote host closed the connection) |
| 2024-02-19 05:02:43 +0100 | xigua | (~xigua@user/xigua) |
| 2024-02-19 05:09:17 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-19 05:10:15 +0100 | califax | (~califax@user/califx) |
| 2024-02-19 05:11:23 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-02-19 05:15:01 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-19 05:15:02 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 2024-02-19 05:19:22 +0100 | wlhn | (~wenzel@ip-87-108-38-187.customer.academica.fi) (Read error: Connection reset by peer) |
| 2024-02-19 05:19:40 +0100 | wlhn | (~wenzel@ip-87-108-38-187.customer.academica.fi) |
| 2024-02-19 05:34:07 +0100 | ell | (~ellie@user/ellie) (Read error: Connection reset by peer) |
| 2024-02-19 05:34:10 +0100 | ell | (~ellie@user/ellie) |
| 2024-02-19 05:38:58 +0100 | wlhn | (~wenzel@ip-87-108-38-187.customer.academica.fi) (Quit: Leaving) |
| 2024-02-19 05:38:59 +0100 | aforemny | (~aforemny@2001:9e8:6cc8:100:42ef:f733:c482:5119) |
| 2024-02-19 05:40:01 +0100 | aforemny_ | (~aforemny@2001:9e8:6ce3:ee00:8ad8:2ab5:d481:bea6) (Ping timeout: 264 seconds) |
| 2024-02-19 05:45:23 +0100 | yoo | (~yo0O0o@130.105.162.42) |
| 2024-02-19 05:50:12 +0100 | yooo | (~yo0O0o@104.28.194.106) |
| 2024-02-19 05:51:11 +0100 | yoo | (~yo0O0o@130.105.162.42) (Ping timeout: 272 seconds) |
| 2024-02-19 06:08:02 +0100 | michalz | (~michalz@185.246.207.215) |
| 2024-02-19 06:25:53 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) (Remote host closed the connection) |
| 2024-02-19 06:26:35 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) |
| 2024-02-19 06:31:09 +0100 | michalz | (~michalz@185.246.207.215) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-19 06:33:56 +0100 | michalz | (~michalz@185.246.207.205) |
| 2024-02-19 06:35:17 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-19 06:39:09 +0100 | yoo | (~yo0O0o@104.28.226.108) |
| 2024-02-19 06:39:57 +0100 | yooo | (~yo0O0o@104.28.194.106) (Ping timeout: 272 seconds) |
| 2024-02-19 06:41:35 +0100 | bilegeek_ | (~bilegeek@2600:1008:b002:dba1:958c:729:17a8:d38b) |
| 2024-02-19 06:44:01 +0100 | bilegeek | (~bilegeek@2600:1008:b002:dba1:958c:729:17a8:d38b) (Ping timeout: 260 seconds) |
| 2024-02-19 06:57:00 +0100 | <probie> | Does anyone here have strong opinions on xml parsers? |
| 2024-02-19 07:02:11 +0100 | _ht | (~Thunderbi@82.174.52.28) |
| 2024-02-19 07:02:50 +0100 | mulk | (~mulk@p5b11227f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-02-19 07:03:23 +0100 | bilegeek_ | (~bilegeek@2600:1008:b002:dba1:958c:729:17a8:d38b) (Quit: Leaving) |
| 2024-02-19 07:03:50 +0100 | Square3 | (~Square4@user/square) |
| 2024-02-19 07:05:26 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-02-19 07:06:32 +0100 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2024-02-19 07:07:25 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-02-19 07:08:40 +0100 | mulk | (~mulk@p5b2dca88.dip0.t-ipconnect.de) |
| 2024-02-19 07:11:22 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2024-02-19 07:22:52 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-02-19 07:27:04 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2024-02-19 07:28:28 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-02-19 07:29:57 +0100 | <jackdk> | xml-conduit is fine and less conduity than you might expect from the name |
| 2024-02-19 07:32:07 +0100 | jargon | (~jargon@157.sub-174-205-162.myvzw.com) (Remote host closed the connection) |
| 2024-02-19 07:33:41 +0100 | puke | (~puke@user/puke) (Ping timeout: 240 seconds) |
| 2024-02-19 07:40:11 +0100 | yoo | (~yo0O0o@104.28.226.108) (Ping timeout: 264 seconds) |
| 2024-02-19 07:41:59 +0100 | yoo | (~yo0O0o@104.28.194.106) |
| 2024-02-19 07:42:32 +0100 | puke | (~puke@user/puke) |
| 2024-02-19 07:55:19 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-02-19 07:55:25 +0100 | mulk | (~mulk@p5b2dca88.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-02-19 07:58:58 +0100 | acidjnk | (~acidjnk@p200300d6e737e7078172c370cd7bd683.dip0.t-ipconnect.de) |
| 2024-02-19 08:00:40 +0100 | <probie> | xml-conduit seems especially convenient given that I get my xml documents from a conduit |
| 2024-02-19 08:01:50 +0100 | mulk | (~mulk@p5b2dcde0.dip0.t-ipconnect.de) |
| 2024-02-19 08:04:06 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-19 08:05:36 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-02-19 08:16:14 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-02-19 08:16:40 +0100 | mulk | (~mulk@p5b2dcde0.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-02-19 08:20:25 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-19 08:22:50 +0100 | mulk | (~mulk@pd95148d1.dip0.t-ipconnect.de) |
| 2024-02-19 08:25:17 +0100 | yoo | (~yo0O0o@104.28.194.106) (Changing host) |
| 2024-02-19 08:25:17 +0100 | yoo | (~yo0O0o@user/mobivme) |
| 2024-02-19 08:28:59 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-02-19 08:31:42 +0100 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Quit: Leaving) |
| 2024-02-19 08:33:17 +0100 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) |
| 2024-02-19 08:36:23 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-02-19 08:37:39 +0100 | lottaquestions_ | (~nick@2607:fa49:503d:b200:a224:6171:dcbc:3474) |
| 2024-02-19 08:38:49 +0100 | lottaquestions | (~nick@2607:fa49:503d:b200:3407:5975:bc8d:f2ea) (Ping timeout: 260 seconds) |
| 2024-02-19 08:40:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-19 08:40:44 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-02-19 08:40:58 +0100 | yooo | (~yo0O0o@104.28.226.107) |
| 2024-02-19 08:41:53 +0100 | yoo | (~yo0O0o@user/mobivme) (Ping timeout: 256 seconds) |
| 2024-02-19 08:44:40 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-19 08:46:26 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-02-19 08:46:36 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-02-19 08:47:09 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-02-19 08:48:05 +0100 | jle` | (~jle`@2603-8001-3b02-84d4-b11a-e819-2d37-28bf.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2024-02-19 08:48:53 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2024-02-19 08:49:30 +0100 | jle` | (~jle`@2603-8001-3b02-84d4-9b1c-bd74-ecb2-b361.res6.spectrum.com) |
| 2024-02-19 09:09:03 +0100 | CiaoSen | (~Jura@2a05:5800:2d5:3400:e6b9:7aff:fe80:3d03) |
| 2024-02-19 09:09:10 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-02-19 09:09:56 +0100 | euleritian | (~euleritia@dynamic-176-006-191-163.176.6.pool.telefonica.de) |
| 2024-02-19 09:10:04 +0100 | kuribas | (~user@2a02:1808:87:4b95:24a7:4bc6:9548:e6ec) |
| 2024-02-19 09:33:11 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-02-19 09:36:22 +0100 | kuribas | (~user@2a02:1808:87:4b95:24a7:4bc6:9548:e6ec) (Remote host closed the connection) |
| 2024-02-19 09:37:38 +0100 | danse-nr3 | (~danse@151.57.24.62) |
| 2024-02-19 09:43:49 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-19 09:46:01 +0100 | euleritian | (~euleritia@dynamic-176-006-191-163.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-19 09:46:18 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-19 09:47:43 +0100 | califax | (~califax@user/califx) |
| 2024-02-19 09:51:00 +0100 | danse-nr3 | (~danse@151.57.24.62) (Ping timeout: 255 seconds) |
| 2024-02-19 09:52:16 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-19 09:55:11 +0100 | danse-nr3 | (~danse@151.57.24.62) |
| 2024-02-19 09:57:18 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-02-19 09:58:25 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-19 10:01:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-19 10:01:50 +0100 | danse-nr3 | (~danse@151.57.24.62) (Ping timeout: 256 seconds) |
| 2024-02-19 10:02:29 +0100 | danse-nr3 | (~danse@151.57.24.62) |
| 2024-02-19 10:02:54 +0100 | yooo | (~yo0O0o@104.28.226.107) (Ping timeout: 268 seconds) |
| 2024-02-19 10:04:37 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-02-19 10:06:09 +0100 | yoo | (~yo0O0o@104.28.226.108) |
| 2024-02-19 10:10:20 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-02-19 10:10:22 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-19 10:11:59 +0100 | euleritian | (~euleritia@dynamic-176-006-191-163.176.6.pool.telefonica.de) |
| 2024-02-19 10:12:17 +0100 | califax | (~califax@user/califx) |
| 2024-02-19 10:12:31 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-02-19 10:13:00 +0100 | masterbuilder_ | (~quassel@31-209-200-45.dsl.dynamic.simnet.is) |
| 2024-02-19 10:13:05 +0100 | masterbuilder | (~quassel@user/masterbuilder) (Ping timeout: 268 seconds) |
| 2024-02-19 10:16:02 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-02-19 10:17:03 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-19 10:18:09 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-02-19 10:19:38 +0100 | yoo | (~yo0O0o@104.28.226.108) (Ping timeout: 260 seconds) |
| 2024-02-19 10:23:27 +0100 | yoo | (~yo0O0o@104.28.226.107) |
| 2024-02-19 10:23:27 +0100 | synchromesh | (~synchrome@2407:7000:aa2d:4e00:394c:c2ff:ec3:4c89) (Read error: Connection reset by peer) |
| 2024-02-19 10:25:08 +0100 | synchromesh | (~synchrome@2407:7000:aa2d:4e00:59a1:9e62:4e88:7daa) |
| 2024-02-19 10:28:47 +0100 | yoo | (~yo0O0o@104.28.226.107) (Ping timeout: 264 seconds) |
| 2024-02-19 10:29:13 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-02-19 10:29:41 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-02-19 10:30:21 +0100 | ft | (~ft@p508db2e6.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-02-19 10:41:05 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-02-19 10:41:11 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-19 10:46:10 +0100 | yoo | (~yo0O0o@104.28.226.107) |
| 2024-02-19 10:48:23 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-19 10:49:08 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-02-19 10:50:40 +0100 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Changing host) |
| 2024-02-19 10:50:40 +0100 | Me-me | (~me-me@user/me-me) |
| 2024-02-19 10:51:36 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-19 10:52:22 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-02-19 10:54:55 +0100 | yoo | (~yo0O0o@104.28.226.107) (Ping timeout: 255 seconds) |
| 2024-02-19 10:56:08 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-02-19 10:56:36 +0100 | yoo | (~yo0O0o@104.28.226.107) |
| 2024-02-19 10:56:43 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-19 11:01:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-19 11:03:18 +0100 | danse-nr3 | (~danse@151.57.24.62) (Quit: Leaving) |
| 2024-02-19 11:03:42 +0100 | yooo | (~yo0O0o@104.28.226.107) |
| 2024-02-19 11:04:47 +0100 | yoo | (~yo0O0o@104.28.226.107) (Ping timeout: 264 seconds) |
| 2024-02-19 11:06:32 +0100 | chele | (~chele@user/chele) |
| 2024-02-19 11:10:10 +0100 | Teacup | (~teacup@user/teacup) (Quit: No Ping reply in 180 seconds.) |
| 2024-02-19 11:11:35 +0100 | danse-nr3 | (~danse@151.57.24.62) |
| 2024-02-19 11:14:03 +0100 | Teacup | (~teacup@user/teacup) |
| 2024-02-19 11:18:29 +0100 | Teacup | (~teacup@user/teacup) (Read error: Connection reset by peer) |
| 2024-02-19 11:19:27 +0100 | Teacup | (~teacup@user/teacup) |
| 2024-02-19 11:24:06 +0100 | zetef | (~quassel@2a02:2f00:5208:300:2eac:56a:f29c:cb5b) |
| 2024-02-19 11:37:41 +0100 | euleritian | (~euleritia@dynamic-176-006-191-163.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-19 11:37:58 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-19 11:39:31 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 272 seconds) |
| 2024-02-19 11:49:34 +0100 | LordRishav | (~LordRisha@user/lordrishav) |
| 2024-02-19 11:50:04 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-19 11:50:46 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-19 11:51:38 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-02-19 11:53:25 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-02-19 11:54:11 +0100 | euleritian | (~euleritia@dynamic-176-006-191-163.176.6.pool.telefonica.de) |
| 2024-02-19 12:06:45 +0100 | masterbuilder_ | (~quassel@31-209-200-45.dsl.dynamic.simnet.is) (Changing host) |
| 2024-02-19 12:06:45 +0100 | masterbuilder_ | (~quassel@user/masterbuilder) |
| 2024-02-19 12:22:23 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2024-02-19 12:22:37 +0100 | euleritian | (~euleritia@dynamic-176-006-191-163.176.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-02-19 12:22:55 +0100 | euleritian | (~euleritia@dynamic-046-114-225-230.46.114.pool.telefonica.de) |
| 2024-02-19 12:26:20 +0100 | yooo | (~yo0O0o@104.28.226.107) (Ping timeout: 256 seconds) |
| 2024-02-19 12:27:26 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-02-19 12:30:00 +0100 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-02-19 12:31:04 +0100 | <cheater> | what is that succint term again for how in haskell you can write abstractions that don't impact runtime performance |
| 2024-02-19 12:31:13 +0100 | <cheater> | something-free abstractions? |
| 2024-02-19 12:31:29 +0100 | <cheater> | zero-cost abstractions. that's it |
| 2024-02-19 12:31:29 +0100 | <ncf> | zero-cost? |
| 2024-02-19 12:31:39 +0100 | <cheater> | yep thx |
| 2024-02-19 12:32:02 +0100 | ncf | . o O ( zero-cost monads ) |
| 2024-02-19 12:32:25 +0100 | <danse-nr3> | more a thing in rust than in haskell i am afraid |
| 2024-02-19 12:32:29 +0100 | <cheater> | HVM purports to make free monads much less expensive due to its naturally-applicable semantics |
| 2024-02-19 12:33:22 +0100 | <Hecate> | danse-nr3: "more" perhaps but we have zero-cost abstractions in Haskell too! Newtypes are zero-cost abstractions |
| 2024-02-19 12:34:08 +0100 | <danse-nr3> | yup |
| 2024-02-19 12:35:49 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 264 seconds) |
| 2024-02-19 12:37:58 +0100 | mmhat | (~mmh@p200300f1c7427f76ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-02-19 12:39:11 +0100 | <haskellbridge> | <irregularsphere> danse-nr3: also from what i've seen isn't the haskell folk more concerned about type correctness than performance and safety and stuff |
| 2024-02-19 12:39:51 +0100 | euleritian | (~euleritia@dynamic-046-114-225-230.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-19 12:40:10 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-19 12:40:21 +0100 | <danse-nr3> | huh? Not sure what you mean. "Type correctness" and safety are almost synonyms to me |
| 2024-02-19 12:42:12 +0100 | <haskellbridge> | <irregularsphere> type correctness as in "this value and this function will never go bottom" or that sort of stuff |
| 2024-02-19 12:42:53 +0100 | <haskellbridge> | <irregularsphere> ...and rust's safety is to avoid segfaults, use-after-free, etc |
| 2024-02-19 12:43:17 +0100 | <EvanR> | zero cost abstraction is buzzjargon from C++ and rust. While haskell has zero cost abstractions you don't hear that jargon a lot xD |
| 2024-02-19 12:43:36 +0100 | <danse-nr3> | actually haskell enables things to go to bottom quite conveniently, to the point that i mean to learn to code with more bottoms |
| 2024-02-19 12:43:48 +0100 | <EvanR> | another example are rewrite rules which cause a chain of operations to not exist |
| 2024-02-19 12:44:16 +0100 | <ggVGc> | EvanR: how do you measure the cost of the 20 years of attempting to learn reasoning about GHC and runtime behaviour? |
| 2024-02-19 12:44:23 +0100 | <haskellbridge> | <irregularsphere> danse-nr3: (... I thought that's unconventional) |
| 2024-02-19 12:44:32 +0100 | <EvanR> | zero cost, I never learned it |
| 2024-02-19 12:44:44 +0100 | <EvanR> | in 20 years |
| 2024-02-19 12:44:50 +0100 | <haskellbridge> | <irregularsphere> EvanR: ...expected haskell to have zero cost abstractions to be honest |
| 2024-02-19 12:45:28 +0100 | <haskellbridge> | <irregularsphere> even better `[a]`s are iterators by nature |
| 2024-02-19 12:46:12 +0100 | <EvanR> | by default list will be highly non-zero cost |
| 2024-02-19 12:46:26 +0100 | <danse-nr3> | i don't mean just purposely adding bottoms, but rather leveraging the meaning of bottoms. I think i stumbled upon some post where bottoms where initially introduced then removed while refining the types or something akin, but i really do not remember the context |
| 2024-02-19 12:46:42 +0100 | <EvanR> | but you hope to get optimizations in a nest of list operations |
| 2024-02-19 12:46:52 +0100 | <haskellbridge> | <irregularsphere> danse-nr3: oh, you mean putting `undefined` in function definitions as a sort of to-do? |
| 2024-02-19 12:47:14 +0100 | <danse-nr3> | not really but nevermind, i do not really recall |
| 2024-02-19 12:50:04 +0100 | danse-nr3 | (~danse@151.57.24.62) (Read error: Connection reset by peer) |
| 2024-02-19 12:50:18 +0100 | danse-nr3 | (~danse@ge-19-122-56.service.infuturo.it) |
| 2024-02-19 12:55:01 +0100 | <haskellbridge> | <irregularsphere> EvanR: ...kind of like iterators |
| 2024-02-19 12:55:57 +0100 | <EvanR> | yeah so that's an average cost above zero |
| 2024-02-19 12:56:08 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-02-19 12:56:33 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-02-19 12:56:44 +0100 | <EvanR> | in used car or TV salesperson language, zero-cost* |
| 2024-02-19 12:56:51 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-19 12:57:20 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-02-19 13:00:35 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-19 13:01:07 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-19 13:02:00 +0100 | zetef | (~quassel@2a02:2f00:5208:300:2eac:56a:f29c:cb5b) (Remote host closed the connection) |
| 2024-02-19 13:02:10 +0100 | califax | (~califax@user/califx) |
| 2024-02-19 13:02:21 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-02-19 13:02:58 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-19 13:17:36 +0100 | <haskellbridge> | <maralorn> Does anyone know a way to get hlint to warn on all list comprehensions? |
| 2024-02-19 13:20:20 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-02-19 13:20:40 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-19 13:21:09 +0100 | rscastilho2024 | (~rscastilh@189.61.140.215) |
| 2024-02-19 13:21:31 +0100 | rscastilho2024 | (~rscastilh@189.61.140.215) (Remote host closed the connection) |
| 2024-02-19 13:23:49 +0100 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Quit: The Lounge - https://thelounge.chat) |
| 2024-02-19 13:24:52 +0100 | LordRishav | (~LordRisha@user/lordrishav) (Ping timeout: 268 seconds) |
| 2024-02-19 13:24:59 +0100 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
| 2024-02-19 13:27:29 +0100 | CiaoSen | (~Jura@2a05:5800:2d5:3400:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds) |
| 2024-02-19 13:29:38 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3340-d5a1-391f-e8e6-baa3-2142.rev.sfr.net) |
| 2024-02-19 13:38:59 +0100 | Unhammer | (~Unhammer@user/unhammer) |
| 2024-02-19 13:43:41 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-19 13:45:06 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-19 14:03:38 +0100 | danse-nr3 | (~danse@ge-19-122-56.service.infuturo.it) (Ping timeout: 260 seconds) |
| 2024-02-19 14:06:37 +0100 | myme | (~myme@2a01:799:d5e:2e00:cf83:36a0:a06c:5732) (Ping timeout: 255 seconds) |
| 2024-02-19 14:06:53 +0100 | Square3 | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2024-02-19 14:13:35 +0100 | Unhammer | (~Unhammer@user/unhammer) (WeeChat 2.3) |
| 2024-02-19 14:25:43 +0100 | danse-nr3 | (~danse@151.43.183.106) |
| 2024-02-19 14:32:42 +0100 | synchromesh | (~synchrome@2407:7000:aa2d:4e00:59a1:9e62:4e88:7daa) (Read error: Connection reset by peer) |
| 2024-02-19 14:33:50 +0100 | synchromesh | (~synchrome@2407:7000:aa2d:4e00:59a1:9e62:4e88:7daa) |
| 2024-02-19 14:35:29 +0100 | SanchayanMaity | (sid478177@id-478177.hampstead.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-02-19 14:37:13 +0100 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-02-19 14:38:19 +0100 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-02-19 14:39:13 +0100 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (Ping timeout: 246 seconds) |
| 2024-02-19 14:40:35 +0100 | jackdk | (sid373013@cssa/jackdk) (Ping timeout: 256 seconds) |
| 2024-02-19 14:42:22 +0100 | dfg | (~dfg@user/dfg) (Ping timeout: 246 seconds) |
| 2024-02-19 14:42:25 +0100 | SanchayanMaity | (sid478177@hampstead.irccloud.com) |
| 2024-02-19 14:42:30 +0100 | phma_ | (~phma@host-67-44-208-180.hnremote.net) |
| 2024-02-19 14:42:33 +0100 | dysfigured | (~dfg@dfg.rocks) |
| 2024-02-19 14:42:37 +0100 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) |
| 2024-02-19 14:43:11 +0100 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-02-19 14:43:30 +0100 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) |
| 2024-02-19 14:43:57 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:eeb6:1c23:49f9:7add) |
| 2024-02-19 14:44:02 +0100 | ph88^ | (~ph88@2a02:8109:9e26:c800:9a6:91e2:2306:c993) |
| 2024-02-19 14:44:28 +0100 | edwardk | (sid47016@haskell/developer/edwardk) (Ping timeout: 246 seconds) |
| 2024-02-19 14:44:33 +0100 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-02-19 14:44:48 +0100 | ph88^ | (~ph88@2a02:8109:9e26:c800:9a6:91e2:2306:c993) (Client Quit) |
| 2024-02-19 14:45:39 +0100 | alinab | (sid468903@id-468903.helmsley.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-02-19 14:45:39 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-02-19 14:45:41 +0100 | phma | (~phma@host-67-44-208-180.hnremote.net) (Ping timeout: 256 seconds) |
| 2024-02-19 14:45:52 +0100 | tolt | (~weechat-h@li219-154.members.linode.com) (Ping timeout: 246 seconds) |
| 2024-02-19 14:46:13 +0100 | carter | (sid14827@id-14827.helmsley.irccloud.com) (Ping timeout: 246 seconds) |
| 2024-02-19 14:46:15 +0100 | edm | (sid147314@id-147314.hampstead.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-02-19 14:46:34 +0100 | jmct | (sid160793@id-160793.tinside.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-02-19 14:47:01 +0100 | dysfigured | (~dfg@dfg.rocks) (Ping timeout: 260 seconds) |
| 2024-02-19 14:47:02 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-02-19 14:47:25 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-02-19 14:47:30 +0100 | pepeiborra | (sid443799@id-443799.ilkley.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-02-19 14:47:49 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Ping timeout: 264 seconds) |
| 2024-02-19 14:47:57 +0100 | res0nat0r0844909 | (~Fletch@falcon.whatbox.ca) (Ping timeout: 256 seconds) |
| 2024-02-19 14:47:57 +0100 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-02-19 14:47:57 +0100 | amir | (sid22336@user/amir) (Ping timeout: 260 seconds) |
| 2024-02-19 14:48:33 +0100 | tolt | (~weechat-h@li219-154.members.linode.com) |
| 2024-02-19 14:48:40 +0100 | dy | (sid3438@user/dy) (Ping timeout: 246 seconds) |
| 2024-02-19 14:48:53 +0100 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-02-19 14:48:57 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-19 14:48:59 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-02-19 14:49:01 +0100 | SanchayanMaity | (sid478177@hampstead.irccloud.com) (Ping timeout: 264 seconds) |
| 2024-02-19 14:49:33 +0100 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) |
| 2024-02-19 14:50:35 +0100 | finsternis | (~X@23.226.237.192) (Ping timeout: 268 seconds) |
| 2024-02-19 14:50:47 +0100 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-02-19 14:51:30 +0100 | amir | (sid22336@user/amir) |
| 2024-02-19 14:52:06 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2024-02-19 14:52:51 +0100 | SanchayanMaity | (sid478177@hampstead.irccloud.com) |
| 2024-02-19 14:53:02 +0100 | lexi-lambda | (sid92601@hampstead.irccloud.com) |
| 2024-02-19 14:53:13 +0100 | idnar | (sid12240@debian/mithrandi) (Ping timeout: 246 seconds) |
| 2024-02-19 14:53:29 +0100 | res0nat0r0844909 | (~Fletch@falcon.whatbox.ca) |
| 2024-02-19 14:53:40 +0100 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-02-19 14:54:27 +0100 | dy | (sid3438@user/dy) |
| 2024-02-19 14:54:53 +0100 | jackdk | (sid373013@cssa/jackdk) |
| 2024-02-19 14:55:04 +0100 | edwardk | (sid47016@haskell/developer/edwardk) |
| 2024-02-19 14:55:26 +0100 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-02-19 14:55:31 +0100 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-02-19 14:55:47 +0100 | NemesisD | (sid24071@lymington.irccloud.com) |
| 2024-02-19 14:56:25 +0100 | pyooque | (~puke@user/puke) |
| 2024-02-19 14:56:25 +0100 | puke | (~puke@user/puke) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 2024-02-19 14:56:25 +0100 | pyooque | puke |
| 2024-02-19 14:56:45 +0100 | actioninja | (~actioninj@user/actioninja) (Ping timeout: 268 seconds) |
| 2024-02-19 14:56:50 +0100 | mustafa | (sid502723@rockylinux/releng/mustafa) (Ping timeout: 260 seconds) |
| 2024-02-19 14:56:57 +0100 | thaumavorio_ | (~thaumavor@thaumavor.io) |
| 2024-02-19 14:56:59 +0100 | thaumavorio | (~thaumavor@thaumavor.io) (Read error: Connection reset by peer) |
| 2024-02-19 14:57:12 +0100 | actioninja | (~actioninj@user/actioninja) |
| 2024-02-19 14:57:20 +0100 | NemesisD | (sid24071@lymington.irccloud.com) (Max SendQ exceeded) |
| 2024-02-19 14:57:22 +0100 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-02-19 14:57:22 +0100 | jmct | (sid160793@id-160793.tinside.irccloud.com) |
| 2024-02-19 14:57:22 +0100 | puke | (~puke@user/puke) (Excess Flood) |
| 2024-02-19 14:57:45 +0100 | acertain_ | (sid470584@id-470584.hampstead.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-02-19 14:58:09 +0100 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-02-19 14:58:13 +0100 | landonf | (landonf@mac68k.info) (Ping timeout: 260 seconds) |
| 2024-02-19 14:58:22 +0100 | dfg | (~dfg@dfg.rocks) |
| 2024-02-19 14:58:22 +0100 | dfg | (~dfg@dfg.rocks) (Changing host) |
| 2024-02-19 14:58:22 +0100 | dfg | (~dfg@user/dfg) |
| 2024-02-19 14:58:34 +0100 | puke | (~puke@user/puke) |
| 2024-02-19 14:58:43 +0100 | degraafk | (sid71464@lymington.irccloud.com) |
| 2024-02-19 14:58:53 +0100 | pepeiborra | (sid443799@id-443799.ilkley.irccloud.com) |
| 2024-02-19 14:59:13 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 264 seconds) |
| 2024-02-19 14:59:28 +0100 | b20n | (sid115913@uxbridge.irccloud.com) |
| 2024-02-19 14:59:49 +0100 | amir | (sid22336@user/amir) (Ping timeout: 264 seconds) |
| 2024-02-19 15:00:19 +0100 | idnar | (sid12240@debian/mithrandi) |
| 2024-02-19 15:00:24 +0100 | bradparker | (sid262931@uxbridge.irccloud.com) |
| 2024-02-19 15:00:25 +0100 | natechan | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2024-02-19 15:00:25 +0100 | lally | (sid388228@id-388228.uxbridge.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-02-19 15:00:35 +0100 | PotatoGim | (sid99505@lymington.irccloud.com) |
| 2024-02-19 15:00:56 +0100 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2024-02-19 15:01:01 +0100 | c_wraith | (~c_wraith@adjoint.us) (Ping timeout: 264 seconds) |
| 2024-02-19 15:02:07 +0100 | aspen | (sid449115@id-449115.helmsley.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-02-19 15:02:20 +0100 | natechan | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2024-02-19 15:02:51 +0100 | acertain_ | (sid470584@hampstead.irccloud.com) |
| 2024-02-19 15:02:56 +0100 | sa1 | (sid7690@ilkley.irccloud.com) |
| 2024-02-19 15:03:01 +0100 | mustafa | (sid502723@rockylinux/releng/mustafa) |
| 2024-02-19 15:03:08 +0100 | yoo | (~yo0O0o@104.28.226.107) |
| 2024-02-19 15:03:08 +0100 | rune_ | (sid21167@ilkley.irccloud.com) |
| 2024-02-19 15:03:11 +0100 | edmundnoble_ | (sid229620@helmsley.irccloud.com) |
| 2024-02-19 15:03:14 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2024-02-19 15:03:15 +0100 | alinab | (sid468903@id-468903.helmsley.irccloud.com) |
| 2024-02-19 15:03:15 +0100 | geekosaur | (sid609282@xmonad/geekosaur) (Ping timeout: 256 seconds) |
| 2024-02-19 15:03:17 +0100 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) |
| 2024-02-19 15:03:17 +0100 | joeyh | (joeyh@kitenet.net) (Read error: Connection reset by peer) |
| 2024-02-19 15:03:29 +0100 | joeyh | (~joeyh@kitenet.net) |
| 2024-02-19 15:03:32 +0100 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-02-19 15:03:46 +0100 | c_wraith | (~c_wraith@adjoint.us) |
| 2024-02-19 15:03:49 +0100 | flounders | (~flounders@24.246.176.178) (Ping timeout: 256 seconds) |
| 2024-02-19 15:04:13 +0100 | flounders | (~flounders@24.246.176.178) |
| 2024-02-19 15:04:25 +0100 | amir | (sid22336@user/amir) |
| 2024-02-19 15:04:45 +0100 | EvanR | (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
| 2024-02-19 15:04:55 +0100 | landonf | (landonf@mac68k.info) |
| 2024-02-19 15:05:06 +0100 | jonrh | (sid5185@ilkley.irccloud.com) |
| 2024-02-19 15:05:06 +0100 | lally | (sid388228@uxbridge.irccloud.com) |
| 2024-02-19 15:05:39 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-19 15:05:51 +0100 | geekosaur | (sid609282@xmonad/geekosaur) |
| 2024-02-19 15:05:52 +0100 | aspen | (sid449115@helmsley.irccloud.com) |
| 2024-02-19 15:06:57 +0100 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) |
| 2024-02-19 15:07:43 +0100 | carter | (sid14827@helmsley.irccloud.com) |
| 2024-02-19 15:09:09 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-02-19 15:09:39 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-02-19 15:09:40 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2024-02-19 15:10:03 +0100 | lally | (sid388228@uxbridge.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-02-19 15:10:19 +0100 | Boarders___ | (sid425905@id-425905.lymington.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-02-19 15:10:19 +0100 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-02-19 15:11:14 +0100 | danse-nr3 | (~danse@151.43.183.106) (Ping timeout: 256 seconds) |
| 2024-02-19 15:11:17 +0100 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-02-19 15:11:32 +0100 | myme | (~myme@40.51-175-185.customer.lyse.net) |
| 2024-02-19 15:11:33 +0100 | alinab | (sid468903@id-468903.helmsley.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-02-19 15:11:36 +0100 | sajith_ | (~sajith@user/sajith) |
| 2024-02-19 15:11:39 +0100 | lally | (sid388228@id-388228.uxbridge.irccloud.com) |
| 2024-02-19 15:11:45 +0100 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-02-19 15:11:46 +0100 | amir | (sid22336@user/amir) (Ping timeout: 246 seconds) |
| 2024-02-19 15:11:49 +0100 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (Ping timeout: 264 seconds) |
| 2024-02-19 15:11:52 +0100 | Boarders___ | (sid425905@id-425905.lymington.irccloud.com) |
| 2024-02-19 15:12:13 +0100 | nshepper1 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 260 seconds) |
| 2024-02-19 15:12:19 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-02-19 15:12:28 +0100 | pepeiborra | (sid443799@id-443799.ilkley.irccloud.com) (Ping timeout: 246 seconds) |
| 2024-02-19 15:12:28 +0100 | sajith | (~sajith@user/sajith) (Ping timeout: 246 seconds) |
| 2024-02-19 15:12:42 +0100 | tomjaguarpaw | (~tom@172-104-25-182.ip.linodeusercontent.com) (Ping timeout: 260 seconds) |
| 2024-02-19 15:12:49 +0100 | acertain_ | (sid470584@hampstead.irccloud.com) (Ping timeout: 246 seconds) |
| 2024-02-19 15:12:53 +0100 | aspen | (sid449115@helmsley.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-02-19 15:12:53 +0100 | rune_ | (sid21167@ilkley.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-02-19 15:12:53 +0100 | ephemient | (uid407513@id-407513.lymington.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-02-19 15:14:01 +0100 | jmct | (sid160793@id-160793.tinside.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-02-19 15:14:13 +0100 | sa1 | (sid7690@ilkley.irccloud.com) (Ping timeout: 246 seconds) |
| 2024-02-19 15:14:22 +0100 | tomjaguarpaw | (~tom@172-104-25-182.ip.linodeusercontent.com) |
| 2024-02-19 15:14:55 +0100 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) (Ping timeout: 246 seconds) |
| 2024-02-19 15:15:09 +0100 | geekosaur | (sid609282@xmonad/geekosaur) (Ping timeout: 256 seconds) |
| 2024-02-19 15:15:34 +0100 | finsternis | (~X@23.226.237.192) |
| 2024-02-19 15:15:35 +0100 | nshepper1 | (~nshepperd@li364-218.members.linode.com) |
| 2024-02-19 15:16:17 +0100 | dumptruckman | (~dumptruck@23-239-13-136.ip.linodeusercontent.com) (Ping timeout: 256 seconds) |
| 2024-02-19 15:16:25 +0100 | lally | (sid388228@id-388228.uxbridge.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-02-19 15:16:31 +0100 | dumptruckman_ | (~dumptruck@23-239-13-136.ip.linodeusercontent.com) |
| 2024-02-19 15:16:56 +0100 | dumptruckman_ | dumptruckman |
| 2024-02-19 15:17:07 +0100 | Fangs | (sid141280@hampstead.irccloud.com) |
| 2024-02-19 15:17:09 +0100 | alinab | (sid468903@helmsley.irccloud.com) |
| 2024-02-19 15:17:31 +0100 | acertain_ | (sid470584@id-470584.hampstead.irccloud.com) |
| 2024-02-19 15:17:33 +0100 | mmhat | (~mmh@p200300f1c7427f76ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-02-19 15:18:17 +0100 | Teacup | (~teacup@user/teacup) (Ping timeout: 260 seconds) |
| 2024-02-19 15:18:23 +0100 | yoo | (~yo0O0o@104.28.226.107) (Ping timeout: 252 seconds) |
| 2024-02-19 15:18:25 +0100 | Boarders___ | (sid425905@id-425905.lymington.irccloud.com) (Ping timeout: 264 seconds) |
| 2024-02-19 15:18:42 +0100 | ephemient | (uid407513@lymington.irccloud.com) |
| 2024-02-19 15:19:04 +0100 | CiaoSen | (~Jura@5.83.180.183) |
| 2024-02-19 15:19:07 +0100 | jonrh | (sid5185@ilkley.irccloud.com) (Ping timeout: 246 seconds) |
| 2024-02-19 15:19:26 +0100 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) |
| 2024-02-19 15:21:02 +0100 | rune_ | (sid21167@ilkley.irccloud.com) |
| 2024-02-19 15:21:13 +0100 | Square3 | (~Square4@user/square) |
| 2024-02-19 15:21:36 +0100 | Teacup | (~teacup@user/teacup) |
| 2024-02-19 15:21:57 +0100 | c_wraith | (~c_wraith@adjoint.us) (Ping timeout: 256 seconds) |
| 2024-02-19 15:22:18 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-02-19 15:22:35 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-02-19 15:22:37 +0100 | alinab | (sid468903@helmsley.irccloud.com) (Ping timeout: 264 seconds) |
| 2024-02-19 15:23:49 +0100 | Fangs | (sid141280@hampstead.irccloud.com) (Ping timeout: 264 seconds) |
| 2024-02-19 15:23:50 +0100 | geekosaur | (sid609282@xmonad/geekosaur) |
| 2024-02-19 15:24:16 +0100 | taktoa[c] | (sid282096@tinside.irccloud.com) |
| 2024-02-19 15:24:41 +0100 | jmct | (sid160793@tinside.irccloud.com) |
| 2024-02-19 15:24:41 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2024-02-19 15:25:17 +0100 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-02-19 15:25:17 +0100 | acertain_ | (sid470584@id-470584.hampstead.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-02-19 15:26:02 +0100 | alinab | (sid468903@helmsley.irccloud.com) |
| 2024-02-19 15:26:13 +0100 | rune_ | (sid21167@ilkley.irccloud.com) (Ping timeout: 264 seconds) |
| 2024-02-19 15:26:13 +0100 | ephemient | (uid407513@lymington.irccloud.com) (Ping timeout: 264 seconds) |
| 2024-02-19 15:26:20 +0100 | hugo | (znc@quicksilver.lysator.liu.se) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-02-19 15:26:33 +0100 | hugo | (znc@quicksilver.lysator.liu.se) |
| 2024-02-19 15:27:25 +0100 | finsternis | (~X@23.226.237.192) (Ping timeout: 264 seconds) |
| 2024-02-19 15:27:52 +0100 | tureba | (~tureba@tureba.org) (Ping timeout: 246 seconds) |
| 2024-02-19 15:28:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-02-19 15:28:22 +0100 | c_wraith | (~c_wraith@adjoint.us) |
| 2024-02-19 15:28:23 +0100 | sa1 | (sid7690@ilkley.irccloud.com) |
| 2024-02-19 15:28:24 +0100 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) |
| 2024-02-19 15:28:30 +0100 | finsternis | (~X@23.226.237.192) |
| 2024-02-19 15:28:39 +0100 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) |
| 2024-02-19 15:28:51 +0100 | aspen | (sid449115@id-449115.helmsley.irccloud.com) |
| 2024-02-19 15:28:52 +0100 | edm | (sid147314@hampstead.irccloud.com) |
| 2024-02-19 15:28:58 +0100 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) |
| 2024-02-19 15:29:05 +0100 | lally | (sid388228@uxbridge.irccloud.com) |
| 2024-02-19 15:29:09 +0100 | Boarders___ | (sid425905@id-425905.lymington.irccloud.com) |
| 2024-02-19 15:29:12 +0100 | ephemient | (uid407513@id-407513.lymington.irccloud.com) |
| 2024-02-19 15:29:44 +0100 | mmhat | (~mmh@p200300f1c7427fa8ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-02-19 15:29:48 +0100 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) |
| 2024-02-19 15:30:14 +0100 | Square | (~Square@user/square) |
| 2024-02-19 15:30:28 +0100 | szkl | (uid110435@uxbridge.irccloud.com) |
| 2024-02-19 15:30:30 +0100 | amir | (sid22336@user/amir) |
| 2024-02-19 15:30:33 +0100 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) |
| 2024-02-19 15:31:12 +0100 | pepeiborra | (sid443799@id-443799.ilkley.irccloud.com) |
| 2024-02-19 15:33:41 +0100 | Square3 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2024-02-19 15:37:57 +0100 | danse-nr3 | (~danse@151.43.183.106) |
| 2024-02-19 15:41:55 +0100 | tureba | (~tureba@tureba.org) |
| 2024-02-19 15:42:45 +0100 | yoo | (~yo0O0o@104.28.194.107) |
| 2024-02-19 15:46:07 +0100 | yoo | (~yo0O0o@104.28.194.107) (Changing host) |
| 2024-02-19 15:46:07 +0100 | yoo | (~yo0O0o@user/mobivme) |
| 2024-02-19 15:46:20 +0100 | todi | (~todi@p4fd1a2f5.dip0.t-ipconnect.de) |
| 2024-02-19 15:49:10 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:eeb6:1c23:49f9:7add) (Ping timeout: 268 seconds) |
| 2024-02-19 15:49:33 +0100 | yoo | (~yo0O0o@user/mobivme) (Max SendQ exceeded) |
| 2024-02-19 15:51:50 +0100 | hamishmack | (sid389057@hampstead.irccloud.com) |
| 2024-02-19 15:52:57 +0100 | yoo | (~yo0O0o@104.28.194.107) |
| 2024-02-19 15:53:49 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 264 seconds) |
| 2024-02-19 15:57:09 +0100 | <cheater> | is there a way where i can take some simple haskell functions (or core) and symbolically "solve for variables"? eg i have f x y = x+y, i know f x y = 2, i know y = 3, solve for x |
| 2024-02-19 15:59:23 +0100 | yoo | (~yo0O0o@104.28.194.107) (Ping timeout: 264 seconds) |
| 2024-02-19 15:59:40 +0100 | yoo | (~yo0O0o@104.28.194.107) |
| 2024-02-19 16:00:07 +0100 | <ncf> | algebra? |
| 2024-02-19 16:00:15 +0100 | <kuribas> | cheater: I wrote a solver that works like metafont. |
| 2024-02-19 16:00:31 +0100 | <kuribas> | https://hackage.haskell.org/package/mfsolve |
| 2024-02-19 16:00:33 +0100 | <cheater> | idk what metafont is |
| 2024-02-19 16:00:39 +0100 | <cheater> | do you know of g2? i just stumbled upon it. |
| 2024-02-19 16:01:05 +0100 | <cheater> | also i'm not just talking about math |
| 2024-02-19 16:01:09 +0100 | <kuribas> | cheater: do you know (La)TeX? |
| 2024-02-19 16:01:15 +0100 | <cheater> | i know of it |
| 2024-02-19 16:01:22 +0100 | <kuribas> | Metafont is the companion app to design fonts by Donald Knuth. |
| 2024-02-19 16:01:29 +0100 | <kuribas> | It has an builtin solver. |
| 2024-02-19 16:01:36 +0100 | <cheater> | so i'm not talking about solving math problems |
| 2024-02-19 16:01:40 +0100 | <cheater> | so i'm talking about stuff like general symbolic execution / manipulation of haskell code |
| 2024-02-19 16:01:59 +0100 | <kuribas> | cheater: that would be intractable in general, no? |
| 2024-02-19 16:02:05 +0100 | <kuribas> | maybe you want to look at prolog... |
| 2024-02-19 16:02:20 +0100 | <cheater> | i'm not talking about the general case. i'm talking about such a case that this is tractable |
| 2024-02-19 16:02:29 +0100 | <kuribas> | And how do you define tractable? |
| 2024-02-19 16:02:53 +0100 | <cheater> | the opposite of what makes you go down the path in this conversation where you start talking about the halting problem which is a conversation that i don't want to have |
| 2024-02-19 16:03:09 +0100 | <kuribas> | good luck with that. |
| 2024-02-19 16:03:22 +0100 | <cheater> | so you're hell bent on mentioning the halting problem, no matter what? |
| 2024-02-19 16:03:47 +0100 | <kuribas> | nope, I asked you to give your definition of "tractable". |
| 2024-02-19 16:03:56 +0100 | <cheater> | it doesn't matter |
| 2024-02-19 16:04:00 +0100 | <kuribas> | It sure does. |
| 2024-02-19 16:04:10 +0100 | <cheater> | ok, can you skip that part of the conversation or bow out? |
| 2024-02-19 16:04:10 +0100 | <kuribas> | If you want a tractable subset, you need to define it. |
| 2024-02-19 16:04:17 +0100 | <cheater> | either or |
| 2024-02-19 16:04:28 +0100 | <cheater> | anyways, what i'm talking about is, say, f x = case x of True -> Blah; False -> Buzz we know f x = Buzz, solve for x. that sort of thing. |
| 2024-02-19 16:04:31 +0100 | acertain_ | (sid470584@id-470584.hampstead.irccloud.com) |
| 2024-02-19 16:05:08 +0100 | <kuribas> | cheater: well, if you don't care about the specifics, then just NO. |
| 2024-02-19 16:05:13 +0100 | <cheater> | ok homie |
| 2024-02-19 16:05:34 +0100 | <cheater> | so anyways, i wonder if ghc, when compiling, has a nice intermediate representation where symbolic manipulation is ergonomic |
| 2024-02-19 16:05:38 +0100 | beanmachine | (bm380@pip.srcf.societies.cam.ac.uk) (Ping timeout: 256 seconds) |
| 2024-02-19 16:06:44 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2024-02-19 16:07:03 +0100 | <kuribas> | cheater: why would it? |
| 2024-02-19 16:07:23 +0100 | <cheater> | plz don't make me put you on ignore |
| 2024-02-19 16:07:32 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-02-19 16:07:40 +0100 | <kuribas> | fell free :) |
| 2024-02-19 16:07:45 +0100 | <kuribas> | feel free :) |
| 2024-02-19 16:08:17 +0100 | <kuribas> | "I want magic". "Magic doesn't exist". "I hate you" :-) |
| 2024-02-19 16:08:26 +0100 | <cheater> | jesus fuck dude no one wants to listen to this |
| 2024-02-19 16:09:32 +0100 | <danse-nr3> | "jesus fuck" is new to me |
| 2024-02-19 16:09:59 +0100 | <ncf> | it's a nickname. his full name is jesus fucking christ |
| 2024-02-19 16:10:04 +0100 | <cheater> | ^ |
| 2024-02-19 16:10:43 +0100 | <ncf> | are you looking for template haskell? |
| 2024-02-19 16:10:48 +0100 | <int-e> | Hmm, can SBV produce witnesses for existential statements? |
| 2024-02-19 16:11:16 +0100 | <cheater> | ncf, hmm... i don't think TH can take a function that is defined outside of a $(), right? |
| 2024-02-19 16:11:17 +0100 | <int-e> | In any case that's something that might just be magical enough. |
| 2024-02-19 16:11:19 +0100 | benmachine | (bm380@pip.srcf.societies.cam.ac.uk) |
| 2024-02-19 16:11:39 +0100 | <kuribas> | int-e: no, because he wants it to work on "any" haskell code. |
| 2024-02-19 16:11:59 +0100 | <cheater> | plz don't talk for me |
| 2024-02-19 16:12:00 +0100 | <int-e> | Well obviously it won't ever be more than a best effort. |
| 2024-02-19 16:12:08 +0100 | <cheater> | right int-e |
| 2024-02-19 16:12:36 +0100 | <int-e> | (blah Rice blah) |
| 2024-02-19 16:13:07 +0100 | <ncf> | henry gordon fucking rice |
| 2024-02-19 16:13:14 +0100 | <cheater> | say my name |
| 2024-02-19 16:13:25 +0100 | <cheater> | say. my. name. |
| 2024-02-19 16:13:43 +0100 | deriamis | (deriamis@2600:1f14:1251:ba02:2994:f9dc:75a8:113b) (Ping timeout: 246 seconds) |
| 2024-02-19 16:14:10 +0100 | <kuribas> | All solvers are "magic", but no solver can solve all equations. |
| 2024-02-19 16:14:23 +0100 | <cheater> | we've moved on |
| 2024-02-19 16:14:36 +0100 | <cheater> | settle down, Old Yeller |
| 2024-02-19 16:14:56 +0100 | <cheater> | int-e: so i'm not even thinking about the problem of handling a recursive function (even if it provably terminates)... |
| 2024-02-19 16:15:35 +0100 | deriamis | (deriamis@ec2-54-187-167-69.us-west-2.compute.amazonaws.com) |
| 2024-02-19 16:17:55 +0100 | <cheater> | int-e: have you seen my recent article? |
| 2024-02-19 16:18:19 +0100 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2024-02-19 16:19:05 +0100 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-02-19 16:20:26 +0100 | <cheater> | this is me thinking about the last part |
| 2024-02-19 16:24:33 +0100 | <int-e> | A glance later... SBV does produce (counter-)examples. So it should work for the initial example above. |
| 2024-02-19 16:24:58 +0100 | <kuribas> | But SBV could not solve any arbitrary function, could it? |
| 2024-02-19 16:25:18 +0100 | <kuribas> | Looks more like prolog to me, btw. |
| 2024-02-19 16:25:53 +0100 | <kuribas> | Because you would need the inverse of other functions as well, like string functions for example. |
| 2024-02-19 16:26:43 +0100 | <kuribas> | The problem is BS, as is cheater's attitude. |
| 2024-02-19 16:27:10 +0100 | <kuribas> | Even prolog doesn't provide inverses for all functions. |
| 2024-02-19 16:27:26 +0100 | <cheater> | you've been told multiple times it's not about "all functions". stop trolling. |
| 2024-02-19 16:27:31 +0100 | <int-e> | The problem is reasonable if you temper your expectations. |
| 2024-02-19 16:27:46 +0100 | <cheater> | that guy's just baiting, don't feed it |
| 2024-02-19 16:27:58 +0100 | <int-e> | glass houses... |
| 2024-02-19 16:28:23 +0100 | <kuribas> | int-e: but you need a well specified subset. |
| 2024-02-19 16:28:37 +0100 | <kuribas> | "<kuribas> If you want a tractable subset, you need to define it." |
| 2024-02-19 16:28:41 +0100 | <int-e> | that depends on what you want |
| 2024-02-19 16:30:13 +0100 | <kuribas> | I have no clue what cheater wants, other that insulting people who are trying to help? |
| 2024-02-19 16:30:19 +0100 | <int-e> | SMT solvers tend to have decidable fragments and best effort fragments where some problems will be solved and other will result in "unknown" (or fail to terminate if you do this without a timeout). And they're of practical use. |
| 2024-02-19 16:30:53 +0100 | <cheater> | kuribas: maybe troll less and you'll get better outcomes from people |
| 2024-02-19 16:30:55 +0100 | <int-e> | kuribas: You're making rigid assumptions about requirements that may not exist. Cheater is exploding at the lightest hint of a spark. |
| 2024-02-19 16:31:07 +0100 | <int-e> | It's a perfect match. (Match, get it...) |
| 2024-02-19 16:31:07 +0100 | <kuribas> | right :) |
| 2024-02-19 16:31:22 +0100 | <cheater> | i'd say several screens worth of NO BUT YOU HAVE TO DO THIS MY WAY is not the lightest hint of a spark |
| 2024-02-19 16:32:57 +0100 | benmachine | (bm380@pip.srcf.societies.cam.ac.uk) (Ping timeout: 260 seconds) |
| 2024-02-19 16:33:29 +0100 | <kuribas> | Anyway, I still think logic programming is the closest thing to what he wants... |
| 2024-02-19 16:33:42 +0100 | benmachine | (bm380@pip.srcf.societies.cam.ac.uk) |
| 2024-02-19 16:34:08 +0100 | <kuribas> | Not sure if there are logic programming languages that include symbolic or numeric solvers... |
| 2024-02-19 16:34:39 +0100 | <kuribas> | maybe this? http://www.staff.city.ac.uk/~jacob/solver/ |
| 2024-02-19 16:35:45 +0100 | <int-e> | kuribas: s/logic programming/constraint solving/ and SMT solvers are the generic tools in that area. |
| 2024-02-19 16:37:16 +0100 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2024-02-19 16:37:37 +0100 | <kuribas> | Perhaps "curry" needs to be mentioned, since it marries haskell and prolog. |
| 2024-02-19 16:39:05 +0100 | <kuribas> | It has a SAT solver: https://cpm.curry-lang.org/pkgs/clpfd-smt.html |
| 2024-02-19 16:39:09 +0100 | benmachine | (bm380@pip.srcf.societies.cam.ac.uk) (Ping timeout: 255 seconds) |
| 2024-02-19 16:41:17 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-19 16:43:49 +0100 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) (Ping timeout: 246 seconds) |
| 2024-02-19 16:44:25 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-02-19 16:44:41 +0100 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-02-19 16:46:27 +0100 | duncan | (c6181279e3@user/duncan) (Remote host closed the connection) |
| 2024-02-19 16:46:36 +0100 | duncan | (c6181279e3@user/duncan) |
| 2024-02-19 16:47:54 +0100 | ak-1 | (~ak-1@ip-037-201-198-027.um10.pools.vodafone-ip.de) |
| 2024-02-19 16:48:01 +0100 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (Ping timeout: 246 seconds) |
| 2024-02-19 16:48:16 +0100 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) |
| 2024-02-19 16:48:25 +0100 | taktoa[c] | (sid282096@tinside.irccloud.com) (Ping timeout: 264 seconds) |
| 2024-02-19 16:48:33 +0100 | ak-1 | (~ak-1@ip-037-201-198-027.um10.pools.vodafone-ip.de) (Client Quit) |
| 2024-02-19 16:48:39 +0100 | NemesisD | (sid24071@lymington.irccloud.com) |
| 2024-02-19 16:48:43 +0100 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) |
| 2024-02-19 16:49:13 +0100 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-02-19 16:49:13 +0100 | sa1 | (sid7690@ilkley.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-02-19 16:52:35 +0100 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) |
| 2024-02-19 16:52:51 +0100 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) |
| 2024-02-19 16:52:51 +0100 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) |
| 2024-02-19 16:53:56 +0100 | danse-nr3 | (~danse@151.43.183.106) (Ping timeout: 268 seconds) |
| 2024-02-19 16:54:43 +0100 | benmachine | (bm380@pip.srcf.societies.cam.ac.uk) |
| 2024-02-19 16:54:48 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-02-19 16:57:29 +0100 | danse-nr3 | (~danse@151.43.183.106) |
| 2024-02-19 17:00:54 +0100 | phma_ | phma |
| 2024-02-19 17:04:39 +0100 | yoo | (~yo0O0o@104.28.194.107) (Ping timeout: 256 seconds) |
| 2024-02-19 17:04:49 +0100 | <kuribas> | int-e: wait, did you just make a triple word-play? |
| 2024-02-19 17:07:26 +0100 | <int-e> | triple? not intentionally, no |
| 2024-02-19 17:08:51 +0100 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-02-19 17:08:51 +0100 | <cheater> | int-e: check out the link i've sent you if you'd like to |
| 2024-02-19 17:09:00 +0100 | <cheater> | i'm out for a bit |
| 2024-02-19 17:11:26 +0100 | <kuribas> | int-e: match (1. a stick to light fire 2. to bring together 3. haskell keyword) :) |
| 2024-02-19 17:12:41 +0100 | int-e | has doubts about 3 (it's a luggage language, I mean trunk, err, case) |
| 2024-02-19 17:13:13 +0100 | int-e | missed the opportunity to sneak "cargo" in there. |
| 2024-02-19 17:13:40 +0100 | kuribas | is doing to much Python... |
| 2024-02-19 17:14:44 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-02-19 17:20:40 +0100 | <kuribas> | clojure as well... |
| 2024-02-19 17:24:18 +0100 | <int-e> | Eh, "match" is populat. You can add ML dialects and Rust. |
| 2024-02-19 17:24:18 +0100 | <int-e> | *popular* |
| 2024-02-19 17:24:47 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-02-19 17:25:29 +0100 | oo_miguel1 | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-02-19 17:27:15 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-02-19 17:27:16 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 264 seconds) |
| 2024-02-19 17:27:16 +0100 | oo_miguel1 | oo_miguel |
| 2024-02-19 17:28:27 +0100 | CiaoSen | (~Jura@5.83.180.183) (Ping timeout: 268 seconds) |
| 2024-02-19 17:35:06 +0100 | Jackneill | (~Jackneill@20014C4E1E054000F26AF8BFB0516A57.dsl.pool.telekom.hu) |
| 2024-02-19 17:35:29 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-02-19 17:44:50 +0100 | zetef | (~quassel@2a02:2f00:5208:300:2eac:56a:f29c:cb5b) |
| 2024-02-19 17:44:52 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-02-19 17:48:07 +0100 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-19 17:50:56 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-02-19 18:01:11 +0100 | riatre | (~quassel@2001:310:6000:f::5198:1) (Ping timeout: 256 seconds) |
| 2024-02-19 18:01:33 +0100 | riatre | (~quassel@2001:310:6000:f::5198:1) |
| 2024-02-19 18:01:37 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-02-19 18:02:05 +0100 | Guest72 | (~Guest72@pool-108-41-26-240.nycmny.fios.verizon.net) |
| 2024-02-19 18:02:13 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Ping timeout: 246 seconds) |
| 2024-02-19 18:02:33 +0100 | NemesisD | (sid24071@lymington.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-02-19 18:03:19 +0100 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) |
| 2024-02-19 18:04:13 +0100 | szkl | (uid110435@uxbridge.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-02-19 18:05:28 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-02-19 18:07:44 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3340-d5a1-391f-e8e6-baa3-2142.rev.sfr.net) (Remote host closed the connection) |
| 2024-02-19 18:07:44 +0100 | Pixi | (~Pixi@user/pixi) |
| 2024-02-19 18:09:09 +0100 | husshpuppy | (~franky@user/husshpuppy) (Ping timeout: 268 seconds) |
| 2024-02-19 18:09:44 +0100 | szkl | (uid110435@uxbridge.irccloud.com) |
| 2024-02-19 18:11:18 +0100 | Guest72 | (~Guest72@pool-108-41-26-240.nycmny.fios.verizon.net) (Quit: Client closed) |
| 2024-02-19 18:15:24 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-02-19 18:18:25 +0100 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-02-19 18:19:19 +0100 | pepeiborra | (sid443799@id-443799.ilkley.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-02-19 18:19:31 +0100 | pepeiborra | (sid443799@id-443799.ilkley.irccloud.com) |
| 2024-02-19 18:19:52 +0100 | Pixi` | (~Pixi@user/pixi) |
| 2024-02-19 18:20:42 +0100 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) |
| 2024-02-19 18:21:01 +0100 | edwardk | (sid47016@haskell/developer/edwardk) (Ping timeout: 256 seconds) |
| 2024-02-19 18:21:53 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-19 18:22:51 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 256 seconds) |
| 2024-02-19 18:23:17 +0100 | danse-nr3 | (~danse@151.43.183.106) (Read error: Connection reset by peer) |
| 2024-02-19 18:23:24 +0100 | edwardk | (sid47016@haskell/developer/edwardk) |
| 2024-02-19 18:23:30 +0100 | danse-nr3 | (~danse@151.57.214.93) |
| 2024-02-19 18:24:56 +0100 | Pixi | (~Pixi@user/pixi) |
| 2024-02-19 18:25:11 +0100 | edm | (sid147314@hampstead.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-02-19 18:25:19 +0100 | d99bie | (~r2@37.19.205.206) |
| 2024-02-19 18:26:21 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-02-19 18:26:49 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-02-19 18:26:54 +0100 | Pixi__ | (~Pixi@user/pixi) |
| 2024-02-19 18:27:45 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 260 seconds) |
| 2024-02-19 18:28:16 +0100 | Pixi` | (~Pixi@user/pixi) (Ping timeout: 268 seconds) |
| 2024-02-19 18:28:55 +0100 | Pixi` | (~Pixi@user/pixi) |
| 2024-02-19 18:30:44 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 268 seconds) |
| 2024-02-19 18:32:35 +0100 | meinside | (uid24933@helmsley.irccloud.com) |
| 2024-02-19 18:33:10 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-02-19 18:33:12 +0100 | Pixi__ | (~Pixi@user/pixi) (Ping timeout: 268 seconds) |
| 2024-02-19 18:33:31 +0100 | <monochrom> | (Belated) Oh great, now "how do I solve equations?" bleeds into #haskell too. >:) |
| 2024-02-19 18:37:18 +0100 | average | (uid473595@user/average) |
| 2024-02-19 18:37:43 +0100 | <monochrom> | (I am OK with "I don't need the generality that runs into the halting problem". But "I just need what doesn't run into the halting problem" is not helpful either.) |
| 2024-02-19 18:37:58 +0100 | <monochrom> | (That's right, questions and askers need to be helpful, too.) |
| 2024-02-19 18:39:50 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-02-19 18:40:17 +0100 | gehmehgeh | gmg |
| 2024-02-19 18:40:21 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-02-19 18:40:56 +0100 | euleritian | (~euleritia@dynamic-176-006-186-237.176.6.pool.telefonica.de) |
| 2024-02-19 18:42:00 +0100 | edm | (sid147314@id-147314.hampstead.irccloud.com) |
| 2024-02-19 18:42:35 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-19 18:43:01 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2024-02-19 18:43:42 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-19 18:45:37 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) (Ping timeout: 255 seconds) |
| 2024-02-19 18:51:24 +0100 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2024-02-19 18:51:38 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 2024-02-19 18:54:10 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2024-02-19 18:56:09 +0100 | johnw | (~johnw@69.62.242.138) |
| 2024-02-19 19:01:13 +0100 | d99bie | k99k |
| 2024-02-19 19:01:49 +0100 | danse-nr3 | (~danse@151.57.214.93) (Ping timeout: 256 seconds) |
| 2024-02-19 19:06:20 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-02-19 19:06:38 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-02-19 19:08:44 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-19 19:09:34 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-19 19:09:45 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-19 19:11:47 +0100 | EvanR | (~EvanR@user/evanr) |
| 2024-02-19 19:14:53 +0100 | benmachine | (bm380@pip.srcf.societies.cam.ac.uk) (Ping timeout: 272 seconds) |
| 2024-02-19 19:16:41 +0100 | <cheater> | yeah i mean i just wanted to have an informal conversation, i don't need someone insisting on an in-depth halting problem lecture 25 years after i first heard about it |
| 2024-02-19 19:16:42 +0100 | target_i | (~target_i@217.175.14.39) |
| 2024-02-19 19:18:43 +0100 | Pixi` | Pixi |
| 2024-02-19 19:19:56 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-02-19 19:20:27 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-02-19 19:22:11 +0100 | k99k | (~r2@37.19.205.206) (Ping timeout: 264 seconds) |
| 2024-02-19 19:22:47 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-02-19 19:24:38 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-02-19 19:25:01 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-02-19 19:25:42 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-02-19 19:30:48 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-19 19:30:53 +0100 | dodoyada | (~dodoyada@pool-71-178-11-160.washdc.fios.verizon.net) (Quit: Client closed) |
| 2024-02-19 19:35:35 +0100 | benmachine | (bm380@pip.srcf.societies.cam.ac.uk) |
| 2024-02-19 19:36:12 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-02-19 19:38:51 +0100 | <carter> | @cheater your Reddit post has some fun open ended aspirations. |
| 2024-02-19 19:38:51 +0100 | <lambdabot> | Unknown command, try @list |
| 2024-02-19 19:39:28 +0100 | <cheater> | ty carter |
| 2024-02-19 19:40:36 +0100 | <carter> | Not sure if they’re viable / tractable but that’s a different issue. Certainly some would require a totally different language impl or foundation. But that’s a different thing. Articulating fuzzy ideas well enough that they can be understood by others is hard |
| 2024-02-19 19:40:55 +0100 | <carter> | I feel like I’ve been failing at that for more than a decade |
| 2024-02-19 19:41:53 +0100 | todi | (~todi@p4fd1a2f5.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2024-02-19 19:42:30 +0100 | dodoyada | (~dodoyada@pool-71-178-11-160.washdc.fios.verizon.net) |
| 2024-02-19 19:44:37 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) |
| 2024-02-19 19:46:55 +0100 | <carter> | I do think that some forms of program synthesis are just automated theorem proving. |
| 2024-02-19 19:49:48 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-02-19 19:58:58 +0100 | systemhalted | (~systemhal@130.51.137.77) |
| 2024-02-19 20:03:23 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-02-19 20:03:41 +0100 | systemhalted | (~systemhal@130.51.137.77) (Ping timeout: 240 seconds) |
| 2024-02-19 20:04:01 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-02-19 20:04:09 +0100 | benmachine | (bm380@pip.srcf.societies.cam.ac.uk) (Ping timeout: 256 seconds) |
| 2024-02-19 20:04:17 +0100 | benmachine | (bm380@pip.srcf.societies.cam.ac.uk) |
| 2024-02-19 20:07:25 +0100 | <cheater> | well, if you have some ideas that you think are good, it's worth putting them out there, even if they seem impossible. |
| 2024-02-19 20:07:34 +0100 | <cheater> | maybe they're very easy, just not from your point of view. |
| 2024-02-19 20:11:12 +0100 | pavonia | (~user@user/siracusa) |
| 2024-02-19 20:12:09 +0100 | dfg | (~dfg@user/dfg) (Quit: I hate quit messages.) |
| 2024-02-19 20:13:17 +0100 | dfg | (~dfg@dfg.rocks) |
| 2024-02-19 20:13:17 +0100 | dfg | (~dfg@dfg.rocks) (Changing host) |
| 2024-02-19 20:13:17 +0100 | dfg | (~dfg@user/dfg) |
| 2024-02-19 20:13:29 +0100 | dfg | (~dfg@user/dfg) (Remote host closed the connection) |
| 2024-02-19 20:14:37 +0100 | dfg | (~dfg@user/dfg) |
| 2024-02-19 20:19:26 +0100 | dfg | (~dfg@user/dfg) (Client Quit) |
| 2024-02-19 20:27:26 +0100 | dfg | (~dfg@user/dfg) |
| 2024-02-19 20:29:17 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-02-19 20:29:20 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-19 20:30:35 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-02-19 20:38:28 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-02-19 20:38:55 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-02-19 20:43:30 +0100 | ph88 | (~ph88@91.64.63.48) |
| 2024-02-19 20:44:23 +0100 | ft | (~ft@p508db2e6.dip0.t-ipconnect.de) |
| 2024-02-19 20:44:31 +0100 | <carter> | Cheater: I may roll out my own analogue to Haskell / agda/ idris in the next year or two. Most of the ideas are pretty simple but getting folks to understand why they matter is hard |
| 2024-02-19 20:44:59 +0100 | <cheater> | do you think i did a bad job at making people understand why my ideas matter? |
| 2024-02-19 20:48:24 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-02-19 20:52:16 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-02-19 20:52:38 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-02-19 20:56:04 +0100 | euleritian | (~euleritia@dynamic-176-006-186-237.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-19 20:56:23 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-02-19 20:58:17 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-02-19 20:58:50 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-02-19 21:13:09 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-02-19 21:13:51 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-02-19 21:14:04 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-02-19 21:22:10 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 268 seconds) |
| 2024-02-19 21:22:22 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-02-19 21:23:10 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-02-19 21:26:24 +0100 | <probie> | cheater: What are your ideas? |
| 2024-02-19 21:27:17 +0100 | <cheater> | check msg |
| 2024-02-19 21:34:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-19 21:35:31 +0100 | <probie> | % :doc reverse |
| 2024-02-19 21:35:32 +0100 | <yahb2> | reverse :: forall a. [a] -> [a] ; -- Identifier defined in ‘GHC.List’ ; 'reverse' @xs@ returns the elements of @xs@ in reverse order. ; @xs@ must be finite. ; ; >>> reverse [] ; [] ; >>> r... |
| 2024-02-19 21:35:41 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-19 21:36:04 +0100 | <cheater> | yeah that's one i preached for so long that i didn't notice when it got implemented lol |
| 2024-02-19 21:36:17 +0100 | <cheater> | but i really want a formatted display instead of like a simple output like that |
| 2024-02-19 21:36:30 +0100 | <cheater> | with bold, underline, that sort of thing |
| 2024-02-19 21:36:37 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-02-19 21:36:51 +0100 | <mauke> | > dog reverse |
| 2024-02-19 21:36:53 +0100 | <lambdabot> | god |
| 2024-02-19 21:37:06 +0100 | <ncf> | > dog id |
| 2024-02-19 21:37:07 +0100 | <lambdabot> | dog |
| 2024-02-19 21:37:24 +0100 | <ncf> | :t dog |
| 2024-02-19 21:37:26 +0100 | <lambdabot> | ([Char] -> String) -> Expr |
| 2024-02-19 21:37:26 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-19 21:45:52 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-02-19 21:46:04 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 2024-02-19 21:48:52 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2024-02-19 21:55:13 +0100 | CiaoSen | (~Jura@2a05:5800:2d5:3400:e6b9:7aff:fe80:3d03) |
| 2024-02-19 22:07:38 +0100 | _ht | (~Thunderbi@82.174.52.28) (Remote host closed the connection) |
| 2024-02-19 22:11:20 +0100 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-19 22:11:44 +0100 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-02-19 22:16:27 +0100 | qqq_ | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-02-19 22:29:43 +0100 | jargon | (~jargon@157.sub-174-205-162.myvzw.com) |
| 2024-02-19 22:33:00 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2024-02-19 22:48:29 +0100 | masterbuilder_ | (~quassel@user/masterbuilder) (Ping timeout: 240 seconds) |
| 2024-02-19 22:49:39 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-02-19 22:49:55 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-02-19 22:52:48 +0100 | mmhat | (~mmh@p200300f1c7427fa8ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1) |
| 2024-02-19 22:52:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-19 22:53:46 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2024-02-19 22:56:47 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-19 23:02:05 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-02-19 23:03:59 +0100 | thegeekinside | (~thegeekin@189.217.83.221) |
| 2024-02-19 23:08:22 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-02-19 23:08:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-19 23:10:42 +0100 | <carter> | cheater: I think when I skimmed the link from Reddit I naively thought you were saying these would all be nice in ghc. Rather than addressing the architectural implications of each feature and how they may need a different foundation |
| 2024-02-19 23:14:27 +0100 | michalz | (~michalz@185.246.207.205) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-19 23:15:24 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-02-19 23:29:24 +0100 | willsewell | (~willsewel@185.195.232.153) |
| 2024-02-19 23:31:48 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-02-19 23:32:45 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-19 23:34:44 +0100 | d0liver | (~d0liver@ip70-191-97-164.tu.ok.cox.net) (Quit: Ping timeout (120 seconds)) |
| 2024-02-19 23:35:00 +0100 | canta | (~canta@user/canta) |
| 2024-02-19 23:39:25 +0100 | willsewell | (~willsewel@185.195.232.153) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-02-19 23:40:42 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-02-19 23:41:21 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-02-19 23:41:40 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-02-19 23:49:01 +0100 | zetef | (~quassel@2a02:2f00:5208:300:2eac:56a:f29c:cb5b) (Read error: Connection reset by peer) |
| 2024-02-19 23:51:44 +0100 | Square | (~Square@user/square) |
| 2024-02-19 23:57:53 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-02-19 23:58:08 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-02-19 23:59:40 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |