2024-04-04 00:02:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-04 00:06:35 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-04-04 00:06:44 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-04-04 00:07:13 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
2024-04-04 00:07:20 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
2024-04-04 00:09:44 +0200 | jinsun | (~jinsun@user/jinsun) |
2024-04-04 00:11:41 +0200 | sadie_ | (~sadie@c-76-155-235-153.hsd1.co.comcast.net) |
2024-04-04 00:12:54 +0200 | lennart2 | (~lennart@user/poxel) (Quit: WeeChat 4.2.1) |
2024-04-04 00:12:57 +0200 | imdoor | (~imdoor@balticom-142-78-50.balticom.lv) (Remote host closed the connection) |
2024-04-04 00:13:15 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
2024-04-04 00:17:03 +0200 | wagle | (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-04-04 00:17:55 +0200 | wagle | (~wagle@quassel.wagle.io) |
2024-04-04 00:19:50 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
2024-04-04 00:24:11 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 260 seconds) |
2024-04-04 00:24:46 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
2024-04-04 00:25:23 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-04-04 00:26:24 +0200 | destituion | (~destituio@2a02:2121:655:c95b:1cb8:4c97:379e:c002) (Ping timeout: 255 seconds) |
2024-04-04 00:27:39 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-04-04 00:29:06 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-04-04 00:29:33 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-04-04 00:35:07 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
2024-04-04 00:36:37 +0200 | ncf | (~n@monade.li) |
2024-04-04 00:42:47 +0200 | yin | (~yin@user/zero) |
2024-04-04 00:47:59 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
2024-04-04 00:49:17 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-04-04 00:50:18 +0200 | <yin> | ski: in which situation would that be useful? |
2024-04-04 00:50:47 +0200 | <yin> | > let f () = () :: () in f () -- this is fine |
2024-04-04 00:50:49 +0200 | <lambdabot> | () |
2024-04-04 00:54:28 +0200 | <geekosaur> | > let (f :: () -> ()) () = () in f () |
2024-04-04 00:54:29 +0200 | <lambdabot> | <hint>:1:5: error: Parse error in pattern: (f :: () -> ()) |
2024-04-04 00:54:45 +0200 | <geekosaur> | % let (f :: () -> ()) () = () in f () |
2024-04-04 00:54:45 +0200 | <yahb2> | <interactive>:11:5: error: Parse error in pattern: (f :: () -> ()) |
2024-04-04 00:56:50 +0200 | <yin> | i get it now |
2024-04-04 00:58:19 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc075d386e51cb9e2114.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2024-04-04 00:59:38 +0200 | <yin> | but i'm glad that's not valid |
2024-04-04 01:10:18 +0200 | gdown | (~gavin@h69-11-149-109.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
2024-04-04 01:10:50 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
2024-04-04 01:24:38 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-04-04 01:25:18 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-04-04 01:26:04 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
2024-04-04 01:26:16 +0200 | yin | (~yin@user/zero) (Ping timeout: 255 seconds) |
2024-04-04 01:28:06 +0200 | yin | (~yin@user/zero) |
2024-04-04 01:35:21 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-04-04 01:39:31 +0200 | sadie_ | (~sadie@c-76-155-235-153.hsd1.co.comcast.net) (Remote host closed the connection) |
2024-04-04 01:49:19 +0200 | ftweedal | (~ftweedal@211.30.152.176) (Ping timeout: 256 seconds) |
2024-04-04 01:49:35 +0200 | ftweedal | (~ftweedal@211.30.152.176) |
2024-04-04 01:57:15 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-04-04 01:57:27 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-04-04 02:04:46 +0200 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
2024-04-04 02:06:22 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
2024-04-04 02:09:38 +0200 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds) |
2024-04-04 02:11:25 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-04-04 02:43:43 +0200 | ftweedal | (~ftweedal@211.30.152.176) (Ping timeout: 260 seconds) |
2024-04-04 02:53:31 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
2024-04-04 03:03:52 +0200 | vnogueira | (~vnogueira@user/vnogueira) |
2024-04-04 03:04:33 +0200 | vnogueira_ | (~vnogueira@user/vnogueira) (Remote host closed the connection) |
2024-04-04 03:07:26 +0200 | seedse | (~seedse@097-086-001-048.res.spectrum.com) |
2024-04-04 03:08:03 +0200 | seedse | (~seedse@097-086-001-048.res.spectrum.com) (Remote host closed the connection) |
2024-04-04 03:13:30 +0200 | vnogueira | (~vnogueira@user/vnogueira) (Remote host closed the connection) |
2024-04-04 03:13:53 +0200 | vnogueira | (~vnogueira@user/vnogueira) |
2024-04-04 03:19:18 +0200 | benjaminl_ | (~benjaminl@2601:1c0:8480:d580:223:24ff:fe66:4370) (Remote host closed the connection) |
2024-04-04 03:20:57 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
2024-04-04 03:21:47 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
2024-04-04 03:26:45 +0200 | vnogueira | (~vnogueira@user/vnogueira) (Remote host closed the connection) |
2024-04-04 03:27:46 +0200 | vnogueira | (~vnogueira@user/vnogueira) |
2024-04-04 03:38:38 +0200 | prasad | (~prasad_ma@2601:243:c001:3f07::54) |
2024-04-04 03:40:04 +0200 | vnogueira | (~vnogueira@user/vnogueira) (Remote host closed the connection) |
2024-04-04 03:40:21 +0200 | vnogueira | (~vnogueira@user/vnogueira) |
2024-04-04 03:41:00 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3809:61b7:11ea:a261) (Ping timeout: 256 seconds) |
2024-04-04 03:47:23 +0200 | otto_s | (~user@p5de2f32b.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
2024-04-04 03:48:56 +0200 | otto_s | (~user@p5de2fc81.dip0.t-ipconnect.de) |
2024-04-04 03:58:40 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-04-04 04:03:03 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
2024-04-04 04:13:32 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-04-04 04:17:52 +0200 | bilegeek | (~bilegeek@2600:1008:b094:4010:8da6:3702:2f00:6014) (Quit: Leaving) |
2024-04-04 04:25:55 +0200 | pavonia | (~user@user/siracusa) |
2024-04-04 04:26:40 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-04-04 04:27:15 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-04-04 04:31:45 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
2024-04-04 04:31:46 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-04-04 04:41:21 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat) |
2024-04-04 04:47:07 +0200 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Remote host closed the connection) |
2024-04-04 04:48:43 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-04-04 04:51:41 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-04-04 04:54:07 +0200 | mei | (~mei@user/mei) |
2024-04-04 04:55:16 +0200 | ftweedal | (~ftweedal@211.30.152.176) |
2024-04-04 04:59:16 +0200 | td_ | (~td@i53870927.versanet.de) (Ping timeout: 260 seconds) |
2024-04-04 05:01:02 +0200 | td_ | (~td@i53870905.versanet.de) |
2024-04-04 05:17:56 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
2024-04-04 05:21:48 +0200 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Read error: Connection reset by peer) |
2024-04-04 05:24:56 +0200 | ftweedal | (~ftweedal@211.30.152.176) (Ping timeout: 260 seconds) |
2024-04-04 05:25:00 +0200 | sadie_ | (~sadie@c-76-155-235-153.hsd1.co.comcast.net) |
2024-04-04 05:26:22 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc4:5e00:b48c:6599:621f:9f88) |
2024-04-04 05:28:00 +0200 | aforemny | (~aforemny@i59F516CD.versanet.de) (Ping timeout: 268 seconds) |
2024-04-04 05:28:26 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) |
2024-04-04 05:29:48 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-04-04 05:30:35 +0200 | ftweedal | (~ftweedal@211.30.152.176) |
2024-04-04 05:32:26 +0200 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
2024-04-04 05:36:49 +0200 | simpleauthority | (~simpleaut@user/simpleauthority) (Leaving) |
2024-04-04 05:40:57 +0200 | ftweedal | (~ftweedal@211.30.152.176) (Ping timeout: 268 seconds) |
2024-04-04 05:44:17 +0200 | hapisnake | (~hapisnake@120.138.12.158) |
2024-04-04 05:45:58 +0200 | hapisnake | (~hapisnake@120.138.12.158) (Client Quit) |
2024-04-04 05:52:26 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-04-04 05:55:29 +0200 | dolio | (~dolio@130.44.134.54) |
2024-04-04 05:59:52 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2024-04-04 06:08:59 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
2024-04-04 06:10:41 +0200 | michalz | (~michalz@185.246.207.201) |
2024-04-04 06:10:55 +0200 | ftweedal | (~ftweedal@211.30.152.176) |
2024-04-04 06:29:23 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-04-04 06:30:01 +0200 | ftweedal | (~ftweedal@211.30.152.176) (Ping timeout: 255 seconds) |
2024-04-04 06:32:27 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-04-04 06:53:16 +0200 | igemnace | (~ian@user/igemnace) |
2024-04-04 07:05:00 +0200 | <cheater> | If you want a picture of the future, imagine a parser stamping on a human face— forever |
2024-04-04 07:13:58 +0200 | zetef | (~quassel@5.2.182.99) |
2024-04-04 07:15:59 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-04-04 07:17:22 +0200 | <monochrom> | That would require the human body to never decay, which would be unrealistic. |
2024-04-04 07:23:54 +0200 | <EvanR> | just make the human body out of protons which don't decay |
2024-04-04 07:24:02 +0200 | <EvanR> | as far as anyone knows |
2024-04-04 07:24:14 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 252 seconds) |
2024-04-04 07:29:47 +0200 | cyphase | (~cyphase@user/cyphase) |
2024-04-04 07:32:41 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
2024-04-04 07:40:19 +0200 | Guest35 | (~textual@188.177.17.196) |
2024-04-04 07:46:46 +0200 | zetef | (~quassel@5.2.182.99) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-04-04 07:47:28 +0200 | zetef | (~quassel@5.2.182.99) |
2024-04-04 07:49:18 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-04-04 07:52:07 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 272 seconds) |
2024-04-04 07:54:43 +0200 | Lycurgus | (~georg@user/Lycurgus) |
2024-04-04 07:55:01 +0200 | caconym | (~caconym@user/caconym) |
2024-04-04 07:55:23 +0200 | <Lycurgus> | CT in Context must be pretty good, super effusive reviews |
2024-04-04 07:55:27 +0200 | caconym | (~caconym@user/caconym) (Client Quit) |
2024-04-04 07:56:03 +0200 | Guest35 | (~textual@188.177.17.196) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2024-04-04 07:58:28 +0200 | caconym | (~caconym@user/caconym) |
2024-04-04 07:58:37 +0200 | Guest35 | (~textual@188.177.17.196) |
2024-04-04 07:59:15 +0200 | Guest35 | (~textual@188.177.17.196) (Client Quit) |
2024-04-04 08:00:04 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-04-04 08:09:45 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-04-04 08:11:31 +0200 | danza | (~francesco@151.43.131.71) |
2024-04-04 08:14:30 +0200 | Pixi` | (~Pixi@user/pixi) (Quit: Leaving) |
2024-04-04 08:14:40 +0200 | dtman34 | (~dtman34@2601:447:d001:ed50:252c:94d5:c186:e071) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
2024-04-04 08:15:02 +0200 | dtman34 | (~dtman34@c-75-72-163-222.hsd1.mn.comcast.net) |
2024-04-04 08:16:16 +0200 | Pixi | (~Pixi@user/pixi) |
2024-04-04 08:27:28 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-49-67-70-103-21.dsl.bell.ca) (Ping timeout: 255 seconds) |
2024-04-04 08:31:15 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc57ec96801fcefcf5b5.dip0.t-ipconnect.de) |
2024-04-04 08:31:58 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-04-04 08:33:01 +0200 | destituion | (~destituio@85.221.111.174) |
2024-04-04 08:41:01 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-04-04 08:45:23 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
2024-04-04 08:47:58 +0200 | <cheater> | interesting |
2024-04-04 08:49:07 +0200 | travgm | (~travgm@fsf/member/travgm) (Ping timeout: 260 seconds) |
2024-04-04 08:50:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-04 08:51:39 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-04-04 08:54:44 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2024-04-04 08:55:13 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-04-04 09:02:02 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2024-04-04 09:02:26 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-04-04 09:04:53 +0200 | pieguy128 | (~pieguy128@bas8-montreal02-65-93-195-66.dsl.bell.ca) |
2024-04-04 09:05:17 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2024-04-04 09:05:42 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-04-04 09:07:25 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2024-04-04 09:07:50 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-04-04 09:16:22 +0200 | danza | (~francesco@151.43.131.71) (Ping timeout: 246 seconds) |
2024-04-04 09:17:32 +0200 | zetef | (~quassel@5.2.182.99) (Ping timeout: 252 seconds) |
2024-04-04 09:26:29 +0200 | sadie_ | (~sadie@c-76-155-235-153.hsd1.co.comcast.net) (Remote host closed the connection) |
2024-04-04 09:28:39 +0200 | zetef | (~quassel@5.2.182.99) |
2024-04-04 09:30:50 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
2024-04-04 09:32:16 +0200 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
2024-04-04 09:32:40 +0200 | Guest53 | (~Guest53@astrolabe.plus.com) |
2024-04-04 09:36:14 +0200 | Square | (~Square4@user/square) |
2024-04-04 09:38:43 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-04-04 09:42:13 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-04-04 09:44:38 +0200 | mei | (~mei@user/mei) |
2024-04-04 09:45:53 +0200 | zetef | (~quassel@5.2.182.99) (Ping timeout: 256 seconds) |
2024-04-04 09:45:55 +0200 | Guest35 | (~textual@188.177.17.196) |
2024-04-04 09:47:03 +0200 | ftweedal | (~ftweedal@211.30.152.176) |
2024-04-04 09:47:55 +0200 | gmg | (~user@user/gehmehgeh) |
2024-04-04 09:48:22 +0200 | Patternmaster | (~georg@user/Patternmaster) |
2024-04-04 09:53:03 +0200 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
2024-04-04 09:56:35 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-04-04 09:56:59 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 264 seconds) |
2024-04-04 10:01:07 +0200 | <Inst> | sigh, looks like Julia is stalled right now |
2024-04-04 10:01:22 +0200 | <Inst> | I realized I like the language, i.e, decent (predictable) performance in a gradually-typed language |
2024-04-04 10:04:28 +0200 | zetef | (~quassel@5.2.182.99) |
2024-04-04 10:09:48 +0200 | igemnace | (~ian@user/igemnace) |
2024-04-04 10:12:38 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:945e:cee:a6fe:79d8) |
2024-04-04 10:16:55 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 246 seconds) |
2024-04-04 10:22:47 +0200 | danse-nr3 | (~danse-nr3@151.43.131.71) |
2024-04-04 10:23:58 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-04-04 10:25:24 +0200 | sadie_ | (~sadie@c-76-155-235-153.hsd1.co.comcast.net) |
2024-04-04 10:28:31 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
2024-04-04 10:32:35 +0200 | <Inst> | question: is GHCI print behavior good for unicode? |
2024-04-04 10:37:12 +0200 | danse-nr3 | (~danse-nr3@151.43.131.71) (Read error: Connection reset by peer) |
2024-04-04 10:37:25 +0200 | <Inst> | https://hackage.haskell.org/package/unicode-show-0.1.1.1/docs/Text-Show-Unicode.html |
2024-04-04 10:37:28 +0200 | <Inst> | workaround package |
2024-04-04 10:37:47 +0200 | danse-nr3 | (~danse-nr3@151.57.141.109) |
2024-04-04 10:39:56 +0200 | <danse-nr3> | huh not sure. Give it a try with some unicode? Would not even know how the interpreter would work differently from printing in any other program |
2024-04-04 10:40:16 +0200 | <tomsmeding> | % print "おはよう" |
2024-04-04 10:40:16 +0200 | <yahb2> | "\12362\12399\12424\12358" |
2024-04-04 10:40:22 +0200 | <tomsmeding> | I think this is what Inst is referring to |
2024-04-04 10:40:49 +0200 | <Inst> | there's already a package for it |
2024-04-04 10:40:52 +0200 | <Inst> | you were disconnected at the time |
2024-04-04 10:40:54 +0200 | <Inst> | https://hackage.haskell.org/package/unicode-show-0.1.1.1/docs/Text-Show-Unicode.html |
2024-04-04 10:40:59 +0200 | <danse-nr3> | ops sorry |
2024-04-04 10:41:18 +0200 | <tomsmeding> | inconvenient that it needs to be globally available to be maximally useful |
2024-04-04 10:42:00 +0200 | <Inst> | i'm surprised no one's working on a new Haskell interpreter, GHCI is ooold |
2024-04-04 10:42:32 +0200 | <tomsmeding> | seems that ushow is a big hack though |
2024-04-04 10:42:39 +0200 | <Inst> | compilers are toys, and being feature complete as GHC is tough, whereas a new interpreter with bells and whistles (a la OCaml's utop) is low-hanging fruit |
2024-04-04 10:42:47 +0200 | <tomsmeding> | it will literally back-replace things that look like unicode escapes in the Show output |
2024-04-04 10:42:56 +0200 | <tomsmeding> | regardless of whether that was in an actual string or not |
2024-04-04 11:02:50 +0200 | destituion | (~destituio@85.221.111.174) |
2024-04-04 11:20:54 +0200 | <danse-nr3> | "compilers are toys"? |
2024-04-04 11:22:45 +0200 | <Inst> | microhs, i mean |
2024-04-04 11:23:07 +0200 | <Inst> | it might get to the stage wherein it's a good replacement for GHC for simple haskell / production, but it's roughly at a toy stage right now, no? |
2024-04-04 11:23:34 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-04-04 11:25:14 +0200 | <haskellbridge> | <sm> more than I toy I'd say |
2024-04-04 11:26:56 +0200 | <danse-nr3> | i see you say there is an alt compiler at "toy" stage. How is that an argument for alt interpreters being easy to write |
2024-04-04 11:30:29 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-04-04 11:30:40 +0200 | <tomsmeding> | I hope you're not advocating for writing a new haskell interpreter _without GHC as a backend_ |
2024-04-04 11:30:46 +0200 | <tomsmeding> | because that's a Project |
2024-04-04 11:31:03 +0200 | ftweedal | (~ftweedal@211.30.152.176) (Ping timeout: 255 seconds) |
2024-04-04 11:31:40 +0200 | <tomsmeding> | and if it's about the shell around the actual language implementation: ghci has been getting updates over the years, if you're looking for something specific you can always propose it :p |
2024-04-04 11:32:26 +0200 | <tomsmeding> | this unicode print thing is not really ghci's problem though because that really stems from the showList implementation of Char |
2024-04-04 11:40:53 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) (Quit: leaving) |
2024-04-04 11:41:47 +0200 | <Inst> | with GHC as a backend, for now |
2024-04-04 11:41:50 +0200 | <Inst> | maybe swap backends later on |
2024-04-04 11:42:04 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-04-04 11:42:18 +0200 | <Inst> | it's just easier to feel ergonomic issues with GHCI if you use other langs repls |
2024-04-04 11:42:31 +0200 | <Inst> | also, just curious, what's the drawbacks of replacing IO with a typeclass instead? |
2024-04-04 11:42:51 +0200 | <kuribas> | I am using HLS in emacs, I have this issue a few times, where I get a "no instance for (Eq Runstatus)", with Runstatus defined in another module. |
2024-04-04 11:43:00 +0200 | <kuribas> | There is clearly an Eq instance. |
2024-04-04 11:43:30 +0200 | <kuribas> | It compiles just fine with cabal build |
2024-04-04 11:52:36 +0200 | <danse-nr3> | not sure not using HLS yet, too unstable for my taste |
2024-04-04 11:53:51 +0200 | <ski> | GHCi is an interactor, as is the OCaml toplevel |
2024-04-04 11:56:23 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-04-04 11:58:49 +0200 | <kuribas> | I used to use flycheck, but that also broke in my most recent emacs installation. |
2024-04-04 11:59:00 +0200 | <kuribas> | It's nice "when it works". |
2024-04-04 11:59:20 +0200 | Guest35 | (~textual@188.177.17.196) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2024-04-04 12:00:20 +0200 | <danse-nr3> | tried emacs `compile`, for a while seemed stable but then failed parsing stack errors |
2024-04-04 12:07:10 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
2024-04-04 12:18:40 +0200 | yin | (~yin@user/zero) |
2024-04-04 12:21:32 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-04-04 12:23:57 +0200 | mei | (~mei@user/mei) |
2024-04-04 12:24:02 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
2024-04-04 12:31:27 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2024-04-04 12:32:16 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
2024-04-04 12:32:48 +0200 | Lord_of_Life_ | Lord_of_Life |
2024-04-04 12:34:05 +0200 | Guest24 | (~Guest24@bba-217-165-114-56.alshamil.net.ae) |
2024-04-04 12:34:40 +0200 | Guest24 | (~Guest24@bba-217-165-114-56.alshamil.net.ae) (Client Quit) |
2024-04-04 12:43:45 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3340-df5d-9974-3e89-4ddf-f1a5.rev.sfr.net) |
2024-04-04 12:56:17 +0200 | danse-nr3 | (~danse-nr3@151.57.141.109) (Ping timeout: 256 seconds) |
2024-04-04 12:56:33 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-04-04 12:59:10 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-04-04 13:01:40 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-04-04 13:06:12 +0200 | mei | (~mei@user/mei) |
2024-04-04 13:08:19 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-04-04 13:08:35 +0200 | <tomsmeding> | kuribas: does HLS start working again if you restart it? |
2024-04-04 13:08:39 +0200 | Guest35 | (~textual@188.177.17.196) |
2024-04-04 13:11:13 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1c1a:c3eb:5e35:e984) |
2024-04-04 13:14:34 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 255 seconds) |
2024-04-04 13:20:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-04 13:20:55 +0200 | danse-nr3 | (~danse-nr3@151.57.141.109) |
2024-04-04 13:28:24 +0200 | yin | (~yin@user/zero) |
2024-04-04 13:33:27 +0200 | xdminsy | (~xdminsy@117.147.70.203) |
2024-04-04 13:38:57 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-04-04 13:42:08 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:881c:f8ba:688e:db13) |
2024-04-04 13:42:08 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:881c:f8ba:688e:db13) (Changing host) |
2024-04-04 13:42:08 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
2024-04-04 13:47:36 +0200 | r5c4571lh01987 | (~rscastilh@179.221.142.8) |
2024-04-04 13:53:52 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-04-04 13:58:13 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
2024-04-04 14:07:52 +0200 | r5c4571lh01987 | (~rscastilh@179.221.142.8) (Remote host closed the connection) |
2024-04-04 14:09:00 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
2024-04-04 14:09:14 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Client Quit) |
2024-04-04 14:10:47 +0200 | danse-nr3 | (~danse-nr3@151.57.141.109) (Ping timeout: 264 seconds) |
2024-04-04 14:11:12 +0200 | danse-nr3 | (~danse-nr3@151.57.141.109) |
2024-04-04 14:14:58 +0200 | Guest96 | (~Guest96@sgyl-43-b2-v4wan-169648-cust2111.vm6.cable.virginm.net) |
2024-04-04 14:15:10 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
2024-04-04 14:15:11 +0200 | <Guest96> | how do i connect to haskell on windows |
2024-04-04 14:15:23 +0200 | <Guest96> | ghcup fails |
2024-04-04 14:15:34 +0200 | <Guest96> | i installed msys2 manually |
2024-04-04 14:15:49 +0200 | <Guest96> | now i should type something to get haskell with wget or pacman? |
2024-04-04 14:16:25 +0200 | malte | (~malte@mal.tc) |
2024-04-04 14:18:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2024-04-04 14:18:54 +0200 | <jjhoo> | no results from 'pacman -Ss ghc' and 'pacman -Ss haskell' (msys) |
2024-04-04 14:18:56 +0200 | <haskellbridge> | <maerwald> https://www.haskell.org/ghcup/install/#windows_1 |
2024-04-04 14:19:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-04 14:19:54 +0200 | <Hecate> | Guest96: ghcup fails for which reason? |
2024-04-04 14:20:02 +0200 | <Guest96> | no reason |
2024-04-04 14:20:05 +0200 | <Guest96> | just fails |
2024-04-04 14:20:28 +0200 | <Guest96> | doesnt even manage to install msys2 |
2024-04-04 14:20:36 +0200 | <danse-nr3> | can you increase verbosity? |
2024-04-04 14:22:11 +0200 | <Guest96> | no |
2024-04-04 14:22:20 +0200 | <Guest96> | tried -v but it doesnt recognise it |
2024-04-04 14:23:31 +0200 | <Guest96> | maerwald: im guessing ghcup isnt an option |
2024-04-04 14:24:30 +0200 | <danse-nr3> | seems recognized from what i see, but probably does not add anything for your error case. Anyways ghcup is probably the easiest option so maybe check its docs again, open issues on the project, etcetera |
2024-04-04 14:24:51 +0200 | <jjhoo> | there is no easy to use installer? |
2024-04-04 14:25:38 +0200 | <Guest96> | no |
2024-04-04 14:25:39 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
2024-04-04 14:25:50 +0200 | <Inst> | curious, how cancerous is it |
2024-04-04 14:25:53 +0200 | <Guest96> | ghcup is only supported option and is broken |
2024-04-04 14:25:59 +0200 | <Inst> | if you get bored and decide to dump everything into a typeclass? |
2024-04-04 14:26:01 +0200 | <haskellbridge> | <maerwald> Why |
2024-04-04 14:26:11 +0200 | <Inst> | class Foo where; foo :: String; foo = "Hello" |
2024-04-04 14:26:30 +0200 | <Inst> | this apparently requires instance Foo where |
2024-04-04 14:26:37 +0200 | <haskellbridge> | <maerwald> Disable your antivirus |
2024-04-04 14:26:40 +0200 | <Guest96> | why? |
2024-04-04 14:26:51 +0200 | malte | (~malte@mal.tc) |
2024-04-04 14:26:57 +0200 | <Guest96> | ... |
2024-04-04 14:27:09 +0200 | <haskellbridge> | <maerwald> And blame Microsoft for shipping a broken operating system |
2024-04-04 14:27:15 +0200 | <Guest96> | does anyone know how to build on linux? maybe that will work in MSYS2 |
2024-04-04 14:27:40 +0200 | <Guest96> | er, if microsoft decide to break your buildchain im guessing thats on you |
2024-04-04 14:27:43 +0200 | <haskellbridge> | <maerwald> Because it blocks msys2 installation frequently |
2024-04-04 14:27:57 +0200 | <haskellbridge> | <maerwald> No |
2024-04-04 14:28:07 +0200 | <Guest96> | ok sure |
2024-04-04 14:28:15 +0200 | <probie> | Guest96: No, it's Microsoft |
2024-04-04 14:28:20 +0200 | <Guest96> | its a robust buildchain that didnt break |
2024-04-04 14:28:38 +0200 | <haskellbridge> | <maerwald> Windows is broken all the time |
2024-04-04 14:28:46 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-04-04 14:28:49 +0200 | <Guest96> | i think basically someone decided the powershell command wasnt the status accepted by the future |
2024-04-04 14:29:04 +0200 | <Inst> | more important question |
2024-04-04 14:29:09 +0200 | <Inst> | which version of Windows? |
2024-04-04 14:29:12 +0200 | <Guest96> | 11 |
2024-04-04 14:29:22 +0200 | <jjhoo> | maybe chocolatey is easier |
2024-04-04 14:29:36 +0200 | <Guest96> | if it still is maintained id be up for that, its how i used to do it |
2024-04-04 14:29:50 +0200 | <Guest96> | i think it was the way it was distributed for a while also |
2024-04-04 14:29:59 +0200 | <haskellbridge> | <placidex> Is wsl an option for you? |
2024-04-04 14:30:18 +0200 | <Guest96> | i think someone tried to use a kind of batch process approach and thought the powershel option for windows was a good way to do that |
2024-04-04 14:30:29 +0200 | <Guest96> | wsl is an option |
2024-04-04 14:30:37 +0200 | <Guest96> | but id rather not have to mirror as its slightly slower |
2024-04-04 14:31:05 +0200 | <Guest96> | id rather have a native build and the unix version eg for deploying to virtual servers where you want that to go from unix to unix |
2024-04-04 14:31:11 +0200 | mei | (~mei@user/mei) |
2024-04-04 14:31:33 +0200 | <haskellbridge> | <maerwald> Batch process approach? |
2024-04-04 14:31:45 +0200 | <Guest96> | ill see if i can find the old chocolatey build instructions, nice suggestion |
2024-04-04 14:32:02 +0200 | <Guest96> | like a makefile but with a .bat or .sh, very hacky |
2024-04-04 14:32:12 +0200 | <haskellbridge> | <maerwald> Chocolatey relies on powershell scripts too xD |
2024-04-04 14:32:14 +0200 | <Guest96> | like, cos it has to install several components |
2024-04-04 14:32:23 +0200 | <haskellbridge> | <maerwald> But whatever |
2024-04-04 14:32:29 +0200 | <Guest96> | its not bad to just give the user the wget instructions... |
2024-04-04 14:33:03 +0200 | <int-e> | . o O ( wget https://downloads.haskell.org/~ghc/9.8.2/ghc-9.8.2-x86_64-unknown-mingw32.tar.xz figure out the rest yourself ) |
2024-04-04 14:33:31 +0200 | <Guest96> | ooh, that works! |
2024-04-04 14:33:33 +0200 | <int-e> | (I have *no* clue whether those bindists work under Windows. I can glean from the file name that they're based on mingw32) |
2024-04-04 14:33:54 +0200 | <Guest96> | seems to work if you just type that into msys2 |
2024-04-04 14:33:57 +0200 | <haskellbridge> | <maerwald> Read the chocolatey code |
2024-04-04 14:34:03 +0200 | <int-e> | (And why is it 32 when it's a 64 bit build.) |
2024-04-04 14:34:33 +0200 | <int-e> | Guest96: sure but now you have a file to unpack and figure out how to make work. I know nothing about that. |
2024-04-04 14:34:34 +0200 | <Guest96> | but then says ghc not found# |
2024-04-04 14:34:55 +0200 | danse-nr3 | (~danse-nr3@151.57.141.109) (Read error: Connection reset by peer) |
2024-04-04 14:35:09 +0200 | <int-e> | there won't be a single wget command that installs ghc for you |
2024-04-04 14:35:16 +0200 | <int-e> | ghc is like a million of files |
2024-04-04 14:35:30 +0200 | <Guest96> | there used to be a binary installer for windows!!!! |
2024-04-04 14:36:15 +0200 | <Guest96> | im trying https://hub.zhox.com/posts/introducing-haskell-dev/ |
2024-04-04 14:36:19 +0200 | <Guest96> | for the chocolatey |
2024-04-04 14:36:59 +0200 | <haskellbridge> | <maerwald> Those still runs powershell scripts xD |
2024-04-04 14:38:16 +0200 | <haskellbridge> | <maerwald> Well, I can make a binary msi installer if you pay me I guess |
2024-04-04 14:39:11 +0200 | <Guest96> | there are funds at the haskell foundation, but i guess there was a comittee descision to opt for the powershell approach for whatever reason. id argue this drastically affects accessability and maintainability of the buildchain |
2024-04-04 14:39:48 +0200 | <Guest96> | im glad there is the cocolatey version to fall back on |
2024-04-04 14:40:04 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
2024-04-04 14:40:30 +0200 | <Guest96> | i think the descision reflects an inability to draw from input which might help make less esoteric descisions |
2024-04-04 14:40:45 +0200 | <int-e> | I don't think arguing against powershell is going anywhere... it's supposed to enable scripting for Windows. MS itself is providing it for that purpose. |
2024-04-04 14:40:51 +0200 | <Guest96> | powershell might be normal in some circles but its the first time iv ever had to use it |
2024-04-04 14:41:22 +0200 | malte | (~malte@mal.tc) |
2024-04-04 14:41:48 +0200 | <int-e> | And scripting is not a hack, it's a normal way to automate tedious tasks that would otherwise require a lengthy string of individual shell commands. |
2024-04-04 14:41:52 +0200 | <Guest96> | and it doesnt seem to offer a maintainable component to a buildchain |
2024-04-04 14:42:24 +0200 | <Guest96> | i guess chocolatey was from before microsoft offers this vsn |
2024-04-04 14:42:35 +0200 | <Guest96> | and like, good to fall back on, since the MS version broke |
2024-04-04 14:43:00 +0200 | <Guest96> | but then, maybe an argument to have perhaps a more resilient alternative to the MS scripting even if thats the solution they present |
2024-04-04 14:43:11 +0200 | <Guest96> | which is guess is what chocolatey is |
2024-04-04 14:43:22 +0200 | danse-nr3 | (~danse-nr3@151.57.138.166) |
2024-04-04 14:43:58 +0200 | <int-e> | . o O ( If you don't want to use PowerShell maybe you should try a system with a different default shell like Linux or perhaps MacOS. ) |
2024-04-04 14:44:03 +0200 | <Guest96> | but like, if the MS version is broken, and still hasnt been taken off the haskell launch page, because presumably the chocolatey version is considered outmoded or clunky |
2024-04-04 14:44:17 +0200 | <int-e> | presumably it works for some people |
2024-04-04 14:44:24 +0200 | <Guest96> | seems like its a really cosmetic thing and rightly so, this is what should be one click from 0 haskell to having haskell |
2024-04-04 14:44:27 +0200 | <int-e> | Or worked until very recently. |
2024-04-04 14:44:42 +0200 | <Inst> | Guest96; can you install WSL? |
2024-04-04 14:44:52 +0200 | <Inst> | A lot of people just use Haskell in WSL on Windows |
2024-04-04 14:44:54 +0200 | <Guest96> | i have managed to use the GHCup version only one time successfully in the entire time |
2024-04-04 14:45:03 +0200 | yin | (~yin@user/zero) (Ping timeout: 272 seconds) |
2024-04-04 14:45:15 +0200 | <Guest96> | Inst: yes, but there was always a working windows build process |
2024-04-04 14:45:21 +0200 | <Guest96> | from the launch page |
2024-04-04 14:45:58 +0200 | <Inst> | stuff breaks, forgive maerwald from being blunt, but he's overworked and busy |
2024-04-04 14:46:02 +0200 | <Inst> | *for being blunt |
2024-04-04 14:46:17 +0200 | <Guest96> | yeah sure, id hate to have to maintain that |
2024-04-04 14:46:23 +0200 | <Guest96> | wasnt he complaining about not getting paid!? |
2024-04-04 14:46:30 +0200 | <Inst> | ghcup is handled by maerwald, and was adopted by Haskell.org after the fact |
2024-04-04 14:46:35 +0200 | <Guest96> | where is this damn haskell foundation and its ever elusive stipend |
2024-04-04 14:46:43 +0200 | <Inst> | iirc cheekrat I think is on the project as well? |
2024-04-04 14:47:11 +0200 | <Inst> | HF, from what I'm told, is way more conservative than it should be, but it exists and there's no real alternative other than doing it yourself |
2024-04-04 14:47:50 +0200 | <Inst> | but, Guest96: can you get WSL working? |
2024-04-04 14:47:59 +0200 | <Inst> | Your best workaround is probably WSL + GHCup on WSL |
2024-04-04 14:49:29 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 272 seconds) |
2024-04-04 14:49:37 +0200 | titibandit | (~titibandi@user/titibandit) (Quit: leaving) |
2024-04-04 14:49:46 +0200 | <probie> | Guest96: Why would you just expect the Haskell foundation to spend their money on Windows support? There's not really much of a return |
2024-04-04 14:50:03 +0200 | <Guest96> | lol |
2024-04-04 14:50:12 +0200 | <Guest96> | idk why people play devils advokate like that |
2024-04-04 14:50:19 +0200 | <Guest96> | i consider it a personal affront |
2024-04-04 14:50:32 +0200 | <Guest96> | (obvs as the major OS...) |
2024-04-04 14:50:53 +0200 | <probie> | Also, if you're happy with GHC 9.2.5 and randomly installing the codeworld library, you can always try the script my old university uses https://comp.anu.edu.au/courses/comp1100/resources/install/windows/ |
2024-04-04 14:51:51 +0200 | <Guest96> | First checking for Msys2... |
2024-04-04 14:51:52 +0200 | <Guest96> | ...Msys2 doesn't exist, installing into C:\\ghcup\msys64 |
2024-04-04 14:51:52 +0200 | <Guest96> | Starting installation in 5 seconds, this may take a while... |
2024-04-04 14:51:53 +0200 | <Guest96> | Downloading Msys2 archive 20221216... |
2024-04-04 14:51:53 +0200 | <Guest96> | curl.exe : % Total % Received % Xferd Average Speed Time Time Time Current |
2024-04-04 14:51:54 +0200 | <Guest96> | At line:182 char:5 |
2024-04-04 14:51:54 +0200 | <Guest96> | + & $cmd @Passthrough |
2024-04-04 14:51:55 +0200 | <Guest96> | + ~~~~~~~~~~~~~~~~~~~ |
2024-04-04 14:51:55 +0200 | <Guest96> | + CategoryInfo : NotSpecified: ( % Total % ... Time Current:String) [], RemoteException |
2024-04-04 14:51:56 +0200 | <Guest96> | + FullyQualifiedErrorId : NativeCommandError |
2024-04-04 14:51:56 +0200 | <Guest96> | PS C:\> |
2024-04-04 14:52:08 +0200 | <Guest96> | powershell is not ok |
2024-04-04 14:53:53 +0200 | <Guest96> | cant get wsl to work either! nightmare off for a system reboot |
2024-04-04 14:54:03 +0200 | Guest96 | (~Guest96@sgyl-43-b2-v4wan-169648-cust2111.vm6.cable.virginm.net) (Quit: Connection closed) |
2024-04-04 14:54:43 +0200 | <haskellbridge> | <maerwald> I don't know what you are thinking, but chocolatey uses powershell too |
2024-04-04 14:54:50 +0200 | <haskellbridge> | <maerwald> But I'm repeating myself |
2024-04-04 14:55:00 +0200 | <probie> | maerwald: They've quit |
2024-04-04 14:55:11 +0200 | <Inst> | probie: not really watching this, but Guest96 has valid concerns |
2024-04-04 14:55:19 +0200 | <Inst> | Haskell on Windows is just not that much of a priority and we should be happy it works |
2024-04-04 14:55:27 +0200 | <Inst> | OCaml iirc is only recently getting Windows support |
2024-04-04 14:55:32 +0200 | <Inst> | Clojure IIRC has experimental windows support |
2024-04-04 14:55:52 +0200 | <haskellbridge> | <maerwald> Pretty sure it's just their antivirus |
2024-04-04 14:55:53 +0200 | Guest96 | (~Guest96@sgyl-43-b2-v4wan-169648-cust2111.vm6.cable.virginm.net) |
2024-04-04 14:56:13 +0200 | <Inst> | <Inst> Haskell on Windows is just not that much of a priority and we should be happy it works |
2024-04-04 14:56:14 +0200 | <Inst> | <Inst> OCaml iirc is only recently getting Windows support |
2024-04-04 14:56:14 +0200 | <Inst> | <Inst> Clojure IIRC has experimental windows support |
2024-04-04 14:56:16 +0200 | <Inst> | @guest96 |
2024-04-04 14:56:16 +0200 | <lambdabot> | Unknown command, try @list |
2024-04-04 14:56:55 +0200 | <Inst> | Guest96: are you a superuser / administrator on your machine? |
2024-04-04 14:57:02 +0200 | <Guest96> | haskell has always had windows support |
2024-04-04 14:57:17 +0200 | <Guest96> | i have never used any other OS for haskell unless its some tricky crosscompliation |
2024-04-04 14:58:07 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 268 seconds) |
2024-04-04 14:58:24 +0200 | <mauke> | <Guest96> (obvs as the major OS...) <- lol, meanwhile I'm considering whether to even test my stuff on windows |
2024-04-04 14:58:40 +0200 | <Guest96> | exactly |
2024-04-04 14:58:41 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-04-04 14:58:52 +0200 | <Guest96> | and this kind of sillyness meaning we end up with PS solutions |
2024-04-04 14:58:55 +0200 | <Inst> | I mean with niche langs based on FOSS Windows tends to be expensive |
2024-04-04 14:59:00 +0200 | <Inst> | took Haskell a long time to get Brick working |
2024-04-04 14:59:21 +0200 | <mauke> | oh, with me it's all cmd and batch files |
2024-04-04 14:59:22 +0200 | <Guest96> | its offensiiive, its like a bunch of arch users keeping a language from going mainstream |
2024-04-04 14:59:31 +0200 | <Guest96> | i know its not that bad! |
2024-04-04 14:59:36 +0200 | <Guest96> | but like, you get the idea |
2024-04-04 14:59:42 +0200 | <mauke> | what are you even talking about |
2024-04-04 15:00:00 +0200 | <Inst> | me or Guest96? |
2024-04-04 15:00:07 +0200 | <mauke> | it's not like windows support comes naturally and there are some evil gatekeepers that break things specifically on windows |
2024-04-04 15:00:10 +0200 | <Guest96> | windows accessability is a major priority from the perspective of those teaching haskell to people that use windows as their primary OS |
2024-04-04 15:00:22 +0200 | <Inst> | Guest96: so, is that your background? |
2024-04-04 15:00:41 +0200 | <mauke> | it's that windows is an awful system and supporting it is needlessly painful and expensive |
2024-04-04 15:00:46 +0200 | <mauke> | and no one's paying for it |
2024-04-04 15:00:56 +0200 | <Inst> | Windows is acceptably bad |
2024-04-04 15:01:03 +0200 | <int-e> | WSL is a serious answer. |
2024-04-04 15:01:10 +0200 | <probie> | The problem with most of the FOSS stuff is that it assumes a sane C toolchain, which isn't a given on Windows |
2024-04-04 15:01:12 +0200 | <Guest96> | mauke: i just mean that as far as i can tell, this haskell comitee or whatever, is slightly more tech capable than your average bear, and they kind of pass this onto the user sometimes, which might affect the uptake and accessability of the language, which for the people at its frontend, is quite inconvinient |
2024-04-04 15:01:13 +0200 | <Inst> | but yeah, it's painful and expensive to support, especially since Windows is dying |
2024-04-04 15:01:34 +0200 | <Inst> | Wintel is getting crushed by MacOS, slowly but surely, in the United States |
2024-04-04 15:01:42 +0200 | <Guest96> | wsl is a broken solution |
2024-04-04 15:01:47 +0200 | <int-e> | The existence of WSL also means that there's less pressure to make stuff work natively under Windows. |
2024-04-04 15:01:48 +0200 | <Guest96> | it forces into unix |
2024-04-04 15:01:52 +0200 | <Guest96> | never had that |
2024-04-04 15:01:58 +0200 | <Inst> | Guest96: I think the important thing to realize is that Haskell is an academic project |
2024-04-04 15:02:00 +0200 | <Inst> | and no one is in charge |
2024-04-04 15:02:05 +0200 | <Guest96> | alsways had the windows style line endings. its a breaking change |
2024-04-04 15:02:20 +0200 | <mauke> | Guest96: it's not the "haskell committee", it's you |
2024-04-04 15:02:22 +0200 | <mauke> | or people like you |
2024-04-04 15:02:34 +0200 | <probie> | Unless you're writing a desktop app, who even targets Windows these days? |
2024-04-04 15:02:39 +0200 | <Guest96> | int-e: but that was pressure to do a good thing, i cant beleive im having to make the argument, it seems absurd |
2024-04-04 15:02:46 +0200 | <Inst> | But he has valid concerns, if the Haskell community were better provisioned, I'm sure keeping Windows viable would be a priority |
2024-04-04 15:03:03 +0200 | <int-e> | Guest96: It wasn't, it took away maintenance time that could be spent on useful features instead. |
2024-04-04 15:03:17 +0200 | <Inst> | As you can see, Haskell community is underresourced when it comes to labor |
2024-04-04 15:03:17 +0200 | <Guest96> | maybe pay people |
2024-04-04 15:03:23 +0200 | <int-e> | Guest96: (Yes, I can be as opinionated about this as you are.) |
2024-04-04 15:03:34 +0200 | <Inst> | Most of the corporate sponsors of Haskell Foundation wouldn't pay for Windows support |
2024-04-04 15:03:51 +0200 | <Inst> | they're using it on servers, Monomer users are relatively rare |
2024-04-04 15:04:03 +0200 | <Guest96> | seriously, every time iv ever heard about the comitees stipend it has been about how it cant afford this or that. this was the main barrier to addoption on android! |
2024-04-04 15:04:18 +0200 | <Guest96> | the obsidian systems stuff is a private company filling a niche that results |
2024-04-04 15:04:26 +0200 | <Inst> | I'm not sure if Haskell wants to be adopted :( |
2024-04-04 15:04:37 +0200 | <int-e> | avoid success at all cost |
2024-04-04 15:04:39 +0200 | <Guest96> | it actually becomes viable for the private sector to pick up where the haskell comitee cant afford to do stuff |
2024-04-04 15:04:46 +0200 | <Inst> | Obsidian Systems' Reflex, last I heard, was working only on 5-6 year old GHCs |
2024-04-04 15:05:09 +0200 | <Inst> | And was mated to a Nix flake, and IIRC Windows doesn't support Nix at all |
2024-04-04 15:05:20 +0200 | <Guest96> | no hav to go via wsl for that |
2024-04-04 15:05:26 +0200 | <Guest96> | require a nix-copy-closure |
2024-04-04 15:05:33 +0200 | <Guest96> | this places constraints on the environemnt |
2024-04-04 15:05:33 +0200 | <int-e> | Haskell is still an odd mix of research vehicle and production language. |
2024-04-04 15:05:43 +0200 | <probie> | Inst: I don't think that was due to android, but rather was due to GHC's new JS backend still not quite being at parity with the old GHCJS |
2024-04-04 15:05:48 +0200 | <Guest96> | so you cant launch to unix from windows without going via wsl |
2024-04-04 15:05:49 +0200 | <int-e> | And that's pretty nice, honestly. |
2024-04-04 15:05:53 +0200 | <int-e> | YMMV |
2024-04-04 15:06:02 +0200 | <Guest96> | i have always used it for production |
2024-04-04 15:06:05 +0200 | <Guest96> | i do HPC |
2024-04-04 15:06:10 +0200 | <Inst> | Ah. |
2024-04-04 15:06:11 +0200 | <Guest96> | i have an AGI |
2024-04-04 15:06:20 +0200 | <Inst> | AGI seems a bit implausible. |
2024-04-04 15:06:27 +0200 | <Guest96> | for numbers out the box its unparalleled by any other language |
2024-04-04 15:06:37 +0200 | <Guest96> | no overhead in terms of syntax or flops |
2024-04-04 15:06:49 +0200 | <int-e> | . o O ( almost generic idiot ) |
2024-04-04 15:06:50 +0200 | <Guest96> | agi is very easy to acheive in practice |
2024-04-04 15:07:06 +0200 | <Guest96> | its some automorphic curves that exhibit a certain phase portrait |
2024-04-04 15:07:11 +0200 | <mauke> | is it timecube time? |
2024-04-04 15:07:15 +0200 | <Inst> | i... dgi |
2024-04-04 15:07:22 +0200 | <Guest96> | nvm |
2024-04-04 15:07:32 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2024-04-04 15:07:38 +0200 | <Guest96> | haskell is cast asside |
2024-04-04 15:07:42 +0200 | <Guest96> | wrongly |
2024-04-04 15:07:42 +0200 | <Inst> | Anyways, glad we're still getting trolled. |
2024-04-04 15:07:45 +0200 | <Guest96> | its just missold |
2024-04-04 15:07:47 +0200 | <probie> | mauke: I'd completely forgotten about the timecube |
2024-04-04 15:07:55 +0200 | <Inst> | Means that Haskell still exists and is prominent enough to get trolled. |
2024-04-04 15:08:02 +0200 | ftweedal | (~ftweedal@211.30.152.176) |
2024-04-04 15:08:09 +0200 | <Guest96> | well it shows a level of maturity of the language and its comunity |
2024-04-04 15:08:27 +0200 | <danse-nr3> | not trolling i think, just some rare dev passionate about working on win ... |
2024-04-04 15:08:28 +0200 | <Guest96> | who clearly dont like windows... |
2024-04-04 15:08:30 +0200 | <Inst> | Guest96: It'd be awesome if we could help, and maerwald's opinion is that it's an issue with your antivirus / firewall. |
2024-04-04 15:08:34 +0200 | <int-e> | Or maybe Windows is cast aside by open source developers, and deservedly so. |
2024-04-04 15:08:53 +0200 | <Guest96> | im in academia |
2024-04-04 15:08:57 +0200 | <int-e> | Haskll and GHC are in fairly good spots. |
2024-04-04 15:08:57 +0200 | <Inst> | But Windows isn't a priority in the community, it'd be a red-headed stepchild except that there are people working on improving Windows compatibility |
2024-04-04 15:09:00 +0200 | <Guest96> | i want my code to be legible by students |
2024-04-04 15:09:08 +0200 | <Guest96> | i dont want them grappling with crazy build processes |
2024-04-04 15:09:19 +0200 | <Inst> | Guest96: so do you have it working or not? |
2024-04-04 15:09:29 +0200 | titibandit | (~titibandi@user/titibandit) |
2024-04-04 15:09:37 +0200 | <Guest96> | chocolatey install is hung |
2024-04-04 15:09:41 +0200 | <int-e> | I rather suspect that ghcup just works in WSL. |
2024-04-04 15:09:46 +0200 | <int-e> | Not that I'd know. |
2024-04-04 15:09:51 +0200 | <danse-nr3> | oh gosh i am so glad i learned about linux when i was a student ... |
2024-04-04 15:09:55 +0200 | <Inst> | Have you tried disabling your firewalls? |
2024-04-04 15:10:00 +0200 | <Inst> | and your anti-virus? |
2024-04-04 15:10:14 +0200 | <Inst> | Or, alternately, used a different internet connection (such as through a VPN, or through the neighboring Starbucks)? |
2024-04-04 15:10:16 +0200 | <Guest96> | such build instructions are to be ignored |
2024-04-04 15:10:28 +0200 | <Inst> | That is why I feel like you're trolling. |
2024-04-04 15:10:34 +0200 | destituion | (~destituio@77.16.32.53.tmi.telenormobil.no) |
2024-04-04 15:10:38 +0200 | <Guest96> | i have to make sure my accepted method is useful for everyone |
2024-04-04 15:11:07 +0200 | <Guest96> | Inst: not at all. its a focus grouping thing. if im asked to do something like turn off my firewall, which is a dubious step, then this is not the accepted solution |
2024-04-04 15:11:12 +0200 | <int-e> | I think we're stuck in a loop of endless complaints. |
2024-04-04 15:11:30 +0200 | <Guest96> | i think its useful to understand this point |
2024-04-04 15:11:32 +0200 | <Inst> | int-e: more like an infinite list, being strictly evaluated? :) |
2024-04-04 15:11:46 +0200 | <Inst> | https://docs.haskellstack.org/en/stable/install_and_upgrade/ |
2024-04-04 15:11:53 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-04-04 15:11:55 +0200 | <Inst> | Alternative build system, give it a shot and see what happens |
2024-04-04 15:12:04 +0200 | <Inst> | On 64-bit Windows, the easiest way to install Stack directly (rather than use GHCup) is to download and use the Windows installer. |
2024-04-04 15:12:46 +0200 | <Inst> | but, for other forms of trolling: |
2024-04-04 15:12:55 +0200 | <Guest96> | derp. well cocolately not only hangs, it doesnt install it before it hangs, despite claiming to |
2024-04-04 15:12:57 +0200 | <Inst> | How cancerous is it if I put all my code into typeclasses? |
2024-04-04 15:13:05 +0200 | <Inst> | Guest96: I suggest you try stack instead |
2024-04-04 15:13:08 +0200 | <Guest96> | its fine to use typeclasses |
2024-04-04 15:13:15 +0200 | <Inst> | sm would be happy, but I'm not sure if he'd be inclined to help you with your installation process |
2024-04-04 15:13:15 +0200 | <Guest96> | stack is not advised |
2024-04-04 15:13:27 +0200 | <int-e> | Inst: I don't think this is pure |
2024-04-04 15:13:28 +0200 | <Inst> | I mean if GHCup isn't working, Chocolatey doesn't work, go to Stack |
2024-04-04 15:13:36 +0200 | <Guest96> | fair |
2024-04-04 15:13:40 +0200 | <Guest96> | i think i might go wsl |
2024-04-04 15:13:47 +0200 | <Guest96> | seems like thats how people were inclined |
2024-04-04 15:13:56 +0200 | <Inst> | int-e: I just underuse typeclasses besides |
2024-04-04 15:14:06 +0200 | <Inst> | using other people's typeclasses |
2024-04-04 15:14:17 +0200 | <Guest96> | what have you got against typeclasses? |
2024-04-04 15:14:25 +0200 | <Inst> | I'm curious about how well it works, even though I know it's an old design anti-pattern in Haskell |
2024-04-04 15:14:38 +0200 | <Inst> | Guest96: needless polymorphism for the scale I work at |
2024-04-04 15:14:54 +0200 | <Guest96> | the keep it simple stupid idiom |
2024-04-04 15:15:13 +0200 | <Guest96> | its sometimes helpful to capture an abstraction even if you have few instances |
2024-04-04 15:15:19 +0200 | <Inst> | my interest here is more |
2024-04-04 15:15:27 +0200 | <Guest96> | it can save you from trying to factor it out at some later juncture |
2024-04-04 15:15:35 +0200 | <Inst> | how to become more comfortable with the more advanced parts of the type system |
2024-04-04 15:15:41 +0200 | <Inst> | instead of treating it as just a typo-checker |
2024-04-04 15:15:57 +0200 | <Guest96> | typeclasses are hardly advanced, unless you have them like, recursing over type level nats and stuff |
2024-04-04 15:16:06 +0200 | <Guest96> | recursive type families style |
2024-04-04 15:16:15 +0200 | <Guest96> | or with like, associated datatypes etc |
2024-04-04 15:16:45 +0200 | <Guest96> | but if its just a choice of like, do i put all these functions as an argument to a data constructor, a function, or require an instance to be defined |
2024-04-04 15:17:18 +0200 | <Guest96> | there are even cases eg, for scoping, that have instances use implicit parameters allowing them to be used intechangably and defined away from top level |
2024-04-04 15:17:29 +0200 | <kuribas> | tomsmeding: it does, but that later I still got the same error. |
2024-04-04 15:17:41 +0200 | <Guest96> | this is sometimes useful when you might have like, some data that goes into a type that originates from IO |
2024-04-04 15:18:03 +0200 | <Guest96> | it might not be possibly to strictly evaluate it before it is made as a reference |
2024-04-04 15:18:11 +0200 | <Inst> | IIRC, more efficient way to do ReaderT |
2024-04-04 15:18:25 +0200 | <Inst> | ugly and fragile, however |
2024-04-04 15:18:54 +0200 | <Guest96> | like, typeclasses can be used in some complicated ways, but generally, if your just using them as an alternative to place the function arguments instead of at a datatype, then its a good option, especially if such choices are intended to be made globally |
2024-04-04 15:19:06 +0200 | yin | (~yin@user/zero) |
2024-04-04 15:19:13 +0200 | <Guest96> | the constraints and inheritence framework is also FP's version of objects |
2024-04-04 15:19:30 +0200 | <Guest96> | so some find it useful in addapting from OOP languages |
2024-04-04 15:19:38 +0200 | <int-e> | only if you hold it wrong |
2024-04-04 15:20:03 +0200 | <Inst> | yup, I just created class MyApp where |
2024-04-04 15:20:06 +0200 | <Inst> | main :: IO () |
2024-04-04 15:20:13 +0200 | <Inst> | main = putStrLn "This is degenerate" |
2024-04-04 15:20:20 +0200 | <Inst> | instance MyApp where |
2024-04-04 15:20:28 +0200 | sadie_ | (~sadie@c-76-155-235-153.hsd1.co.comcast.net) (Remote host closed the connection) |
2024-04-04 15:20:30 +0200 | <Guest96> | the idea of *not* expressing an abstraction, and just sort circuiting all the instances, like if there are only 2, not bothering with the commonality, its kind of a brute force and brutal way of proceeding |
2024-04-04 15:20:41 +0200 | <Guest96> | it might be more brief but is generally considered unidiomatic |
2024-04-04 15:20:51 +0200 | <Inst> | but seriously, has this been tried before? |
2024-04-04 15:20:56 +0200 | <Inst> | I want to learn all the ways it's a bad idea! |
2024-04-04 15:21:09 +0200 | <Guest96> | the "not polymorphic now" requirement being basically a machine head kind of idea |
2024-04-04 15:21:15 +0200 | <Inst> | (it's probably a bad idea because of uncontrollable instance imports, no?) |
2024-04-04 15:21:33 +0200 | <Guest96> | like some C junky that just wants everything in one line as a kernal with any type system stuff just like, deligated to the surroundings |
2024-04-04 15:22:15 +0200 | <Guest96> | Inst: we dont put main in classes, its a keyword and must be placed at top level in the main module |
2024-04-04 15:22:22 +0200 | <int-e> | Type classes were introduced in a paper titled "How to make ad-hoc polymorphism less ad hoc" and that title should tell you that it's motivation is quite a bit removed from OOP. |
2024-04-04 15:23:06 +0200 | <int-e> | (There's some overlap but that's mainly because OOP also overloads functions.) |
2024-04-04 15:23:09 +0200 | <Guest96> | we have a lot of language extensions since then, like typeapplications rankntypes and scopedtypevariables |
2024-04-04 15:23:17 +0200 | <Inst> | oh yeah? |
2024-04-04 15:23:19 +0200 | <Inst> | It works in ghc |
2024-04-04 15:23:20 +0200 | <Guest96> | that allow some nice tricks |
2024-04-04 15:24:06 +0200 | <Guest96> | for instance, suppose you want to have a default object associated to some type, but you might have several of these |
2024-04-04 15:24:18 +0200 | <Guest96> | eg, if i have machines that train each other, and get bigger in a series |
2024-04-04 15:24:20 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2024-04-04 15:24:26 +0200 | <Guest96> | this depends on a natural number |
2024-04-04 15:24:32 +0200 | <Guest96> | the shape of the machine corresponds |
2024-04-04 15:24:53 +0200 | <Guest96> | the typeclasses resolve the type level nat, and work out the shape for the machine (as a type) |
2024-04-04 15:24:55 +0200 | <jjhoo> | the ghcup install script I downloaded seems to be doing something with msys2, i.e. curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org --output install.sh |
2024-04-04 15:25:02 +0200 | <mauke> | main is not a keyword |
2024-04-04 15:25:08 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-04-04 15:25:19 +0200 | <Guest96> | ok my bad, still shouldnt put it in a class |
2024-04-04 15:25:28 +0200 | <Inst> | jihoo: are you having problems too? |
2024-04-04 15:25:35 +0200 | <Guest96> | you would get a conflic with trying to declare main at the main module |
2024-04-04 15:25:37 +0200 | <Inst> | I mean, Guest96 is questionable, weird complaining had a bunch of people suspecting trolling |
2024-04-04 15:25:43 +0200 | <mauke> | Guest96: why? |
2024-04-04 15:25:47 +0200 | <Inst> | but if you're having the same issues, and on windows to boot, it'd probably merit investigation |
2024-04-04 15:26:03 +0200 | <jjhoo> | Inst: I was able to start ghci |
2024-04-04 15:26:12 +0200 | <Guest96> | could you keep such allegations to yourself please Inst |
2024-04-04 15:26:52 +0200 | <Guest96> | jjhoo: thanks for the suggestion |
2024-04-04 15:27:08 +0200 | <Inst> | Well, I apologize, but it was a bit untoward, in the same way others were untoward |
2024-04-04 15:28:08 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2024-04-04 15:28:22 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-04-04 15:29:10 +0200 | <Guest96> | ok |
2024-04-04 15:29:17 +0200 | <Inst> | int-e: but what do you mean that stuffing code into arbitrary typeclasses isn't pure? |
2024-04-04 15:29:35 +0200 | <int-e> | Inst: I was commenting on loop vs. infinite list |
2024-04-04 15:30:01 +0200 | <Guest96> | some argue that it is better to place such data into a datatype, or even a function argument |
2024-04-04 15:31:09 +0200 | <Guest96> | suppose you have an object and a function to apply to it. |
2024-04-04 15:31:10 +0200 | <Guest96> | do you have a datatype containing the object and its function? |
2024-04-04 15:31:10 +0200 | <Guest96> | do you have the datatype constructor take a constraint that the typeclass giving that function is instantiated? |
2024-04-04 15:31:11 +0200 | <Guest96> | do you just have a function which applies the function to the object? |
2024-04-04 15:31:35 +0200 | <Guest96> | suppose the object is a matrix |
2024-04-04 15:31:41 +0200 | <Guest96> | the function is matrix multiplication |
2024-04-04 15:31:56 +0200 | <Guest96> | now, it depends if there is also another object or not |
2024-04-04 15:32:03 +0200 | <Guest96> | so lets also have a net, and net application |
2024-04-04 15:32:06 +0200 | <Guest96> | both transfer vectors |
2024-04-04 15:32:18 +0200 | <Guest96> | question is if we need a class |
2024-04-04 15:32:30 +0200 | <Guest96> | we could have matrix and net both instantiate the transfer functions class |
2024-04-04 15:32:49 +0200 | <Guest96> | or we could create an object to store objects with their transfer functions |
2024-04-04 15:33:28 +0200 | <Guest96> | data Statelike s i o = Statelike s (s -> i -> (s,o)) |
2024-04-04 15:34:10 +0200 | <Guest96> | or class Stated s i o where stateFunction :: s -> i -> (s,o) |
2024-04-04 15:34:32 +0200 | <Guest96> | where i think you would have s -> i , o as a functional dependency |
2024-04-04 15:34:58 +0200 | <Guest96> | eg s~(Net Double) implies i ~[Double] ~ o |
2024-04-04 15:35:09 +0200 | <Inst> | int-e: define a loop |
2024-04-04 15:35:14 +0200 | <Inst> | i.e, Haskell can do iteration purely |
2024-04-04 15:35:48 +0200 | <Guest96> | which in this case do you think is the better approach Inst: the version with the class, or the version with the datatype? |
2024-04-04 15:36:10 +0200 | <int-e> | Inst: but there were side effects in the loop |
2024-04-04 15:36:15 +0200 | int-e | shrugs |
2024-04-04 15:36:26 +0200 | <int-e> | the moment has passed anyway |
2024-04-04 15:37:37 +0200 | titibandit | (~titibandi@user/titibandit) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
2024-04-04 15:40:53 +0200 | pieguy128 | (~pieguy128@bas8-montreal02-65-93-195-66.dsl.bell.ca) (Ping timeout: 252 seconds) |
2024-04-04 15:41:46 +0200 | Guest96 | (~Guest96@sgyl-43-b2-v4wan-169648-cust2111.vm6.cable.virginm.net) (Quit: Connection closed) |
2024-04-04 15:46:19 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-53-65-93-195-203.dsl.bell.ca) |
2024-04-04 15:51:19 +0200 | Feuermagier | Guest4029 |
2024-04-04 15:51:19 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
2024-04-04 15:51:19 +0200 | Guest4029 | (~Feuermagi@user/feuermagier) (Killed (lead.libera.chat (Nickname regained by services))) |
2024-04-04 15:51:19 +0200 | Feuermagier_ | Feuermagier |
2024-04-04 15:55:49 +0200 | <juri_> | no-one is doing any AI training or inference in haskell here, are they? |
2024-04-04 15:57:39 +0200 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
2024-04-04 15:57:53 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2024-04-04 16:02:34 +0200 | <Inst> | Guest96 was claiming he was, which is why I suspect he was just trolling about it all |
2024-04-04 16:02:37 +0200 | <Inst> | *they |
2024-04-04 16:03:29 +0200 | <juri_> | I'm doing some of it in vector assembly, and C.. help. help help. HELP! |
2024-04-04 16:03:47 +0200 | <juri_> | I miss haskell. |
2024-04-04 16:04:11 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
2024-04-04 16:04:25 +0200 | Guest53 | (~Guest53@astrolabe.plus.com) (Quit: Client closed) |
2024-04-04 16:05:06 +0200 | <Inst> | in C just write it all in macros, what's the problem? |
2024-04-04 16:05:20 +0200 | malte | (~malte@mal.tc) |
2024-04-04 16:05:52 +0200 | <juri_> | broken C compilers. no fun. |
2024-04-04 16:06:58 +0200 | <juri_> | I'd rather be haskelling, but.. i haven't delved into the haskell code generator, and would have to teach it a new assembly language. |
2024-04-04 16:08:23 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-53-65-93-195-203.dsl.bell.ca) (Ping timeout: 252 seconds) |
2024-04-04 16:10:05 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-04-04 16:10:07 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
2024-04-04 16:11:28 +0200 | danse-nr3 | (~danse-nr3@151.57.138.166) (Read error: Connection reset by peer) |
2024-04-04 16:15:34 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-53-65-93-195-209.dsl.bell.ca) |
2024-04-04 16:15:44 +0200 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
2024-04-04 16:23:12 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
2024-04-04 16:24:20 +0200 | malte | (~malte@mal.tc) |
2024-04-04 16:43:47 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
2024-04-04 16:47:23 +0200 | <probie> | You could always take the accelerate approach and write your code as an EDSL in Haskell |
2024-04-04 16:50:54 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-04-04 16:52:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-04 16:55:31 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
2024-04-04 16:56:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-04 17:02:39 +0200 | yin | (~yin@user/zero) |
2024-04-04 17:02:55 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-53-65-93-195-209.dsl.bell.ca) (Ping timeout: 256 seconds) |
2024-04-04 17:04:56 +0200 | <Inst> | btw regarding cassava |
2024-04-04 17:05:02 +0200 | <Inst> | it's not normal to use CSV as a basic database, right? |
2024-04-04 17:06:35 +0200 | <Rembane> | Inst: I think it is. It's less cursed than using Excel for it. |
2024-04-04 17:07:02 +0200 | <Inst> | hummm, fff |
2024-04-04 17:07:09 +0200 | <Inst> | i don't think cassava has native support for database-like operations |
2024-04-04 17:07:17 +0200 | <Rembane> | Inst: What's the context? |
2024-04-04 17:07:30 +0200 | <Rembane> | Inst: Read it all, do the stuff, write it again? |
2024-04-04 17:07:49 +0200 | <Inst> | write in place, change the file seek |
2024-04-04 17:08:00 +0200 | <Inst> | then again, that doesn't really work with filesystems, right? |
2024-04-04 17:08:04 +0200 | <Inst> | I'd have to read-write the DB the entire time |
2024-04-04 17:08:29 +0200 | <c_wraith> | It's normal-ish to use CSV as a data interchange format. Not as an in-memory store. |
2024-04-04 17:08:45 +0200 | <c_wraith> | or even an on-disk working store. |
2024-04-04 17:08:51 +0200 | danse-nr3 | (~danse-nr3@151.43.188.82) |
2024-04-04 17:09:07 +0200 | <Rembane> | If you need a database, I think it's reasonable to use sqlite instead of csv. |
2024-04-04 17:09:50 +0200 | <Inst> | just looking for something lightweight since I can work postgresql simple |
2024-04-04 17:12:08 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-56-65-92-162-12.dsl.bell.ca) |
2024-04-04 17:23:11 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-56-65-92-162-12.dsl.bell.ca) (Ping timeout: 256 seconds) |
2024-04-04 17:23:14 +0200 | <juri_> | probie: I've been considering it! |
2024-04-04 17:24:49 +0200 | fererrorocher | (fererroroc@gateway/vpn/protonvpn/fererrorocher) (Quit: WeeChat 4.2.1) |
2024-04-04 17:27:17 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-04-04 17:27:38 +0200 | fererrorocher | (fererroroc@gateway/vpn/protonvpn/fererrorocher) |
2024-04-04 17:32:01 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.2.1) |
2024-04-04 17:33:22 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
2024-04-04 17:33:45 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
2024-04-04 17:43:32 +0200 | yin | (~yin@user/zero) |
2024-04-04 17:49:36 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-04-04 17:50:31 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-04-04 17:52:01 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2024-04-04 17:54:10 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 268 seconds) |
2024-04-04 17:55:19 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2024-04-04 17:55:36 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2024-04-04 18:00:00 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2024-04-04 18:00:18 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2024-04-04 18:00:38 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-04-04 18:02:59 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-04-04 18:07:06 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
2024-04-04 18:09:01 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2024-04-04 18:09:43 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2024-04-04 18:12:27 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3340-df5d-9974-3e89-4ddf-f1a5.rev.sfr.net) (Remote host closed the connection) |
2024-04-04 18:15:58 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2) |
2024-04-04 18:19:34 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-04-04 18:23:52 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:945e:cee:a6fe:79d8) (Remote host closed the connection) |
2024-04-04 18:24:43 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3240-7e76-652c-a596-803f-a5ea.rev.sfr.net) |
2024-04-04 18:26:09 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-04-04 18:30:35 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
2024-04-04 18:32:55 +0200 | yin | (~yin@user/zero) |
2024-04-04 18:47:13 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-04-04 18:50:43 +0200 | euphores | (~SASL_euph@user/euphores) (Client Quit) |
2024-04-04 18:54:19 +0200 | Guest96 | (~Guest96@sgyl-43-b2-v4wan-169648-cust2111.vm6.cable.virginm.net) |
2024-04-04 18:54:19 +0200 | <Guest96> | im still doing my 2024 trying to build ghc on a new laptop. |
2024-04-04 18:54:24 +0200 | <Guest96> | im still doing my 2024 trying to build ghc on a new laptop. |
2024-04-04 18:54:43 +0200 | <Guest96> | i have sofar failed in powershell, msys2 and wsl |
2024-04-04 18:56:34 +0200 | <Guest96> | currently trying in ubuntu wsl with apt-get |
2024-04-04 18:56:55 +0200 | <Guest96> | which is weird and actually quite welcome to see appearing in a windows build pipeline |
2024-04-04 18:57:18 +0200 | <Guest96> | and it works aswell! |
2024-04-04 18:57:34 +0200 | <Guest96> | takes all of 10s to complete! like since i logged on |
2024-04-04 18:58:05 +0200 | <Guest96> | sudo apt-get install haskell-platform |
2024-04-04 18:58:22 +0200 | Guest35 | (~textual@188.177.17.196) (Read error: Connection reset by peer) |
2024-04-04 18:58:22 +0200 | <Guest96> | ill try that in msys2 |
2024-04-04 18:58:47 +0200 | <Inst> | ummmm |
2024-04-04 18:58:51 +0200 | <Inst> | haskell-platform is dead |
2024-04-04 18:58:56 +0200 | <Guest96> | no sir |
2024-04-04 18:58:57 +0200 | <Guest96> | works |
2024-04-04 18:59:02 +0200 | <Guest96> | only thing that works infact |
2024-04-04 18:59:18 +0200 | <Inst> | but you're on obsolete haskell |
2024-04-04 18:59:22 +0200 | <Inst> | if you're okay with that, have fun |
2024-04-04 18:59:25 +0200 | <Inst> | https://www.haskell.org/platform/ |
2024-04-04 18:59:34 +0200 | <Guest96> | 8.8.4 |
2024-04-04 18:59:37 +0200 | <yushyin> | "The Haskell Platform is deprecated since 2022 and is no longer the recommended way of installing Haskell. " -- https://www.haskell.org/platform/ ' |
2024-04-04 18:59:39 +0200 | <Guest96> | yeah kind of outdated |
2024-04-04 19:00:00 +0200 | <Guest96> | i think that was before ghcup started being more broken than not |
2024-04-04 19:00:05 +0200 | <Inst> | that was what, a 2018 version? |
2024-04-04 19:00:21 +0200 | <Guest96> | idk, not sure if i need any of the newer language extensions |
2024-04-04 19:00:38 +0200 | <Inst> | or libraries |
2024-04-04 19:00:40 +0200 | <Guest96> | and if this is the only reproducable build of ghc then i guess ill stick to that for the sake of posterity |
2024-04-04 19:00:56 +0200 | <Inst> | why don't you try hugs instead? |
2024-04-04 19:01:10 +0200 | <Guest96> | Inst: libraries are the surest way to ensure your code will break for a reason that is not your fault. i have no library dependencies |
2024-04-04 19:01:12 +0200 | <Inst> | https://www.haskell.org/hugs/pages/downloading-May2006.htm |
2024-04-04 19:01:16 +0200 | <Inst> | oh okay |
2024-04-04 19:01:20 +0200 | <Guest96> | the only ones i did were to hmatrix, which prompty broke |
2024-04-04 19:01:37 +0200 | <Guest96> | hugs!? im running an agi! |
2024-04-04 19:01:49 +0200 | <Guest96> | i just bought a new machine to do so (it has 20gb ram!) |
2024-04-04 19:02:08 +0200 | <Inst> | you're just an AGI like everyone else here |
2024-04-04 19:02:10 +0200 | <Guest96> | hugs -O2 |
2024-04-04 19:02:16 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-04-04 19:02:23 +0200 | <Inst> | unless we've kicked women out of the category of humans |
2024-04-04 19:02:28 +0200 | <Guest96> | not yet, i havent uploaded myself yet, im still your master |
2024-04-04 19:02:42 +0200 | <Guest96> | women were not kicked out, just mischarecterized |
2024-04-04 19:03:04 +0200 | <Guest96> | and such are subject to irrational phobia |
2024-04-04 19:03:09 +0200 | <Inst> | (humans are technically created by humans through natural reproduction, hence all people are artificial general intelligences) |
2024-04-04 19:03:14 +0200 | <Inst> | ummm, okay |
2024-04-04 19:03:30 +0200 | igemnace | (~ian@user/igemnace) |
2024-04-04 19:03:38 +0200 | <Guest96> | hmatrix depends on blas |
2024-04-04 19:03:42 +0200 | <Guest96> | which requires unix |
2024-04-04 19:03:46 +0200 | <Guest96> | which is why it breaks |
2024-04-04 19:04:08 +0200 | <Guest96> | always some different way of piping through why it cant locate the dll or lib files |
2024-04-04 19:04:36 +0200 | <Inst> | who are you really? I get the feeling you're some big name in the Haskell community trying to troll |
2024-04-04 19:04:42 +0200 | <Guest96> | maybe if the wsl thing becomes the accepted way to access the compiler, then we can have actually reproducable builds |
2024-04-04 19:05:14 +0200 | <Guest96> | Inst: if i reveal my true identity, the mods, who were tasked to embroil and defame me, will rear up and give us all cause for concern |
2024-04-04 19:05:28 +0200 | <Guest96> | *alegedly* |
2024-04-04 19:06:00 +0200 | <ncf> | troll yes, big name probably not |
2024-04-04 19:06:04 +0200 | <Guest96> | i will continue trying to tinker away at these presumably irrelavent build chians of the future |
2024-04-04 19:06:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-04 19:08:11 +0200 | <Guest96> | ncf: its weird, i was on before and they were claiming i was the haskell comitee, or that there wasnt a haskell comittee and thats why none of us get paid. so one minute your saying im the one not paying you, and the next im a troll apparently. like, at least have some consistency! anyway i dont want to be gauded into any kind of altercation so id |
2024-04-04 19:08:11 +0200 | <Guest96> | rather if you just didnt aledge that i am a troll, which i am not. |
2024-04-04 19:08:41 +0200 | <haskellbridge> | <sm> wow megathread |
2024-04-04 19:08:43 +0200 | <Guest96> | im also not the haskell comittee if this helps |
2024-04-04 19:08:49 +0200 | <haskellbridge> | <sm> maybe take a break to cool things |
2024-04-04 19:08:54 +0200 | <Guest96> | good call. |
2024-04-04 19:09:01 +0200 | Guest96 | (~Guest96@sgyl-43-b2-v4wan-169648-cust2111.vm6.cable.virginm.net) (Quit: Connection closed) |
2024-04-04 19:11:33 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
2024-04-04 19:13:26 +0200 | arjun | (~arjun@user/arjun) |
2024-04-04 19:15:07 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-04-04 19:15:22 +0200 | <Inst> | I wonder if I'm being parodied |
2024-04-04 19:15:36 +0200 | <Inst> | I tend to be stubborn and commit to trying to harass people to get help to do things that might not be worth doing |
2024-04-04 19:16:26 +0200 | Guest96 | (~Guest96@sgyl-43-b2-v4wan-169648-cust2111.vm6.cable.virginm.net) |
2024-04-04 19:16:34 +0200 | Guest96 | guy |
2024-04-04 19:16:54 +0200 | <guy> | so i had a question actually, about this AGI |
2024-04-04 19:17:01 +0200 | <guy> | people were trying to talk to me about liscencing |
2024-04-04 19:17:52 +0200 | <guy> | i was jokingly like, ill liscence it so if you use it your software has to be open sourced (the joke being, like, its an AGI its going to end up in some weapons system, and this is *not* going to be open sourced, but will constitute a hilarious liscencing violation) |
2024-04-04 19:17:54 +0200 | <geekosaur> | Inst: you and about ¾ of the newer generation… |
2024-04-04 19:18:25 +0200 | <ncf> | guy: this is off-topic in #haskell |
2024-04-04 19:18:36 +0200 | <guy> | thats a shame, i thought you might have wanted it |
2024-04-04 19:18:50 +0200 | <guy> | if it was a comunity effort however... |
2024-04-04 19:20:28 +0200 | <guy> | ncf: what exactly, can you be very clear |
2024-04-04 19:20:56 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-04-04 19:22:30 +0200 | <guy> | hi? |
2024-04-04 19:22:49 +0200 | <guy> | can someone help me here, someone just said i cant speak? |
2024-04-04 19:24:09 +0200 | <guy> | ok, im going to take that as, not in error, but perhaps overzealous, and move on, if thats ok |
2024-04-04 19:24:36 +0200 | <guy> | (presumably the joking preamble was too opertune) |
2024-04-04 19:25:03 +0200 | <guy> | but im left with this horrible feeling that im now unsure what exactly is and isnt deemed offtopic. |
2024-04-04 19:25:16 +0200 | <guy> | i was literally just trying to open a discussion, it seems to have been nipped in the bud |
2024-04-04 19:25:20 +0200 | <guy> | i dont like that |
2024-04-04 19:25:37 +0200 | <int-e> | surely you can see that none of your past 20 or so messages were about haskell |
2024-04-04 19:25:44 +0200 | <int-e> | at all |
2024-04-04 19:26:27 +0200 | <guy> | now we are both sidelined |
2024-04-04 19:27:20 +0200 | <Inst> | maybe it's the same guy who did iamsnoyjerk back in the day? |
2024-04-04 19:27:26 +0200 | <guy> | ill just come right out and say it as clearly as i can. i have worked with people on this channel for many years on a range of projects, from language extensions to random applications. i have had help fixing bugs in my code and i have ... |
2024-04-04 19:27:31 +0200 | <guy> | hi sorry im having to field abuse |
2024-04-04 19:27:55 +0200 | <danse-nr3> | hey chill peps |
2024-04-04 19:28:01 +0200 | <guy> | i have worked with snoyberg on server stuff, but im not needing to give my credentials! |
2024-04-04 19:28:05 +0200 | <guy> | thanks danse! |
2024-04-04 19:28:09 +0200 | <int-e> | @quote |
2024-04-04 19:28:10 +0200 | <lambdabot> | pastah says: the maybe monad is like cheating. everything is so awesomelly easy. |
2024-04-04 19:28:19 +0200 | Square2 | (~Square@user/square) |
2024-04-04 19:28:31 +0200 | <Inst> | iamsnoyjerk was a parody account targeted at Michael Snoyman for some reason |
2024-04-04 19:28:47 +0200 | <guy> | thats offtopic |
2024-04-04 19:29:16 +0200 | <danse-nr3> | yeah but peps includes you guy ... |
2024-04-04 19:29:25 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-04-04 19:29:27 +0200 | <guy> | yes yes im working on it |
2024-04-04 19:29:33 +0200 | <guy> | *breathing with the calm* |
2024-04-04 19:31:34 +0200 | <guy> | put it this way, i respect the members of this comunity. i think if they helped me on this sensitive technology that it would not result in it getting leaked and incorporated into some weapons system. i think that while my ethical position is not to put it on hackage, where it might be misused, i can still basically get a copy to accademic |
2024-04-04 19:31:35 +0200 | <guy> | colluages that are prepared to work on it, and basically fill in the blanks that will have to be there basically for security reasons |
2024-04-04 19:31:47 +0200 | Square | (~Square4@user/square) (Ping timeout: 264 seconds) |
2024-04-04 19:31:49 +0200 | <guy> | its a very weird caveat to have to attatch to a call to arms for a comunity project |
2024-04-04 19:32:37 +0200 | <danse-nr3> | i think many of us are lost at what is your topic now guy |
2024-04-04 19:32:43 +0200 | <guy> | i also want to state firmly why i think this is good for the haskell comunity |
2024-04-04 19:33:02 +0200 | <Inst> | yup, i'm being parodied |
2024-04-04 19:33:15 +0200 | <guy> | i think the ML application makes fantastic use of the type system, and the processing under the hood in the compiler. |
2024-04-04 19:33:24 +0200 | <ncf> | try reddit or discourse. nobody here cares |
2024-04-04 19:33:32 +0200 | <guy> | i would never approach it in any other language, and i think it showcases the strengths of eg ttype safety very well |
2024-04-04 19:33:46 +0200 | <guy> | it could be a flagship project, if we could talk past this gibbering noise |
2024-04-04 19:34:11 +0200 | <danse-nr3> | you don't want to publish it so what are you talking about |
2024-04-04 19:34:14 +0200 | <guy> | ncf: you do not speak for us all |
2024-04-04 19:34:35 +0200 | <ncf> | i pretty clearly do, by now |
2024-04-04 19:34:55 +0200 | <guy> | danse: good question. did you understand the bit about not only having to launder the code through private channels, but also facing difficulty laundering the discussion about doing so through said channels |
2024-04-04 19:35:29 +0200 | <guy> | i would find it convinient to be able to do so openly |
2024-04-04 19:35:41 +0200 | <danse-nr3> | no, i got lost but the general mood here does not invite me to understand better. Maybe another day |
2024-04-04 19:35:54 +0200 | <Inst> | iirc monochrom has shadowops here |
2024-04-04 19:35:55 +0200 | <guy> | the general mood? one user is haranguing me |
2024-04-04 19:35:56 +0200 | <Inst> | not sure who else does |
2024-04-04 19:36:22 +0200 | <guy> | ncf: can i ask you to please disist, your affecting my reach |
2024-04-04 19:36:51 +0200 | <danse-nr3> | your mood sounds quite upset as well guy so ... maybe another day, here or in offtopic, it is not a bad channel |
2024-04-04 19:37:01 +0200 | <guy> | im fine |
2024-04-04 19:37:03 +0200 | <guy> | thanks |
2024-04-04 19:37:21 +0200 | <guy> | just not into a discussion to the contrary, if thats clear |
2024-04-04 19:38:22 +0200 | <guy> | now. we could also consider the concept of pressurization in a process where i would reveal valuble information |
2024-04-04 19:38:49 +0200 | <guy> | if i seem to be at risk of being put on the deffensive and losing chat privilagees, then perhaps it is not the team to trust with the agi. quite frankly |
2024-04-04 19:39:00 +0200 | <sm> | how about we all take a break and let the metadiscussion end ? |
2024-04-04 19:39:06 +0200 | <guy> | which is a shame because ertainly some of the users here would be welcome |
2024-04-04 19:39:23 +0200 | <guy> | sm: because that would be my abject cancellation |
2024-04-04 19:39:30 +0200 | <guy> | and the fruition of the haranguing efforts |
2024-04-04 19:39:41 +0200 | sm | takes a 10m break, see you after |
2024-04-04 19:39:54 +0200 | sm | (~znc@plaintextaccounting/sm) () |
2024-04-04 19:39:57 +0200 | <guy> | ok, this seems fine. im also just going on a 10 min break |
2024-04-04 19:39:58 +0200 | guy | (~Guest96@sgyl-43-b2-v4wan-169648-cust2111.vm6.cable.virginm.net) (Quit: Connection closed) |
2024-04-04 19:40:27 +0200 | <danse-nr3> | goddes bless breaks |
2024-04-04 19:40:40 +0200 | ChanServ | +o glguy |
2024-04-04 19:40:40 +0200 | glguy | +q *!*@92.237.136.64 |
2024-04-04 19:40:47 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-04-04 19:40:48 +0200 | glguy | -o glguy |
2024-04-04 19:42:42 +0200 | <Inst> | thanks |
2024-04-04 19:48:52 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
2024-04-04 19:51:40 +0200 | sm | (~znc@plaintextaccounting/sm) |
2024-04-04 19:52:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-04 19:53:48 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
2024-04-04 19:58:56 +0200 | danse-nr3 | (~danse-nr3@151.43.188.82) (Remote host closed the connection) |
2024-04-04 19:59:20 +0200 | danse-nr3 | (~danse-nr3@151.43.188.82) |
2024-04-04 20:02:31 +0200 | xdminsy | (~xdminsy@117.147.70.203) (Ping timeout: 260 seconds) |
2024-04-04 20:02:48 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-04-04 20:02:58 +0200 | <sm> | and now for something completely different, while we wait for the next Haskell topic. https://www.youtube.com/watch?v=HdJk8ROpuEo |
2024-04-04 20:06:34 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-04-04 20:13:08 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
2024-04-04 20:19:10 +0200 | danse-nr3 | (~danse-nr3@151.43.188.82) (Remote host closed the connection) |
2024-04-04 20:19:32 +0200 | danse-nr3 | (~danse-nr3@151.43.188.82) |
2024-04-04 20:30:11 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 268 seconds) |
2024-04-04 20:32:35 +0200 | Square2 | (~Square@user/square) (Ping timeout: 256 seconds) |
2024-04-04 20:34:35 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
2024-04-04 20:35:53 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
2024-04-04 20:39:52 +0200 | Eoco | (~ian@128.101.131.218) |
2024-04-04 20:40:04 +0200 | danse-nr3 | (~danse-nr3@151.43.188.82) (Ping timeout: 260 seconds) |
2024-04-04 20:44:42 +0200 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
2024-04-04 20:44:42 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-04-04 20:45:40 +0200 | johnw | (~johnw@69.62.242.138) |
2024-04-04 20:46:49 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
2024-04-04 20:47:17 +0200 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
2024-04-04 20:47:31 +0200 | nickiminjaj | (~nickiminj@83.5.153.123.ipv4.supernova.orange.pl) |
2024-04-04 20:47:31 +0200 | nickiminjaj | (~nickiminj@83.5.153.123.ipv4.supernova.orange.pl) (Changing host) |
2024-04-04 20:47:31 +0200 | nickiminjaj | (~nickiminj@user/laxhh) |
2024-04-04 20:47:46 +0200 | Eoco | (~ian@128.101.131.218) |
2024-04-04 20:48:31 +0200 | danse-nr3 | (~danse-nr3@fi-19-221-6.service.infuturo.it) |
2024-04-04 20:51:15 +0200 | nickiminjaj | (~nickiminj@user/laxhh) (Client Quit) |
2024-04-04 20:55:00 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
2024-04-04 20:55:33 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 272 seconds) |
2024-04-04 20:55:34 +0200 | nickiminjaj | (~nickiminj@83.5.153.123.ipv4.supernova.orange.pl) |
2024-04-04 20:55:34 +0200 | nickiminjaj | (~nickiminj@83.5.153.123.ipv4.supernova.orange.pl) (Changing host) |
2024-04-04 20:55:34 +0200 | nickiminjaj | (~nickiminj@user/laxhh) |
2024-04-04 20:57:01 +0200 | Heffalump | (~ganesh@urchin.earth.li) (Remote host closed the connection) |
2024-04-04 20:57:07 +0200 | yin | (~yin@user/zero) (Ping timeout: 260 seconds) |
2024-04-04 20:57:44 +0200 | nickiminjaj | (~nickiminj@user/laxhh) (Client Quit) |
2024-04-04 21:03:37 +0200 | <Inst> | "Everything is narrated by the brilliant British philosopher Alan Watts" <- I should have known, sm :) |
2024-04-04 21:04:47 +0200 | danse-nr3 | (~danse-nr3@fi-19-221-6.service.infuturo.it) (Ping timeout: 264 seconds) |
2024-04-04 21:04:59 +0200 | <haskellbridge> | <sm> This game was also an inspiration for the film Everything, Everywhere, All at Once |
2024-04-04 21:05:46 +0200 | nickiminjaj | (~nickiminj@user/laxhh) |
2024-04-04 21:06:34 +0200 | <haskellbridge> | <sm> speaking of which.. it has been a long time since the last new Haskell game... (see what I did there) |
2024-04-04 21:07:39 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) |
2024-04-04 21:08:13 +0200 | destituion | (~destituio@77.16.32.53.tmi.telenormobil.no) (Ping timeout: 272 seconds) |
2024-04-04 21:08:40 +0200 | <haskellbridge> | <sm> also, which programming language is best for modelling a multiverse of parallel realities do you think ? |
2024-04-04 21:10:14 +0200 | <c_wraith> | probably malbolge |
2024-04-04 21:10:18 +0200 | <ncf> | kripke models |
2024-04-04 21:11:01 +0200 | <haskellbridge> | <sm> would Verse be in the running ? |
2024-04-04 21:11:13 +0200 | yangby | (~secret@36.24.163.39) |
2024-04-04 21:11:44 +0200 | <haskellbridge> | <Liamzee> No, I don't see what you did there :( |
2024-04-04 21:11:56 +0200 | <int-e> | c_wraith: you'll want malbolge unshackled to get unbounded state |
2024-04-04 21:11:57 +0200 | <haskellbridge> | <Liamzee> Just curious, can I ask about what Hakyll does? |
2024-04-04 21:12:07 +0200 | <haskellbridge> | <sm> brought it on topic. |
2024-04-04 21:12:11 +0200 | haskellbridge | <sm> reads: Malbolge was very difficult to understand when it arrived, taking two years for the first Malbolge program to appear. The author himself has never written a Malbolge program.[2] The first program was not written by a human being; it was generated by a beam search algorithm designed by Andrew Cooke and implemented in Lisp |
2024-04-04 21:12:35 +0200 | <c_wraith> | Liamzee: it's a static site generator. Well, it's more like a library for building static site generators. |
2024-04-04 21:13:17 +0200 | <c_wraith> | Liamzee: more generally, it doesn't particularly *need* to be used to make web sites. It's a system for creating output files based on input files. |
2024-04-04 21:13:19 +0200 | <haskellbridge> | <sm> +1 |
2024-04-04 21:13:31 +0200 | <Rembane> | That sounds like a compiler |
2024-04-04 21:13:40 +0200 | <c_wraith> | A very limited compiler, yes. |
2024-04-04 21:13:59 +0200 | <c_wraith> | It stops around the level of complexity needed for mapping markdown files to html files :) |
2024-04-04 21:14:11 +0200 | <haskellbridge> | <Liamzee> well my objective (I'm Inst, btw) for a while |
2024-04-04 21:14:14 +0200 | <int-e> | sm: the crazy bit is that people have actually figured out ways to program in it (mostly compiling from other languages) |
2024-04-04 21:14:28 +0200 | <c_wraith> | It also integrates pandoc, so it's got markdown -> html as something pretty built-in. |
2024-04-04 21:14:46 +0200 | <Inst> | iirc, it's a derivative of Jekyll in Clojure, right? |
2024-04-04 21:15:05 +0200 | <Inst> | Jekyll's in Ruby! |
2024-04-04 21:15:45 +0200 | <c_wraith> | It is not exactly as batteries-included as Jekyll. |
2024-04-04 21:16:14 +0200 | <geekosaur> | ignoring that pandoc is a pretty big battery |
2024-04-04 21:16:42 +0200 | <Logio> | hakyll ~= shake + pandoc integration, but with slightly bad abstractions (at least |
2024-04-04 21:16:50 +0200 | <c_wraith> | pandoc is great for document->document. It's not so great for tree of documents -> interlinked blog |
2024-04-04 21:16:56 +0200 | <Logio> | ... 6 years ago when I tried it lsat |
2024-04-04 21:17:14 +0200 | <haskellbridge> | <sm> my guess is almost everyone tries Hakyll, finds having such a heavy site generator build is not worth it, and switches to something with a standard binary |
2024-04-04 21:17:48 +0200 | <Logio> | c_wraith: hakyll also struggles with making recursive pages (e.g. list of blog articles within each article), which was my main problem with it |
2024-04-04 21:17:52 +0200 | <haskellbridge> | <sm> shake + pandoc binary is pretty good |
2024-04-04 21:17:57 +0200 | <dminuoso> | 19:08:40 +haskellbridge │ <sm> also, which programming language is best for modelling a multiverse of parallel realities do you think ? |
2024-04-04 21:18:00 +0200 | <dminuoso> | If in doubt, APL. |
2024-04-04 21:18:04 +0200 | <haskellbridge> | <sm> make/shake + pandoc binary is pretty good |
2024-04-04 21:18:44 +0200 | nickiminjaj | (~nickiminj@user/laxhh) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-04-04 21:19:26 +0200 | <c_wraith> | hakyll has some weird design errors that are basically impossible to fix because all the things that depend on it depend on the design errors. |
2024-04-04 21:19:34 +0200 | <Inst> | ah |
2024-04-04 21:19:37 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-46-67-70-100-160.dsl.bell.ca) |
2024-04-04 21:20:03 +0200 | <Inst> | I've been rambling on for the past 72 hours about trying to build a frontend lib in Haskell, except Miso and Reflex probably do it better :( |
2024-04-04 21:20:44 +0200 | <Inst> | hakyll is related because i wanted to see the state of prior work on "simple, low-abstraction" front-ends in Haskell |
2024-04-04 21:20:50 +0200 | <haskellbridge> | <sm> how about making an experiment Inst |
2024-04-04 21:21:58 +0200 | <haskellbridge> | <Liamzee> i mean the basis would just be some random support lib built on blaze |
2024-04-04 21:21:58 +0200 | __monty__ | (~toonn@user/toonn) |
2024-04-04 21:22:12 +0200 | <haskellbridge> | <Liamzee> because mabye i've screwed up, but there are no templating libs for either blaze or lucid? |
2024-04-04 21:22:36 +0200 | <haskellbridge> | <sm> also how come you alternate two names ? I feel like I'm in that movie :) |
2024-04-04 21:22:40 +0200 | <haskellbridge> | <Liamzee> or maybe i've missed something |
2024-04-04 21:22:42 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
2024-04-04 21:23:06 +0200 | <Rembane> | Isn't both blaze and lucid templating libs? |
2024-04-04 21:23:50 +0200 | malte | (~malte@mal.tc) |
2024-04-04 21:24:08 +0200 | <haskellbridge> | <Liamzee> ummm, just a bunch of neuroses re: sm |
2024-04-04 21:24:44 +0200 | <probie> | They're not templating in the `{{foreach thing in things}}<li>{{thing}}</li>{{end}}` style |
2024-04-04 21:25:13 +0200 | mima | (~mmh@87-99-53-133.internetia.net.pl) |
2024-04-04 21:25:21 +0200 | <Inst> | more like the idea of just having a bunch of premade functions that most Haskellers would write on their own |
2024-04-04 21:25:34 +0200 | <Rembane> | Good point. I just see them as similar enough that I clump them into the same pigeon hole. |
2024-04-04 21:25:40 +0200 | <Inst> | I had an idea for trying to have a Haskell version of Wordpress |
2024-04-04 21:25:41 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-46-67-70-100-160.dsl.bell.ca) (Ping timeout: 268 seconds) |
2024-04-04 21:25:58 +0200 | <Inst> | this is close enough, the idea would be that the library would be easy enough to use, but powerful enough, that it could be the next xmonad @sm ;) |
2024-04-04 21:26:04 +0200 | <Inst> | you'd just generate html / css / js off it |
2024-04-04 21:26:12 +0200 | <Inst> | don't need to fully commit to the whole Haskell ecosystem |
2024-04-04 21:26:31 +0200 | <Inst> | just write some simple scripts off it, run the executable, then host it on nginx or some other server app like that |
2024-04-04 21:26:40 +0200 | <Inst> | worth an experiment, right? |
2024-04-04 21:26:42 +0200 | haskellbridge | <sm> remembers this old list: https://stackoverflow.com/questions/5770168/templating-packages-for-haskell |
2024-04-04 21:27:56 +0200 | <haskellbridge> | <sm> clckwrks is the nearest thing to wordpress in haskell I believe |
2024-04-04 21:29:11 +0200 | <haskellbridge> | <sm> I'm all for experiments! A hard problem for "simple" haskell-based things is the dependency on gnarly heavy tools/ecosystem |
2024-04-04 21:30:28 +0200 | <Inst> | I think I saw it a long time ago, and it was updated in the last 24 months! |
2024-04-04 21:33:05 +0200 | <probie> | Do you really need to generate JS? For a CMS, you can probably get quite far with just something like htmx. Client-side form validation might be a bit tricky though |
2024-04-04 21:34:09 +0200 | nickiminjaj | (~nickiminj@user/laxhh) |
2024-04-04 21:35:40 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-04-04 21:36:52 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-04-04 21:38:20 +0200 | nickiminjaj | (~nickiminj@user/laxhh) (Client Quit) |
2024-04-04 21:40:29 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 240 seconds) |
2024-04-04 21:43:40 +0200 | Eoco | (~ian@128.101.131.218) |
2024-04-04 21:44:52 +0200 | <Inst> | I would, because JS is sort of a lingua franca, same as C, no? |
2024-04-04 21:45:17 +0200 | <Inst> | i sort of lost interest, because my original problem was seeing how ridiculously verbose HTML could be, I was thinking: |
2024-04-04 21:45:44 +0200 | <Inst> | god, this is horrible, then I realized you could just style everything with CSS, load raw data via html and identifiers, then spawn the page using JS isntead |
2024-04-04 21:47:27 +0200 | nickiminjaj | (~nickiminj@83.5.153.123.ipv4.supernova.orange.pl) |
2024-04-04 21:47:27 +0200 | nickiminjaj | (~nickiminj@83.5.153.123.ipv4.supernova.orange.pl) (Changing host) |
2024-04-04 21:47:27 +0200 | nickiminjaj | (~nickiminj@user/laxhh) |
2024-04-04 21:47:43 +0200 | <EvanR> | html is too verbose, must encode the page in compressed random-looking unicode text with a javascript decompressor included |
2024-04-04 21:47:58 +0200 | haskellbridge | <sm> suspects every variation of generating/serving/rendering HTML/CSS/JS has been tried/productised/branded, and the best one is relative to the kind of apps and constraints needed |
2024-04-04 21:49:13 +0200 | <haskellbridge> | <sm> do you want mostly page-like content, do you want an unrestricted gui canvas, do you need to work offline, etc. |
2024-04-04 21:49:44 +0200 | <Rembane> | EvanR: Is this a jump back to dminuoso's "If in doubt, use APL"? |
2024-04-04 21:52:03 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-47-67-70-101-170.dsl.bell.ca) |
2024-04-04 21:54:20 +0200 | <Inst> | EvanR: it's better than it looks, I mean, it'd be more functional in style to just load everything into <div hidden id="foo"> blocks |
2024-04-04 21:54:39 +0200 | nickiminjaj | (~nickiminj@user/laxhh) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-04-04 21:54:40 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 256 seconds) |
2024-04-04 21:54:41 +0200 | <probie> | Off-topic, but I remember watching a talk about how Dyalog APL was adding multi-platform GUI support via electron 5-10 years ago, and the expected workflow was generating the requisite HTML from within APL instead of anything "higher level" |
2024-04-04 21:55:00 +0200 | nickiminjaj | (~nickiminj@user/laxhh) |
2024-04-04 21:55:05 +0200 | <Inst> | how did that work out? |
2024-04-04 21:57:26 +0200 | poxel | (~lennart@user/poxel) |
2024-04-04 22:00:15 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
2024-04-04 22:04:59 +0200 | arjun | (~arjun@user/arjun) (Quit: Quit!) |
2024-04-04 22:06:51 +0200 | Eoco | (~ian@128.101.131.218) |
2024-04-04 22:12:54 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
2024-04-04 22:13:31 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
2024-04-04 22:15:33 +0200 | Eoco | (~ian@128.101.131.218) |
2024-04-04 22:15:39 +0200 | <Inst> | thank you for being encouraging and supportive, even if I've been somewhat disappointing |
2024-04-04 22:15:50 +0200 | <Inst> | and irritating too |
2024-04-04 22:17:05 +0200 | vnogueira | (~vnogueira@user/vnogueira) (Remote host closed the connection) |
2024-04-04 22:17:34 +0200 | vnogueira | (~vnogueira@user/vnogueira) |
2024-04-04 22:17:53 +0200 | <juri_> | Inst: we're haskellers. we can be annoying too. :) |
2024-04-04 22:19:48 +0200 | vnogueira | (~vnogueira@user/vnogueira) (Remote host closed the connection) |
2024-04-04 22:20:13 +0200 | vnogueira | (~vnogueira@user/vnogueira) |
2024-04-04 22:22:28 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-04-04 22:25:47 +0200 | vnogueira | (~vnogueira@user/vnogueira) (Remote host closed the connection) |
2024-04-04 22:26:22 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
2024-04-04 22:26:42 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
2024-04-04 22:26:46 +0200 | vnogueira | (~vnogueira@user/vnogueira) |
2024-04-04 22:27:03 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 256 seconds) |
2024-04-04 22:30:45 +0200 | nickiminjaj | (~nickiminj@user/laxhh) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-04-04 22:32:07 +0200 | vnogueira | (~vnogueira@user/vnogueira) (Remote host closed the connection) |
2024-04-04 22:32:08 +0200 | Eoco | (~ian@128.101.131.218) |
2024-04-04 22:32:29 +0200 | vnogueira | (~vnogueira@user/vnogueira) |
2024-04-04 22:34:06 +0200 | yin | (~yin@user/zero) |
2024-04-04 22:36:04 +0200 | vnogueira | (~vnogueira@user/vnogueira) (Remote host closed the connection) |
2024-04-04 22:36:37 +0200 | vnogueira | (~vnogueira@user/vnogueira) |
2024-04-04 22:42:55 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 256 seconds) |
2024-04-04 22:44:48 +0200 | Eoco | (~ian@128.101.131.218) |
2024-04-04 22:45:22 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3240-7e76-652c-a596-803f-a5ea.rev.sfr.net) (Remote host closed the connection) |
2024-04-04 22:45:42 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3240-7e76-652c-a596-803f-a5ea.rev.sfr.net) |
2024-04-04 22:46:42 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-04-04 22:46:58 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
2024-04-04 22:47:27 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-04-04 22:49:57 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-04-04 22:51:03 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
2024-04-04 22:51:23 +0200 | Eoco | (~ian@128.101.131.218) |
2024-04-04 22:53:38 +0200 | michalz | (~michalz@185.246.207.201) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-04-04 22:54:05 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 240 seconds) |
2024-04-04 23:01:37 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 256 seconds) |
2024-04-04 23:04:16 +0200 | Eoco | (~ian@128.101.131.218) |
2024-04-04 23:11:37 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-04-04 23:14:03 +0200 | mei | (~mei@user/mei) |
2024-04-04 23:15:12 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
2024-04-04 23:15:34 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 264 seconds) |
2024-04-04 23:19:21 +0200 | benmachine | (bm380@pip.srcf.societies.cam.ac.uk) () |
2024-04-04 23:19:22 +0200 | Eoco | (~ian@128.101.131.218) |
2024-04-04 23:25:59 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
2024-04-04 23:26:18 +0200 | nickiminjaj | (~nickiminj@user/laxhh) |
2024-04-04 23:27:48 +0200 | Eoco | (~ian@128.101.131.218) |
2024-04-04 23:28:34 +0200 | nickiminjaj | (~nickiminj@user/laxhh) (Client Quit) |
2024-04-04 23:36:17 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
2024-04-04 23:38:38 +0200 | Eoco | (~ian@128.101.131.218) |
2024-04-04 23:39:14 +0200 | nickiminjaj | (~nickiminj@user/laxhh) |
2024-04-04 23:41:46 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
2024-04-04 23:42:56 +0200 | malte | (~malte@mal.tc) |
2024-04-04 23:45:46 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
2024-04-04 23:46:50 +0200 | nickiminjaj | (~nickiminj@user/laxhh) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-04-04 23:46:50 +0200 | Eoco | (~ian@128.101.131.218) |
2024-04-04 23:53:51 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-04-04 23:54:27 +0200 | sadie_ | (~sadie@c-76-155-235-153.hsd1.co.comcast.net) |
2024-04-04 23:55:42 +0200 | Guest53 | (~Guest53@p200300c6270ef100f962d4657fce0e9f.dip0.t-ipconnect.de) |
2024-04-04 23:55:58 +0200 | Guest53 | (~Guest53@p200300c6270ef100f962d4657fce0e9f.dip0.t-ipconnect.de) (Client Quit) |
2024-04-04 23:57:43 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 256 seconds) |