| 2024-02-04 00:03:18 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 256 seconds) |
| 2024-02-04 00:06:42 +0000 | mhatta_ | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.8.2+deb4+b2 - https://znc.in) |
| 2024-02-04 00:07:56 +0000 | beka_ | (~beka@207.53.253.162) (Remote host closed the connection) |
| 2024-02-04 00:09:05 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-02-04 00:13:49 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-04 00:17:15 +0000 | vitorg | (~vitorg@2804:d55:7604:3000:fc0e:3448:351e:7502) |
| 2024-02-04 00:17:59 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 264 seconds) |
| 2024-02-04 00:28:32 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6056:3fbc:d316:a2c5) |
| 2024-02-04 00:30:48 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6056:3fbc:d316:a2c5) (Client Quit) |
| 2024-02-04 00:33:42 +0000 | newsham | (~newsham@2603-800c-2c01-6825-0457-4a1a-39c4-b53d.res6.spectrum.com) |
| 2024-02-04 00:37:14 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-02-04 00:39:12 +0000 | masterbuilder | (~quassel@user/masterbuilder) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-02-04 00:40:57 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds) |
| 2024-02-04 00:50:34 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-02-04 01:02:14 +0000 | pallas | (~pallas@154.3.39.96) |
| 2024-02-04 01:04:08 +0000 | pallas | (~pallas@154.3.39.96) (Client Quit) |
| 2024-02-04 01:05:51 +0000 | szkl | (uid110435@2a03:5180:f:5::1:af63) |
| 2024-02-04 01:14:16 +0000 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) |
| 2024-02-04 01:25:02 +0000 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) (Quit: Leaving) |
| 2024-02-04 01:39:47 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-02-04 01:39:56 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 255 seconds) |
| 2024-02-04 01:43:52 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-02-04 01:44:42 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-02-04 01:45:48 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-02-04 01:47:35 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-02-04 01:48:14 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-04 01:49:22 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-02-04 01:50:04 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-02-04 01:50:38 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-02-04 01:53:20 +0000 | iightbet | (~kekbazz@user/kekbazz) |
| 2024-02-04 01:58:22 +0000 | Achylles_ | (~Achylles_@45.182.57.74) |
| 2024-02-04 02:01:04 +0000 | Achylles | (~Achylles_@45.182.57.55) (Ping timeout: 276 seconds) |
| 2024-02-04 02:02:09 +0000 | bilegeek | (~bilegeek@2600:1008:b069:80f:da49:c6c1:4159:ddf9) |
| 2024-02-04 02:05:42 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-02-04 02:06:24 +0000 | Achylles_ | (~Achylles_@45.182.57.74) (Read error: Connection reset by peer) |
| 2024-02-04 02:20:27 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-02-04 02:24:50 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-02-04 02:27:11 +0000 | otto_s | (~user@p4ff2717e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-02-04 02:28:54 +0000 | otto_s | (~user@p4ff27bd5.dip0.t-ipconnect.de) |
| 2024-02-04 02:29:49 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-02-04 02:39:03 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-02-04 03:05:03 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-02-04 03:05:32 +0000 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-02-04 03:14:56 +0000 | szkl | (uid110435@2a03:5180:f:5::1:af63) (Quit: Connection closed for inactivity) |
| 2024-02-04 03:37:01 +0000 | newsham | (~newsham@2603-800c-2c01-6825-0457-4a1a-39c4-b53d.res6.spectrum.com) (Quit: Client closed) |
| 2024-02-04 03:41:58 +0000 | td_ | (~td@i53870905.versanet.de) (Ping timeout: 264 seconds) |
| 2024-02-04 03:43:00 +0000 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-02-04 03:43:16 +0000 | td_ | (~td@i5387090F.versanet.de) |
| 2024-02-04 03:44:56 +0000 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2024-02-04 03:51:25 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-04 03:53:23 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-02-04 04:05:18 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-04 04:08:13 +0000 | JordiGH | (~jordi@user/jordigh) (Ping timeout: 260 seconds) |
| 2024-02-04 04:09:31 +0000 | igemnace | (~ian@user/igemnace) |
| 2024-02-04 04:10:21 +0000 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-04 04:10:29 +0000 | JordiGH | (~jordi@user/jordigh) (Remote host closed the connection) |
| 2024-02-04 04:10:48 +0000 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-04 04:14:02 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-02-04 04:20:48 +0000 | newsham | (~newsham@2603-800c-2c01-6825-0457-4a1a-39c4-b53d.res6.spectrum.com) |
| 2024-02-04 04:21:58 +0000 | Joao[3] | (~Joao003@190.108.108.40) (Read error: Connection reset by peer) |
| 2024-02-04 04:42:37 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-02-04 04:46:39 +0000 | aforemny_ | (~aforemny@2001:9e8:6cdc:8000:635d:2469:7926:7e65) |
| 2024-02-04 04:46:53 +0000 | aforemny | (~aforemny@2001:9e8:6cf8:3600:3a73:5278:af3b:a076) (Ping timeout: 240 seconds) |
| 2024-02-04 04:54:30 +0000 | bilegeek | (~bilegeek@2600:1008:b069:80f:da49:c6c1:4159:ddf9) (Quit: Leaving) |
| 2024-02-04 04:59:53 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-02-04 05:06:42 +0000 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-02-04 05:12:36 +0000 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-02-04 05:23:10 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-02-04 05:23:17 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 240 seconds) |
| 2024-02-04 05:28:29 +0000 | poscat | (~poscat@user/poscat) |
| 2024-02-04 05:30:48 +0000 | igemnace | (~ian@user/igemnace) |
| 2024-02-04 05:32:14 +0000 | bilegeek | (~bilegeek@2600:1008:b069:80f:da49:c6c1:4159:ddf9) |
| 2024-02-04 05:40:35 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-02-04 05:46:15 +0000 | mei | (~mei@user/mei) |
| 2024-02-04 05:52:22 +0000 | newsham | (~newsham@2603-800c-2c01-6825-0457-4a1a-39c4-b53d.res6.spectrum.com) (Quit: Client closed) |
| 2024-02-04 05:55:07 +0000 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-02-04 06:02:22 +0000 | mulk | (~mulk@pd9514187.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-02-04 06:04:07 +0000 | mulk | (~mulk@p5b2dc663.dip0.t-ipconnect.de) |
| 2024-02-04 06:10:40 +0000 | mobivme | (~mobivme@130.105.162.60) |
| 2024-02-04 06:18:29 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-04 06:23:00 +0000 | michalz | (~michalz@185.246.207.201) |
| 2024-02-04 06:26:30 +0000 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-02-04 06:31:57 +0000 | czy` | (~user@114.226.59.181) (Remote host closed the connection) |
| 2024-02-04 06:32:09 +0000 | JordiGH | (~jordi@user/jordigh) (Ping timeout: 268 seconds) |
| 2024-02-04 06:52:13 +0000 | michalz | (~michalz@185.246.207.201) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-04 06:55:06 +0000 | michalz | (~michalz@185.246.207.203) |
| 2024-02-04 07:11:02 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-02-04 07:15:43 +0000 | iightbet | (~kekbazz@user/kekbazz) (Quit: Leaving) |
| 2024-02-04 07:30:49 +0000 | Square | (~Square@user/square) |
| 2024-02-04 07:39:25 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-04 07:41:13 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-02-04 07:45:54 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-04 07:46:50 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-02-04 08:00:07 +0000 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Quit: The Lounge - https://thelounge.chat) |
| 2024-02-04 08:02:06 +0000 | tt1231 | (~tt123@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-02-04 08:06:17 +0000 | sroso | (~sroso@user/SrOso) |
| 2024-02-04 08:17:14 +0000 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2024-02-04 08:18:27 +0000 | mreh | (~matthew@host86-160-168-81.range86-160.btcentralplus.com) |
| 2024-02-04 08:20:53 +0000 | Hooloovoo | (~Hooloovoo@hax0rbana.org) (Ping timeout: 240 seconds) |
| 2024-02-04 08:24:59 +0000 | Hooloovoo | (~Hooloovoo@hax0rbana.org) |
| 2024-02-04 08:27:09 +0000 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-02-04 08:35:25 +0000 | acidjnk_new | (~acidjnk@p200300d6e737e71815e0d25cbf100a78.dip0.t-ipconnect.de) |
| 2024-02-04 08:36:03 +0000 | Axman6 | (~Axman6@user/axman6) |
| 2024-02-04 08:39:22 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-02-04 08:50:05 +0000 | pallas | (~pallas@154.3.39.96) |
| 2024-02-04 08:50:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-04 09:04:36 +0000 | [exa] | discovers cabal-fmt |
| 2024-02-04 09:04:40 +0000 | <[exa]> | \o/ |
| 2024-02-04 09:19:14 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-04 09:24:52 +0000 | lambdaman | (~textual@d172-218-204-71.bchsia.telus.net) |
| 2024-02-04 09:30:25 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-02-04 09:32:56 +0000 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-02-04 09:34:00 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-02-04 09:34:14 +0000 | lambdaman | (~textual@d172-218-204-71.bchsia.telus.net) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-02-04 09:36:06 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-04 09:36:21 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2024-02-04 09:48:45 +0000 | lambdaman | (~textual@172.218.204.71) |
| 2024-02-04 09:51:22 +0000 | mastarija | (~mastarija@9-181.dsl.iskon.hr) |
| 2024-02-04 09:55:02 +0000 | <mastarija> | Does anyone have experience with nix flakes and freeglut / Gloss package? I'm loosing my mind. I had it working but haven't worked on my project in a while. In the meantime, I've upgraded and garbage collected my NixOS, and yesterday I've tried working on my project and now I have some cryptic freeglut error. |
| 2024-02-04 09:55:24 +0000 | <mastarija> | The error happens when I try to run the graphic program. |
| 2024-02-04 09:55:53 +0000 | <mastarija> | It compiles / builds and links fine. It's just when I try to run it that it reports the free glut message. |
| 2024-02-04 09:56:03 +0000 | <mastarija> | I'll post the error and my nix flake in a sec. |
| 2024-02-04 09:56:15 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-04 09:57:51 +0000 | <mastarija> | https://paste.tomsmeding.com/xQPdlqRE |
| 2024-02-04 10:05:23 +0000 | laxmik | (~laxmik@2a01:c22:8918:9900:b826:25a9:c9b5:46d) |
| 2024-02-04 10:06:43 +0000 | laxmik | michals |
| 2024-02-04 10:08:33 +0000 | michals | (~laxmik@2a01:c22:8918:9900:b826:25a9:c9b5:46d) (Client Quit) |
| 2024-02-04 10:14:02 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-02-04 10:14:47 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-04 10:20:08 +0000 | lambdaman | (~textual@172.218.204.71) (Read error: Connection reset by peer) |
| 2024-02-04 10:28:55 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-04 10:32:28 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-02-04 10:35:13 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 2024-02-04 10:39:14 +0000 | mreh | (~matthew@host86-160-168-81.range86-160.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2024-02-04 10:40:04 +0000 | joel135 | (sid136450@id-136450.hampstead.irccloud.com) () |
| 2024-02-04 10:46:17 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-04 10:48:01 +0000 | califax | (~califax@user/califx) |
| 2024-02-04 10:53:10 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) |
| 2024-02-04 10:56:08 +0000 | bilegeek | (~bilegeek@2600:1008:b069:80f:da49:c6c1:4159:ddf9) (Quit: Leaving) |
| 2024-02-04 10:57:55 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-04 10:59:21 +0000 | Guest14 | (~Guest14@103.141.217.63) |
| 2024-02-04 10:59:43 +0000 | Guest14 | (~Guest14@103.141.217.63) (Client Quit) |
| 2024-02-04 11:03:03 +0000 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-02-04 11:12:31 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-02-04 11:19:26 +0000 | mmhat | (~mmh@p200300f1c73bf47eee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-02-04 11:20:11 +0000 | mmhat | (~mmh@p200300f1c73bf47eee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2024-02-04 11:24:19 +0000 | Achylles_ | (~Achylles_@45.182.57.53) |
| 2024-02-04 11:26:36 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-02-04 11:27:58 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Client Quit) |
| 2024-02-04 11:34:32 +0000 | mreh | (~matthew@host86-160-168-81.range86-160.btcentralplus.com) |
| 2024-02-04 11:44:22 +0000 | mastarija | (~mastarija@9-181.dsl.iskon.hr) (Quit: Client closed) |
| 2024-02-04 11:50:50 +0000 | ht_ | (~Thunderbi@194.110.115.42) |
| 2024-02-04 11:52:37 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 264 seconds) |
| 2024-02-04 11:52:37 +0000 | ht_ | _ht |
| 2024-02-04 11:53:44 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-04 12:01:31 +0000 | mrmr15533 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2024-02-04 12:03:10 +0000 | <Tisoxin> | Hm |
| 2024-02-04 12:03:35 +0000 | <Tisoxin> | My previously working package using gloss returns the same error: freeglut (hart): ERROR: Internal error <FBConfig with necessary capabilities not found> in function fgOpenWindow |
| 2024-02-04 12:05:20 +0000 | <Tisoxin> | Probabaly a driver mismatch with opengl |
| 2024-02-04 12:08:13 +0000 | mrmr155334 | (~mrmr@user/mrmr) |
| 2024-02-04 12:10:04 +0000 | kffiatek | (~Miranda@v254-138-142.vivaldiego.wroclaw.pl) |
| 2024-02-04 12:10:33 +0000 | <Tisoxin> | https://paste.tomsmeding.com/NGjXWjR1 |
| 2024-02-04 12:16:40 +0000 | rosco | (~rosco@175.136.156.77) |
| 2024-02-04 12:17:58 +0000 | kffiatek | (~Miranda@v254-138-142.vivaldiego.wroclaw.pl) (Quit: Miranda NG! Smaller, Faster, Easier. https://miranda-ng.org/) |
| 2024-02-04 12:27:02 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds) |
| 2024-02-04 12:27:37 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-02-04 12:31:56 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-02-04 12:32:21 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-02-04 12:34:12 +0000 | <[exa]> | Tisoxin: can you `ltrace` it? |
| 2024-02-04 12:34:50 +0000 | <[exa]> | Tisoxin: also what does `glxinfo` say? |
| 2024-02-04 12:35:43 +0000 | <[exa]> | btw looks like mastarija had essentially the same problem right before you, might be the case that something got borked by accident |
| 2024-02-04 12:36:34 +0000 | <[exa]> | tbh it might be worth to try rolling back freeglut and gloss by one version and see what happens. :D |
| 2024-02-04 12:37:20 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-02-04 12:37:55 +0000 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-02-04 12:40:06 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-02-04 12:41:13 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds) |
| 2024-02-04 12:45:30 +0000 | igemnace | (~ian@user/igemnace) |
| 2024-02-04 12:48:58 +0000 | <Tisoxin> | [exa] I wrote my messages as a reply to mastarija |
| 2024-02-04 12:49:14 +0000 | <Tisoxin> | I didn't see that they aren't in the chat anymore |
| 2024-02-04 12:49:42 +0000 | <Tisoxin> | But whatever ¯\_(ツ)_/¯ |
| 2024-02-04 12:59:14 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-02-04 13:04:36 +0000 | Joao[3] | (~Joao003@190.108.108.40) |
| 2024-02-04 13:09:44 +0000 | Achylles_ | (~Achylles_@45.182.57.53) (Remote host closed the connection) |
| 2024-02-04 13:10:10 +0000 | Achylles | (~Achylles_@45.182.57.53) |
| 2024-02-04 13:10:11 +0000 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-02-04 13:14:02 +0000 | <Joao[3]> | fun fact: there are more people on this channel than ##math :) |
| 2024-02-04 13:27:49 +0000 | igemnace | (~ian@user/igemnace) |
| 2024-02-04 13:43:35 +0000 | Achylles | (~Achylles_@45.182.57.53) (Ping timeout: 252 seconds) |
| 2024-02-04 13:43:37 +0000 | vitorg | (~vitorg@2804:d55:7604:3000:fc0e:3448:351e:7502) (Ping timeout: 264 seconds) |
| 2024-02-04 13:44:18 +0000 | Achylles | (~Achylles_@45.182.57.53) |
| 2024-02-04 13:44:35 +0000 | average | (uid473595@user/average) |
| 2024-02-04 13:44:40 +0000 | vitorg | (~vitorg@189.28.157.44) |
| 2024-02-04 13:45:11 +0000 | mobounce | (~mobivme@104.28.194.104) |
| 2024-02-04 13:45:12 +0000 | causal | (~eric@50.35.85.7) (Quit: WeeChat 4.1.1) |
| 2024-02-04 13:46:11 +0000 | mobivme | (~mobivme@130.105.162.60) (Ping timeout: 264 seconds) |
| 2024-02-04 13:51:19 +0000 | Achylles | (~Achylles_@45.182.57.53) (Remote host closed the connection) |
| 2024-02-04 13:57:05 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-02-04 13:57:31 +0000 | mreh | (~matthew@host86-160-168-81.range86-160.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2024-02-04 14:07:05 +0000 | pavonia | (~user@user/siracusa) |
| 2024-02-04 14:10:53 +0000 | rosco | (~rosco@175.136.156.77) (Read error: Connection reset by peer) |
| 2024-02-04 14:15:09 +0000 | rosco | (rosco@gateway/vpn/airvpn/rosco) |
| 2024-02-04 14:20:34 +0000 | zer0bitz_ | zer0bitz |
| 2024-02-04 14:29:49 +0000 | trev | (~trev@109-252-35-136.nat.spd-mgts.ru) (Ping timeout: 264 seconds) |
| 2024-02-04 14:31:36 +0000 | trev | (~trev@109-252-33-130.nat.spd-mgts.ru) |
| 2024-02-04 14:33:33 +0000 | trev | (~trev@109-252-33-130.nat.spd-mgts.ru) (Client Quit) |
| 2024-02-04 14:33:36 +0000 | substance_ | (~substance@176.254.244.83) |
| 2024-02-04 14:33:49 +0000 | trev | (~trev@109-252-33-130.nat.spd-mgts.ru) |
| 2024-02-04 14:37:03 +0000 | trev | (~trev@109-252-33-130.nat.spd-mgts.ru) (Changing host) |
| 2024-02-04 14:37:03 +0000 | trev | (~trev@user/trev) |
| 2024-02-04 14:37:11 +0000 | substance | (~substance@176.254.244.83) (Ping timeout: 256 seconds) |
| 2024-02-04 14:41:08 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-04 14:44:44 +0000 | ht_ | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-02-04 14:46:17 +0000 | _ht | (~Thunderbi@194.110.115.42) (Ping timeout: 252 seconds) |
| 2024-02-04 14:46:18 +0000 | ht_ | _ht |
| 2024-02-04 14:53:13 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-04 14:54:25 +0000 | <[exa]> | Tisoxin: aaah ok :D |
| 2024-02-04 14:56:07 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-04 14:58:14 +0000 | rembo10 | (~rembo10@main.remulis.com) |
| 2024-02-04 15:04:37 +0000 | remmie | (ianremsen@tilde.team) (Ping timeout: 264 seconds) |
| 2024-02-04 15:20:59 +0000 | kimiamania4648 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-02-04 15:21:47 +0000 | kimiamania4648 | (~65804703@user/kimiamania) |
| 2024-02-04 15:22:57 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-02-04 15:23:44 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-04 15:26:41 +0000 | zetef | (~quassel@95.77.17.251) |
| 2024-02-04 15:29:08 +0000 | mreh | (~matthew@host86-160-168-81.range86-160.btcentralplus.com) |
| 2024-02-04 15:35:23 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-02-04 15:36:32 +0000 | euleritian | (~euleritia@dynamic-176-006-201-083.176.6.pool.telefonica.de) |
| 2024-02-04 15:41:08 +0000 | euleritian | (~euleritia@dynamic-176-006-201-083.176.6.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2024-02-04 15:41:35 +0000 | euleritian | (~euleritia@dynamic-176-007-156-064.176.7.pool.telefonica.de) |
| 2024-02-04 15:44:37 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 2024-02-04 15:49:33 +0000 | rscastilho2024 | (rscastilho@189.61.140.215) |
| 2024-02-04 15:49:47 +0000 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-02-04 15:55:20 +0000 | swistak- | (~swistak@185.21.216.141) (Remote host closed the connection) |
| 2024-02-04 15:56:59 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-04 16:02:06 +0000 | euleritian | (~euleritia@dynamic-176-007-156-064.176.7.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2024-02-04 16:03:22 +0000 | euleritian | (~euleritia@dynamic-176-000-139-121.176.0.pool.telefonica.de) |
| 2024-02-04 16:11:22 +0000 | Pixi` | (~Pixi@user/pixi) |
| 2024-02-04 16:11:41 +0000 | Pixi | (~Pixi@user/pixi) (Ping timeout: 256 seconds) |
| 2024-02-04 16:14:01 +0000 | remmie | (ianremsen@tilde.team) |
| 2024-02-04 16:14:31 +0000 | tremon | (~tremon@83.80.159.219) |
| 2024-02-04 16:15:36 +0000 | rscastilho2024 | (rscastilho@189.61.140.215) (Remote host closed the connection) |
| 2024-02-04 16:20:36 +0000 | rscastilho2024 | (~rscastilh@189.61.140.215) |
| 2024-02-04 16:25:10 +0000 | phma | (~phma@host-67-44-208-155.hnremote.net) (Read error: Connection reset by peer) |
| 2024-02-04 16:26:03 +0000 | phma | (phma@2001:5b0:215d:dac8:5473:cd1c:1142:a768) |
| 2024-02-04 16:28:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-04 16:29:58 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3441-8d47-edf0-ae93-9bd1-cf3e.rev.sfr.net) |
| 2024-02-04 16:30:32 +0000 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-04 16:31:24 +0000 | euleritian | (~euleritia@dynamic-176-000-139-121.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-04 16:31:42 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-04 16:34:09 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-02-04 16:34:50 +0000 | euleritian | (~euleritia@dynamic-176-000-139-121.176.0.pool.telefonica.de) |
| 2024-02-04 16:35:12 +0000 | euleritian | (~euleritia@dynamic-176-000-139-121.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-04 16:35:54 +0000 | euleritian | (~euleritia@dynamic-176-000-139-121.176.0.pool.telefonica.de) |
| 2024-02-04 16:41:26 +0000 | euleritian | (~euleritia@dynamic-176-000-139-121.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-04 16:41:44 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-04 16:43:28 +0000 | Achylles | (~Achylles_@45.182.57.53) |
| 2024-02-04 16:46:30 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3441-8d47-edf0-ae93-9bd1-cf3e.rev.sfr.net) (Ping timeout: 250 seconds) |
| 2024-02-04 16:50:43 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-02-04 16:53:57 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3441-8d47-edf0-ae93-9bd1-cf3e.rev.sfr.net) |
| 2024-02-04 16:59:40 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-02-04 17:00:32 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-04 17:09:30 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-02-04 17:09:37 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-04 17:10:05 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 240 seconds) |
| 2024-02-04 17:17:06 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-04 17:20:30 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-04 17:27:18 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-02-04 17:33:02 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3441-8d47-edf0-ae93-9bd1-cf3e.rev.sfr.net) (Remote host closed the connection) |
| 2024-02-04 17:33:39 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3441-8d47-e119-32c2-7052-7b61.rev.sfr.net) |
| 2024-02-04 17:39:00 +0000 | puke | (~puke@user/puke) |
| 2024-02-04 17:40:05 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-04 17:41:11 +0000 | Achylles | (~Achylles_@45.182.57.53) (Ping timeout: 252 seconds) |
| 2024-02-04 17:43:27 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-02-04 17:44:22 +0000 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-02-04 17:45:18 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2024-02-04 17:45:38 +0000 | puke | (~puke@user/puke) |
| 2024-02-04 17:49:02 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-02-04 17:51:01 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-02-04 17:53:00 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-04 17:58:30 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-02-04 17:58:43 +0000 | euleritian | (~euleritia@dynamic-176-000-139-121.176.0.pool.telefonica.de) |
| 2024-02-04 18:02:33 +0000 | euleritian | (~euleritia@dynamic-176-000-139-121.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-04 18:03:59 +0000 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2024-02-04 18:03:59 +0000 | pyooque | (~puke@user/puke) |
| 2024-02-04 18:03:59 +0000 | pyooque | puke |
| 2024-02-04 18:04:04 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-04 18:06:15 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-04 18:07:59 +0000 | mreh | (~matthew@host86-160-168-81.range86-160.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2024-02-04 18:08:33 +0000 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2024-02-04 18:08:36 +0000 | califax | (~califax@user/califx) |
| 2024-02-04 18:08:59 +0000 | Buggys | (Buggys@Buggy.shelltalk.net) (Ping timeout: 260 seconds) |
| 2024-02-04 18:09:34 +0000 | <haskellbridge> | 15<Jade> I don't know if I'm just being stupid, but is there no way to lift a producing function of the form `(a -> b) -> c` into a monad? |
| 2024-02-04 18:09:34 +0000 | <haskellbridge> | 15<Jade> i.e. `((a -> b) -> c) -> (a -> m b) -> m c` |
| 2024-02-04 18:10:29 +0000 | <haskellbridge> | 15<Jade> specifically I have a predicate `a -> IO Bool` and I want to `partition` by that, but I don't want to just copy the definition of `partition` |
| 2024-02-04 18:11:26 +0000 | <ncf> | there isn't; you need a monadic version of partition (search for partitionM) |
| 2024-02-04 18:12:20 +0000 | <haskellbridge> | 15<Jade> yeah I saw those in a few different packages, but they just copy the definition of `partition` and monadify them |
| 2024-02-04 18:13:29 +0000 | <haskellbridge> | 15<Jade> which ... seems icky? |
| 2024-02-04 18:13:55 +0000 | mobounce | (~mobivme@104.28.194.104) (Changing host) |
| 2024-02-04 18:13:55 +0000 | mobounce | (~mobivme@user/mobivme) |
| 2024-02-04 18:13:56 +0000 | <monochrom> | Roughly speaking, it would require converting (a -> IO b) to (a -> b), which can't be done. |
| 2024-02-04 18:14:04 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-04 18:14:13 +0000 | <haskellbridge> | 15<Jade> yeah that makes sense |
| 2024-02-04 18:14:33 +0000 | <ncf> | well, that's what you have to do. alternatively, if m supports an "unKleisli" operation (a -> m b) -> m (a -> b) then you could use that and then apply your function inside m |
| 2024-02-04 18:14:39 +0000 | <haskellbridge> | 15<Jade> (unsafePerformIO is crying in the corner) |
| 2024-02-04 18:14:46 +0000 | <ncf> | you can probably achieve that in IO with some unsafe stuff |
| 2024-02-04 18:15:24 +0000 | <haskellbridge> | 15<Jade> I think I'll cave in to the primitive method of copying the definition from ghc internals |
| 2024-02-04 18:16:07 +0000 | <monochrom> | Ha I didn't think of the weaker requirement m (a -> b). Then again not quite for IO either. |
| 2024-02-04 18:27:26 +0000 | Pixi__ | (~Pixi@user/pixi) |
| 2024-02-04 18:27:50 +0000 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-02-04 18:30:41 +0000 | Pixi` | (~Pixi@user/pixi) (Ping timeout: 252 seconds) |
| 2024-02-04 18:32:52 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-04 18:41:32 +0000 | lambdaman | (~textual@d172-218-204-71.bchsia.telus.net) |
| 2024-02-04 18:50:47 +0000 | lambdaman | (~textual@d172-218-204-71.bchsia.telus.net) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-02-04 18:53:16 +0000 | lambdaman | (~textual@d172-218-204-71.bchsia.telus.net) |
| 2024-02-04 18:57:18 +0000 | lambdaman | (~textual@d172-218-204-71.bchsia.telus.net) (Client Quit) |
| 2024-02-04 19:00:12 +0000 | pallas | (~pallas@154.3.39.96) (Quit: Connection closed) |
| 2024-02-04 19:02:33 +0000 | danza | (~danza@151.47.37.212) |
| 2024-02-04 19:02:52 +0000 | JordiGH | (~jordi@user/jordigh) (Ping timeout: 276 seconds) |
| 2024-02-04 19:05:01 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-02-04 19:09:55 +0000 | Joao[3] | (~Joao003@190.108.108.40) (Read error: Connection reset by peer) |
| 2024-02-04 19:10:12 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-02-04 19:12:20 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2024-02-04 19:14:14 +0000 | danza | (~danza@151.47.37.212) (Quit: Leaving) |
| 2024-02-04 19:17:21 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-04 19:18:32 +0000 | lambdaman | (~textual@172.218.204.71) |
| 2024-02-04 19:22:00 +0000 | rosco | (rosco@gateway/vpn/airvpn/rosco) (Quit: Lost terminal) |
| 2024-02-04 19:26:40 +0000 | mreh | (~matthew@host86-160-168-81.range86-160.btcentralplus.com) |
| 2024-02-04 19:27:39 +0000 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-04 19:35:41 +0000 | Goodbye_Vincent | (cyvahl@freakshells.net) (Ping timeout: 240 seconds) |
| 2024-02-04 19:36:20 +0000 | Goodbye_Vincent | (cyvahl@freakshells.net) |
| 2024-02-04 19:36:23 +0000 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2024-02-04 19:38:31 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-02-04 19:41:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-04 19:42:11 +0000 | Goodbye_Vincent | (cyvahl@freakshells.net) (Ping timeout: 252 seconds) |
| 2024-02-04 19:45:17 +0000 | Goodbye_Vincent | (cyvahl@freakshells.net) |
| 2024-02-04 19:45:23 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-02-04 19:52:05 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-02-04 19:52:43 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-02-04 19:57:25 +0000 | Goodbye_Vincent | (cyvahl@freakshells.net) (Ping timeout: 264 seconds) |
| 2024-02-04 19:58:51 +0000 | tomku | (~tomku@user/tomku) |
| 2024-02-04 20:00:50 +0000 | Achylles | (~Achylles_@45.182.57.53) |
| 2024-02-04 20:02:02 +0000 | Achylles | (~Achylles_@45.182.57.53) (Read error: Connection reset by peer) |
| 2024-02-04 20:02:21 +0000 | Achylles | (~Achylles_@45.182.57.53) |
| 2024-02-04 20:03:10 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-04 20:03:32 +0000 | Achylles | (~Achylles_@45.182.57.53) (Read error: Connection reset by peer) |
| 2024-02-04 20:03:41 +0000 | rscastilho2024 | (~rscastilh@189.61.140.215) (Ping timeout: 268 seconds) |
| 2024-02-04 20:03:52 +0000 | Achylles | (~Achylles_@45.182.57.53) |
| 2024-02-04 20:04:37 +0000 | todi | (~todi@p5dca5fa8.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-02-04 20:05:17 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-02-04 20:09:30 +0000 | rscastilho2024 | (~rscastilh@189.61.140.215) |
| 2024-02-04 20:16:09 +0000 | todi | (~todi@p5dca5fa8.dip0.t-ipconnect.de) |
| 2024-02-04 20:19:29 +0000 | aforemny | (~aforemny@89.245.22.249) |
| 2024-02-04 20:19:31 +0000 | aforemny_ | (~aforemny@2001:9e8:6cdc:8000:635d:2469:7926:7e65) (Ping timeout: 255 seconds) |
| 2024-02-04 20:26:04 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-02-04 20:32:38 +0000 | Goodbye_Vincent | (cyvahl@51.77.77.10) |
| 2024-02-04 20:37:15 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-04 20:42:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-04 20:42:25 +0000 | Goodbye_Vincent | (cyvahl@51.77.77.10) (Quit: Ping timeout (120 seconds)) |
| 2024-02-04 20:56:04 +0000 | rscastilho2024 | (~rscastilh@189.61.140.215) (Remote host closed the connection) |
| 2024-02-04 21:11:21 +0000 | Pixi__ | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-02-04 21:12:56 +0000 | <haskellbridge> | 15<Jade> is it more idiomatic to have `Maybe (NonEmpty a)` or just `[a]` but use `[]` as the 'Nothing'? |
| 2024-02-04 21:13:37 +0000 | Goodbye_Vincent | (cyvahl@freakshells.net) |
| 2024-02-04 21:13:48 +0000 | Joao[3] | (~Joao003@190.108.108.40) |
| 2024-02-04 21:16:41 +0000 | Pixi | (~Pixi@user/pixi) |
| 2024-02-04 21:16:50 +0000 | lambdaman | (~textual@172.218.204.71) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-02-04 21:17:41 +0000 | <sshine> | I'd probably prefer [a] |
| 2024-02-04 21:21:41 +0000 | Joao[3] | (~Joao003@190.108.108.40) (Quit: Bye!) |
| 2024-02-04 21:28:07 +0000 | <geekosaur> | unless there's some reason to distinguish [] from Nothing, yeh |
| 2024-02-04 21:31:04 +0000 | JordiGH | (~jordi@user/jordigh) (Ping timeout: 276 seconds) |
| 2024-02-04 21:33:13 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-02-04 21:38:51 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-04 21:43:13 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-04 21:43:14 +0000 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2024-02-04 21:52:13 +0000 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-02-04 21:55:31 +0000 | lambdaman | (~textual@d172-218-204-71.bchsia.telus.net) |
| 2024-02-04 21:55:46 +0000 | mreh | (~matthew@host86-160-168-81.range86-160.btcentralplus.com) (Ping timeout: 276 seconds) |
| 2024-02-04 21:57:47 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-02-04 21:59:53 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-04 22:06:59 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-04 22:09:54 +0000 | jargon | (~jargon@105.sub-174-205-230.myvzw.com) |
| 2024-02-04 22:14:10 +0000 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-04 22:20:56 +0000 | lambdaman | (~textual@d172-218-204-71.bchsia.telus.net) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-02-04 22:21:44 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2024-02-04 22:23:04 +0000 | masterbuilder | (~quassel@user/masterbuilder) |
| 2024-02-04 22:29:48 +0000 | fansly | (~fansly@103.3.221.233) |
| 2024-02-04 22:30:00 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-02-04 22:30:59 +0000 | JordiGH | (~jordi@user/jordigh) (Remote host closed the connection) |
| 2024-02-04 22:31:21 +0000 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-04 22:31:56 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-02-04 22:36:18 +0000 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-04 22:37:41 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3441-8d47-e119-32c2-7052-7b61.rev.sfr.net) (Remote host closed the connection) |
| 2024-02-04 22:38:29 +0000 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-02-04 22:39:22 +0000 | JordiGH | (~jordi@user/jordigh) (Ping timeout: 246 seconds) |
| 2024-02-04 22:42:07 +0000 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-02-04 22:55:17 +0000 | fansly | (~fansly@103.3.221.233) (Read error: Connection reset by peer) |
| 2024-02-04 23:00:21 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-04 23:06:21 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2024-02-04 23:08:07 +0000 | Goodbye_Vincent | (cyvahl@freakshells.net) (Ping timeout: 260 seconds) |
| 2024-02-04 23:09:44 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-04 23:12:21 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-02-04 23:12:49 +0000 | Goodbye_Vincent | (cyvahl@freakshells.net) |
| 2024-02-04 23:15:25 +0000 | acidjnk_new | (~acidjnk@p200300d6e737e71815e0d25cbf100a78.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-02-04 23:21:44 +0000 | <haskellbridge> | 05<irregularsphere> (don't take this as professional advice) but I think `Maybe (NonEmpty a)` has concise safe functions like `>>= nonEmpty . init` |
| 2024-02-04 23:23:04 +0000 | <haskellbridge> | 05<irregularsphere> ...or if that's the only benefit, then I'd prefer `[a]` i guess |
| 2024-02-04 23:32:12 +0000 | potato44 | (uid421314@id-421314.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-04 23:33:29 +0000 | <EvanR> | to spice things up consider Maybe (a, [a]) |
| 2024-02-04 23:36:00 +0000 | <haskellbridge> | 05<irregularsphere> isn't `(a, [a])` just `NonEmpty a` but without the functions |
| 2024-02-04 23:37:12 +0000 | <jackdk> | It's easier to pass `NonEmpty a` to consumers which don't want to consider empty lists, and that forces the emptiness check outwards in a convenient way |
| 2024-02-04 23:37:48 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-02-04 23:39:16 +0000 | <haskellbridge> | 05<irregularsphere> ncf: if kleisli composition is `(>>=): Monad m => m a -> (a -> m b) -> m b`, shouldn't our theoretical `unKleisli` be `(m a -> m b) -> (a -> m b)` |
| 2024-02-04 23:40:19 +0000 | mobounce | (~mobivme@user/mobivme) (Ping timeout: 260 seconds) |
| 2024-02-04 23:40:42 +0000 | <ncf> | well that's just (. pure) |
| 2024-02-04 23:40:51 +0000 | <haskellbridge> | 05<irregularsphere> yea |
| 2024-02-04 23:40:55 +0000 | <ncf> | but yeah, not a great name, i'm just parroting the agda codebase |
| 2024-02-04 23:41:12 +0000 | <haskellbridge> | 05<irregularsphere> you said `-> m (a -> b)` though, I'm stressing on that |
| 2024-02-04 23:41:28 +0000 | <ncf> | if i had to name it i'd name it distribute, or something (it should be some kind of distributive law for (->) over m) |
| 2024-02-04 23:42:08 +0000 | <haskellbridge> | 05<irregularsphere> "(. pure)" yup |
| 2024-02-04 23:43:10 +0000 | johnw | (~johnw@69.62.242.138) (Ping timeout: 264 seconds) |
| 2024-02-04 23:43:17 +0000 | johnw_ | (~johnw@69.62.242.138) |
| 2024-02-04 23:44:26 +0000 | fansly | (~fansly@2001:448a:2010:476e:fcbe:e3e5:ceb0:7fbe) |
| 2024-02-04 23:44:42 +0000 | johnw_ | (~johnw@69.62.242.138) (Client Quit) |
| 2024-02-04 23:46:55 +0000 | <jackdk> | I haven't been following closely but `m (a -> b) -> (m a -> m b)` is `(<*>)`, so would `(f a -> f b) -> f (a -> b)` be tied to some kind of coapplicative? (There's a remark in `Data.Distributive` that class `Distributive` uses `Functor` and not some kind of coapplicative because there are no non-trivial comonoids in standard Haskell, but maybe in other settings?) |
| 2024-02-04 23:48:47 +0000 | <ncf> | that's not quite the type we're discussing |
| 2024-02-04 23:49:13 +0000 | <jackdk> | ah, ok |
| 2024-02-04 23:49:58 +0000 | <ncf> | your thing would be a closed monoidal functor, i think? |
| 2024-02-04 23:50:22 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2024-02-04 23:50:33 +0000 | <jackdk> | something like that, but my cat-fu is too weak to be certain |
| 2024-02-04 23:50:35 +0000 | son0p | (~ff@186.121.12.53) |
| 2024-02-04 23:51:48 +0000 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2024-02-04 23:52:08 +0000 | puke | (~puke@user/puke) |
| 2024-02-04 23:53:14 +0000 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-04 23:56:32 +0000 | <ncf> | returning to unKleisli, one might cheekily name it "choice", because instantiating m with the propositional truncation monad yields the axiom of choice |
| 2024-02-04 23:57:37 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2024-02-04 23:57:50 +0000 | <ncf> | "if for every a one can choose (in m) a b, then there is (in m) a function from a to b" |