| 2024-03-29 00:03:57 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-03-29 00:06:23 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-03-29 00:06:36 +0100 | ystael | (~ystael@user/ystael) |
| 2024-03-29 00:07:23 +0100 | foul_owl | (~kerry@174-21-71-155.tukw.qwest.net) |
| 2024-03-29 00:15:30 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-29 00:20:04 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-03-29 00:24:37 +0100 | mxs | (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat) |
| 2024-03-29 00:25:34 +0100 | Guest97 | (~Guest97@216.165.217.88) (Ping timeout: 250 seconds) |
| 2024-03-29 00:33:55 +0100 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
| 2024-03-29 00:37:54 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-29 00:40:20 +0100 | mei | (~mei@user/mei) |
| 2024-03-29 00:41:35 +0100 | mizlan | (~mizlan@c-69-181-82-43.hsd1.ca.comcast.net) |
| 2024-03-29 00:51:49 +0100 | Achylles | (~Achylles_@45.182.57.57) (Remote host closed the connection) |
| 2024-03-29 00:55:31 +0100 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-03-29 01:05:33 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-29 01:07:41 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2024-03-29 01:14:52 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 2024-03-29 01:14:59 +0100 | mizlan | (~mizlan@c-69-181-82-43.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2024-03-29 01:15:37 +0100 | EvanR | (~EvanR@user/evanr) |
| 2024-03-29 01:15:55 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5b9d:a4d:114b:3b13) (Ping timeout: 246 seconds) |
| 2024-03-29 01:17:40 +0100 | acidjnk_new | (~acidjnk@p200300d6e714dc9271191991819977af.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-03-29 01:24:13 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-29 01:24:22 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-03-29 01:24:28 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-03-29 01:27:10 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5b9d:a4d:114b:3b13) |
| 2024-03-29 01:29:45 +0100 | mizlan | (~mizlan@c-69-181-82-43.hsd1.ca.comcast.net) |
| 2024-03-29 01:30:47 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-03-29 01:32:45 +0100 | pavonia | (~user@user/siracusa) |
| 2024-03-29 01:38:27 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-29 01:49:53 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-29 01:50:26 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-29 01:53:06 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-03-29 01:55:11 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-03-29 01:59:20 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-03-29 02:02:58 +0100 | mizlan | (~mizlan@c-69-181-82-43.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2024-03-29 02:13:42 +0100 | <koala_man> | geekosaur: welp, my gitlab account request was rejected so I can't file those cross-compilation bugs |
| 2024-03-29 02:14:07 +0100 | <geekosaur> | rejected? |
| 2024-03-29 02:14:34 +0100 | <geekosaur> | ben was just clearing out a bunch of spam accounts, maybe he overdid it slightly |
| 2024-03-29 02:14:55 +0100 | mizlan | (~mizlan@c-69-181-82-43.hsd1.ca.comcast.net) |
| 2024-03-29 02:15:58 +0100 | <Hecate> | hey koala_man 👋 |
| 2024-03-29 02:16:31 +0100 | <geekosaur> | I'd apply again, especially if your account name included some non-ASCII |
| 2024-03-29 02:18:58 +0100 | <haskellbridge> | <s​m> not easy to be a ghc contributor! |
| 2024-03-29 02:24:35 +0100 | <geekosaur> | not easy to deal with spammers trying anything they can think of to roost in our project 😞 |
| 2024-03-29 02:28:25 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-29 02:30:51 +0100 | mei | (~mei@user/mei) |
| 2024-03-29 02:34:38 +0100 | mud | (~mud@user/kadoban) |
| 2024-03-29 02:39:29 +0100 | qqq | (~qqq@92.43.167.61) (Ping timeout: 272 seconds) |
| 2024-03-29 02:42:46 +0100 | qqq | (~qqq@92.43.167.61) |
| 2024-03-29 02:48:00 +0100 | <haskellbridge> | <s​m> what's up with that.. is it because ghc is on gitlab ? I don't see this on github |
| 2024-03-29 02:48:36 +0100 | <haskellbridge> | <s​m> or because they are managing their own gitlab ? |
| 2024-03-29 02:49:26 +0100 | <geekosaur> | it seems li,ke they din't (or possibly can't) abuse github that way, but they used to be able to get a github account, use it to access our gitlab instance, and get auto-approved |
| 2024-03-29 02:49:37 +0100 | <geekosaur> | they now go into the approval queue |
| 2024-03-29 02:50:15 +0100 | <geekosaur> | anyway yes, gitlab works differently from github here |
| 2024-03-29 02:58:11 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-29 02:58:28 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5b9d:a4d:114b:3b13) (Ping timeout: 268 seconds) |
| 2024-03-29 03:03:30 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-03-29 03:07:37 +0100 | euleritian | (~euleritia@dynamic-176-000-155-070.176.0.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2024-03-29 03:08:23 +0100 | euleritian | (~euleritia@dynamic-176-005-137-111.176.5.pool.telefonica.de) |
| 2024-03-29 03:14:46 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2024-03-29 03:20:01 +0100 | otto_s | (~user@p5b044569.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-03-29 03:21:06 +0100 | otto_s | (~user@p5de2f9c4.dip0.t-ipconnect.de) |
| 2024-03-29 03:27:16 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-03-29 03:33:15 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-29 03:36:29 +0100 | mizlan | (~mizlan@c-69-181-82-43.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2024-03-29 03:45:09 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-03-29 03:50:11 +0100 | quintasan | (~quassel@quintasan.pl) () |
| 2024-03-29 04:08:25 +0100 | parahola | (~a@112.78.178.130) |
| 2024-03-29 04:10:47 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-03-29 04:14:50 +0100 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) |
| 2024-03-29 04:37:17 +0100 | td_ | (~td@i53870908.versanet.de) (Ping timeout: 256 seconds) |
| 2024-03-29 04:38:59 +0100 | td_ | (~td@i53870932.versanet.de) |
| 2024-03-29 04:40:39 +0100 | Inst_ | (~Inst@120.244.192.126) |
| 2024-03-29 04:43:18 +0100 | Inst | (~Inst@120.244.192.126) (Ping timeout: 268 seconds) |
| 2024-03-29 04:51:44 +0100 | dbaoty | (~dbaoty@tptn-04-0838.dsl.iowatelecom.net) |
| 2024-03-29 04:59:18 +0100 | Inst_ | (~Inst@120.244.192.126) (Remote host closed the connection) |
| 2024-03-29 04:59:26 +0100 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Read error: Connection reset by peer) |
| 2024-03-29 04:59:34 +0100 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) |
| 2024-03-29 04:59:35 +0100 | Franciman | (~Franciman@mx1.fracta.dev) (Read error: Connection reset by peer) |
| 2024-03-29 04:59:38 +0100 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (Write error: Connection reset by peer) |
| 2024-03-29 04:59:38 +0100 | Inst_ | (~Inst@120.244.192.126) |
| 2024-03-29 04:59:40 +0100 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Read error: Connection reset by peer) |
| 2024-03-29 04:59:44 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Read error: Connection reset by peer) |
| 2024-03-29 04:59:46 +0100 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2024-03-29 04:59:47 +0100 | jakzale | (6291399afa@user/jakzale) (Read error: Connection reset by peer) |
| 2024-03-29 04:59:47 +0100 | Franciman | (~Franciman@mx1.fracta.dev) |
| 2024-03-29 04:59:50 +0100 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) |
| 2024-03-29 04:59:50 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
| 2024-03-29 04:59:51 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Read error: Connection reset by peer) |
| 2024-03-29 04:59:55 +0100 | jakzale | (6291399afa@user/jakzale) |
| 2024-03-29 04:59:57 +0100 | Pent | (sid313808@id-313808.lymington.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-03-29 04:59:57 +0100 | hook54321 | (sid149355@user/hook54321) (Ping timeout: 256 seconds) |
| 2024-03-29 04:59:57 +0100 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-03-29 04:59:59 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2024-03-29 05:00:31 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-03-29 05:00:57 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-03-29 05:00:59 +0100 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2024-03-29 05:01:18 +0100 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) |
| 2024-03-29 05:01:23 +0100 | Pent | (sid313808@id-313808.lymington.irccloud.com) |
| 2024-03-29 05:02:13 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 256 seconds) |
| 2024-03-29 05:02:13 +0100 | turlando | (~turlando@user/turlando) |
| 2024-03-29 05:02:20 +0100 | hook54321 | (sid149355@user/hook54321) |
| 2024-03-29 05:03:10 +0100 | Pozyomka | (~pyon@user/pyon) |
| 2024-03-29 05:03:55 +0100 | cross | (~cross@spitfire.i.gajendra.net) (Ping timeout: 256 seconds) |
| 2024-03-29 05:05:01 +0100 | cross | (~cross@spitfire.i.gajendra.net) |
| 2024-03-29 05:24:28 +0100 | dbaoty | (~dbaoty@tptn-04-0838.dsl.iowatelecom.net) () |
| 2024-03-29 05:57:58 +0100 | aforemny_ | (~aforemny@i59F516CE.versanet.de) |
| 2024-03-29 05:59:23 +0100 | aforemny | (~aforemny@i59F516F8.versanet.de) (Ping timeout: 264 seconds) |
| 2024-03-29 06:01:45 +0100 | parahola | (~a@112.78.178.130) (Remote host closed the connection) |
| 2024-03-29 06:16:47 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-29 06:21:23 +0100 | qqq | (~qqq@92.43.167.61) (Quit: leaving) |
| 2024-03-29 06:23:41 +0100 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2024-03-29 06:27:37 +0100 | poscat | (~poscat@user/poscat) |
| 2024-03-29 06:46:03 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
| 2024-03-29 06:49:56 +0100 | michalz | (~michalz@185.246.207.221) |
| 2024-03-29 06:58:29 +0100 | notzmv | (~daniel@user/notzmv) |
| 2024-03-29 07:14:44 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-29 07:18:02 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-03-29 07:29:42 +0100 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Ping timeout: 255 seconds) |
| 2024-03-29 07:31:39 +0100 | phma | (~phma@host-67-44-208-21.hnremote.net) (Ping timeout: 268 seconds) |
| 2024-03-29 07:32:09 +0100 | phma | (~phma@host-67-44-208-48.hnremote.net) |
| 2024-03-29 07:34:29 +0100 | son0p | (~ff@167.0.169.98) (Ping timeout: 240 seconds) |
| 2024-03-29 07:50:43 +0100 | Sachin | (~Sachin@103.134.250.242) |
| 2024-03-29 07:54:29 +0100 | <Sachin> | hi |
| 2024-03-29 07:57:05 +0100 | Sachin | (~Sachin@103.134.250.242) (Quit: Client closed) |
| 2024-03-29 08:40:05 +0100 | <hololeap> | I see a Binary instance for Data.Array.Array, but not sure where to find something similar for Vector |
| 2024-03-29 08:42:36 +0100 | euleritian | (~euleritia@dynamic-176-005-137-111.176.5.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2024-03-29 08:43:48 +0100 | vpan | (~vpan@212.117.1.172) |
| 2024-03-29 08:48:57 +0100 | foul_owl | (~kerry@174-21-71-155.tukw.qwest.net) (Ping timeout: 252 seconds) |
| 2024-03-29 08:53:47 +0100 | <lyxia> | hololeap: https://hackage.haskell.org/package/vector-binary-instances ? |
| 2024-03-29 08:54:55 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-29 08:55:21 +0100 | <hololeap> | thx |
| 2024-03-29 09:00:16 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-03-29 09:02:57 +0100 | foul_owl | (~kerry@185.216.231.179) |
| 2024-03-29 09:03:29 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-03-29 09:14:27 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-29 09:16:13 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-29 09:17:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-29 09:18:49 +0100 | akegalj | (~akegalj@141-136-184-96.dsl.iskon.hr) |
| 2024-03-29 09:19:34 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-03-29 09:38:33 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-03-29 09:40:09 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-29 09:42:10 +0100 | mei | (~mei@user/mei) |
| 2024-03-29 09:53:01 +0100 | son0p | (~ff@152.203.72.114) |
| 2024-03-29 09:54:59 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2024-03-29 09:56:02 +0100 | acidjnk_new | (~acidjnk@p200300d6e714dc05100e436667b532df.dip0.t-ipconnect.de) |
| 2024-03-29 09:56:06 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-29 09:58:31 +0100 | raym | (~ray@user/raym) (Ping timeout: 260 seconds) |
| 2024-03-29 09:59:48 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-29 10:01:46 +0100 | puke | (~puke@user/puke) |
| 2024-03-29 10:01:59 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-03-29 10:02:01 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-29 10:02:01 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-03-29 10:04:31 +0100 | raym | (~ray@user/raym) |
| 2024-03-29 10:05:24 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-03-29 10:17:31 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-29 10:31:06 +0100 | Square2 | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2024-03-29 10:34:15 +0100 | <Arsen> | https://paste.sr.ht/~arsen/c61b0c595c9a100f2b4834d2064c8216eb4700bb emacs' haskell-mode indents this data declaration like this. is this the correct convention for wrapping record syntax? is it haskell-mode screwing up? |
| 2024-03-29 10:37:42 +0100 | <ncf> | what's a correct convention, but also this looks mighty screwed up to me |
| 2024-03-29 10:38:24 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-03-29 10:38:41 +0100 | <Arsen> | well, that makes it incorrect ;P |
| 2024-03-29 10:38:48 +0100 | <Arsen> | correct = looks not-screwed-up |
| 2024-03-29 10:40:58 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-29 10:43:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-29 10:43:39 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-29 10:44:00 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-03-29 10:44:43 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-29 10:47:31 +0100 | <Arsen> | ah, the error is mine! naturally |
| 2024-03-29 10:47:35 +0100 | <Arsen> | I had extranious commas |
| 2024-03-29 10:52:47 +0100 | phma | (~phma@host-67-44-208-48.hnremote.net) (Quit: Konversation terminated!) |
| 2024-03-29 10:53:23 +0100 | phma | (phma@2001:5b0:215d:ba58:a61a:48b0:3e33:afde) |
| 2024-03-29 10:54:35 +0100 | <phma> | Is there a stack command that gets rid of old versions of GHC in ~/.stack/programs/? |
| 2024-03-29 10:55:24 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-29 10:56:04 +0100 | akegalj | (~akegalj@141-136-184-96.dsl.iskon.hr) (Quit: leaving) |
| 2024-03-29 10:59:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-29 10:59:37 +0100 | <phma> | I have 16 GB in that directory. |
| 2024-03-29 11:06:50 +0100 | mmhat | (~mmh@p200300f1c706a268ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-03-29 11:07:01 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-03-29 11:07:35 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2024-03-29 11:09:01 +0100 | <cheater> | can i have a list that has multiple different proxies inside? like [Proxy @Type1, Proxy @Type2, ...] |
| 2024-03-29 11:09:03 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2024-03-29 11:09:18 +0100 | EvanR | (~EvanR@user/evanr) |
| 2024-03-29 11:11:17 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-03-29 11:13:13 +0100 | <cheater> | guess not |
| 2024-03-29 11:13:23 +0100 | <cheater> | would like to figure out how.. |
| 2024-03-29 11:17:02 +0100 | <[Leary]> | % data HList c f xs where { Nil :: HList c f '[]; (:~) :: c x => f x -> HList c f xs -> HList c f (x:xs) }; infixr 6 :~ |
| 2024-03-29 11:17:02 +0100 | <yahb2> | <no output> |
| 2024-03-29 11:17:07 +0100 | <[Leary]> | % :t Proxy @Int :~ Proxy @Char :~ Nil |
| 2024-03-29 11:17:07 +0100 | <yahb2> | Proxy @Int :~ Proxy @Char :~ Nil ; :: (c Int, c Char) => HList c Proxy '[Int, Char] |
| 2024-03-29 11:21:44 +0100 | <cheater> | i'll need a few stiff shots before i can understand that |
| 2024-03-29 11:23:02 +0100 | <cheater> | hmm |
| 2024-03-29 11:23:20 +0100 | <cheater> | ok, i guess this makes sense |
| 2024-03-29 11:23:23 +0100 | <cheater> | thanks |
| 2024-03-29 11:23:44 +0100 | <cheater> | is HList like a widely used thing? |
| 2024-03-29 11:23:47 +0100 | <cheater> | does it come in some package? |
| 2024-03-29 11:24:23 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 260 seconds) |
| 2024-03-29 11:28:29 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-03-29 11:32:48 +0100 | <lyxia> | it's a widely known concept but there is no standard implementation because there are so many trade offs |
| 2024-03-29 11:33:38 +0100 | <lyxia> | There's Hlist, vinyl, and a lot of the effect libraries also roll their own variant of it. |
| 2024-03-29 11:34:49 +0100 | <lyxia> | a lot of the libraries that "solve" the record problem are some opinionated API on top of hlists. |
| 2024-03-29 11:35:32 +0100 | <c_wraith> | Honestly, I don't really understand the use case for HList. vinyl at least names the fields so that they can be order-independent |
| 2024-03-29 11:37:42 +0100 | mei | (~mei@user/mei) (Ping timeout: 268 seconds) |
| 2024-03-29 11:38:15 +0100 | myxokephale | (~myxos@065-028-251-121.inf.spectrum.com) (Remote host closed the connection) |
| 2024-03-29 11:41:28 +0100 | <cheater> | hmm right |
| 2024-03-29 11:42:30 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) |
| 2024-03-29 11:44:53 +0100 | hiredman | (~hiredman@frontier1.downey.family) |
| 2024-03-29 11:49:17 +0100 | <[exa]> | Is there something that would allow me to (invisibly and very naively) compare addresses of 2 things to detect if they are different? The use case would be something updating a structure (rewriting) and me detecting whether it (by any accident) changed. In STG it would literally be a comparison of 2 pointers, false positives are OK. I'd say this would be near `unsafeCoerce` but can't find anything |
| 2024-03-29 11:50:15 +0100 | <c_wraith> | https://hackage.haskell.org/package/base-4.19.1.0/docs/GHC-Exts.html#v:reallyUnsafePtrEquality |
| 2024-03-29 11:51:56 +0100 | <[exa]> | ok good I like the `reallyUnsafe` prefix |
| 2024-03-29 11:52:02 +0100 | <[exa]> | thanks! |
| 2024-03-29 11:54:29 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) |
| 2024-03-29 11:55:16 +0100 | <c_wraith> | I think it can have false negatives, but not false positives. |
| 2024-03-29 11:55:48 +0100 | [exa] | wondering which case is positive and which is negative |
| 2024-03-29 11:55:49 +0100 | <c_wraith> | ie, it won't evaluate its arguments, so two things that might be the same when evaluated would return 0# |
| 2024-03-29 11:56:12 +0100 | <[exa]> | yeah that's ok for me |
| 2024-03-29 11:56:35 +0100 | tt12310 | (~tt1231@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-03-29 11:56:40 +0100 | <[exa]> | I'm planning to shallowly `seq` the stuff anyway before testing |
| 2024-03-29 11:56:50 +0100 | <[exa]> | perfect |
| 2024-03-29 11:56:53 +0100 | <[exa]> | tahnks a lot! |
| 2024-03-29 11:59:05 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-0ba5-dd7f-585d-7bb4-4d97.rev.sfr.net) |
| 2024-03-29 11:59:40 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-29 12:04:50 +0100 | tv | (~tv@user/tv) (Ping timeout: 268 seconds) |
| 2024-03-29 12:10:48 +0100 | <ski> | @type Control.Parallel.pseq |
| 2024-03-29 12:10:49 +0100 | <lambdabot> | a -> b -> b |
| 2024-03-29 12:13:10 +0100 | ski | would indent the opening braces more than the data constructors, fwiw, Arsen |
| 2024-03-29 12:14:33 +0100 | ncf | . o O ( is haskell indented or discodered? ) |
| 2024-03-29 12:17:47 +0100 | tv | (~tv@user/tv) |
| 2024-03-29 12:20:25 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-03-29 12:28:06 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) (Ping timeout: 256 seconds) |
| 2024-03-29 12:29:43 +0100 | <Arsen> | ski: that seems to be the common theme yeah |
| 2024-03-29 12:37:01 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) |
| 2024-03-29 12:44:53 +0100 | mechap | (~mechap@user/mechap) |
| 2024-03-29 12:45:21 +0100 | mechap | (~mechap@user/mechap) (Max SendQ exceeded) |
| 2024-03-29 12:45:46 +0100 | mechap | (~mechap@user/mechap) |
| 2024-03-29 13:08:42 +0100 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.2.1) |
| 2024-03-29 13:11:05 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-29 13:11:31 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-29 13:13:22 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-03-29 13:16:32 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-29 13:20:41 +0100 | xff0x | (~xff0x@2405:6580:b080:900:2b2b:eb19:37de:d4bd) |
| 2024-03-29 13:20:43 +0100 | magus3 | (~Thunderbi@2804:14c:65e4:8219:4056:ec55:c70d:fa8b) |
| 2024-03-29 13:22:12 +0100 | megaTherion | (~therion@unix.io) (Remote host closed the connection) |
| 2024-03-29 13:23:48 +0100 | megaTherion | (~therion@unix.io) |
| 2024-03-29 13:25:38 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-03-29 13:26:33 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-29 13:35:33 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) (Ping timeout: 255 seconds) |
| 2024-03-29 13:41:12 +0100 | magus3 | (~Thunderbi@2804:14c:65e4:8219:4056:ec55:c70d:fa8b) (Ping timeout: 256 seconds) |
| 2024-03-29 13:45:43 +0100 | califax_ | (~califax@user/califx) |
| 2024-03-29 13:45:54 +0100 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-03-29 13:46:33 +0100 | hallucinagen | (~prodmezha@123.63.203.210) |
| 2024-03-29 13:46:58 +0100 | califax_ | califax |
| 2024-03-29 14:18:21 +0100 | magus3 | (~Thunderbi@189.6.35.139) |
| 2024-03-29 14:18:33 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) |
| 2024-03-29 14:20:19 +0100 | mmhat | (~mmh@p200300f1c706a268ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-03-29 14:20:41 +0100 | mmhat | (~mmh@p200300f1c706a223ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-03-29 14:37:23 +0100 | df | (~ben@justworks.xyz) |
| 2024-03-29 14:39:03 +0100 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2024-03-29 14:40:34 +0100 | jrm | (~jrm@user/jrm) |
| 2024-03-29 14:58:49 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) (Ping timeout: 255 seconds) |
| 2024-03-29 15:02:45 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 256 seconds) |
| 2024-03-29 15:12:07 +0100 | magus3 | (~Thunderbi@189.6.35.139) (Ping timeout: 260 seconds) |
| 2024-03-29 15:15:07 +0100 | mei | (~mei@user/mei) |
| 2024-03-29 15:20:10 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) |
| 2024-03-29 15:25:14 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 2024-03-29 15:25:21 +0100 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-03-29 15:26:49 +0100 | puke | Guest6882 |
| 2024-03-29 15:26:49 +0100 | pyooque | (~puke@user/puke) |
| 2024-03-29 15:26:49 +0100 | Guest6882 | (~puke@user/puke) (Killed (copper.libera.chat (Nickname regained by services))) |
| 2024-03-29 15:26:49 +0100 | pyooque | puke |
| 2024-03-29 15:27:11 +0100 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2024-03-29 15:28:28 +0100 | puke | (~puke@user/puke) |
| 2024-03-29 15:29:52 +0100 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-03-29 15:30:10 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-03-29 15:35:13 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-03-29 15:35:31 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-03-29 15:39:39 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) (Ping timeout: 260 seconds) |
| 2024-03-29 15:42:40 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-0ba5-dd7f-585d-7bb4-4d97.rev.sfr.net) (Remote host closed the connection) |
| 2024-03-29 15:43:02 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-0ba5-bc04-e657-4516-5627.rev.sfr.net) |
| 2024-03-29 15:46:33 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3440-0ba5-bc04-e657-4516-5627.rev.sfr.net) (Remote host closed the connection) |
| 2024-03-29 15:49:45 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-03-29 15:50:45 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-03-29 15:54:55 +0100 | ajr0d | (~textual@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) |
| 2024-03-29 15:55:17 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-03-29 15:58:37 +0100 | acidjnk_new | (~acidjnk@p200300d6e714dc05100e436667b532df.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-03-29 16:12:23 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-29 16:13:58 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-03-29 16:14:57 +0100 | ajr0d | (~textual@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) (Quit: big sleep) |
| 2024-03-29 16:17:16 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-29 16:17:45 +0100 | Guest58 | (~Guest92@103.119.241.94) |
| 2024-03-29 16:18:11 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-29 16:18:47 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-29 16:19:49 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-29 16:20:06 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-29 16:20:55 +0100 | hallucinagen | (~prodmezha@123.63.203.210) (Remote host closed the connection) |
| 2024-03-29 16:21:26 +0100 | hallucinagen | (~prodmezha@123.63.203.210) |
| 2024-03-29 16:25:42 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2024-03-29 16:26:54 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) |
| 2024-03-29 16:31:37 +0100 | Guest58 | (~Guest92@103.119.241.94) (Quit: Client closed) |
| 2024-03-29 16:33:20 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-03-29 16:33:37 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 2024-03-29 16:33:41 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Read error: Connection reset by peer) |
| 2024-03-29 16:34:04 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-03-29 16:41:19 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) |
| 2024-03-29 16:42:34 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-03-29 16:43:12 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) (Client Quit) |
| 2024-03-29 16:43:55 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) |
| 2024-03-29 16:50:33 +0100 | Rodney_ | (~Rodney@176.254.244.83) (Ping timeout: 256 seconds) |
| 2024-03-29 16:51:59 +0100 | sharan | (~shara@c-24-60-154-223.hsd1.ma.comcast.net) |
| 2024-03-29 16:59:48 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-03-29 17:07:12 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-03-29 17:09:46 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-03-29 17:11:58 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) (Quit: big sleep) |
| 2024-03-29 17:13:04 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) |
| 2024-03-29 17:13:41 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:3d3d:8874:417f:fbf3) (Quit: WeeChat 4.2.1) |
| 2024-03-29 17:14:10 +0100 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2024-03-29 17:14:36 +0100 | fererrorocher | (fererroroc@gateway/vpn/protonvpn/fererrorocher) |
| 2024-03-29 17:19:14 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) (Quit: big sleep) |
| 2024-03-29 17:19:47 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) |
| 2024-03-29 17:23:43 +0100 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-03-29 17:32:12 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-29 17:33:30 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) (Quit: big sleep) |
| 2024-03-29 17:33:56 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) |
| 2024-03-29 17:34:50 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-03-29 17:35:52 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-03-29 17:36:38 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) (Client Quit) |
| 2024-03-29 17:37:35 +0100 | acidjnk_new | (~acidjnk@p200300d6e714dc05100e436667b532df.dip0.t-ipconnect.de) |
| 2024-03-29 17:38:38 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) |
| 2024-03-29 17:40:25 +0100 | euleritian | (~euleritia@dynamic-176-004-216-230.176.4.pool.telefonica.de) |
| 2024-03-29 17:42:35 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) (Client Quit) |
| 2024-03-29 17:43:02 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) |
| 2024-03-29 17:47:20 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) (Client Quit) |
| 2024-03-29 17:50:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-29 17:55:43 +0100 | euleritian | (~euleritia@dynamic-176-004-216-230.176.4.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-03-29 17:57:17 +0100 | euleritian | (~euleritia@dynamic-176-005-133-056.176.5.pool.telefonica.de) |
| 2024-03-29 17:58:18 +0100 | zetef | (~quassel@5.2.182.99) |
| 2024-03-29 17:59:31 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-29 18:01:09 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-03-29 18:01:53 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) |
| 2024-03-29 18:04:33 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-03-29 18:08:00 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-29 18:12:32 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) (Quit: big sleep) |
| 2024-03-29 18:12:43 +0100 | hallucinagen | (~prodmezha@123.63.203.210) (Ping timeout: 260 seconds) |
| 2024-03-29 18:17:26 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-03-29 18:18:07 +0100 | <c_wraith> | [exa]: I just realized what ski was talking about - that's a case where you need pseq instead of seq to guarantee the behavior you want. |
| 2024-03-29 18:23:56 +0100 | res0nat0r0844909 | (~Fletch@falcon.whatbox.ca) (Ping timeout: 256 seconds) |
| 2024-03-29 18:25:28 +0100 | fedorafansuper | (~fedorafan@user/fedorafan) (Remote host closed the connection) |
| 2024-03-29 18:25:40 +0100 | zetef | (~quassel@5.2.182.99) (Ping timeout: 256 seconds) |
| 2024-03-29 18:26:09 +0100 | fedorafan | (~fedorafan@user/fedorafan) |
| 2024-03-29 18:27:02 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-29 18:27:36 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-29 18:28:37 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) |
| 2024-03-29 18:32:23 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-03-29 18:32:46 +0100 | <shapr> | :t psq |
| 2024-03-29 18:32:47 +0100 | <lambdabot> | error: Variable not in scope: psq |
| 2024-03-29 18:32:49 +0100 | <shapr> | :t pseq |
| 2024-03-29 18:32:50 +0100 | <lambdabot> | error: |
| 2024-03-29 18:32:50 +0100 | <lambdabot> | • Variable not in scope: pseq |
| 2024-03-29 18:32:50 +0100 | <lambdabot> | • Perhaps you meant ‘seq’ (imported from Prelude) |
| 2024-03-29 18:33:12 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) (Client Quit) |
| 2024-03-29 18:36:27 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 272 seconds) |
| 2024-03-29 18:38:00 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-03-29 18:40:37 +0100 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-03-29 18:45:36 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-29 18:45:48 +0100 | <geekosaur> | :t Control.Parallel.pseq -- I think? |
| 2024-03-29 18:45:49 +0100 | <lambdabot> | a -> b -> b |
| 2024-03-29 18:48:00 +0100 | <c_wraith> | shapr: the difference is that seq says "when you evaluate the result of this, both arguments will be evaluated". pseq says "when you evaluate the result of this, first the first argument will be evaluated, then the second argument" |
| 2024-03-29 18:48:25 +0100 | <shapr> | ah! |
| 2024-03-29 18:48:27 +0100 | <shapr> | thanks |
| 2024-03-29 18:48:44 +0100 | <c_wraith> | GHC has a lot of heuristics that make seq usually work correctly, but why rely on those when there is a different function that lets you specify exactly what you mean? |
| 2024-03-29 18:49:27 +0100 | <c_wraith> | (I really wish pseq didn't need a weird import) |
| 2024-03-29 18:51:27 +0100 | hueso | (~root@user/hueso) (Ping timeout: 260 seconds) |
| 2024-03-29 19:00:15 +0100 | res0nat0r0844909 | (~Fletch@falcon.whatbox.ca) |
| 2024-03-29 19:08:29 +0100 | hueso | (~root@user/hueso) |
| 2024-03-29 19:09:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-29 19:10:01 +0100 | df | (~ben@justworks.xyz) (Ping timeout: 272 seconds) |
| 2024-03-29 19:10:22 +0100 | destituion | (~destituio@2a02:2121:655:c95b:ba41:7897:d01f:5f0f) (Ping timeout: 255 seconds) |
| 2024-03-29 19:10:55 +0100 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) |
| 2024-03-29 19:13:40 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) |
| 2024-03-29 19:15:09 +0100 | sm_ | (~Thunderbi@plaintextaccounting/sm) |
| 2024-03-29 19:19:19 +0100 | df | (~ben@justworks.xyz) |
| 2024-03-29 19:19:38 +0100 | califax_ | (~califax@user/califx) |
| 2024-03-29 19:20:30 +0100 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-03-29 19:20:50 +0100 | califax_ | califax |
| 2024-03-29 19:21:58 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-29 19:23:34 +0100 | califax | (~califax@user/califx) |
| 2024-03-29 19:24:42 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2024-03-29 19:25:32 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-03-29 19:31:19 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-03-29 19:33:35 +0100 | ddellacosta | (~ddellacos@ool-44c73d16.dyn.optonline.net) |
| 2024-03-29 19:34:55 +0100 | tt12310 | (~tt1231@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) |
| 2024-03-29 19:36:49 +0100 | arjun | (~arjun@user/arjun) |
| 2024-03-29 19:37:49 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-29 19:40:45 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-29 19:41:43 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-03-29 19:42:37 +0100 | califax | (~califax@user/califx) |
| 2024-03-29 19:43:23 +0100 | mmhat | (~mmh@p200300f1c706a223ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1) |
| 2024-03-29 19:45:05 +0100 | mei | (~mei@user/mei) (Quit: mei) |
| 2024-03-29 19:46:28 +0100 | ElectroSpecter | (~textual@2601:646:401:6c30:696a:9dd4:81cb:4f83) |
| 2024-03-29 19:47:16 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-29 19:47:37 +0100 | califax | (~califax@user/califx) |
| 2024-03-29 19:48:14 +0100 | mei | (~mei@user/mei) |
| 2024-03-29 19:50:25 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) (Quit: big sleep) |
| 2024-03-29 19:52:34 +0100 | magus3 | (~Thunderbi@189.6.35.139) |
| 2024-03-29 19:54:34 +0100 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) |
| 2024-03-29 19:55:09 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-29 19:55:20 +0100 | <ph88> | https://play.haskell.org/saved/SNDBgTcs does the function f already exist somewhere? or is there a similar function? how could one describe what f is doing? |
| 2024-03-29 19:57:57 +0100 | <ncf> | f = foldMap pure |
| 2024-03-29 19:58:29 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-03-29 19:59:03 +0100 | <mauke> | are there non-semigroup monoids? |
| 2024-03-29 19:59:03 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-03-29 19:59:09 +0100 | <ncf> | no |
| 2024-03-29 19:59:11 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-03-29 19:59:22 +0100 | <ncf> | hmm... does this say that a Foldable is universal among functors valued in monoids or something |
| 2024-03-29 19:59:48 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2024-03-29 20:00:11 +0100 | <ncf> | well, it's not valued in monoids itself |
| 2024-03-29 20:00:12 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-29 20:01:36 +0100 | <ncf> | an equivalent function would be (Foldable w, Alternative v) => w a -> v a |
| 2024-03-29 20:02:51 +0100 | <ncf> | (getAlt . foldMap (Alt . pure)) |
| 2024-03-29 20:03:19 +0100 | <ncf> | this seems to come up often |
| 2024-03-29 20:03:51 +0100 | <ncf> | (as asum . fmap pure , which does the same thing) |
| 2024-03-29 20:05:04 +0100 | <ph88> | does this "pattern" have a name? perhaps something out of category theory or so? from one functor to another functor ? |
| 2024-03-29 20:05:05 +0100 | gentauro | (~gentauro@user/gentauro) |
| 2024-03-29 20:05:25 +0100 | <ncf> | well this says that there's a natural transformation from any foldable to any alternative |
| 2024-03-29 20:05:55 +0100 | <ph88> | cool thanks ! |
| 2024-03-29 20:06:05 +0100 | <ncf> | so one level higher there's a natural transformation between the forgetful functor from Foldable to [Hask, Hask] to the forgetful functor from Alternative to [Hask, Hask] |
| 2024-03-29 20:06:30 +0100 | <ncf> | er no |
| 2024-03-29 20:06:46 +0100 | <ncf> | that makes no sense |
| 2024-03-29 20:07:10 +0100 | <ph88> | :D |
| 2024-03-29 20:11:02 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-03-29 20:11:39 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-03-29 20:13:08 +0100 | sm_ | (~Thunderbi@plaintextaccounting/sm) (Quit: sm_) |
| 2024-03-29 20:15:11 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) |
| 2024-03-29 20:20:08 +0100 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-03-29 20:21:42 +0100 | _________ | (~nobody@user/noodly) (Quit: leaving) |
| 2024-03-29 20:22:02 +0100 | ElectroSpecter | (~textual@2601:646:401:6c30:696a:9dd4:81cb:4f83) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-03-29 20:22:58 +0100 | magus3 | (~Thunderbi@189.6.35.139) (Ping timeout: 256 seconds) |
| 2024-03-29 20:25:37 +0100 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2024-03-29 20:26:54 +0100 | forell | (~forell@user/forell) |
| 2024-03-29 20:28:27 +0100 | xal | (~xal@mx1.xal.systems) () |
| 2024-03-29 20:28:39 +0100 | _________ | (~nobody@user/noodly) |
| 2024-03-29 20:29:16 +0100 | hueso | (~root@user/hueso) (Ping timeout: 268 seconds) |
| 2024-03-29 20:38:07 +0100 | Square2 | (~Square@user/square) |
| 2024-03-29 20:39:15 +0100 | euleritian | (~euleritia@dynamic-176-005-133-056.176.5.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-03-29 20:39:40 +0100 | euleritian | (~euleritia@dynamic-176-007-133-071.176.7.pool.telefonica.de) |
| 2024-03-29 20:40:35 +0100 | zetef | (~quassel@5.2.182.99) |
| 2024-03-29 20:41:23 +0100 | hueso | (~root@user/hueso) |
| 2024-03-29 20:43:24 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 252 seconds) |
| 2024-03-29 20:44:37 +0100 | Ttech | (~adran@botters/adran) (Quit: Este é o fim.) |
| 2024-03-29 20:44:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-29 20:45:10 +0100 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2024-03-29 20:49:56 +0100 | xal | (~xal@mx1.xal.systems) |
| 2024-03-29 20:49:59 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-03-29 20:51:47 +0100 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-03-29 20:53:30 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-29 20:56:24 +0100 | sm | (~user@plaintextaccounting/sm) (Remote host closed the connection) |
| 2024-03-29 21:00:37 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Read error: Connection reset by peer) |
| 2024-03-29 21:00:51 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-03-29 21:05:25 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-29 21:05:56 +0100 | califax | (~califax@user/califx) |
| 2024-03-29 21:09:46 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) (Quit: big sleep) |
| 2024-03-29 21:13:43 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) |
| 2024-03-29 21:15:52 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) (Client Quit) |
| 2024-03-29 21:15:54 +0100 | <[exa]> | c_wraith: ski: pseq noted, thank you! |
| 2024-03-29 21:20:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-29 21:21:12 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-29 21:22:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-29 21:26:58 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-03-29 21:29:47 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-29 21:57:19 +0100 | magus3 | (~Thunderbi@189.6.35.139) |
| 2024-03-29 21:57:22 +0100 | ski | nods |
| 2024-03-29 21:57:59 +0100 | arjun | (~arjun@user/arjun) (Quit: Quit!) |
| 2024-03-29 22:00:39 +0100 | sm_ | (~anonymous@plaintextaccounting/sm) |
| 2024-03-29 22:01:37 +0100 | sm_ | (~anonymous@plaintextaccounting/sm) (Client Quit) |
| 2024-03-29 22:01:53 +0100 | AlexZenon | (~alzenon@94.233.240.255) (Read error: Connection reset by peer) |
| 2024-03-29 22:02:12 +0100 | sm_ | (~sm@plaintextaccounting/sm) |
| 2024-03-29 22:02:13 +0100 | AlexZenon | (~alzenon@94.233.240.255) |
| 2024-03-29 22:07:46 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-03-29 22:08:12 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) |
| 2024-03-29 22:08:37 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 272 seconds) |
| 2024-03-29 22:13:03 +0100 | ajr0d | (~ajr0d@cpc111119-wiga14-2-0-cust433.18-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-03-29 22:18:46 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-29 22:21:24 +0100 | sm_ | (~sm@plaintextaccounting/sm) (Quit: sm_) |
| 2024-03-29 22:23:21 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-03-29 22:23:26 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2024-03-29 22:24:56 +0100 | sm | (~znc@plaintextaccounting/sm) |
| 2024-03-29 22:25:09 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-03-29 22:28:22 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Ping timeout: 255 seconds) |
| 2024-03-29 22:29:12 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2024-03-29 22:29:12 +0100 | ChanServ | +v haskellbridge |
| 2024-03-29 22:35:12 +0100 | sm | (~znc@plaintextaccounting/sm) (Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in) |
| 2024-03-29 22:37:01 +0100 | sm | (~znc@plaintextaccounting/sm) |
| 2024-03-29 22:37:32 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-03-29 22:40:23 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-29 22:41:51 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
| 2024-03-29 22:42:12 +0100 | magus3 | (~Thunderbi@189.6.35.139) (Ping timeout: 252 seconds) |
| 2024-03-29 22:46:34 +0100 | sm | gets fancy and sets up an IRC bouncer |
| 2024-03-29 22:46:58 +0100 | <geekosaur> | so I see |
| 2024-03-29 22:47:31 +0100 | <sm> | IRC is still scary to me, I feel always a noob :) |
| 2024-03-29 22:48:27 +0100 | <sm> | if it would have nicely disappeared I could have forgotten about it but I suppose that won't be happening |
| 2024-03-29 22:48:44 +0100 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-29 22:49:17 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2024-03-29 22:49:36 +0100 | <geekosaur> | (oh look, there's another one) |
| 2024-03-29 22:50:05 +0100 | <sm> | well continuing is also nice. And even improving, I see libera is planning to add persistence one of these days. |
| 2024-03-29 22:50:27 +0100 | <geekosaur> | slowly IRC continues to evolve |
| 2024-03-29 22:50:29 +0100 | dolio | (~dolio@130.44.134.54) |
| 2024-03-29 22:50:30 +0100 | <sm> | (another one ?) |
| 2024-03-29 22:50:36 +0100 | <geekosaur> | the problem there is getting clients to keep up |
| 2024-03-29 22:50:46 +0100 | <geekosaur> | [29 21:48:44] * dolio has quit (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-29 22:51:08 +0100 | <geekosaur> | znc, bnc/psybnc, etc. |
| 2024-03-29 22:51:37 +0100 | <geekosaur> | quassel |
| 2024-03-29 22:52:20 +0100 | Inst_ | (~Inst@120.244.192.126) (Ping timeout: 268 seconds) |
| 2024-03-29 22:52:39 +0100 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2024-03-29 22:52:47 +0100 | srk_ | (~sorki@user/srk) |
| 2024-03-29 22:53:05 +0100 | <geekosaur> | (I'm lazy and pay irccloud, then connect to their bouncer) |
| 2024-03-29 22:54:00 +0100 | <sm> | +1 |
| 2024-03-29 22:54:07 +0100 | <sm> | I spent a bunch of hours on this |
| 2024-03-29 22:54:25 +0100 | srk | (~sorki@user/srk) (Ping timeout: 246 seconds) |
| 2024-03-29 22:55:24 +0100 | <geekosaur> | sadly hexchat doesn't support the IRC extension to group messages I sent via /msg on other devices, so those end up looking odd on my desktop |
| 2024-03-29 22:55:53 +0100 | mizlan | (~mizlan@c-69-181-82-43.hsd1.ca.comcast.net) |
| 2024-03-29 22:56:14 +0100 | srk_ | srk |
| 2024-03-29 22:56:30 +0100 | <geekosaur> | and yeh, I remember going through that back when I ran a znc on someone's droplet |
| 2024-03-29 22:56:50 +0100 | <geekosaur> | that's the main reason I paid someone else to deal this time 🙂 |
| 2024-03-29 22:57:28 +0100 | <geekosaur> | well, that and having a semi-sane android client to go with it |
| 2024-03-29 22:58:20 +0100 | dolio | (~dolio@130.44.134.54) |
| 2024-03-29 22:58:48 +0100 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) (Read error: Connection reset by peer) |
| 2024-03-29 22:59:32 +0100 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) |
| 2024-03-29 23:00:24 +0100 | mizlan | (~mizlan@c-69-181-82-43.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2024-03-29 23:01:59 +0100 | <sm> | System Information: Model: MacBook Air (M1, 2020) • OS: macOS (Version 14.3.1, Build 23D60) |
| 2024-03-29 23:02:00 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds) |
| 2024-03-29 23:03:09 +0100 | <sm> | ok then. (I'm pressing all the knobs and switches in Textual 7, a very fancy mac irc client.) |
| 2024-03-29 23:03:25 +0100 | <geekosaur> | yeh, I used to use Textual when I had a Mac |
| 2024-03-29 23:03:43 +0100 | <geekosaur> | Linu IRC clients ought to up their game |
| 2024-03-29 23:03:48 +0100 | <geekosaur> | *Linux |
| 2024-03-29 23:04:21 +0100 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) (Ping timeout: 272 seconds) |
| 2024-03-29 23:11:14 +0100 | <sm> | last step: the reboot test |
| 2024-03-29 23:11:18 +0100 | sm | (~znc@plaintextaccounting/sm) (Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in) |
| 2024-03-29 23:12:28 +0100 | sm | (~znc@plaintextaccounting/sm) |
| 2024-03-29 23:13:04 +0100 | <sm> | \o/ |
| 2024-03-29 23:32:25 +0100 | euleritian | (~euleritia@dynamic-176-007-133-071.176.7.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-03-29 23:32:39 +0100 | euleritian | (~euleritia@dynamic-176-005-145-045.176.5.pool.telefonica.de) |
| 2024-03-29 23:41:55 +0100 | michalz | (~michalz@185.246.207.221) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-29 23:44:26 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-29 23:45:02 +0100 | Yumemi | (~Yumemi@2001:bc8:47a0:1b14::1) (Quit: .) |
| 2024-03-29 23:45:43 +0100 | mizlan | (~mizlan@c-69-181-82-43.hsd1.ca.comcast.net) |
| 2024-03-29 23:45:54 +0100 | Yumemi | (~Yumemi@chamoin.net) |
| 2024-03-29 23:48:28 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-03-29 23:50:18 +0100 | mizlan | (~mizlan@c-69-181-82-43.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2024-03-29 23:55:27 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-29 23:56:18 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-03-29 23:56:53 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-03-29 23:57:29 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-03-29 23:58:29 +0100 | img | (~img@user/img) |
| 2024-03-29 23:58:52 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-29 23:59:57 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |