| 2024-11-22 00:01:23 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-11-22 00:05:41 +0100 | ash3en | (~Thunderbi@31.16.203.214) (Quit: ash3en) |
| 2024-11-22 00:11:17 +0100 | flukiluke_ | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke |
| 2024-11-22 00:11:56 +0100 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 2024-11-22 00:12:46 +0100 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2024-11-22 00:14:25 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-22 00:14:33 +0100 | TonyStone | (~TonyStone@user/TonyStone) (Quit: Leaving) |
| 2024-11-22 00:16:10 +0100 | flukiluke_ | flukiluke |
| 2024-11-22 00:16:42 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2024-11-22 00:16:51 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f4690995a768218f6fd.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-11-22 00:17:02 +0100 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2024-11-22 00:22:51 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 2024-11-22 00:22:51 +0100 | chexum_ | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2024-11-22 00:32:15 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2024-11-22 00:32:52 +0100 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-11-22 00:33:17 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-11-22 00:39:29 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-11-22 00:48:37 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-22 00:51:45 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-11-22 00:51:46 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-22 00:53:22 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-11-22 00:54:10 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-11-22 00:57:07 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-22 00:59:01 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-11-22 00:59:27 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-11-22 01:02:30 +0100 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (Ping timeout: 604 seconds) |
| 2024-11-22 01:07:55 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
| 2024-11-22 01:08:10 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-22 01:18:49 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-11-22 01:21:45 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-22 01:22:46 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2024-11-22 01:22:59 +0100 | TonyStone31 | (~TonyStone@user/TonyStone) TonyStone |
| 2024-11-22 01:23:08 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-11-22 01:23:42 +0100 | Alleria | (~Alleria@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-11-22 01:25:18 +0100 | rini | (~rini@user/rini) (Ping timeout: 272 seconds) |
| 2024-11-22 01:28:17 +0100 | rini | (~rini@user/rini) rini |
| 2024-11-22 01:28:23 +0100 | sprotte24 | (~sprotte24@p200300d16f0b150071d6bf12c0876fa2.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-11-22 01:28:44 +0100 | Everything | (~Everythin@46-133-186-175.mobile.vf-ua.net) (Quit: Lost terminal) |
| 2024-11-22 01:28:50 +0100 | _________ | (~nobody@user/noodly) _________ |
| 2024-11-22 01:29:08 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-22 01:30:24 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-11-22 01:30:54 +0100 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2024-11-22 01:36:22 +0100 | Alleria__ | (~Alleria@user/alleria) Alleria |
| 2024-11-22 01:37:55 +0100 | Alleria | (~Alleria@user/alleria) (Ping timeout: 264 seconds) |
| 2024-11-22 01:55:09 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-11-22 01:58:21 +0100 | euleritian | (~euleritia@77.22.252.159) |
| 2024-11-22 02:02:54 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-11-22 02:04:38 +0100 | son0p | (~ff@2800:e2:f80:ee7::4) son0p |
| 2024-11-22 02:05:14 +0100 | tjbc | (~tjbc@user/fliife) (Quit: ZNC - https://znc.in) |
| 2024-11-22 02:09:09 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-22 02:12:37 +0100 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-11-22 02:13:03 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-11-22 02:19:39 +0100 | tjbc | (~tjbc@user/fliife) fliife |
| 2024-11-22 02:20:30 +0100 | Alleria__ | (~Alleria@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-11-22 02:22:12 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-11-22 02:25:16 +0100 | joeyadams | (~joeyadams@syn-184-054-105-097.res.spectrum.com) |
| 2024-11-22 02:32:01 +0100 | euleritian | (~euleritia@77.22.252.159) (Remote host closed the connection) |
| 2024-11-22 02:32:27 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-22 02:32:33 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-11-22 02:35:13 +0100 | califax | (~califax@user/califx) califx |
| 2024-11-22 02:35:46 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2024-11-22 02:39:26 +0100 | <ph88> | got examples with GHC.Generics, zippers, recursion schemes and lens working to do transformation on AST. Not sure yet if they fulfill my use case but at least it compiles and does something :D |
| 2024-11-22 02:39:36 +0100 | <ph88> | only took 4 hours ^^ |
| 2024-11-22 02:49:17 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish) |
| 2024-11-22 02:49:41 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-11-22 02:58:33 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-22 03:00:53 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2024-11-22 03:04:07 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2024-11-22 03:09:00 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-11-22 03:22:03 +0100 | Snapache | (~Snapache@223.31.218.223) |
| 2024-11-22 03:22:17 +0100 | <Snapache> | Hello :) |
| 2024-11-22 03:22:19 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:442e:9ffe:6749:6de1) (Remote host closed the connection) |
| 2024-11-22 03:26:56 +0100 | falafel | (~falafel@2600:1700:99f4:2050:8052:30c0:c63e:5055) falafel |
| 2024-11-22 03:27:07 +0100 | <joeyadams> | Greetings |
| 2024-11-22 03:29:54 +0100 | Snapache | (~Snapache@223.31.218.223) (Quit: Client closed) |
| 2024-11-22 03:32:29 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-22 04:03:38 +0100 | RedNifre | (~RedNifre@dslb-002-201-038-124.002.201.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2024-11-22 04:06:23 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-11-22 04:07:03 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-11-22 04:12:51 +0100 | Digit | (~user@user/digit) Digit |
| 2024-11-22 04:21:16 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-11-22 04:27:47 +0100 | RedNifre | (~RedNifre@dslb-090-186-054-194.090.186.pools.vodafone-ip.de) RedNifre |
| 2024-11-22 04:28:47 +0100 | gdr3941 | (~user@12.215.51.5) gdr3941 |
| 2024-11-22 04:36:25 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-22 04:38:20 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-22 04:46:04 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-22 04:49:45 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-11-22 04:50:12 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2024-11-22 04:50:45 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 252 seconds) |
| 2024-11-22 04:57:06 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-22 05:01:05 +0100 | user363627 | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2024-11-22 05:05:34 +0100 | mantraofpie | (~mantraofp@user/mantraofpie) (Remote host closed the connection) |
| 2024-11-22 05:05:53 +0100 | mantraofpie | (~mantraofp@user/mantraofpie) mantraofpie |
| 2024-11-22 05:15:03 +0100 | falafel | (~falafel@2600:1700:99f4:2050:8052:30c0:c63e:5055) (Ping timeout: 276 seconds) |
| 2024-11-22 05:16:26 +0100 | son0p | (~ff@2800:e2:f80:ee7::4) (Ping timeout: 244 seconds) |
| 2024-11-22 05:32:05 +0100 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-11-22 05:35:42 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
| 2024-11-22 06:00:39 +0100 | gdr3941 | (~user@12.215.51.5) (Ping timeout: 260 seconds) |
| 2024-11-22 06:01:34 +0100 | RedNifre | (~RedNifre@dslb-090-186-054-194.090.186.pools.vodafone-ip.de) (Ping timeout: 265 seconds) |
| 2024-11-22 06:08:33 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2024-11-22 06:09:41 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 248 seconds) |
| 2024-11-22 06:11:13 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-11-22 06:14:00 +0100 | RedNifre | (~RedNifre@dslb-088-075-093-154.088.075.pools.vodafone-ip.de) RedNifre |
| 2024-11-22 06:17:53 +0100 | werneta_ | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2024-11-22 06:21:28 +0100 | falafel | (~falafel@2600:1700:99f4:2050:a547:ca79:96d1:4) falafel |
| 2024-11-22 06:23:12 +0100 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 2024-11-22 06:57:04 +0100 | michalz | (~michalz@185.246.207.203) |
| 2024-11-22 06:59:42 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-11-22 07:00:36 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-22 07:05:09 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-11-22 07:05:09 +0100 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-11-22 07:05:21 +0100 | euleritian | (~euleritia@dynamic-176-004-004-243.176.4.pool.telefonica.de) |
| 2024-11-22 07:10:00 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
| 2024-11-22 07:10:58 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-22 07:11:39 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 244 seconds) |
| 2024-11-22 07:12:56 +0100 | werneta_ | (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: leaving) |
| 2024-11-22 07:13:11 +0100 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-11-22 07:17:53 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
| 2024-11-22 07:17:57 +0100 | falafel | (~falafel@2600:1700:99f4:2050:a547:ca79:96d1:4) (Ping timeout: 248 seconds) |
| 2024-11-22 07:19:39 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-22 07:20:41 +0100 | Flow | (~none@gentoo/developer/flow) flow |
| 2024-11-22 07:21:16 +0100 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-11-22 07:21:25 +0100 | joeyadams | (~joeyadams@syn-184-054-105-097.res.spectrum.com) (Quit: Leaving) |
| 2024-11-22 07:23:10 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-22 07:25:03 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
| 2024-11-22 07:27:33 +0100 | euleritian | (~euleritia@dynamic-176-004-004-243.176.4.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2024-11-22 07:28:06 +0100 | euleritian | (~euleritia@dynamic-176-006-129-078.176.6.pool.telefonica.de) |
| 2024-11-22 07:33:26 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-11-22 07:34:44 +0100 | Ram-Z_ | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) Ram-Z |
| 2024-11-22 07:35:40 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-22 07:36:41 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-11-22 07:37:54 +0100 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Remote host closed the connection) |
| 2024-11-22 07:38:09 +0100 | Perseverance_ | (~Persevera@2.219.56.221) (Quit: Connection error?!) |
| 2024-11-22 07:51:13 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 252 seconds) |
| 2024-11-22 07:53:54 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f07512390ce63ebc194.dip0.t-ipconnect.de) acidjnk |
| 2024-11-22 07:55:44 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-11-22 07:56:54 +0100 | euleritian | (~euleritia@dynamic-176-006-129-078.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-11-22 07:57:43 +0100 | euleritian | (~euleritia@dynamic-176-004-182-175.176.4.pool.telefonica.de) |
| 2024-11-22 07:58:39 +0100 | Flow | (~none@gentoo/developer/flow) flow |
| 2024-11-22 08:12:11 +0100 | Guest878 | (~Guest878@80-186-163-16.elisa-mobile.fi) |
| 2024-11-22 08:16:00 +0100 | ft | (~ft@p508dbc6e.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-11-22 08:16:02 +0100 | briandaed | (~jaroslawj@user/briandaed) briandaed |
| 2024-11-22 08:23:58 +0100 | Snapache | (~Snapache@2401:4900:883a:3591:51f1:9f6a:f5bd:a3b6) |
| 2024-11-22 08:30:10 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2024-11-22 08:40:30 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-11-22 08:42:11 +0100 | falafel | (~falafel@2600:1700:99f4:2050:d199:9326:25ba:1e95) falafel |
| 2024-11-22 08:45:46 +0100 | CiaoSen | (~Jura@2a05:5800:20a:3000:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-11-22 08:49:50 +0100 | kenran | (~void@user/kenran) kenran |
| 2024-11-22 08:54:48 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-22 08:57:01 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-11-22 08:59:52 +0100 | briandaed | (~jaroslawj@user/briandaed) (Remote host closed the connection) |
| 2024-11-22 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-22 09:00:44 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-22 09:01:12 +0100 | Perseverance | (~Persevera@2.219.56.221) |
| 2024-11-22 09:04:37 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-22 09:04:58 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-11-22 09:05:02 +0100 | briandaed | (~root@user/briandaed) briandaed |
| 2024-11-22 09:07:06 +0100 | kuribas | (~user@ptr-17d51eptprfopgif7d6.18120a2.ip6.access.telenet.be) kuribas |
| 2024-11-22 09:08:42 +0100 | Perseverance | (~Persevera@2.219.56.221) (Ping timeout: 252 seconds) |
| 2024-11-22 09:14:13 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 248 seconds) |
| 2024-11-22 09:14:54 +0100 | CiaoSen | (~Jura@2a05:5800:20a:3000:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2024-11-22 09:16:38 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-22 09:21:24 +0100 | Enviosity | (~Enviosity@2.219.56.221) |
| 2024-11-22 09:23:19 +0100 | euleritian | (~euleritia@dynamic-176-004-182-175.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-22 09:23:37 +0100 | euleritian | (~euleritia@ip2504f9cf.dynamic.kabel-deutschland.de) |
| 2024-11-22 09:25:42 +0100 | Flow | (~none@gentoo/developer/flow) flow |
| 2024-11-22 09:26:10 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-22 09:35:49 +0100 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) bastelfreak |
| 2024-11-22 09:37:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-22 09:38:11 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-11-22 09:39:57 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-11-22 09:51:46 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-11-22 09:57:35 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-11-22 10:01:19 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-22 10:04:38 +0100 | Enviosity | (~Enviosity@2.219.56.221) (Ping timeout: 272 seconds) |
| 2024-11-22 10:06:15 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-11-22 10:11:54 +0100 | Guest878 | (~Guest878@80-186-163-16.elisa-mobile.fi) (Quit: Guest878) |
| 2024-11-22 10:13:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 10:16:14 +0100 | ubert | (~Thunderbi@77.119.163.150.wireless.dyn.drei.com) ubert |
| 2024-11-22 10:20:50 +0100 | Enviosity | (~Enviosity@2.219.56.221) |
| 2024-11-22 10:24:53 +0100 | chele | (~chele@user/chele) chele |
| 2024-11-22 10:24:56 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-11-22 10:32:36 +0100 | Snapache | (~Snapache@2401:4900:883a:3591:51f1:9f6a:f5bd:a3b6) (Quit: Client closed) |
| 2024-11-22 10:34:43 +0100 | Square | (~Square@user/square) Square |
| 2024-11-22 10:34:59 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-22 10:35:13 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-11-22 10:38:50 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-11-22 10:39:12 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-22 10:40:00 +0100 | zenmov_ | (~zenmov@user/zenmov) (Ping timeout: 252 seconds) |
| 2024-11-22 10:41:21 +0100 | falafel | (~falafel@2600:1700:99f4:2050:d199:9326:25ba:1e95) (Ping timeout: 276 seconds) |
| 2024-11-22 10:41:48 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-22 10:49:12 +0100 | CiaoSen | (~Jura@2a05:5800:20a:3000:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-11-22 10:52:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-22 10:57:36 +0100 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-11-22 10:57:46 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-22 10:59:57 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-11-22 11:00:48 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2024-11-22 11:00:49 +0100 | mceresa_ | (~mceresa@user/mceresa) mceresa |
| 2024-11-22 11:02:12 +0100 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 265 seconds) |
| 2024-11-22 11:02:26 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-22 11:02:41 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-11-22 11:02:48 +0100 | mceresa_ | (~mceresa@user/mceresa) (Read error: Connection reset by peer) |
| 2024-11-22 11:05:25 +0100 | mari40982 | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-22 11:07:55 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 264 seconds) |
| 2024-11-22 11:18:28 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-22 11:33:27 +0100 | mari40982 | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-11-22 11:33:40 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-22 11:34:27 +0100 | CiaoSen | (~Jura@2a05:5800:20a:3000:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-11-22 11:44:39 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2024-11-22 11:49:26 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-22 11:49:36 +0100 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2024-11-22 11:55:26 +0100 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 252 seconds) |
| 2024-11-22 12:07:21 +0100 | euleritian | (~euleritia@ip2504f9cf.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-11-22 12:08:46 +0100 | euleritian | (~euleritia@dynamic-176-006-140-182.176.6.pool.telefonica.de) |
| 2024-11-22 12:09:46 +0100 | kenran | (~void@user/kenran) (Ping timeout: 244 seconds) |
| 2024-11-22 12:10:52 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-11-22 12:13:19 +0100 | kuribas | (~user@ptr-17d51eptprfopgif7d6.18120a2.ip6.access.telenet.be) (Ping timeout: 264 seconds) |
| 2024-11-22 12:28:13 +0100 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2024-11-22 12:30:39 +0100 | kuribas | (~user@ptr-17d51emgi36u91b7ck4.18120a2.ip6.access.telenet.be) kuribas |
| 2024-11-22 12:30:52 +0100 | Digit | (~user@user/digit) Digit |
| 2024-11-22 12:31:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-22 12:37:27 +0100 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-11-22 12:37:41 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-22 12:44:06 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-11-22 12:44:08 +0100 | son0p | (~ff@2800:e2:f80:ee7::4) son0p |
| 2024-11-22 12:44:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 12:54:42 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2024-11-22 12:54:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-22 12:59:51 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2024-11-22 13:06:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 13:11:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-22 13:13:16 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-22 13:19:20 +0100 | alp_ | (~alp@2001:861:8ca0:4940:fc9d:90cc:a5de:4f14) (Remote host closed the connection) |
| 2024-11-22 13:19:39 +0100 | alp_ | (~alp@2001:861:8ca0:4940:7c0a:aa87:68a6:fce0) |
| 2024-11-22 13:23:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 13:27:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2024-11-22 13:27:09 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f07512390ce63ebc194.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-11-22 13:27:47 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-11-22 13:29:02 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-22 13:29:27 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f07095a006aa041e305.dip0.t-ipconnect.de) acidjnk |
| 2024-11-22 13:30:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-22 13:38:10 +0100 | divya | (~user@139.5.11.231) divya |
| 2024-11-22 13:39:41 +0100 | <divya> | I'm in the process of building a symbolic math library in Haskell, I've mostly looked around for similar stuff in hackage and other relevant places, but if anyone here has any cool stuff I should look into, please let me know. |
| 2024-11-22 13:41:04 +0100 | <mauke> | > a^3 |
| 2024-11-22 13:41:06 +0100 | <lambdabot> | a * a * a |
| 2024-11-22 13:41:41 +0100 | <hellwolf> | divya: cool!! is it already a public git repo that I can follow? |
| 2024-11-22 13:42:24 +0100 | <divya> | hellwolf: Hey, not yet, I'm being a bit conservative until I fix a few things and some basic things work, but I'll soon release it on codeberg and github and link it here :) |
| 2024-11-22 13:43:22 +0100 | <divya> | It was quite surprising to me that no such library as of now exists, since as a math person, Haskell comes naturally as a language for this purpose, than say Python (with SymPy et.al) |
| 2024-11-22 13:43:28 +0100 | <hellwolf> | nice, I have been using sage. but I am very enthusiastic about a Haskell impl! |
| 2024-11-22 13:43:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 13:43:57 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-11-22 13:44:15 +0100 | <divya> | hellwolf: Good to know there's peple who'd be interested :D |
| 2024-11-22 13:44:37 +0100 | <hellwolf> | I am not an advanced user, but when I needed it, I used sage. |
| 2024-11-22 13:44:50 +0100 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2024-11-22 13:50:17 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-22 13:53:45 +0100 | kuribas | (~user@ptr-17d51emgi36u91b7ck4.18120a2.ip6.access.telenet.be) (Ping timeout: 276 seconds) |
| 2024-11-22 13:59:43 +0100 | euleritian | (~euleritia@dynamic-176-006-140-182.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-22 14:00:01 +0100 | euleritian | (~euleritia@ip2504f9cf.dynamic.kabel-deutschland.de) |
| 2024-11-22 14:00:52 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-22 14:04:19 +0100 | Square | (~Square@user/square) Square |
| 2024-11-22 14:04:28 +0100 | kuribas | (~user@ptr-17d51emjupdmw5dv1xj.18120a2.ip6.access.telenet.be) kuribas |
| 2024-11-22 14:11:13 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-11-22 14:20:28 +0100 | <[exa]> | divya: pls announce here once anything gets out! |
| 2024-11-22 14:20:53 +0100 | <divya> | [exa]: By all means :) |
| 2024-11-22 14:21:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-11-22 14:22:25 +0100 | <[exa]> | divya: anyway the unavailability might be due to the common standards in the field; to me it seems like that common symbolic math users are also the ones who just yolo inversion of badly determined linear systems and let their data die in round-off errors. And that doesn't really fit into haskell way of thinking |
| 2024-11-22 14:23:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 14:23:15 +0100 | mari-estel | (~mari-este@user/mari-estel) (Quit: time to cook something) |
| 2024-11-22 14:31:11 +0100 | <divya> | [exa]: Well, yeah, but I guess one could change that and bring cleaner approaches to computation. |
| 2024-11-22 14:32:32 +0100 | <[exa]> | *the compendium of matlab users frowns in annoyance* |
| 2024-11-22 14:32:38 +0100 | <divya> | hahaha |
| 2024-11-22 14:33:14 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-22 14:36:39 +0100 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) (Remote host closed the connection) |
| 2024-11-22 14:36:42 +0100 | <divya> | Having played around with matlab and its libre alternatives, I don't like how I have to think while doing computation in it. It takes me steps further away from what I'd do in math. |
| 2024-11-22 14:37:58 +0100 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) |
| 2024-11-22 14:42:37 +0100 | ft | (~ft@p508db9c7.dip0.t-ipconnect.de) ft |
| 2024-11-22 14:44:12 +0100 | <JuanDaugherty> | there may be some cognive dissonance, blockage, obviation, with the notion that hs is an implementation of mathematics, that and the plethora of pkgs mentioned |
| 2024-11-22 14:45:15 +0100 | <JuanDaugherty> | mahematica being the one on my mind rn, as i'm moving a desktop where its installed and will have to get a new math id |
| 2024-11-22 14:45:18 +0100 | <JuanDaugherty> | maybe |
| 2024-11-22 14:45:45 +0100 | <JuanDaugherty> | *cognitive |
| 2024-11-22 14:46:19 +0100 | <zzz> | when using `join bimap IntMap.fromList ...` do both IntMaps have to have the same type? does the Dreaded Monomorphism Restriction force me to write `bimap IntMap.fromList IntMap.fromList ...` ? |
| 2024-11-22 14:46:25 +0100 | euleritian | (~euleritia@ip2504f9cf.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-11-22 14:46:42 +0100 | <zzz> | or is it something else? |
| 2024-11-22 14:47:09 +0100 | <merijn> | zzz: nah, the problem is join not inferring a Rank2Type |
| 2024-11-22 14:47:29 +0100 | euleritian | (~euleritia@dynamic-176-006-140-182.176.6.pool.telefonica.de) |
| 2024-11-22 14:47:36 +0100 | <merijn> | Which makes sense because, while theoretically solved efficient Rank2 type inference is hard to implement/make fast |
| 2024-11-22 14:47:55 +0100 | <merijn> | I *think* you should be able to make it work if you manually write out the Rank2 type |
| 2024-11-22 14:48:30 +0100 | <JuanDaugherty> | *mathematica |
| 2024-11-22 14:48:37 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-22 14:49:17 +0100 | <merijn> | actually, maybe I'm talking nonsense |
| 2024-11-22 14:49:53 +0100 | <merijn> | ok, no, I think that's right |
| 2024-11-22 14:52:43 +0100 | <merijn> | zzz: i.e. what you're passing is `forall v . [(Int, v)] -> IntMap v`, (which works for any `v`), but once join passes it to bimap it'll have constrained them to the *same* `v` (that is, `[(Int, v)] -> IntMap v` for some out of scope type variable v), so what you're needing `join` to track is the fact that your function is polymorphic (which it could, with a Rank2 type), but GHC doesn't support inferring |
| 2024-11-22 14:52:49 +0100 | <merijn> | Rank2Types (last I checked, anyway) only checking them |
| 2024-11-22 14:53:02 +0100 | <merijn> | zzz: See this example: https://gist.github.com/merijn/77e3fa9757658e59b01d |
| 2024-11-22 14:53:17 +0100 | <zzz> | i get it! thanks |
| 2024-11-22 15:03:26 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-22 15:05:21 +0100 | <absence> | Is it generally "safe" to peel off newtype wrappers with unsafeCoerce, assuming one doesn't mess up the type signature? |
| 2024-11-22 15:05:37 +0100 | <merijn> | absence: Define safe |
| 2024-11-22 15:05:45 +0100 | <merijn> | Also, sounds like you want "coerce" :p |
| 2024-11-22 15:06:17 +0100 | <absence> | Safe as in doesn't crash. I can't use coerce because the newtype constructor isn't exported. |
| 2024-11-22 15:06:58 +0100 | <merijn> | absence: Shouldn't crash, the main risk is that you can (theoretically) violate type safety, but that requires some intentionally crafted shenanigans |
| 2024-11-22 15:13:13 +0100 | <tomsmeding> | absence: the representation of the newtype is the same as that of its field, so you get a valid heap object after that unsafeCoerce. Whether you also get a valid value in the API of whatever library you're using, is for you to say :) |
| 2024-11-22 15:13:48 +0100 | <tomsmeding> | depending on the invariants that the library expects, the result may well be that the library's functions crash somehow |
| 2024-11-22 15:14:05 +0100 | <merijn> | tomsmeding: Well, there's some typeclass shenanigans that let you implement "unsafePerformIO" using it and other type safety compromising shenanigans |
| 2024-11-22 15:14:34 +0100 | <merijn> | but yeah, the runtime representation of newtypes is guaranteed to be the same as their argument, so unsafeCoerce should always work fine (for some value of fine) |
| 2024-11-22 15:17:11 +0100 | <absence> | The invariants part will be fun, since IO and threads are involved, but you have to break some eggs to make omelette... :P At least it's good to know that any crashes won't be caused by the coercion itself. Thanks! |
| 2024-11-22 15:18:14 +0100 | <merijn> | absence: tbh, you do have to pull some shenanigans that are hard to do "on accident" for that to happen :p |
| 2024-11-22 15:20:14 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-22 15:27:00 +0100 | ubert | (~Thunderbi@77.119.163.150.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2024-11-22 15:31:51 +0100 | zetef | (~quassel@5.14.132.167) zetef |
| 2024-11-22 15:31:58 +0100 | zetef | (~quassel@5.14.132.167) (Client Quit) |
| 2024-11-22 15:32:42 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) CoolMa7 |
| 2024-11-22 15:36:21 +0100 | zenmov | (~zenmov@152.59.70.72) |
| 2024-11-22 15:36:43 +0100 | CoolMa7_ | (~CoolMa7@128.90.175.4) CoolMa7 |
| 2024-11-22 15:36:57 +0100 | zenmov_ | (~zenmov@2409:40d0:2038:3f1c:fdb9:d79d:f240:f872) |
| 2024-11-22 15:37:19 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-11-22 15:40:14 +0100 | CoolMa7 | (~CoolMa7@95.91.137.87) CoolMa7 |
| 2024-11-22 15:41:25 +0100 | CoolMa7_ | (~CoolMa7@128.90.175.4) (Ping timeout: 248 seconds) |
| 2024-11-22 15:41:36 +0100 | CoolMa7 | (~CoolMa7@95.91.137.87) (Client Quit) |
| 2024-11-22 15:43:08 +0100 | zenmov | (~zenmov@152.59.70.72) (Ping timeout: 252 seconds) |
| 2024-11-22 15:43:09 +0100 | zenmov_ | (~zenmov@2409:40d0:2038:3f1c:fdb9:d79d:f240:f872) (Ping timeout: 244 seconds) |
| 2024-11-22 15:44:42 +0100 | ubert | (~Thunderbi@178.165.183.45.wireless.dyn.drei.com) ubert |
| 2024-11-22 15:49:07 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-22 15:49:39 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-22 15:49:39 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
| 2024-11-22 15:49:55 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Client Quit) |
| 2024-11-22 15:54:41 +0100 | alp_ | (~alp@2001:861:8ca0:4940:7c0a:aa87:68a6:fce0) (Ping timeout: 248 seconds) |
| 2024-11-22 15:59:19 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-22 15:59:50 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-22 16:04:36 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-22 16:09:30 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-22 16:10:01 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-22 16:10:17 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:b207:6fdf:3bc2:af75) ph88 |
| 2024-11-22 16:10:57 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) |
| 2024-11-22 16:17:42 +0100 | alp_ | (~alp@2001:861:8ca0:4940:78a1:8f27:d654:5f75) |
| 2024-11-22 16:21:10 +0100 | divya | (~user@139.5.11.231) (Read error: Connection reset by peer) |
| 2024-11-22 16:21:24 +0100 | divya | (~user@139.5.11.231) |
| 2024-11-22 16:33:42 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:b207:6fdf:3bc2:af75) (Ping timeout: 246 seconds) |
| 2024-11-22 16:35:53 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-11-22 16:41:33 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-22 16:59:18 +0100 | <hellwolf> | a problem surfaced after using top-level TH splice to generate the type synonyms... LSP seems confused... |
| 2024-11-22 16:59:39 +0100 | <hellwolf> | For the sake of devx, I may have to roll back that fancy top-level TH splice trick :( |
| 2024-11-22 16:59:54 +0100 | <hellwolf> | But should revisit LSP another day to fix it. |
| 2024-11-22 17:01:54 +0100 | mari-estel | (~mari-este@user/mari-estel) () |
| 2024-11-22 17:01:55 +0100 | <hellwolf> | "Can't find interface-file declaration for type constructor or class U8" |
| 2024-11-22 17:02:12 +0100 | <hellwolf> | "Possible cause: bug in .hi-boot file, or incosistent .hi file ...." |
| 2024-11-22 17:02:26 +0100 | <hellwolf> | perhaps I can create a .hi-boot file to assist it... |
| 2024-11-22 17:08:04 +0100 | <merijn> | hellwolf: First question for you: Do you have multiple TH splices in that file? |
| 2024-11-22 17:08:37 +0100 | <merijn> | hellwolf: Second question: Are you referencing that top level type synonym before the splice defining it? |
| 2024-11-22 17:10:10 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-22 17:11:14 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-11-22 17:11:50 +0100 | <hellwolf> | 1st: No, only one big top-level splice, see "https://github.com/hellwolf/yul-dsl-monorepo/blob/35727d4d0932d1189b922da47e292cfd8c1b362b/hs-pkgs…", it was from a thread a few days ago. |
| 2024-11-22 17:12:16 +0100 | <hellwolf> | 2nd: No, I refer to it elsewhere, it works. The one that's bailing is LSP |
| 2024-11-22 17:13:13 +0100 | <hellwolf> | If it's not a red herring, I may have to just revert to old way: https://github.com/hellwolf/yul-dsl-monorepo/blob/1291a7ae1ac1770c3d3966991075a099225c32dc/hs-pkgs… (so far, it seems to be an LSP issue.0 |
| 2024-11-22 17:13:19 +0100 | <merijn> | oh, wait,ok, that rules out any if the things I was thinking :p |
| 2024-11-22 17:13:47 +0100 | <merijn> | hellwolf: What exactly is the LSP error? |
| 2024-11-22 17:14:04 +0100 | <hellwolf> | I quoted above. Few lines back. |
| 2024-11-22 17:14:12 +0100 | <hellwolf> | "Can't find interface-file declaration" |
| 2024-11-22 17:14:48 +0100 | <hellwolf> | it's a pity. I really liked that top-level slice. I will keep that trick for instance declarations, but I'd have to bail for the type synonyms. |
| 2024-11-22 17:15:32 +0100 | <merijn> | hellwolf: Is that project using FFI anywhere? |
| 2024-11-22 17:15:39 +0100 | <haskellbridge> | <hellwolf> nope |
| 2024-11-22 17:15:53 +0100 | <merijn> | ok, then I'm out of obvious ideas for culprits :p |
| 2024-11-22 17:16:30 +0100 | <haskellbridge> | <hellwolf> Maybe LSP have limitations on TH in general. THat's why I was asking here, since some people here may know. |
| 2024-11-22 17:17:11 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-11-22 17:17:33 +0100 | <merijn> | In general it should work |
| 2024-11-22 17:17:48 +0100 | <merijn> | I've used it already years ago and only ran into some really niche issues |
| 2024-11-22 17:18:42 +0100 | <hellwolf> | Maybe I can create a minimal reproduceable case. I will take a mental note and do that some other day. |
| 2024-11-22 17:18:42 +0100 | vektor | (~vektor@IP-149249144107.pools.medianet-world.de) |
| 2024-11-22 17:19:56 +0100 | euleritian | (~euleritia@dynamic-176-006-140-182.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-11-22 17:20:12 +0100 | <vektor> | ... GHC, are you quite alright? https://paste.tomsmeding.com/Nlr8wvdB |
| 2024-11-22 17:20:17 +0100 | euleritian | (~euleritia@dynamic-176-006-140-182.176.6.pool.telefonica.de) |
| 2024-11-22 17:20:17 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Remote host closed the connection) |
| 2024-11-22 17:20:31 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) |
| 2024-11-22 17:21:17 +0100 | <vektor> | I can not for the life of me figure out how GHC thinks that I applied three args to "not" here. |
| 2024-11-22 17:21:18 +0100 | <vektor> | I get it's super wrong, the `and` should've been infix to properly syntax, and it should've been && to properly type. |
| 2024-11-22 17:21:18 +0100 | <vektor> | But can GHC really not offer a better error here? |
| 2024-11-22 17:23:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-22 17:23:24 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds) |
| 2024-11-22 17:25:11 +0100 | <vektor> | I suppose haskell figured it's just an application chain: not True and (not False) - because the and wasn't infixed, it's the only option the parser is left with, which makes no sense at the type level. |
| 2024-11-22 17:25:39 +0100 | <geekosaur> | :t and |
| 2024-11-22 17:25:40 +0100 | <lambdabot> | Foldable t => t Bool -> Bool |
| 2024-11-22 17:26:01 +0100 | <geekosaur> | `and` is not what you think it is, so `not` is not being used the way you think it should be |
| 2024-11-22 17:26:25 +0100 | <geekosaur> | (you want `&&`) |
| 2024-11-22 17:26:55 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-11-22 17:26:57 +0100 | <hellwolf> | you use (&&) (||) but you should use (not) <-- haskell logic :) |
| 2024-11-22 17:29:10 +0100 | zenmov | (~zenmov@103.212.156.174) |
| 2024-11-22 17:29:10 +0100 | <vektor> | geeko: yeah, I mean, I know how it should be, I'm more confused by the absolutely cryptic compiler error. Considering that to the "human parse" of the program, there's syntax errors, but haskell is just like "this is fine" and hands the hot potato off to the type system. |
| 2024-11-22 17:29:34 +0100 | zenmov_ | (~zenmov@103.212.156.174) |
| 2024-11-22 17:29:39 +0100 | <geekosaur> | it's not a syntax error |
| 2024-11-22 17:29:48 +0100 | <vektor> | Well, yes, not to GHC. |
| 2024-11-22 17:29:58 +0100 | <geekosaur> | the syntax is entirely valid, it just means something completely different from what you intended |
| 2024-11-22 17:30:21 +0100 | <geekosaur> | and "intent" is not something a compiler can infer |
| 2024-11-22 17:30:32 +0100 | <vektor> | Of course. |
| 2024-11-22 17:30:57 +0100 | <geekosaur> | (well, that's not wntirely true. but that gets you WATFIV which infamously could compile just about anything by "correcting" you, usually in ways you didn't expect) |
| 2024-11-22 17:31:32 +0100 | <vektor> | I mean, I've had the same problem in different instances come to bite me every so often: The parser will accept a lot of stuff that is absolutely hot flaming garbage, and doesn't pass a basic sniff test, but the type checker gives cryptic errors. |
| 2024-11-22 17:32:52 +0100 | <hellwolf> | do you have a suggestion? |
| 2024-11-22 17:33:07 +0100 | <vektor> | Beyond "display the syntax tree for debug purposes"... not really? |
| 2024-11-22 17:33:32 +0100 | <hellwolf> | did your terminal show red text for the first "not"? |
| 2024-11-22 17:34:21 +0100 | <vektor> | nope |
| 2024-11-22 17:34:37 +0100 | <geekosaur> | the typechecker didn't get that far |
| 2024-11-22 17:34:41 +0100 | <mari-estel> | @hoogle (a -> m b) -> t a -> m (t (a, b)) |
| 2024-11-22 17:34:42 +0100 | <lambdabot> | No results found |
| 2024-11-22 17:35:18 +0100 | <vektor> | Perhaps slightly less radical: When printing the "but it was applied to too many" error message, GHC could quickly spit out what exactly those three args are. |
| 2024-11-22 17:35:24 +0100 | <geekosaur> | (if it had, it would have inferred `(not True)` as having a function type) |
| 2024-11-22 17:35:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 17:35:49 +0100 | <geekosaur> | even that is a bit difficult, because they come form `and` |
| 2024-11-22 17:35:58 +0100 | <vektor> | Cause this is either a "beyond obvious" error where you know just from the error message what's the problem, or it's a very sneaky issue. |
| 2024-11-22 17:36:16 +0100 | <geekosaur> | `and FUNCTION LIST` folds `FUNCTION` over `LIST` |
| 2024-11-22 17:36:30 +0100 | <geekosaur> | (whihc must be a list of `Bool`) |
| 2024-11-22 17:39:09 +0100 | euleritian | (~euleritia@dynamic-176-006-140-182.176.6.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2024-11-22 17:39:51 +0100 | <geekosaur> | and yes, the type of higher order expressions can be a bit weird, especially if the result is inferred to be higher order which is what the `(not True)` is doing to you |
| 2024-11-22 17:40:41 +0100 | <geekosaur> | (because, by its position in the expression, it is expected to be a function type) |
| 2024-11-22 17:42:49 +0100 | <geekosaur> | what you may actually be looking for is Helium |
| 2024-11-22 17:43:25 +0100 | <geekosaur> | https://github.com/Helium4Haskell/helium |
| 2024-11-22 17:49:36 +0100 | <mari-estel> | @hoogle [(a, [b])] -> [(b -> [a])] |
| 2024-11-22 17:49:37 +0100 | <lambdabot> | No results found |
| 2024-11-22 17:49:41 +0100 | zenmov | (~zenmov@103.212.156.174) (Changing host) |
| 2024-11-22 17:49:41 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-11-22 17:51:52 +0100 | <mari-estel> | @hoogle Map a b -> Map b a |
| 2024-11-22 17:51:53 +0100 | <lambdabot> | No results found |
| 2024-11-22 18:01:59 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-11-22 18:02:03 +0100 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2024-11-22 18:02:32 +0100 | zenmov_ | (~zenmov@103.212.156.174) (Quit: leaving) |
| 2024-11-22 18:02:32 +0100 | zenmov | (~zenmov@user/zenmov) (Quit: leaving) |
| 2024-11-22 18:02:51 +0100 | zenmov | (~zenmov@103.212.156.174) |
| 2024-11-22 18:03:32 +0100 | zenmov | (~zenmov@103.212.156.174) (Changing host) |
| 2024-11-22 18:03:32 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-11-22 18:10:50 +0100 | zenmov | (~zenmov@user/zenmov) (Quit: leaving) |
| 2024-11-22 18:11:05 +0100 | zenmov | (~zenmov@103.212.156.174) |
| 2024-11-22 18:11:22 +0100 | vektor | (~vektor@IP-149249144107.pools.medianet-world.de) (Quit: Client closed) |
| 2024-11-22 18:11:56 +0100 | zenmov | (~zenmov@103.212.156.174) (Changing host) |
| 2024-11-22 18:11:56 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-11-22 18:14:37 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-22 18:18:00 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2024-11-22 18:18:27 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-22 18:18:40 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-11-22 18:22:03 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-22 18:28:11 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-22 18:30:46 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-11-22 18:37:49 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-11-22 18:40:22 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-22 18:40:29 +0100 | euleritian | (~euleritia@dynamic-176-006-140-182.176.6.pool.telefonica.de) |
| 2024-11-22 18:40:32 +0100 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-11-22 18:43:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-22 18:44:49 +0100 | euleritian | (~euleritia@dynamic-176-006-140-182.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-11-22 18:48:17 +0100 | <bwe> | Two data constructors with records `groupName`. OverloadedRecordDot and DuplicateRecordFields on. In file where I define both constructurs as well as where I use them. Still getting ambiguous occurrence error. What's the right way to use two same record names? https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/overloaded_record_dot.html does not say more. |
| 2024-11-22 18:49:06 +0100 | son0p | (~ff@2800:e2:f80:ee7::4) (Ping timeout: 265 seconds) |
| 2024-11-22 18:49:27 +0100 | <bwe> | side note: I am using the recordname `groupName` as a function like `map (S.singleton . groupName) xs` |
| 2024-11-22 18:50:52 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-11-22 18:51:30 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-11-22 18:51:48 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-22 18:52:34 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-22 18:55:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 18:56:05 +0100 | <kaol> | bwe: That use doesn't really concern OverloadedRecordDot. Check the section about imports at https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/duplicate_record_fields.html, hiding one of the groupName definitions or importing it twice with qualified names could work. |
| 2024-11-22 18:58:35 +0100 | <bwe> | what's the convention now? defining record names including the dataConstructorRecordLabel or recordLabel? |
| 2024-11-22 19:03:59 +0100 | <kaol> | I'm not sure what else to say without seeing any code. |
| 2024-11-22 19:06:47 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-22 19:08:29 +0100 | Guest22 | (~Guest22@78.10.206.35) |
| 2024-11-22 19:08:39 +0100 | Guest22 | (~Guest22@78.10.206.35) (Client Quit) |
| 2024-11-22 19:10:04 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-11-22 19:10:38 +0100 | <hellwolf> | I made it :) |
| 2024-11-22 19:10:39 +0100 | <hellwolf> | λ> :type erc20_transfer |
| 2024-11-22 19:10:39 +0100 | <hellwolf> | erc20_transfer |
| 2024-11-22 19:10:39 +0100 | <hellwolf> | :: Fn (MkLinearEffect 1) (ADDR -> ADDR -> INTx False 32 -> BOOL) |
| 2024-11-22 19:11:13 +0100 | <hellwolf> | I have now a system that tracks stateful transitions with a number in (MkLinearEffect) and with linear types it can eliminate a bunch of programming mistakes. |
| 2024-11-22 19:11:18 +0100 | <hellwolf> | GHC/Haskell is great. |
| 2024-11-22 19:15:44 +0100 | <hellwolf> | I wish GHCi could show U256 instead of "INTx False 32", which is a type synonym. |
| 2024-11-22 19:16:52 +0100 | cheater | (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2024-11-22 19:18:09 +0100 | <kaol> | bwe: You could use something like (\YourType1{groupName = x} -> x) to make it work in the same module where you define it. |
| 2024-11-22 19:19:19 +0100 | housemate | (~housemate@2405:6e00:2239:800c:bb7d:84ba:bcf2:399e) housemate |
| 2024-11-22 19:20:39 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-11-22 19:22:31 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-11-22 19:23:03 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-22 19:24:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-22 19:25:11 +0100 | <bwe> | kaol: ok, thanks. |
| 2024-11-22 19:25:46 +0100 | catties | Catty |
| 2024-11-22 19:26:51 +0100 | <bwe> | is there any data type in Haskell that allows ONLY Integer numbers that are positive and non zero? |
| 2024-11-22 19:27:08 +0100 | <bwe> | I'd like to avoid error catching and handling of DivZero |
| 2024-11-22 19:27:37 +0100 | <mauke> | don't think so |
| 2024-11-22 19:27:56 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Quit: Asta la vista) |
| 2024-11-22 19:34:50 +0100 | <haskellbridge> | <Bowuigi> Maybe https://hackage.haskell.org/package/ghc-bignum |
| 2024-11-22 19:35:04 +0100 | <haskellbridge> | <Bowuigi> Not non-zero but it rules out negative ones |
| 2024-11-22 19:36:50 +0100 | <tomsmeding> | bwe: your own newtype around Natural :p |
| 2024-11-22 19:36:57 +0100 | <tomsmeding> | beware when implementing Num |
| 2024-11-22 19:37:04 +0100 | <tomsmeding> | x - x is an error |
| 2024-11-22 19:37:57 +0100 | <kaol> | Or the friends in Data.Word. |
| 2024-11-22 19:38:31 +0100 | <kaol> | Just define x - x = maxBound for fun times. |
| 2024-11-22 19:38:57 +0100 | <tomsmeding> | if you want to be sure that no-one wants to maintain your code, that is :) |
| 2024-11-22 19:40:07 +0100 | <kaol> | Banning zero is a novel idea for sure. Sorry, you're better off with just dealing with the case in your code. |
| 2024-11-22 19:40:35 +0100 | <tomsmeding> | it could be a Semigroup over addition just fine |
| 2024-11-22 19:40:37 +0100 | <tomsmeding> | but not much more |
| 2024-11-22 19:42:41 +0100 | <kaol> | If you'd be okay with using only (*) you can have your monoid. |
| 2024-11-22 19:46:42 +0100 | <haskellbridge> | <hellwolf> you can probably achieve it with Nat too, for type level guarantee, whereby anything that generate a zero is a type error. but depending on your use case, this can be rather difficult to wield, since it requires you carry proofs around. |
| 2024-11-22 19:47:36 +0100 | <haskellbridge> | <hellwolf> liquid haskell is probably more "practical", but I don't have experience with. |
| 2024-11-22 19:47:36 +0100 | <haskellbridge> | Otherwise, newtype, your own Num and live with runtime errors.. |
| 2024-11-22 19:48:04 +0100 | <haskellbridge> | <hellwolf> but by that point, you might as well live with the divide by zero runtime error? |
| 2024-11-22 19:48:55 +0100 | Digitteknohippie | Digit |
| 2024-11-22 19:53:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-11-22 20:00:16 +0100 | <lxsameer> | is there anyway to restrict Async's mapConcurrently to do X jobs at the same time? |
| 2024-11-22 20:02:11 +0100 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2024-11-22 20:02:45 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-11-22 20:04:17 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Remote host closed the connection) |
| 2024-11-22 20:04:45 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-22 20:06:51 +0100 | <tomsmeding> | Control.Concurrent.setNumCapabilities? :p |
| 2024-11-22 20:07:07 +0100 | <tomsmeding> | (there'd better be a better answer) |
| 2024-11-22 20:07:58 +0100 | <kaol> | This may be brute forcing, but: Create an MVar. Start a thread that puts as many () tokens in it with putMVar as you want threads in a loop. Wrap each action with takeMVar and putMVar except for the last n that only take. |
| 2024-11-22 20:09:32 +0100 | <lxsameer> | cheers |
| 2024-11-22 20:10:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 20:10:44 +0100 | <tomsmeding> | lxsameer: I looked into the source of mapConcurrently a little, and it seems it just uses forkIO to start a whole bunch of threads, one per list item |
| 2024-11-22 20:10:56 +0100 | <tomsmeding> | so if you want to limit parallelism, it's up to you to restrict the list length |
| 2024-11-22 20:11:15 +0100 | <tomsmeding> | ah, see also the last paragraph in the haddocks here https://hackage.haskell.org/package/async-2.2.5/docs/Control-Concurrent-Async.html#v:mapConcurrently |
| 2024-11-22 20:11:22 +0100 | <tomsmeding> | that could have more prominence :p |
| 2024-11-22 20:12:14 +0100 | <lxsameer> | tomsmeding: cheers, I'm donig some locking now |
| 2024-11-22 20:12:35 +0100 | <tomsmeding> | lxsameer: https://hackage.haskell.org/package/async-pool |
| 2024-11-22 20:12:47 +0100 | <tomsmeding> | I think this does what you want |
| 2024-11-22 20:13:42 +0100 | <tomsmeding> | there's a mapConcurrently there too |
| 2024-11-22 20:14:33 +0100 | <tomsmeding> | seems to be using STM under the hood, not sure if that's the most efficient way to do this, but it works I guess |
| 2024-11-22 20:14:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-22 20:14:48 +0100 | <tomsmeding> | perhaps still don't use that on gigantic lists? |
| 2024-11-22 20:15:10 +0100 | <lxsameer> | tomsmeding: thank you. for now i just need it to work |
| 2024-11-22 20:15:44 +0100 | <tomsmeding> | an MVar containing an Int of the number of "free worker threads" could work |
| 2024-11-22 20:16:01 +0100 | <tomsmeding> | hm, no |
| 2024-11-22 20:17:58 +0100 | <lxsameer> | what about partitioning the array into pieces and evaluate the chunks in series |
| 2024-11-22 20:18:05 +0100 | <lxsameer> | each with mapConcurrently |
| 2024-11-22 20:18:38 +0100 | <tomsmeding> | rather cut the array in pieces, mapConcurrently over the array of pieces, and do each piece sequentially |
| 2024-11-22 20:19:00 +0100 | <lxsameer> | tomsmeding: cool even better |
| 2024-11-22 20:19:05 +0100 | <lxsameer> | thanks mate |
| 2024-11-22 20:20:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 20:20:58 +0100 | <tomsmeding> | (this is how mapConcurrently is intended to be used, I think) |
| 2024-11-22 20:22:34 +0100 | <kaol> | Starting new threads is relatively expensive. |
| 2024-11-22 20:23:36 +0100 | <lxsameer> | kaol: it's a green thread |
| 2024-11-22 20:24:06 +0100 | <kaol> | "Relatively" still holds. |
| 2024-11-22 20:24:29 +0100 | sprotte24 | (~sprotte24@p200300d16f067300a0004335d6f02347.dip0.t-ipconnect.de) |
| 2024-11-22 20:24:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-22 20:25:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 20:30:14 +0100 | <lxsameer> | yeah for sure |
| 2024-11-22 20:32:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-11-22 20:43:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 20:47:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-22 20:51:59 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-11-22 20:55:50 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-22 20:56:14 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-11-22 20:56:55 +0100 | andreas303 | (andreas303@is.drunk.and.ready-to.party) (Quit: fBNC - https://bnc4free.com) |
| 2024-11-22 20:58:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 21:00:06 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-22 21:00:43 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-22 21:03:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-22 21:04:10 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-22 21:09:09 +0100 | andreas303 | (andreas303@is.drunk.and.ready-to.party) andreas303 |
| 2024-11-22 21:10:37 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-11-22 21:11:26 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-22 21:12:39 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2024-11-22 21:14:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 21:17:30 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2024-11-22 21:18:28 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-11-22 21:18:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-22 21:20:35 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-11-22 21:21:02 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-11-22 21:21:49 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-22 21:27:32 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) |
| 2024-11-22 21:29:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 21:33:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-22 21:40:21 +0100 | Everything | (~Everythin@46-133-172-194.mobile.vf-ua.net) Everything |
| 2024-11-22 21:43:58 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-11-22 21:44:53 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-11-22 21:44:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 21:46:42 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-22 21:48:07 +0100 | _________ | (~nobody@user/noodly) (Ping timeout: 264 seconds) |
| 2024-11-22 21:48:27 +0100 | <geekosaur> | re mapConcurrently, isn't this more the area of Control.Parallel.Strategies? Sparks are cheap |
| 2024-11-22 21:48:30 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) CoolMa7 |
| 2024-11-22 21:48:47 +0100 | <geekosaur> | and map-reduce is more or less their intended use case |
| 2024-11-22 21:49:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-11-22 21:55:02 +0100 | _________ | (~nobody@user/noodly) _________ |
| 2024-11-22 21:58:15 +0100 | ubert | (~Thunderbi@178.165.183.45.wireless.dyn.drei.com) (Ping timeout: 244 seconds) |
| 2024-11-22 22:00:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 22:05:36 +0100 | briandaed | (~root@user/briandaed) (Remote host closed the connection) |
| 2024-11-22 22:06:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-22 22:16:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-22 22:16:36 +0100 | housemate | (~housemate@2405:6e00:2239:800c:bb7d:84ba:bcf2:399e) (Quit: Nothing to see here. I wasn't there.) |
| 2024-11-22 22:18:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 22:19:59 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-22 22:22:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-22 22:23:31 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-11-22 22:28:10 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Remote host closed the connection) |
| 2024-11-22 22:31:05 +0100 | <kaol> | Is Control.Parallel.Strategies really usable if you want to do parallel IO? There's usingIO and friends but they don't give access to it inside any evaluation. |
| 2024-11-22 22:32:45 +0100 | <glguy> | That module is for parallelizing pure expressions |
| 2024-11-22 22:33:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 22:35:50 +0100 | <bwe> | tomsmeding: btw it's cool to have random example code show up at when I open a new https://play-haskell.tomsmeding.com session! |
| 2024-11-22 22:38:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-22 22:38:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-22 22:46:45 +0100 | tureba | (~tureba@tureba.org) (Ping timeout: 276 seconds) |
| 2024-11-22 22:49:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 22:49:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-22 22:49:13 +0100 | Wygulmage | (~Wygulmage@136.61.37.182) |
| 2024-11-22 22:53:10 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-11-22 22:53:29 +0100 | Wygulmage | (~Wygulmage@136.61.37.182) (Changing host) |
| 2024-11-22 22:53:29 +0100 | Wygulmage | (~Wygulmage@user/Wygulmage) Wygulmage |
| 2024-11-22 22:53:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-22 22:54:39 +0100 | <Wygulmage> | Is there a way to pause garbage collection so you can use the contents of an unpinned ByteArray# as a pointer? |
| 2024-11-22 22:54:42 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-22 22:57:00 +0100 | <Wygulmage> | Or do I just have to write the ByteArray# pointer using procedure in C rather than Haskell and call it via the FFI? |
| 2024-11-22 22:58:56 +0100 | son0p | (~ff@2800:e2:f80:ee7::4) son0p |
| 2024-11-22 22:59:40 +0100 | falafel | (~falafel@2600:1700:99f4:2050:a671:a554:1476:adab) falafel |
| 2024-11-22 23:03:47 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-11-22 23:04:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 23:06:26 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-22 23:06:43 +0100 | falafel | (~falafel@2600:1700:99f4:2050:a671:a554:1476:adab) (Ping timeout: 264 seconds) |
| 2024-11-22 23:06:52 +0100 | <geekosaur> | you can't pause or block GC, no |
| 2024-11-22 23:08:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-11-22 23:09:03 +0100 | falafel | (~falafel@2600:1700:99f4:2050:dfcb:3f75:eb96:8dee) falafel |
| 2024-11-22 23:13:30 +0100 | falafel | (~falafel@2600:1700:99f4:2050:dfcb:3f75:eb96:8dee) (Ping timeout: 252 seconds) |
| 2024-11-22 23:15:15 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-11-22 23:15:47 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) CoolMa7 |
| 2024-11-22 23:17:01 +0100 | CoolMa7_ | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) CoolMa7 |
| 2024-11-22 23:19:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 23:19:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-22 23:20:21 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-11-22 23:21:58 +0100 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2024-11-22 23:24:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-22 23:32:44 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-22 23:33:00 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-11-22 23:33:44 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 260 seconds) |
| 2024-11-22 23:35:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 23:35:39 +0100 | Flow | (~none@gentoo/developer/flow) flow |
| 2024-11-22 23:41:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-22 23:44:05 +0100 | tureba | (~tureba@tureba.org) tureba |
| 2024-11-22 23:45:26 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-22 23:53:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-22 23:53:15 +0100 | cheater | (~Username@user/cheater) cheater |
| 2024-11-22 23:57:09 +0100 | CoolMa7_ | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-22 23:57:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-22 23:57:26 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) CoolMa7 |