2022-05-04 00:00:16 +0200 | dut | (~dut@user/dut) |
2022-05-04 00:01:12 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
2022-05-04 00:01:47 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
2022-05-04 00:03:41 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds)) |
2022-05-04 00:07:13 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
2022-05-04 00:10:04 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
2022-05-04 00:11:18 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 246 seconds) |
2022-05-04 00:11:25 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
2022-05-04 00:11:28 +0200 | allbery_b | geekosaur |
2022-05-04 00:12:26 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2022-05-04 00:15:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
2022-05-04 00:18:33 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
2022-05-04 00:18:55 +0200 | cigsender | (~cigsender@cpe5c7d7db831c8-cm5c7d7db831c6.cpe.net.cable.rogers.com) (Quit: Client closed) |
2022-05-04 00:19:50 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
2022-05-04 00:23:05 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
2022-05-04 00:32:00 +0200 | nut | (~haskellfi@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 276 seconds) |
2022-05-04 00:32:29 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
2022-05-04 00:34:59 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
2022-05-04 00:35:55 +0200 | cheater | (~Username@user/cheater) |
2022-05-04 00:37:05 +0200 | kaph | (~kaph@net-2-42-128-205.cust.vodafonedsl.it) (Ping timeout: 260 seconds) |
2022-05-04 00:39:56 +0200 | zeenk | (~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) (Quit: Konversation terminated!) |
2022-05-04 00:41:04 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::bc8f) (Ping timeout: 252 seconds) |
2022-05-04 00:42:59 +0200 | psydroid | psydroid[m] |
2022-05-04 00:43:33 +0200 | psydroid[m] | psydroid |
2022-05-04 00:45:46 +0200 | machinedgod | (~machinedg@24.105.81.50) |
2022-05-04 00:49:55 +0200 | dut | (~dut@user/dut) (Ping timeout: 260 seconds) |
2022-05-04 00:57:06 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
2022-05-04 01:01:58 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
2022-05-04 01:04:25 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
2022-05-04 01:05:47 +0200 | gehmehgeh_ | (~user@user/gehmehgeh) |
2022-05-04 01:07:34 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
2022-05-04 01:09:34 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
2022-05-04 01:09:42 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
2022-05-04 01:11:48 +0200 | dolio | (~dolio@130.44.130.54) (Read error: Connection reset by peer) |
2022-05-04 01:11:54 +0200 | codolio | (~dolio@130.44.130.54) |
2022-05-04 01:12:42 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2022-05-04 01:17:39 +0200 | machinedgod | (~machinedg@24.105.81.50) (Remote host closed the connection) |
2022-05-04 01:18:05 +0200 | Pickchea | (~private@user/pickchea) |
2022-05-04 01:18:46 +0200 | machinedgod | (~machinedg@24.105.81.50) |
2022-05-04 01:27:44 +0200 | odnes | (~odnes@5-203-216-158.pat.nym.cosmote.net) (Quit: Leaving) |
2022-05-04 01:28:50 +0200 | mmhat | (~mmh@2001:4090:a242:802a:ee08:6bff:fe09:5315) (Quit: WeeChat 3.5) |
2022-05-04 01:29:01 +0200 | machinedgod | (~machinedg@24.105.81.50) (Read error: Connection reset by peer) |
2022-05-04 01:29:25 +0200 | machinedgod | (~machinedg@24.105.81.50) |
2022-05-04 01:30:13 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 260 seconds) |
2022-05-04 01:31:42 +0200 | gehmehgeh_ | (~user@user/gehmehgeh) (Quit: Leaving) |
2022-05-04 01:37:39 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
2022-05-04 01:38:44 +0200 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 248 seconds) |
2022-05-04 01:47:18 +0200 | haskl | (~haskl@user/haskl) (Remote host closed the connection) |
2022-05-04 01:47:46 +0200 | haskl | (~haskl@user/haskl) |
2022-05-04 01:49:18 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
2022-05-04 01:53:39 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
2022-05-04 01:55:21 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-05-04 02:00:20 +0200 | <abastro[m]> | Hm GHC has 214047 code and 136186 comments hmm |
2022-05-04 02:00:28 +0200 | <abastro[m]> | Why so many comments |
2022-05-04 02:02:08 +0200 | <geekosaur> | https://www.stackbuilders.com/blog/the-notes-of-ghc/ |
2022-05-04 02:02:19 +0200 | <geekosaur> | or, look and see |
2022-05-04 02:03:00 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 276 seconds) |
2022-05-04 02:07:19 +0200 | <hpc> | honestly i am surprised ghc has more lines of code than lines of comment |
2022-05-04 02:07:53 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
2022-05-04 02:08:33 +0200 | <monochrom> | Consider my http://www.vex.net/~trebla/haskell/forwardconstraint/ForwardConstraint.hs >:) |
2022-05-04 02:10:42 +0200 | <hpc> | nice |
2022-05-04 02:13:39 +0200 | xff0x | (~xff0x@om126167070083.29.openmobile.ne.jp) |
2022-05-04 02:14:27 +0200 | Polo | (~Polo@user/polo) (Quit: Textual IRC Client: www.textualapp.com) |
2022-05-04 02:15:31 +0200 | o | (~niko@libera/staff/niko) (Ping timeout: 608 seconds) |
2022-05-04 02:18:47 +0200 | <hpc> | also https://www.aosabook.org/en/ghc.html which is referenced by geekosaur's link |
2022-05-04 02:18:53 +0200 | <hpc> | scroll down to 5.6 |
2022-05-04 02:19:00 +0200 | xaotuk | (~sasha@2a06:5b00:15fe:9b00::3) (Ping timeout: 240 seconds) |
2022-05-04 02:19:27 +0200 | <hpc> | i need to start using that footnote style in my own code |
2022-05-04 02:21:04 +0200 | xaotuk | (~sasha@net35-34-245-109.mbb.telenor.rs) |
2022-05-04 02:21:21 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2022-05-04 02:26:04 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
2022-05-04 02:28:13 +0200 | kilolympus | (~kilolympu@31.205.200.235) |
2022-05-04 02:28:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2022-05-04 02:28:53 +0200 | <jackdk> | I'm sure they just wrote comments to amuse themselves, like doodling in the margins instead of taking notes. |
2022-05-04 02:29:59 +0200 | <hpc> | they learned their lesson and made sure the margin was large enough for the remarkable proof |
2022-05-04 02:33:14 +0200 | kimjetwav | (~user@2607:fea8:2362:b400:e8cd:c90e:aafe:7f5b) |
2022-05-04 02:35:14 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Quit: leaving) |
2022-05-04 02:37:18 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
2022-05-04 02:50:56 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Quit: WeeChat 3.5) |
2022-05-04 02:52:01 +0200 | o | (niko@libera/staff/niko) |
2022-05-04 02:52:13 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
2022-05-04 02:53:09 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2022-05-04 02:53:09 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2022-05-04 02:53:09 +0200 | wroathe | (~wroathe@user/wroathe) |
2022-05-04 02:56:53 +0200 | <abastro[m]> | Why write so many comments? Because the code is so unreadable? |
2022-05-04 03:00:24 +0200 | <monochrom> | Time to burst the bubble of "self-documenting, self-explanatory code" and Knuth's self contradiction of saying "programs should be readable by humans, and just happens to be executable by machines" and going on to prove the opposite by needing to invent his WEB system. |
2022-05-04 03:04:04 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 248 seconds) |
2022-05-04 03:05:38 +0200 | king_gs | (~Thunderbi@2806:103e:29:99f9:ca77:e08e:3816:239e) |
2022-05-04 03:07:48 +0200 | geoduck | (~X@71.182.184.253) (Read error: Connection reset by peer) |
2022-05-04 03:09:42 +0200 | <hpc> | "just happens to be executable" nicely describes a lot of modern software though :D |
2022-05-04 03:10:03 +0200 | <monochrom> | haha |
2022-05-04 03:10:38 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2022-05-04 03:10:48 +0200 | <monochrom> | Programs should be illegible to humans and barely executable by machines. >:) |
2022-05-04 03:11:45 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
2022-05-04 03:12:06 +0200 | <monochrom> | Perl probably got the closest to that. >:) |
2022-05-04 03:12:42 +0200 | <hpc> | fun fact: "sed -i s/^/#/ $0" is a self-documenting bash script |
2022-05-04 03:12:49 +0200 | stackdroid18 | (~stackdroi@user/stackdroid) (Quit: hasta la vista... tchau!) |
2022-05-04 03:13:54 +0200 | <monochrom> | haha |
2022-05-04 03:13:56 +0200 | <hpc> | perl has the highest ratio of language quality to developer quality of anything i have ever used |
2022-05-04 03:14:17 +0200 | <hpc> | i quite liked using it |
2022-05-04 03:15:46 +0200 | <abastro[m]> | I mean |
2022-05-04 03:15:53 +0200 | <abastro[m]> | Self-documenting code is illusion |
2022-05-04 03:16:10 +0200 | <abastro[m]> | But if you need comments which is comparably as large as the code, then.. |
2022-05-04 03:16:29 +0200 | <abastro[m]> | Perhaps you are programming in unreadable style |
2022-05-04 03:16:46 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2022-05-04 03:16:51 +0200 | <hpc> | abastro[m]: you'll find that almost all code requires comments as large as the code |
2022-05-04 03:16:55 +0200 | <hpc> | you simply won't also find the comments |
2022-05-04 03:17:08 +0200 | <abastro[m]> | Oh? |
2022-05-04 03:17:23 +0200 | <abastro[m]> | Java programs usually do not need that much code tho |
2022-05-04 03:17:30 +0200 | <abastro[m]> | I mean |
2022-05-04 03:17:35 +0200 | <hololeap> | what the code _does_ might be obvious, but the intention behind it isn't |
2022-05-04 03:17:37 +0200 | <hpc> | imagine you're writing some bog standard crud app |
2022-05-04 03:17:37 +0200 | <abastro[m]> | They do not need that much comments |
2022-05-04 03:17:44 +0200 | <hpc> | and it lowercases one field in particular |
2022-05-04 03:17:49 +0200 | <hpc> | why? |
2022-05-04 03:17:54 +0200 | <hpc> | 10 pages of business requirements |
2022-05-04 03:18:15 +0200 | <hpc> | and none of those requirements starts with the "//" characters, so it doesn't count to most programmers |
2022-05-04 03:18:19 +0200 | <abastro[m]> | Then that should be in requirement document, not comments |
2022-05-04 03:18:28 +0200 | <abastro[m]> | Yes |
2022-05-04 03:18:35 +0200 | <abastro[m]> | The requirements are not comments |
2022-05-04 03:18:42 +0200 | <abastro[m]> | It is separate documentation |
2022-05-04 03:18:43 +0200 | <hpc> | sure they are |
2022-05-04 03:18:46 +0200 | <hpc> | they explain the code |
2022-05-04 03:19:12 +0200 | <monochrom> | I don't see why I can't copy the requirement into comments. |
2022-05-04 03:19:23 +0200 | <hpc> | if we take all the comments in ghc and move them to mediawiki, does that change what they are? |
2022-05-04 03:19:28 +0200 | <hpc> | does it change how readable the code is? |
2022-05-04 03:19:48 +0200 | <monochrom> | I mean, it should be fine either way. I don't have to, but why can't I. |
2022-05-04 03:20:02 +0200 | <abastro[m]> | Comments clutter the code tho |
2022-05-04 03:20:36 +0200 | <monochrom> | Not if I don't abuse interleaving. |
2022-05-04 03:20:53 +0200 | <hpc> | just use literate style |
2022-05-04 03:20:54 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
2022-05-04 03:20:56 +0200 | <hpc> | now it's not even comments |
2022-05-04 03:21:02 +0200 | <monochrom> | And did you read that section 5.6? |
2022-05-04 03:21:06 +0200 | Techcable | (~Techcable@user/Techcable) (Remote host closed the connection) |
2022-05-04 03:21:17 +0200 | <abastro[m]> | <del>Also look at Go, you could know how it does sth clearly. The "why" part is irrelevant anyway</del> |
2022-05-04 03:21:49 +0200 | <hpc> | why is often more important than the thing itself |
2022-05-04 03:22:13 +0200 | <hpc> | if you know why a piece of code exists, often you don't even need to read the code anymore |
2022-05-04 03:22:25 +0200 | <monochrom> | I am not sure what's the point of that <del> </del> bracketting. |
2022-05-04 03:22:27 +0200 | <hpc> | you just go "that's not what i am looking for" and move on |
2022-05-04 03:22:34 +0200 | <monochrom> | Unless it's trolling. |
2022-05-04 03:22:39 +0200 | Techcable | (~Techcable@user/Techcable) |
2022-05-04 03:22:45 +0200 | xaotuk | (~sasha@net35-34-245-109.mbb.telenor.rs) (Ping timeout: 260 seconds) |
2022-05-04 03:22:54 +0200 | <abastro[m]> | Well that one should have been /s |
2022-05-04 03:23:07 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-05-04 03:23:28 +0200 | <hpc> | </html> <!-- take that cgi:irc! --> |
2022-05-04 03:23:50 +0200 | <abastro[m]> | Why do you want "why" part if that is part of businesscontract |
2022-05-04 03:24:58 +0200 | <abastro[m]> | Why would you step across separation of responsibility and put business contract in the comments? |
2022-05-04 03:26:21 +0200 | king_gs | (~Thunderbi@2806:103e:29:99f9:ca77:e08e:3816:239e) (Remote host closed the connection) |
2022-05-04 03:27:19 +0200 | <exarkun> | What do you mean "separation of responsibility"? |
2022-05-04 03:27:39 +0200 | king_gs | (~Thunderbi@187.201.220.53) |
2022-05-04 03:27:49 +0200 | king_gs | (~Thunderbi@187.201.220.53) (Client Quit) |
2022-05-04 03:28:13 +0200 | <abastro[m]> | Business specification vs Programming according to the spec is separate responsibility |
2022-05-04 03:28:56 +0200 | <exarkun> | But no one said programmers should create the business specification |
2022-05-04 03:28:56 +0200 | <hpc> | you know, "computer" used to be a job title |
2022-05-04 03:29:08 +0200 | <hpc> | for human people that did computation |
2022-05-04 03:29:27 +0200 | <hpc> | and they were programmed by being told what to do in a sufficiently precise way that they computed the right thing |
2022-05-04 03:29:32 +0200 | <exarkun> | Putting it in comments is like keeping a reference text book on your desk instead of walking to the library every time you want to look something up. |
2022-05-04 03:29:34 +0200 | <exarkun> | It's just easier. |
2022-05-04 03:29:45 +0200 | jao | (~jao@211.68.17.95.dynamic.jazztel.es) (Ping timeout: 260 seconds) |
2022-05-04 03:29:54 +0200 | <hpc> | you even still see "program" used that way, https://ap.collegeboard.org/ says "AP program" right at the top of the page |
2022-05-04 03:30:01 +0200 | <exarkun> | hpc: People even went to space this way, pretty wild. |
2022-05-04 03:30:15 +0200 | <hpc> | the requirements are just software that runs on human |
2022-05-04 03:30:17 +0200 | <abastro[m]> | Specification comes from negotiation between the client and the company |
2022-05-04 03:30:19 +0200 | <exarkun> | I wish my computers worked that well. |
2022-05-04 03:30:43 +0200 | <abastro[m]> | Programmers are employed to the si |
2022-05-04 03:30:50 +0200 | <exarkun> | abastro[m]: Again, who said it doesn't? |
2022-05-04 03:31:08 +0200 | <abastro[m]> | The specification thus should remain separate from the code that programmers writes |
2022-05-04 03:31:14 +0200 | <abastro[m]> | Often the contract also specifies that |
2022-05-04 03:31:40 +0200 | king_gs | (~Thunderbi@187.201.220.53) |
2022-05-04 03:32:02 +0200 | <abastro[m]> | That the spec shouldn't be part of the code |
2022-05-04 03:32:15 +0200 | <exarkun> | So you keep saying |
2022-05-04 03:32:40 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
2022-05-04 03:32:58 +0200 | <abastro[m]> | ? |
2022-05-04 03:33:08 +0200 | <hpc> | this is why i always put my type signatures in .h files |
2022-05-04 03:33:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
2022-05-04 03:34:55 +0200 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Remote host closed the connection) |
2022-05-04 03:37:19 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
2022-05-04 03:37:24 +0200 | <abastro[m]> | Yes. |
2022-05-04 03:37:32 +0200 | <abastro[m]> | But that is also often illegal |
2022-05-04 03:38:04 +0200 | <abastro[m]> | Since from time to time, the contract specifies that the spec shall remain separate |
2022-05-04 03:38:23 +0200 | andrey__ | (~andrey@p508d5cc9.dip0.t-ipconnect.de) |
2022-05-04 03:40:56 +0200 | andrey_ | (~andrey@p200300dbcf124f00795a85a8270252ce.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-05-04 03:41:25 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
2022-05-04 03:42:39 +0200 | x_kuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
2022-05-04 03:44:30 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2022-05-04 03:49:24 +0200 | xff0x | (~xff0x@om126167070083.29.openmobile.ne.jp) (Read error: Connection reset by peer) |
2022-05-04 03:52:07 +0200 | king_gs | (~Thunderbi@187.201.220.53) (Read error: Connection reset by peer) |
2022-05-04 03:52:14 +0200 | king_gs1 | (~Thunderbi@2806:103e:29:99f9:ca77:e08e:3816:239e) |
2022-05-04 03:56:26 +0200 | king_gs1 | (~Thunderbi@2806:103e:29:99f9:ca77:e08e:3816:239e) (Ping timeout: 250 seconds) |
2022-05-04 03:58:49 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 248 seconds) |
2022-05-04 04:02:04 +0200 | notzmv | (~zmv@user/notzmv) |
2022-05-04 04:03:08 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2022-05-04 04:09:52 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) (Ping timeout: 250 seconds) |
2022-05-04 04:10:39 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
2022-05-04 04:17:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
2022-05-04 04:18:07 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) |
2022-05-04 04:26:51 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
2022-05-04 04:29:22 +0200 | king_gs | (~Thunderbi@187.201.220.53) |
2022-05-04 04:29:35 +0200 | jrm | (~jrm@156.34.173.250) (Quit: ciao) |
2022-05-04 04:30:59 +0200 | jrm | (~jrm@156.34.173.250) |
2022-05-04 04:40:43 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-05-04 04:45:47 +0200 | monochrom | (trebla@216.138.220.146) (Quit: NO CARRIER) |
2022-05-04 04:46:11 +0200 | jrm | (~jrm@156.34.173.250) (Quit: ciao) |
2022-05-04 04:46:11 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
2022-05-04 04:47:21 +0200 | jrm | (~jrm@156.34.173.250) |
2022-05-04 04:47:25 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
2022-05-04 04:51:37 +0200 | img | (~img@user/img) |
2022-05-04 04:57:08 +0200 | td_ | (~td@94.134.91.227) (Ping timeout: 248 seconds) |
2022-05-04 04:58:00 +0200 | king_gs | (~Thunderbi@187.201.220.53) (Read error: Connection reset by peer) |
2022-05-04 04:59:12 +0200 | td_ | (~td@muedsl-82-207-238-011.citykom.de) |
2022-05-04 05:01:27 +0200 | king_gs | (~Thunderbi@187.201.220.53) |
2022-05-04 05:02:10 +0200 | sabry | (~sabry@197.37.205.114) |
2022-05-04 05:05:29 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2022-05-04 05:07:34 +0200 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Quit: The Lounge - https://thelounge.chat) |
2022-05-04 05:07:34 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Quit: quit) |
2022-05-04 05:10:13 +0200 | nshepperd2 | (~nshepperd@li364-218.members.linode.com) |
2022-05-04 05:10:18 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
2022-05-04 05:13:09 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-05-04 05:13:41 +0200 | <seydar> | I'm writing an implementation of the blurhash algorithm: https://paste.tomsmeding.com/kgoLDWh8 |
2022-05-04 05:14:32 +0200 | <seydar> | Lines 132-134 encapsulate my logic: convert sRGB pixels to linear, perform the DCT, convert the linear values to sRGB |
2022-05-04 05:14:43 +0200 | <seydar> | unfortunately, the end result is that everything is pegged high at 255 |
2022-05-04 05:15:03 +0200 | <seydar> | anyone have any familiarity with the blurhash algorithm that could explain what i'm missing? |
2022-05-04 05:15:11 +0200 | russruss | (~russruss@my.russellmcc.com) (Ping timeout: 260 seconds) |
2022-05-04 05:19:12 +0200 | dukester | (~dnormandi@node-1w7jr9ydr91zeo4u27hpcbapw.ipv6.telus.net) |
2022-05-04 05:20:15 +0200 | mbuf | (~Shakthi@223.184.124.61) |
2022-05-04 05:21:29 +0200 | <dukester> | Amateur, hobbyist Noob here. Reading Learn You a Haskell. Re ++ to append to a list. Is there a not so expensive way to do this? |
2022-05-04 05:22:29 +0200 | <pavonia> | seydar: At line 108, are you sure you want (==) there? Should be (<=), no? |
2022-05-04 05:23:17 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-05-04 05:23:30 +0200 | jargon | (~jargon@174-22-206-112.phnx.qwest.net) |
2022-05-04 05:24:49 +0200 | <seydar> | pavonia: great catch, thanks! unfortunately it doesn't change anything |
2022-05-04 05:24:50 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Quit: Leaving) |
2022-05-04 05:25:38 +0200 | <seydar> | dukester: remember that haskell lists are proper linked lists, so... not with that data structure. python lists are actually arrays. |
2022-05-04 05:25:38 +0200 | <Axman6> | dukester: can you think of one? You've covered the definition of lists already right? |
2022-05-04 05:27:22 +0200 | <dukester> | Axman6, I have, but I'm only a few hours into the language. Is there an obvious solution? |
2022-05-04 05:27:32 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::aa1d) |
2022-05-04 05:27:50 +0200 | <Axman6> | seydar: fromIntegral . toInteger feels like a big code smell to me |
2022-05-04 05:27:55 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
2022-05-04 05:28:56 +0200 | <Axman6> | dukester: see if you can come up with one; the definition of a list is data [a] = [] | a : [a], so it is either empty, or it is a cons cell with a value and another list |
2022-05-04 05:30:00 +0200 | <Axman6> | firstly, can you come up with the definition for (++)? |
2022-05-04 05:30:23 +0200 | <seydar> | Axman6: yeah my code smells pretty bad. i'm struggling to deal with casting between numeric types |
2022-05-04 05:30:41 +0200 | <dukester> | Axman6, OK! I'll get back to you all. Almost bedtime here. |
2022-05-04 05:30:57 +0200 | <Axman6> | there actually is a more efficient way to join together lists, but you need to know that what you want to do ahead of time |
2022-05-04 05:31:31 +0200 | <dukester> | Axman6, I thought as much! L8r .. |
2022-05-04 05:31:36 +0200 | dukester | (~dnormandi@node-1w7jr9ydr91zeo4u27hpcbapw.ipv6.telus.net) (Leaving) |
2022-05-04 05:32:45 +0200 | <Axman6> | seydar: what's the type of dct2? |
2022-05-04 05:33:38 +0200 | img | (~img@user/img) |
2022-05-04 05:34:00 +0200 | <seydar> | Axman6: CArray -> CArray (i've aliased it to Array2D -> Array2D), but it's an array of Doubles |
2022-05-04 05:34:58 +0200 | <Axman6> | what do you expect the range of values after doing the DCT to be? Have you checked if they come out between 0 and 1? |
2022-05-04 05:38:47 +0200 | <Axman6> | I'd probably use sqrt instead of ** 0.5 |
2022-05-04 05:38:48 +0200 | kimjetwav | (~user@2607:fea8:2362:b400:e8cd:c90e:aafe:7f5b) (Remote host closed the connection) |
2022-05-04 05:40:03 +0200 | <Axman6> | for performance, you definitely want to delete every use of toInteger. |
2022-05-04 05:40:18 +0200 | <Axman6> | @hoogle (Num a, Integral b) => a -> b |
2022-05-04 05:40:20 +0200 | <lambdabot> | Unsafe.Coerce unsafeCoerce :: a -> b |
2022-05-04 05:40:20 +0200 | <lambdabot> | GHC.Exts unsafeCoerce# :: forall (k0 :: RuntimeRep) (k1 :: RuntimeRep) (a :: TYPE k0) (b :: TYPE k1) . a -> b |
2022-05-04 05:40:20 +0200 | <lambdabot> | GHC.Prim unsafeCoerce# :: a -> b |
2022-05-04 05:40:24 +0200 | <Axman6> | ha |
2022-05-04 05:40:32 +0200 | <Axman6> | :t round |
2022-05-04 05:40:33 +0200 | <lambdabot> | (RealFrac a, Integral b) => a -> b |
2022-05-04 05:40:50 +0200 | <Axman6> | :t floor |
2022-05-04 05:40:51 +0200 | <lambdabot> | (RealFrac a, Integral b) => a -> b |
2022-05-04 05:40:59 +0200 | <seydar> | Axman6: the DCT appears to be outputting values in the right range, but i'm not sure what it's supposed to look like. all of the other implementations out there implement part of the DCT by hand, and I'm trying to avoid that because I think it obfuscates how the function is actually logically used |
2022-05-04 05:41:28 +0200 | <seydar> | also because I don't understand the relationship between DCT and the implementations I've seen |
2022-05-04 05:43:09 +0200 | <seydar> | i filed an issue on the blurhash github begging for help in understanding their algorithm |
2022-05-04 05:44:50 +0200 | <Axman6> | do you understand what the dct actually does? I have good videos for you if not |
2022-05-04 05:46:28 +0200 | <Axman6> | https://www.youtube.com/watch?v=Y9FZ4igNxNA https://www.youtube.com/watch?v=GF7Z8Sd9qYE (less engaging but also good) |
2022-05-04 05:46:30 +0200 | <seydar> | i don't! i'd love to watch them |
2022-05-04 05:46:31 +0200 | <seydar> | thanks! |
2022-05-04 05:47:38 +0200 | <seydar> | i guess i just understand that it's like a fourier transform (pulls out underlying frequencies) but only uses cosines to do it |
2022-05-04 05:48:04 +0200 | <Axman6> | thise videos will show you why it's useful for an image hash |
2022-05-04 05:49:19 +0200 | <seydar> | should i be converting the pixels to linear before going through the DCT, or is that extraneous? |
2022-05-04 05:49:36 +0200 | <seydar> | i guess i'd assume the answer is yes because that's what other implementations appear to be doing |
2022-05-04 05:49:55 +0200 | <Axman6> | yeah if the others do it you should too |
2022-05-04 05:50:14 +0200 | <Axman6> | you might alao want to look at libraries which do these colour calculations for you |
2022-05-04 05:51:43 +0200 | <Axman6> | hmm, I thought colour (https://hackage.haskell.org/package/colour) provided that |
2022-05-04 05:51:52 +0200 | <seydar> | grrr i've tested my srgbToLinear and linearToSrgb functions, but when i convert the pixels to linear and then pump it through a DCT and a linearToSrgb, they peg high |
2022-05-04 05:52:38 +0200 | <seydar> | actually, it's only when they go through the linearToSrgb function that they peg high |
2022-05-04 05:52:57 +0200 | <seydar> | otherwise they're just pretty big numbers (in the thousands), but they're still different from each other |
2022-05-04 05:53:02 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
2022-05-04 05:53:48 +0200 | <Axman6> | you're not using them in the wrong order by any chance? that feels like the right order to me but worth checking |
2022-05-04 05:54:43 +0200 | <seydar> | yep, it's the right order |
2022-05-04 05:55:49 +0200 | <seydar> | ya know, as i look through other code, i bet there's a matrix multiplication going on |
2022-05-04 05:56:05 +0200 | <seydar> | not a dot product or cross product, but a one-to-one cell multiplication thing |
2022-05-04 05:58:03 +0200 | monochrom | (trebla@216.138.220.146) |
2022-05-04 05:59:31 +0200 | <seydar> | no i have no idea what i'm talking about |
2022-05-04 06:00:49 +0200 | <seydar> | they've just got a norm factor that doesn't appear in the DCT2 formula on wikipedia |
2022-05-04 06:02:32 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::aa1d) (Ping timeout: 250 seconds) |
2022-05-04 06:03:04 +0200 | kimjetwav | (~user@2607:fea8:2362:b400:e8cd:c90e:aafe:7f5b) |
2022-05-04 06:11:13 +0200 | vicfred | (~vicfred@user/vicfred) |
2022-05-04 06:11:14 +0200 | king_gs | (~Thunderbi@187.201.220.53) (Read error: Connection reset by peer) |
2022-05-04 06:11:18 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 276 seconds) |
2022-05-04 06:12:36 +0200 | king_gs | (~Thunderbi@187.201.220.53) |
2022-05-04 06:12:44 +0200 | kaph | (~kaph@net-2-42-128-205.cust.vodafonedsl.it) |
2022-05-04 06:16:39 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-05-04 06:19:06 +0200 | russruss | (~russruss@my.russellmcc.com) |
2022-05-04 06:19:56 +0200 | gpncarl | (~gpncarl@120.244.220.74) |
2022-05-04 06:21:00 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 240 seconds) |
2022-05-04 06:24:03 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 246 seconds) |
2022-05-04 06:24:36 +0200 | kaph | (~kaph@net-2-42-128-205.cust.vodafonedsl.it) (Ping timeout: 248 seconds) |
2022-05-04 06:25:49 +0200 | flinner | (~flinner@user/flinner) |
2022-05-04 06:27:53 +0200 | sabry | (~sabry@197.37.205.114) (Quit: Client closed) |
2022-05-04 06:28:36 +0200 | stefan-_ | (~cri@42dots.de) |
2022-05-04 06:28:40 +0200 | bahamas | (~lucian@84.232.141.55) |
2022-05-04 06:33:00 +0200 | king_gs1 | (~Thunderbi@2806:103e:29:99f9:ca77:e08e:3816:239e) |
2022-05-04 06:33:05 +0200 | king_gs | (~Thunderbi@187.201.220.53) (Read error: Connection reset by peer) |
2022-05-04 06:33:06 +0200 | king_gs1 | king_gs |
2022-05-04 06:36:58 +0200 | king_gs | (~Thunderbi@2806:103e:29:99f9:ca77:e08e:3816:239e) (Client Quit) |
2022-05-04 06:37:14 +0200 | king_gs | (~Thunderbi@187.201.220.53) |
2022-05-04 06:37:39 +0200 | bahamas | (~lucian@84.232.141.55) (Ping timeout: 256 seconds) |
2022-05-04 06:38:18 +0200 | bahamas | (~lucian@84.232.141.55) |
2022-05-04 06:38:28 +0200 | gpncarl | (~gpncarl@120.244.220.74) (Ping timeout: 248 seconds) |
2022-05-04 06:39:58 +0200 | koz | (~koz@121.99.240.58) (Remote host closed the connection) |
2022-05-04 06:40:13 +0200 | koz | (~koz@121.99.240.58) |
2022-05-04 06:40:53 +0200 | <Axman6> | share code |
2022-05-04 06:41:32 +0200 | thonkpod_ | (~thonkpod@user/thonkpod) (Ping timeout: 250 seconds) |
2022-05-04 06:42:01 +0200 | thonkpod_ | (~thonkpod@user/thonkpod) |
2022-05-04 06:47:11 +0200 | kaph | (~kaph@151.47.98.22) |
2022-05-04 06:51:57 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-05-04 06:52:04 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
2022-05-04 06:52:35 +0200 | cdman | (~dcm@user/dmc/x-4369397) |
2022-05-04 06:56:16 +0200 | king_gs | (~Thunderbi@187.201.220.53) (Read error: Connection reset by peer) |
2022-05-04 06:56:28 +0200 | king_gs | (~Thunderbi@2806:103e:29:99f9:ca77:e08e:3816:239e) |
2022-05-04 06:56:48 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 276 seconds) |
2022-05-04 06:56:57 +0200 | hololeap | (~hololeap@user/hololeap) |
2022-05-04 06:58:15 +0200 | king_gs | (~Thunderbi@2806:103e:29:99f9:ca77:e08e:3816:239e) (Client Quit) |
2022-05-04 06:58:25 +0200 | king_gs1 | (~Thunderbi@187.201.220.53) |
2022-05-04 07:00:43 +0200 | king_gs1 | king_gs |
2022-05-04 07:01:02 +0200 | bahamas | (~lucian@84.232.141.55) (Ping timeout: 250 seconds) |
2022-05-04 07:01:16 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2022-05-04 07:01:46 +0200 | Vajb | (~Vajb@2001:999:400:aa07:c00:898b:c222:288b) |
2022-05-04 07:01:48 +0200 | kaph | (~kaph@151.47.98.22) (Read error: Connection reset by peer) |
2022-05-04 07:07:37 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
2022-05-04 07:08:02 +0200 | kaph | (~kaph@151.47.98.22) |
2022-05-04 07:09:47 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
2022-05-04 07:13:31 +0200 | coot | (~coot@213.134.190.95) |
2022-05-04 07:18:31 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
2022-05-04 07:21:55 +0200 | kaph | (~kaph@151.47.98.22) (Ping timeout: 260 seconds) |
2022-05-04 07:22:44 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
2022-05-04 07:28:05 +0200 | arjun | (~arjun@user/arjun) |
2022-05-04 07:34:33 +0200 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
2022-05-04 07:35:54 +0200 | sabry | (~sabry@197.37.205.114) |
2022-05-04 07:36:25 +0200 | sabry | (~sabry@197.37.205.114) (Client Quit) |
2022-05-04 07:36:42 +0200 | zmt00 | (~zmt00@user/zmt00) |
2022-05-04 07:39:19 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2022-05-04 07:43:06 +0200 | king_gs | (~Thunderbi@187.201.220.53) (Remote host closed the connection) |
2022-05-04 07:45:24 +0200 | king_gs | (~Thunderbi@187.201.220.53) |
2022-05-04 07:48:36 +0200 | fernand | (uid551405@id-551405.tinside.irccloud.com) |
2022-05-04 07:49:06 +0200 | king_gs | (~Thunderbi@187.201.220.53) (Client Quit) |
2022-05-04 07:50:10 +0200 | kaph | (~kaph@151.47.98.22) |
2022-05-04 07:50:42 +0200 | kaph | (~kaph@151.47.98.22) (Read error: Connection reset by peer) |
2022-05-04 08:02:47 +0200 | kuribas | (~user@ptr-17d51enslzcmd9f0npv.18120a2.ip6.access.telenet.be) (Ping timeout: 240 seconds) |
2022-05-04 08:06:43 +0200 | kuribas | (~user@ptr-17d51eol0e2efe7lsh1.18120a2.ip6.access.telenet.be) |
2022-05-04 08:13:56 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
2022-05-04 08:14:44 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
2022-05-04 08:18:36 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2022-05-04 08:22:04 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
2022-05-04 08:24:41 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:6ddd:dbb6:f067:51f9) |
2022-05-04 08:31:03 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-05-04 08:36:57 +0200 | michalz | (~michalz@185.246.204.126) |
2022-05-04 08:37:57 +0200 | Midjak | (~Midjak@82.66.147.146) |
2022-05-04 08:38:33 +0200 | jargon | (~jargon@174-22-206-112.phnx.qwest.net) (Remote host closed the connection) |
2022-05-04 08:42:04 +0200 | asivitz | (uid178348@id-178348.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2022-05-04 08:49:04 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
2022-05-04 08:49:04 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
2022-05-04 08:50:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
2022-05-04 08:50:04 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
2022-05-04 08:50:04 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
2022-05-04 08:50:34 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
2022-05-04 08:51:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
2022-05-04 08:51:26 +0200 | zaquest | (~notzaques@5.130.79.72) |
2022-05-04 08:51:31 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:8f7e:36a9:1d6d:b212) |
2022-05-04 08:52:04 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
2022-05-04 08:52:50 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-05-04 08:53:20 +0200 | coot | (~coot@213.134.190.95) |
2022-05-04 08:53:27 +0200 | chele | (~chele@user/chele) |
2022-05-04 08:53:34 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
2022-05-04 08:53:48 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-232-218.wlan.tudelft.nl) |
2022-05-04 08:56:20 +0200 | acidjnk | (~acidjnk@p200300d0c7068b77514ff9727fbe3410.dip0.t-ipconnect.de) |
2022-05-04 08:58:35 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2022-05-04 09:05:40 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
2022-05-04 09:07:53 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2022-05-04 09:07:55 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2022-05-04 09:07:55 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2022-05-04 09:07:55 +0200 | wroathe | (~wroathe@user/wroathe) |
2022-05-04 09:12:57 +0200 | searemind | (~searemind@122.161.50.102) |
2022-05-04 09:13:39 +0200 | searemind | (~searemind@122.161.50.102) (Remote host closed the connection) |
2022-05-04 09:14:33 +0200 | siraben | (~siraben@user/siraben) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:33 +0200 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:33 +0200 | psydroid | (~psydroid@user/psydroid) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:33 +0200 | hsiktas[m] | (~hsiktasm]@2001:470:69fc:105::30d4) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:33 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:33 +0200 | jinsun_ | (~jinsun@user/jinsun) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:33 +0200 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:33 +0200 | kadoban | (~kadoban@user/kadoban) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:33 +0200 | abastro[m] | (~abastroma@2001:470:69fc:105::1:e119) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:33 +0200 | Ash[m] | (~signal-wa@2001:470:69fc:105::1:2318) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:33 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:34 +0200 | zfnmxt | (~zfnmxtzfn@user/zfnmxt) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:34 +0200 | kadenwolff[m] | (~kadenwolf@2001:470:69fc:105::1:d97f) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:34 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:34 +0200 | july541[m] | (~july541ma@2001:470:69fc:105::1:e416) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:34 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:34 +0200 | Zach[m]1 | (~zoglesby@user/zoglesby) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:34 +0200 | sekun[m] | (~hsekmatri@2001:470:69fc:105::d18f) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:34 +0200 | Yehoshua | (~yehoshua@2001:470:69fc:105::1:593f) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:34 +0200 | renatofdds[m] | (~renatofdd@2001:470:69fc:105::1:3cfe) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:35 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:35 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:35 +0200 | schuelermine[m] | (~schuelerm@user/schuelermine) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:35 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:35 +0200 | euphrates[m] | (~euphrates@2001:470:69fc:105::fbb5) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:35 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:35 +0200 | RajatVerma[m] | (~rajatvmat@2001:470:69fc:105::1:fb34) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:35 +0200 | DemiMarieObenour | (~alwayscur@2001:470:69fc:105::4886) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:35 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:35 +0200 | corisco[m] | (~coriscokd@2001:470:69fc:105::1:dea6) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:35 +0200 | sibnull[m] | (~sibnullma@2001:470:69fc:105::1:1291) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:35 +0200 | moats | (~oats@user/oats) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:35 +0200 | rsify | (~rsify@2001:470:69fc:105::1:fd44) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:35 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:35 +0200 | ArshiaAghaei[m] | (~arshiaagh@2001:470:69fc:105::1:c382) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:35 +0200 | SridharRatnakuma | (~sridmatri@2001:470:69fc:105::1c2) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:36 +0200 | Bulby[m] | (~bulbyvrma@2001:470:69fc:105::1:fe0a) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:36 +0200 | shlevy[m] | (~shlevymat@2001:470:69fc:105::1:d3b1) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:36 +0200 | lyiriyah[m] | (~lyiriyahm@2001:470:69fc:105::cc0) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:36 +0200 | Pikachu[m] | (~pychaumat@2001:470:69fc:105::2:1ce) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:36 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:36 +0200 | juhp[m] | (~juhpmatri@2001:470:69fc:105::6e9) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:36 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:36 +0200 | boxscape | (~boxscape@user/boxscape) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:37 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:37 +0200 | yosef36 | (~yosefweis@2001:470:69fc:105::1:e501) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:37 +0200 | hughjfchen[m] | (~hughjfche@2001:470:69fc:105::c29d) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:37 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:37 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:37 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:37 +0200 | Deide | (~deide@user/deide) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:37 +0200 | Andy[m]12 | (~anparrama@2001:470:69fc:105::1:6826) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:37 +0200 | noiobeforebed | (~noiobefor@2001:470:69fc:105::1:3c2d) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:37 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:40 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:40 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:40 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:40 +0200 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:40 +0200 | vestige[m] | (~vestigema@2001:470:69fc:105::1:f9dd) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:40 +0200 | ormaaj | (~ormaaj@user/ormaaj) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:42 +0200 | oak- | (~oakuniver@2001:470:69fc:105::fcd) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:42 +0200 | o1lo0lol1o[m] | (~o1lo0lol1@2001:470:69fc:105::1:d1c0) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:42 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:42 +0200 | AdityaAlok[m] | (~mradityaa@2001:470:69fc:105::1:ee36) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:42 +0200 | Frikraaa[m] | (~odirfjohr@2001:470:69fc:105::1:f483) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:42 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:43 +0200 | wildsebastian | (~wildsebas@2001:470:69fc:105::1:14b1) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:43 +0200 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:43 +0200 | Inst[m] | (~instrmatr@2001:470:69fc:105::1:903e) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:43 +0200 | Tisoxin | (~ikosit@user/ikosit) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:43 +0200 | ishaan[m] | (~ishaanvma@2001:470:69fc:105::1:fb72) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:14:43 +0200 | ozataman[m] | (~ozatamanm@2001:470:69fc:105::1:faa0) (Quit: Bridge terminating on SIGTERM) |
2022-05-04 09:17:41 +0200 | juhp[m] | (~juhpmatri@2001:470:69fc:105::6e9) |
2022-05-04 09:18:48 +0200 | flinner | (~flinner@user/flinner) (Ping timeout: 260 seconds) |
2022-05-04 09:21:08 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2022-05-04 09:22:01 +0200 | mikoto-chan | (~mikoto-ch@84.199.144.234) |
2022-05-04 09:24:41 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2022-05-04 09:25:00 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2022-05-04 09:25:30 +0200 | zeenk | (~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) |
2022-05-04 09:25:33 +0200 | arjun | (~arjun@user/arjun) (Remote host closed the connection) |
2022-05-04 09:25:52 +0200 | alp_ | (~alp@user/alp) |
2022-05-04 09:26:11 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
2022-05-04 09:26:11 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
2022-05-04 09:26:11 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) |
2022-05-04 09:26:11 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) |
2022-05-04 09:26:11 +0200 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) |
2022-05-04 09:26:11 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
2022-05-04 09:26:11 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) |
2022-05-04 09:26:11 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) |
2022-05-04 09:26:11 +0200 | schuelermine[m] | (~schuelerm@user/schuelermine) |
2022-05-04 09:26:11 +0200 | sm | (~sm@plaintextaccounting/sm) |
2022-05-04 09:26:11 +0200 | sekun[m] | (~hsekmatri@2001:470:69fc:105::d18f) |
2022-05-04 09:26:11 +0200 | hsiktas[m] | (~hsiktasm]@2001:470:69fc:105::30d4) |
2022-05-04 09:26:11 +0200 | psydroid | (~psydroid@user/psydroid) |
2022-05-04 09:26:11 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) |
2022-05-04 09:26:11 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) |
2022-05-04 09:26:11 +0200 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) |
2022-05-04 09:26:11 +0200 | siraben | (~siraben@user/siraben) |
2022-05-04 09:26:11 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
2022-05-04 09:26:11 +0200 | july541[m] | (~july541ma@2001:470:69fc:105::1:e416) |
2022-05-04 09:26:11 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) |
2022-05-04 09:26:11 +0200 | vestige[m] | (~vestigema@2001:470:69fc:105::1:f9dd) |
2022-05-04 09:26:12 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) |
2022-05-04 09:26:12 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) |
2022-05-04 09:26:12 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) |
2022-05-04 09:26:12 +0200 | DemiMarieObenour | (~alwayscur@2001:470:69fc:105::4886) |
2022-05-04 09:26:12 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
2022-05-04 09:26:12 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) |
2022-05-04 09:26:12 +0200 | jinsun_ | (~jinsun@user/jinsun) |
2022-05-04 09:26:12 +0200 | moats | (~oats@user/oats) |
2022-05-04 09:26:12 +0200 | Deide | (~deide@user/deide) |
2022-05-04 09:26:12 +0200 | ormaaj | (~ormaaj@user/ormaaj) |
2022-05-04 09:26:13 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) |
2022-05-04 09:26:13 +0200 | hughjfchen[m] | (~hughjfche@2001:470:69fc:105::c29d) |
2022-05-04 09:26:13 +0200 | euphrates[m] | (~euphrates@2001:470:69fc:105::fbb5) |
2022-05-04 09:26:13 +0200 | RajatVerma[m] | (~rajatvmat@2001:470:69fc:105::1:fb34) |
2022-05-04 09:26:13 +0200 | ishaan[m] | (~ishaanvma@2001:470:69fc:105::1:fb72) |
2022-05-04 09:26:13 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) |
2022-05-04 09:26:13 +0200 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) |
2022-05-04 09:26:13 +0200 | yosef36 | (~yosefweis@2001:470:69fc:105::1:e501) |
2022-05-04 09:26:13 +0200 | kadoban | (~kadoban@user/kadoban) |
2022-05-04 09:26:13 +0200 | abastro[m] | (~abastroma@2001:470:69fc:105::1:e119) |
2022-05-04 09:26:13 +0200 | SridharRatnakuma | (~sridmatri@2001:470:69fc:105::1c2) |
2022-05-04 09:26:14 +0200 | Andy[m] | (~anparrama@2001:470:69fc:105::1:6826) |
2022-05-04 09:26:14 +0200 | sibnull[m] | (~sibnullma@2001:470:69fc:105::1:1291) |
2022-05-04 09:26:14 +0200 | Ash[m] | (~signal-wa@2001:470:69fc:105::1:2318) |
2022-05-04 09:26:14 +0200 | boxscape | (~boxscape@user/boxscape) |
2022-05-04 09:26:14 +0200 | corisco[m] | (~coriscokd@2001:470:69fc:105::1:dea6) |
2022-05-04 09:26:14 +0200 | rsify | (~rsify@2001:470:69fc:105::1:fd44) |
2022-05-04 09:26:14 +0200 | Tisoxin | (~ikosit@user/ikosit) |
2022-05-04 09:26:14 +0200 | Yehoshua | (~yehoshua@2001:470:69fc:105::1:593f) |
2022-05-04 09:26:14 +0200 | Bulby[m] | (~bulbyvrma@2001:470:69fc:105::1:fe0a) |
2022-05-04 09:26:23 +0200 | AdityaAlok[m] | (~mradityaa@2001:470:69fc:105::1:ee36) |
2022-05-04 09:26:23 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) |
2022-05-04 09:26:25 +0200 | renatofdds[m] | (~renatofdd@2001:470:69fc:105::1:3cfe) |
2022-05-04 09:26:26 +0200 | ozataman[m] | (~ozatamanm@2001:470:69fc:105::1:faa0) |
2022-05-04 09:26:26 +0200 | Inst[m] | (~instrmatr@2001:470:69fc:105::1:903e) |
2022-05-04 09:26:26 +0200 | ArshiaAghaei[m] | (~arshiaagh@2001:470:69fc:105::1:c382) |
2022-05-04 09:26:26 +0200 | o1lo0lol1o[m] | (~o1lo0lol1@2001:470:69fc:105::1:d1c0) |
2022-05-04 09:26:26 +0200 | Frinasa[m] | (~odirfjohr@2001:470:69fc:105::1:f483) |
2022-05-04 09:26:26 +0200 | oak- | (~oakuniver@2001:470:69fc:105::fcd) |
2022-05-04 09:26:26 +0200 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) |
2022-05-04 09:26:27 +0200 | Pikachu[m] | (~pychaumat@2001:470:69fc:105::2:1ce) |
2022-05-04 09:26:27 +0200 | shlevy[m] | (~shlevymat@2001:470:69fc:105::1:d3b1) |
2022-05-04 09:26:28 +0200 | noiobeforebed | (~noiobefor@2001:470:69fc:105::1:3c2d) |
2022-05-04 09:26:28 +0200 | lyiriyah[m] | (~lyiriyahm@2001:470:69fc:105::cc0) |
2022-05-04 09:26:28 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
2022-05-04 09:26:28 +0200 | wildsebastian | (~wildsebas@2001:470:69fc:105::1:14b1) |
2022-05-04 09:26:28 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) |
2022-05-04 09:26:29 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
2022-05-04 09:27:45 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2022-05-04 09:28:07 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-05-04 09:28:37 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2022-05-04 09:28:44 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2022-05-04 09:28:49 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
2022-05-04 09:29:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2022-05-04 09:29:13 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2022-05-04 09:29:16 +0200 | hololeap | (~hololeap@user/hololeap) |
2022-05-04 09:30:01 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2022-05-04 09:35:12 +0200 | Frinasa[m] | Frikraaa[m] |
2022-05-04 09:47:00 +0200 | flinner | (~flinner@user/flinner) |
2022-05-04 09:48:01 +0200 | kuribas | (~user@ptr-17d51eol0e2efe7lsh1.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
2022-05-04 09:48:09 +0200 | machinedgod | (~machinedg@24.105.81.50) |
2022-05-04 09:49:12 +0200 | wrengr | (~wrengr@249.189.233.35.bc.googleusercontent.com) (Remote host closed the connection) |
2022-05-04 09:49:39 +0200 | odnes | (~odnes@5-203-254-76.pat.nym.cosmote.net) |
2022-05-04 09:52:06 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-05-04 09:52:44 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
2022-05-04 09:54:50 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
2022-05-04 09:57:49 +0200 | Hash | (~Hash@hey.howstoned.ru) (Quit: ZNC - https://znc.in) |
2022-05-04 09:58:14 +0200 | fernand | (uid551405@id-551405.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2022-05-04 10:04:29 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
2022-05-04 10:09:49 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-05-04 10:09:50 +0200 | teo | (~teo@user/teo) |
2022-05-04 10:17:12 +0200 | Hash | (~Hash@hey.howstoned.ru) |
2022-05-04 10:24:00 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2022-05-04 10:25:33 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2022-05-04 10:30:27 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
2022-05-04 10:34:51 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
2022-05-04 10:39:11 +0200 | bahamas | (~lucian@86.120.77.115) |
2022-05-04 10:40:38 +0200 | xaotuk | (~sasha@2a06:5b00:15fe:9b00::2) |
2022-05-04 10:45:42 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-05-04 11:01:38 +0200 | <absence> | in cabal files with multiple sections (library, executables, tests, etc), is it possible to share the list of default-extensions or ghc-options between them without using hpack? |
2022-05-04 11:01:51 +0200 | kadenwolff[m] | (~kadenwolf@2001:470:69fc:105::1:d97f) |
2022-05-04 11:02:06 +0200 | Zach[m] | (~zoglesby@user/zoglesby) |
2022-05-04 11:02:18 +0200 | <merijn> | absence: Yes, for a recent enough cabal |
2022-05-04 11:02:27 +0200 | <merijn> | There's common blocks you can import now |
2022-05-04 11:03:05 +0200 | <merijn> | absence: Like: https://github.com/merijn/Belewitte/blob/master/benchmark-analysis/benchmark-analysis.cabal#L34-L62 |
2022-05-04 11:03:08 +0200 | <merijn> | https://github.com/merijn/Belewitte/blob/master/benchmark-analysis/benchmark-analysis.cabal#L80 |
2022-05-04 11:03:34 +0200 | <merijn> | I think you need cabal-version 2.2 for it |
2022-05-04 11:03:51 +0200 | <merijn> | "recent" 2.2 is pretty old ;) |
2022-05-04 11:09:18 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-05-04 11:09:49 +0200 | <absence> | merijn: thanks, i'll check it out! |
2022-05-04 11:11:10 +0200 | acidjnk | (~acidjnk@p200300d0c7068b77514ff9727fbe3410.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-05-04 11:13:30 +0200 | razetime | (~quassel@117.254.35.89) |
2022-05-04 11:16:21 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-05-04 11:19:02 +0200 | dut | (~dut@user/dut) |
2022-05-04 11:19:45 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
2022-05-04 11:22:35 +0200 | bahamas | (~lucian@86.120.77.115) (Ping timeout: 256 seconds) |
2022-05-04 11:22:35 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 256 seconds) |
2022-05-04 11:26:19 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-05-04 11:26:51 +0200 | __monty__ | (~toonn@user/toonn) |
2022-05-04 11:27:57 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2022-05-04 11:31:03 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
2022-05-04 11:32:01 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
2022-05-04 11:34:59 +0200 | bliminse | (~bliminse@host86-142-79-206.range86-142.btcentralplus.com) (Ping timeout: 240 seconds) |
2022-05-04 11:35:07 +0200 | bliminse | (~bliminse@host86-164-128-238.range86-164.btcentralplus.com) |
2022-05-04 11:35:21 +0200 | xff0x | (~xff0x@om126167070083.29.openmobile.ne.jp) |
2022-05-04 11:42:27 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-05-04 11:48:39 +0200 | mikoto-chan | (~mikoto-ch@84.199.144.234) (Ping timeout: 256 seconds) |
2022-05-04 11:49:12 +0200 | frost | (~frost@user/frost) |
2022-05-04 11:50:18 +0200 | mikoto-chan | (~mikoto-ch@37.230.126.249) |
2022-05-04 11:53:06 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2022-05-04 11:56:34 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 250 seconds) |
2022-05-04 11:59:21 +0200 | fendor | (~fendor@77.119.174.56.wireless.dyn.drei.com) |
2022-05-04 11:59:26 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
2022-05-04 12:00:33 +0200 | mikoto-chan | (~mikoto-ch@37.230.126.249) (Ping timeout: 252 seconds) |
2022-05-04 12:00:57 +0200 | cdman | (~dcm@user/dmc/x-4369397) (Remote host closed the connection) |
2022-05-04 12:02:40 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-05-04 12:03:19 +0200 | renzhi | (~xp@2607:fa49:6500:b100::2dea) (Ping timeout: 240 seconds) |
2022-05-04 12:04:15 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-5cfe-9b24-23ff-dc6a.res6.spectrum.com) (Ping timeout: 260 seconds) |
2022-05-04 12:04:17 +0200 | cdman | (~dcm@27.2.218.240) |
2022-05-04 12:04:17 +0200 | cdman | (~dcm@27.2.218.240) (Changing host) |
2022-05-04 12:04:17 +0200 | cdman | (~dcm@user/dmc/x-4369397) |
2022-05-04 12:04:20 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
2022-05-04 12:04:57 +0200 | img | (~img@user/img) |
2022-05-04 12:05:10 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-09ca-22c1-65a3-8fed.res6.spectrum.com) |
2022-05-04 12:05:55 +0200 | flinner | (~flinner@user/flinner) (Remote host closed the connection) |
2022-05-04 12:09:28 +0200 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) |
2022-05-04 12:10:17 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) (Ping timeout: 256 seconds) |
2022-05-04 12:10:30 +0200 | flinner | (~flinner@user/flinner) |
2022-05-04 12:13:28 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds) |
2022-05-04 12:13:35 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
2022-05-04 12:15:02 +0200 | renzhi | (~xp@2607:fa49:6500:b100::78de) |
2022-05-04 12:15:57 +0200 | flinner | (~flinner@user/flinner) (Quit: Using Circe, the loveliest of all IRC clients) |
2022-05-04 12:16:15 +0200 | flinner | (~flinner@user/flinner) |
2022-05-04 12:18:16 +0200 | Batzy_ | (~quassel@user/batzy) |
2022-05-04 12:18:33 +0200 | Batzy | (~quassel@user/batzy) (Ping timeout: 276 seconds) |
2022-05-04 12:25:28 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
2022-05-04 12:27:45 +0200 | Guest|76 | (~Guest|76@dynamic-095-115-072-194.95.115.pool.telefonica.de) |
2022-05-04 12:27:54 +0200 | dut | (~dut@user/dut) (Quit: Leaving) |
2022-05-04 12:28:10 +0200 | Guest|76 | (~Guest|76@dynamic-095-115-072-194.95.115.pool.telefonica.de) (Client Quit) |
2022-05-04 12:36:10 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:4111:8162:8d68:e9dd) |
2022-05-04 12:39:01 +0200 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
2022-05-04 12:39:41 +0200 | jrm | (~jrm@156.34.173.250) (Quit: ciao) |
2022-05-04 12:41:02 +0200 | jrm | (~jrm@156.34.173.250) |
2022-05-04 12:42:51 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2022-05-04 12:44:26 +0200 | hololeap | (~hololeap@user/hololeap) |
2022-05-04 12:46:23 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2022-05-04 12:46:40 +0200 | jrm | (~jrm@156.34.173.250) (Quit: ciao) |
2022-05-04 12:47:18 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
2022-05-04 12:47:46 +0200 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
2022-05-04 12:47:54 +0200 | nut | (~haskellfi@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2022-05-04 12:48:00 +0200 | jrm | (~jrm@156.34.173.250) |
2022-05-04 12:49:06 +0200 | Lord_of_Life_ | Lord_of_Life |
2022-05-04 12:49:23 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-232-218.wlan.tudelft.nl) (Ping timeout: 256 seconds) |
2022-05-04 12:53:07 +0200 | hololeap | (~hololeap@user/hololeap) |
2022-05-04 12:53:15 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 256 seconds) |
2022-05-04 12:55:07 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2022-05-04 12:55:38 +0200 | razetime | (~quassel@117.254.35.89) (Ping timeout: 260 seconds) |
2022-05-04 12:58:34 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-232-218.wlan.tudelft.nl) |
2022-05-04 12:58:35 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:c533:2972:356b:d72c) |
2022-05-04 13:10:29 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
2022-05-04 13:13:18 +0200 | razetime | (~quassel@117.254.35.89) |
2022-05-04 13:15:19 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-05-04 13:16:10 +0200 | acidjnk | (~acidjnk@p200300d0c7068b77514ff9727fbe3410.dip0.t-ipconnect.de) |
2022-05-04 13:22:12 +0200 | xaotuk | (~sasha@2a06:5b00:15fe:9b00::2) (Ping timeout: 248 seconds) |
2022-05-04 13:23:26 +0200 | bahamas | (~lucian@84.232.141.55) |
2022-05-04 13:24:13 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 260 seconds) |
2022-05-04 13:25:21 +0200 | <absence> | when i start cabal, it says "Warning: no repository provided none". what does that mean? |
2022-05-04 13:28:04 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 248 seconds) |
2022-05-04 13:28:12 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-05-04 13:29:11 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-05-04 13:30:22 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2022-05-04 13:31:22 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
2022-05-04 13:32:55 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
2022-05-04 13:33:30 +0200 | sander | (~sander@user/sander) (Ping timeout: 246 seconds) |
2022-05-04 13:33:45 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
2022-05-04 13:35:02 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-05-04 13:35:15 +0200 | jespada | (~jespada@146.70.119.87) (Ping timeout: 246 seconds) |
2022-05-04 13:39:06 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
2022-05-04 13:39:20 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-05-04 13:39:34 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
2022-05-04 13:44:00 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 260 seconds) |
2022-05-04 13:46:57 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
2022-05-04 13:49:30 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-05-04 13:51:00 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
2022-05-04 13:51:06 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 252 seconds) |
2022-05-04 13:53:24 +0200 | <dminuoso> | absence: Can you flip on -v3 and share the previous lines up until the first mention of "Reading available"? |
2022-05-04 13:53:58 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 260 seconds) |
2022-05-04 13:58:45 +0200 | <absence> | dminuoso: https://paste.tomsmeding.com/n3WQFNth |
2022-05-04 13:59:38 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-05-04 14:02:53 +0200 | <dminuoso> | I dont see the "Warning" there |
2022-05-04 14:03:07 +0200 | <dminuoso> | Or did you take my request literally, and those are exactly the lines precending that warning? |
2022-05-04 14:03:24 +0200 | <absence> | yes :) next line is warning |
2022-05-04 14:04:18 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 252 seconds) |
2022-05-04 14:06:15 +0200 | <dminuoso> | absence: Based on the surrounding code I would say that you have specified `active-repositories: none` somewhere |
2022-05-04 14:06:39 +0200 | <dminuoso> | Maybe in your ~/.cabal/config, cabal.project, cabal.project.local, or any of the other ways |
2022-05-04 14:07:27 +0200 | jao | (~jao@211.68.17.95.dynamic.jazztel.es) |
2022-05-04 14:07:41 +0200 | <dminuoso> | Perhaps accidentally missing the colon (:none) |
2022-05-04 14:08:26 +0200 | alp_ | (~alp@user/alp) |
2022-05-04 14:09:47 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-05-04 14:09:59 +0200 | <dminuoso> | Indeed, I think this may be a documentation bug |
2022-05-04 14:10:01 +0200 | <dminuoso> | https://cabal.readthedocs.io/en/3.4/cabal-project.html |
2022-05-04 14:10:07 +0200 | <dminuoso> | Suggests `active-repositories: none` for offline mode |
2022-05-04 14:10:16 +0200 | <dminuoso> | Im almost entirely confident that should be `active-repositories: :none` |
2022-05-04 14:10:35 +0200 | <abastro[m]> | Documentation bug? Wh |
2022-05-04 14:11:20 +0200 | <dminuoso> | Yup, thats a doc bug. |
2022-05-04 14:12:11 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2022-05-04 14:12:16 +0200 | <absence> | dminuoso: could it also be a bug in the automatically generated config file? i can't remember ever editing it. deleting it fixed the problem though |
2022-05-04 14:12:26 +0200 | <hpc> | did cabal get rewritten in ruby when i wasn't looking? :P |
2022-05-04 14:12:48 +0200 | <abastro[m]> | At least it is not a bug in specification |
2022-05-04 14:13:07 +0200 | <dminuoso> | abastro[m]: or use `:none` if you meant that. :) |
2022-05-04 14:13:14 +0200 | <dminuoso> | Err absence |
2022-05-04 14:13:41 +0200 | <geekosaur> | ruby didn't invent that spec, they stole it from smalltalk like most of their other OO stuff |
2022-05-04 14:14:17 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
2022-05-04 14:14:58 +0200 | <abastro[m]> | XD Smalltalk |
2022-05-04 14:16:14 +0200 | notzmv | (~zmv@user/notzmv) |
2022-05-04 14:19:58 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-05-04 14:20:10 +0200 | bahamas | (~lucian@84.232.141.55) (Ping timeout: 260 seconds) |
2022-05-04 14:25:28 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 260 seconds) |
2022-05-04 14:28:22 +0200 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2022-05-04 14:31:18 +0200 | nut | (~haskellfi@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
2022-05-04 14:31:21 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 248 seconds) |
2022-05-04 14:31:39 +0200 | zebrag | (~chris@user/zebrag) |
2022-05-04 14:34:13 +0200 | zyklotomic | (~ethan@r4-128-61-88-221.res.gatech.edu) (Ping timeout: 256 seconds) |
2022-05-04 14:36:16 +0200 | zyklotomic | (~ethan@res380d-128-61-86-82.res.gatech.edu) |
2022-05-04 14:37:15 +0200 | EsoAlgo | (~EsoAlgo@129.146.136.145) (Quit: The Lounge - https://thelounge.chat) |
2022-05-04 14:37:38 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2022-05-04 14:37:59 +0200 | arjun | (~arjun@user/arjun) |
2022-05-04 14:38:54 +0200 | EsoAlgo | (~EsoAlgo@129.146.136.145) |
2022-05-04 14:41:29 +0200 | jao | (~jao@211.68.17.95.dynamic.jazztel.es) (Ping timeout: 248 seconds) |
2022-05-04 14:43:26 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2022-05-04 14:44:51 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2022-05-04 14:49:29 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-05-04 14:50:43 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
2022-05-04 14:52:27 +0200 | xaotuk | (~sasha@2a06:5b00:15fe:9b00::2) |
2022-05-04 14:52:32 +0200 | <absence> | what happens if i omit default-language from the cabal file? i thought Haskell2010 would be the default, but i get a compile error about EmptyDataDecls. does that mean Haskell98 is the default? |
2022-05-04 14:52:55 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2022-05-04 14:53:56 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2022-05-04 14:54:41 +0200 | Pickchea | (~private@user/pickchea) |
2022-05-04 14:55:19 +0200 | <geekosaur> | depends on the cabal file format version iirc. if you didn't specify one it's probably an old one that defaults to Haskell98 |
2022-05-04 14:55:42 +0200 | <absence> | it's 3.4. in old versions, default-language isn't optional i think |
2022-05-04 14:55:53 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Ping timeout: 248 seconds) |
2022-05-04 14:56:02 +0200 | <geekosaur> | not the cabal version. the file format version in the cabal file |
2022-05-04 14:56:42 +0200 | <geekosaur> | which tells cabal what things ot expect/not expect within the cabal file |
2022-05-04 14:57:04 +0200 | <geekosaur> | I think it defaults to 1.22 if not specified, so ancient packages still (try to) work |
2022-05-04 14:57:14 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
2022-05-04 14:58:17 +0200 | <absence> | geekosaur: the file format version is 3.4 |
2022-05-04 14:58:50 +0200 | <geekosaur> | thsat should default to Haskell2010 then |
2022-05-04 14:59:14 +0200 | <int-e> | "default-language is optional. The Default value is to use the compiler's default language." https://cabal.readthedocs.io/en/3.4/file-format-changelog.html |
2022-05-04 15:00:01 +0200 | <geekosaur> | oh, that was already in effect for 3.4? I thought that was 3.6 |
2022-05-04 15:00:20 +0200 | <int-e> | Well, according to the docs... |
2022-05-04 15:00:26 +0200 | int-e | hasn't tested this. |
2022-05-04 15:00:33 +0200 | <geekosaur> | (compiler default language should be H2010 for compilers < 9.2 and GHC2021 for later compilers) |
2022-05-04 15:00:42 +0200 | jespada_ | (~jespada@185.195.232.138) |
2022-05-04 15:01:05 +0200 | <absence> | i don't think that works. from cabal build -v i see -XHaskell98 is passed |
2022-05-04 15:01:24 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
2022-05-04 15:02:03 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Ping timeout: 252 seconds) |
2022-05-04 15:02:48 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2022-05-04 15:03:55 +0200 | <int-e> | Well... the docs do not seem to match reality. |
2022-05-04 15:04:53 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-05-04 15:05:13 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-232-218.wlan.tudelft.nl) (Quit: WeeChat 3.4) |
2022-05-04 15:05:34 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
2022-05-04 15:06:47 +0200 | <int-e> | Or rather, they do not seem to apply to executables but only to libraries. MEH. |
2022-05-04 15:07:50 +0200 | <absence> | doesn't work for libraries either here |
2022-05-04 15:08:24 +0200 | <int-e> | Hmm, no, I got confused in testing... it doesn't work for libraries either. |
2022-05-04 15:08:32 +0200 | <int-e> | As you said :) |
2022-05-04 15:10:04 +0200 | <int-e> | It passes -XHaskell98 to the compiler with this, https://paste.debian.net/1239913/ ... this is using cabal-install/Cabal 3.6.2.0 |
2022-05-04 15:10:43 +0200 | <int-e> | and using cabal-version: 3.6 doesn't make any difference |
2022-05-04 15:11:00 +0200 | <int-e> | so the docs are wrong. yay. |
2022-05-04 15:13:36 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-05-04 15:15:02 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2022-05-04 15:15:23 +0200 | jao | (~jao@211.68.17.95.dynamic.jazztel.es) |
2022-05-04 15:16:25 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:4111:8162:8d68:e9dd) (Read error: Connection reset by peer) |
2022-05-04 15:16:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2022-05-04 15:16:51 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2022-05-04 15:17:23 +0200 | acidjnk | (~acidjnk@p200300d0c7068b77514ff9727fbe3410.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-05-04 15:18:30 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:98db:b5ce:843:b259) |
2022-05-04 15:19:39 +0200 | odnes_ | (~odnes@5-203-254-76.pat.nym.cosmote.net) |
2022-05-04 15:20:00 +0200 | odnes | (~odnes@5-203-254-76.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
2022-05-04 15:22:44 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
2022-05-04 15:24:56 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2022-05-04 15:25:50 +0200 | cdman | (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
2022-05-04 15:28:01 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-05-04 15:32:03 +0200 | nut | (~haskellfi@2a04:cec0:10d4:99fc:5060:8579:8426:b9d0) |
2022-05-04 15:36:07 +0200 | <seydar> | Axman6: holy shit, this first video you sent me on fourier transforms for optical analyses is incredible! it's so CLEAR! I FINALLY GET what i'm looking at when i get the frequency results back! |
2022-05-04 15:37:18 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2022-05-04 15:38:34 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
2022-05-04 15:39:39 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-05-04 15:46:16 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Read error: Connection reset by peer) |
2022-05-04 15:46:39 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-05-04 15:46:51 +0200 | odnes_ | (~odnes@5-203-254-76.pat.nym.cosmote.net) (Remote host closed the connection) |
2022-05-04 15:49:04 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
2022-05-04 15:50:12 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
2022-05-04 15:50:36 +0200 | benin | (~benin@183.82.31.231) |
2022-05-04 15:52:25 +0200 | nut | (~haskellfi@2a04:cec0:10d4:99fc:5060:8579:8426:b9d0) (Ping timeout: 248 seconds) |
2022-05-04 15:52:32 +0200 | cfricke | (~cfricke@user/cfricke) |
2022-05-04 15:52:54 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2022-05-04 15:52:54 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2022-05-04 15:52:54 +0200 | wroathe | (~wroathe@user/wroathe) |
2022-05-04 15:54:24 +0200 | nut | (~haskellfi@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2022-05-04 15:55:15 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 260 seconds) |
2022-05-04 15:55:28 +0200 | xkuru | (~xkuru@user/xkuru) |
2022-05-04 15:55:28 +0200 | cfricke | (~cfricke@user/cfricke) (Client Quit) |
2022-05-04 15:58:32 +0200 | merijn | (~merijn@86.86.29.250) |
2022-05-04 15:59:33 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
2022-05-04 15:59:33 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2022-05-04 16:01:51 +0200 | cfricke | (~cfricke@user/cfricke) |
2022-05-04 16:04:09 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
2022-05-04 16:10:50 +0200 | bahamas | (~lucian@84.232.141.55) |
2022-05-04 16:13:52 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
2022-05-04 16:15:00 +0200 | nut | (~haskellfi@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 248 seconds) |
2022-05-04 16:15:00 +0200 | Vajb | (~Vajb@2001:999:400:aa07:c00:898b:c222:288b) (Read error: Connection reset by peer) |
2022-05-04 16:16:16 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2022-05-04 16:17:17 +0200 | odnes | (~odnes@5-203-254-76.pat.nym.cosmote.net) |
2022-05-04 16:19:10 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
2022-05-04 16:20:30 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
2022-05-04 16:21:11 +0200 | <seydar> | okay so for all image processing, should i be converting from the 8-bit sRGB to linear values (0.0 - 1.0)? |
2022-05-04 16:21:34 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 240 seconds) |
2022-05-04 16:21:52 +0200 | <geekosaur> | I think that depends on what kind of processing and what you are using to process the images |
2022-05-04 16:22:15 +0200 | <geekosaur> | if you're doing the processing yourself, unless there's some advantage to a different format I'd go with the output format |
2022-05-04 16:24:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
2022-05-04 16:24:13 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2022-05-04 16:25:33 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2022-05-04 16:26:40 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2022-05-04 16:27:38 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
2022-05-04 16:28:33 +0200 | arjun | (~arjun@user/arjun) (Ping timeout: 260 seconds) |
2022-05-04 16:29:32 +0200 | <Artem[m]> | absence: any chance you could file the (documentation?) bug on the cabal repo? |
2022-05-04 16:29:33 +0200 | <geekosaur> | or even boost it to 32 or 64 bit for processing and then mask it back down for output, depending on what you're doing; integer math will be faster than floating |
2022-05-04 16:29:51 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
2022-05-04 16:30:32 +0200 | <kuribas> | and that only matter if you already use unboxed vectors/matrices. |
2022-05-04 16:31:01 +0200 | Hemmo | (Hemmo@eduroam-252-65.uta.fi) |
2022-05-04 16:31:18 +0200 | Hemmo | (Hemmo@eduroam-252-65.uta.fi) (Remote host closed the connection) |
2022-05-04 16:32:02 +0200 | <seydar> | i'm just trying to figure out what kind of input i should be feeding to a DFT |
2022-05-04 16:32:12 +0200 | benin4 | (~benin@183.82.24.173) |
2022-05-04 16:32:16 +0200 | <seydar> | should my inputs be sRGB or linear? |
2022-05-04 16:32:34 +0200 | <kuribas> | depends on what you want :) |
2022-05-04 16:33:09 +0200 | <kuribas> | double for the DFT makes more sense. |
2022-05-04 16:33:13 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
2022-05-04 16:33:18 +0200 | stackdroid18 | (14094@user/stackdroid) |
2022-05-04 16:34:34 +0200 | <seydar> | when would sRGB in a DFT make any sense? |
2022-05-04 16:34:39 +0200 | benin | (~benin@183.82.31.231) (Ping timeout: 276 seconds) |
2022-05-04 16:34:39 +0200 | benin4 | benin |
2022-05-04 16:35:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
2022-05-04 16:35:22 +0200 | <kuribas> | wouldn't the DFT preserve the magnitude of colors? |
2022-05-04 16:36:07 +0200 | <kuribas> | sRGB matches human perception better. |
2022-05-04 16:37:12 +0200 | <kuribas> | hmm, probably not since sRGB -> linear is not a linear transform. |
2022-05-04 16:37:54 +0200 | <kuribas> | so sRGB gives your frequencies that match better the way humans percieve the images. |
2022-05-04 16:38:52 +0200 | arjun | (~arjun@user/arjun) |
2022-05-04 16:39:34 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
2022-05-04 16:40:04 +0200 | <seydar> | hm. i'll have to play around with the DCT I'm using and see if I can tease out why it's not coming out the way I expect |
2022-05-04 16:40:21 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
2022-05-04 16:44:15 +0200 | <seydar> | new question: https://paste.tomsmeding.com/XcLkyhbi |
2022-05-04 16:44:35 +0200 | <seydar> | i am struggling with taking an 8-bit number and doing math on it without a whole bunch of "fromIntegral"s |
2022-05-04 16:45:34 +0200 | <seydar> | actually this one is better: https://paste.tomsmeding.com/ITIwJgL3 |
2022-05-04 16:45:51 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
2022-05-04 16:46:04 +0200 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
2022-05-04 16:47:49 +0200 | acidjnk | (~acidjnk@p200300d0c7068b77514ff9727fbe3410.dip0.t-ipconnect.de) |
2022-05-04 16:48:04 +0200 | bahamas | (~lucian@84.232.141.55) (Ping timeout: 248 seconds) |
2022-05-04 16:49:56 +0200 | Hemmo | (IceChat95@eduroam-252-65.uta.fi) |
2022-05-04 16:51:57 +0200 | Hemmo | (IceChat95@eduroam-252-65.uta.fi) (Client Quit) |
2022-05-04 16:53:14 +0200 | <geekosaur> | you have to fromIntegral all of r, g, b before you can either multiply them with a Double or divide them |
2022-05-04 16:54:30 +0200 | <seydar> | geekosaur: i was afraid of that. https://paste.tomsmeding.com/kAzDnf87 |
2022-05-04 16:54:44 +0200 | <seydar> | it just looks so ugly! is this how everyone else is doing it? |
2022-05-04 16:54:51 +0200 | <geekosaur> | yes |
2022-05-04 16:55:04 +0200 | <geekosaur> | that's one of the prices of a strongly typed language |
2022-05-04 16:55:26 +0200 | <geekosaur> | it gets a little shorter if you use a view pattern to do the fromIntegral, but not much |
2022-05-04 17:01:14 +0200 | shriekingnoise | (~shrieking@201.231.16.156) |
2022-05-04 17:01:20 +0200 | zeenk | (~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) (Quit: Konversation terminated!) |
2022-05-04 17:03:07 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) (Ping timeout: 260 seconds) |
2022-05-04 17:05:34 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2022-05-04 17:05:57 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2022-05-04 17:06:04 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
2022-05-04 17:06:14 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2022-05-04 17:08:38 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-05-04 17:08:52 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
2022-05-04 17:09:47 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:8f7e:36a9:1d6d:b212) (Quit: WeeChat 2.8) |
2022-05-04 17:12:11 +0200 | Pickchea | (~private@user/pickchea) |
2022-05-04 17:14:11 +0200 | nut | (~haskellfi@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2022-05-04 17:15:03 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
2022-05-04 17:16:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
2022-05-04 17:16:04 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
2022-05-04 17:17:15 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2022-05-04 17:17:26 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2022-05-04 17:18:52 +0200 | hololeap | (~hololeap@user/hololeap) |
2022-05-04 17:19:53 +0200 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2022-05-04 17:20:04 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
2022-05-04 17:20:22 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-05-04 17:20:41 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
2022-05-04 17:23:19 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
2022-05-04 17:28:07 +0200 | cfricke | (~cfricke@user/cfricke) |
2022-05-04 17:29:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
2022-05-04 17:31:23 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2022-05-04 17:31:45 +0200 | Vajb | (~Vajb@2001:999:400:aa07:c00:898b:c222:288b) |
2022-05-04 17:32:29 +0200 | sander | (~sander@user/sander) |
2022-05-04 17:35:38 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
2022-05-04 17:39:11 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
2022-05-04 17:39:16 +0200 | <seydar> | okay my internet died but i'm back |
2022-05-04 17:39:44 +0200 | <seydar> | i now take my grayscale image of a cat, run it through a DFT, and save the output to a jpg. life is good. but could it be better??? |
2022-05-04 17:40:07 +0200 | <seydar> | there does not appear to be an FFT shift function in the FFTW3 lib |
2022-05-04 17:40:20 +0200 | <seydar> | because my DFT output is kinda ugly in an image |
2022-05-04 17:41:16 +0200 | <seydar> | https://imgur.com/a/PLfKvd0 |
2022-05-04 17:41:56 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
2022-05-04 17:45:53 +0200 | <seydar> | ah. well it appears i was using a DCT instead of a DFT. |
2022-05-04 17:48:11 +0200 | <seydar> | and i used a DCT (dct2) because I couldn't figure out which DFT would keep me solely in the real domain -- i couldn't match types, because i don't know how to take an array of complex numbers and turn it into an array of reals |
2022-05-04 17:50:45 +0200 | xff0x | (~xff0x@om126167070083.29.openmobile.ne.jp) (Read error: Connection reset by peer) |
2022-05-04 17:51:29 +0200 | <seydar> | it looks like a DHT is the right answer, but I'm still confused as to how the rest of the internet is just happily turning complex numbers into images |
2022-05-04 17:54:48 +0200 | <monochrom> | Do they? https://youtu.be/Q2aEzeMDHMA |
2022-05-04 17:55:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
2022-05-04 17:58:30 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 276 seconds) |
2022-05-04 17:58:45 +0200 | odnes | (~odnes@5-203-254-76.pat.nym.cosmote.net) (Remote host closed the connection) |
2022-05-04 18:00:09 +0200 | Zach[m] | (~zoglesby@user/zoglesby) (Quit: You have been kicked for being idle) |
2022-05-04 18:00:09 +0200 | kadenwolff[m] | (~kadenwolf@2001:470:69fc:105::1:d97f) (Quit: You have been kicked for being idle) |
2022-05-04 18:00:13 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2022-05-04 18:01:06 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:6ddd:dbb6:f067:51f9) (Remote host closed the connection) |
2022-05-04 18:01:18 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
2022-05-04 18:01:19 +0200 | odnes | (~odnes@5-203-254-76.pat.nym.cosmote.net) |
2022-05-04 18:02:28 +0200 | <dminuoso> | Argh actually I think its not possible |
2022-05-04 18:03:19 +0200 | <seydar> | monochrom: wow i feel like i'm learning to see the matrix, thank you |
2022-05-04 18:03:22 +0200 | <dminuoso> | Seems it can only put out 40 bytes, 108 or 124 octet BMP headers. :( |
2022-05-04 18:04:35 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) |
2022-05-04 18:05:43 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.4.1) |
2022-05-04 18:05:58 +0200 | acidjnk | (~acidjnk@p200300d0c7068b77514ff9727fbe3410.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-05-04 18:09:59 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
2022-05-04 18:09:59 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
2022-05-04 18:10:00 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-05-04 18:10:02 +0200 | allbery_b | geekosaur |
2022-05-04 18:11:11 +0200 | Vajb | (~Vajb@2001:999:400:aa07:c00:898b:c222:288b) (Read error: Connection reset by peer) |
2022-05-04 18:11:38 +0200 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
2022-05-04 18:12:00 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2022-05-04 18:12:26 +0200 | son0p | (~ff@181.136.122.143) |
2022-05-04 18:15:48 +0200 | coralgoat | (~coralgoat@gateway/tor-sasl/coralgoat) |
2022-05-04 18:15:56 +0200 | <EvanR> | what is the type signature for turning a "grayscale" image into an image representing FFT |
2022-05-04 18:16:24 +0200 | <EvanR> | do you need 1 output image for real and 1 for imaginary |
2022-05-04 18:16:52 +0200 | <EvanR> | or 1 for mag 1 for phase |
2022-05-04 18:16:53 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2022-05-04 18:17:28 +0200 | <seydar> | you're right, grayscale means nothing typewise |
2022-05-04 18:17:50 +0200 | <seydar> | ehh, i took it from Image PixelRGB8 to Image Pixel8 |
2022-05-04 18:18:00 +0200 | benin | (~benin@183.82.24.173) (Ping timeout: 276 seconds) |
2022-05-04 18:18:06 +0200 | <EvanR> | one image to one image |
2022-05-04 18:18:32 +0200 | <seydar> | right |
2022-05-04 18:18:54 +0200 | <EvanR> | but you need magnitude and phase ? |
2022-05-04 18:19:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
2022-05-04 18:19:35 +0200 | <seydar> | i... have no idea |
2022-05-04 18:20:24 +0200 | <seydar> | i don't think so? following some example python code online, they took the grayscale image (PixelRGB8 -> Pixel8), shifted it, ran it through a DFT, and shifted it again |
2022-05-04 18:21:53 +0200 | benin | (~benin@2401:4900:3605:3fd5:dda6:4c8:b888:c923) |
2022-05-04 18:23:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2022-05-04 18:24:45 +0200 | flinner | (~flinner@user/flinner) (Ping timeout: 256 seconds) |
2022-05-04 18:28:00 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-05-04 18:28:12 +0200 | bahamas | (~lucian@84.232.141.55) |
2022-05-04 18:29:31 +0200 | werneta | (~werneta@137.79.215.173) |
2022-05-04 18:29:34 +0200 | <EvanR> | FFT or DFT would be incomplete without phase info |
2022-05-04 18:29:58 +0200 | <EvanR> | maybe the output image is made of complex-numbered pixels? |
2022-05-04 18:30:06 +0200 | <seydar> | hm, some video i was watching was saying that we throw out the phase info for images |
2022-05-04 18:30:11 +0200 | <EvanR> | but Pixel8 seems to be quite small for that |
2022-05-04 18:30:23 +0200 | <EvanR> | lol how do you throw out phase |
2022-05-04 18:30:34 +0200 | <seydar> | rm -rf phase |
2022-05-04 18:31:13 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-05-04 18:31:32 +0200 | odnes | (~odnes@5-203-254-76.pat.nym.cosmote.net) (Quit: Leaving) |
2022-05-04 18:31:37 +0200 | <EvanR> | two imagines one for real one imaginary could be used to get the magnitude or phase |
2022-05-04 18:31:45 +0200 | <EvanR> | images* |
2022-05-04 18:31:48 +0200 | <seydar> | EvanR: https://paste.tomsmeding.com/3KhrTdUf |
2022-05-04 18:32:05 +0200 | rembo10 | (~rembo10@main.remulis.com) |
2022-05-04 18:32:40 +0200 | <EvanR> | discrete cosine transform... ok |
2022-05-04 18:33:15 +0200 | bahamas | (~lucian@84.232.141.55) (Ping timeout: 256 seconds) |
2022-05-04 18:33:32 +0200 | <EvanR> | also worth checking out may be wavelets |
2022-05-04 18:35:05 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-05-04 18:36:49 +0200 | <seydar> | I'm using dht because it seems to be the analysis I want for a fourier-ish that is R -> R |
2022-05-04 18:37:53 +0200 | <seydar> | my OTHER problem is that I'm unable to meaningfully use discrete cosine transformations to reproduce the blurhash algorithm |
2022-05-04 18:38:20 +0200 | <seydar> | the values coming out of my DCT seem to be too small (only in the thousands, but should be tens of thousands) |
2022-05-04 18:39:53 +0200 | <EvanR> | so they basically turned jpg compression to over 9000 |
2022-05-04 18:40:11 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2022-05-04 18:40:19 +0200 | benin9 | (~benin@183.82.207.222) |
2022-05-04 18:40:28 +0200 | searemind | (~searemind@122.161.50.102) |
2022-05-04 18:41:11 +0200 | teo | (~teo@user/teo) (Ping timeout: 256 seconds) |
2022-05-04 18:42:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
2022-05-04 18:42:36 +0200 | benin | (~benin@2401:4900:3605:3fd5:dda6:4c8:b888:c923) (Ping timeout: 250 seconds) |
2022-05-04 18:42:37 +0200 | benin9 | benin |
2022-05-04 18:44:46 +0200 | <seydar> | EvanR: here's my blurhash code: https://paste.tomsmeding.com/0TeHBa23 |
2022-05-04 18:45:06 +0200 | <seydar> | it's a hot garbage, and it also doesn't work |
2022-05-04 18:45:12 +0200 | <seydar> | BUT it compiles |
2022-05-04 18:45:15 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2022-05-04 18:46:30 +0200 | <seydar> | most of the main function is me trying to get some debugging output to figure out why life is so difficult |
2022-05-04 18:47:10 +0200 | bahamas | (~lucian@84.232.141.55) |
2022-05-04 18:48:17 +0200 | searemind | (~searemind@122.161.50.102) (Remote host closed the connection) |
2022-05-04 18:50:22 +0200 | <coralgoat> | I have written a Haskell command line program on a Linux system. |
2022-05-04 18:50:25 +0200 | <coralgoat> | It compiles and runs on a Linux system. |
2022-05-04 18:50:29 +0200 | <coralgoat> | I want to share the programs executable with someone who is using a Windows computer. |
2022-05-04 18:50:33 +0200 | <coralgoat> | I would like them to be able to run the program like someone runs a program on a Linux system for example: |
2022-05-04 18:50:37 +0200 | <coralgoat> | executable-name <flags> <options> |
2022-05-04 18:50:40 +0200 | <coralgoat> | I do not have a Windows system so testing the GHC flags required to get working Windows executable is tricky. |
2022-05-04 18:50:47 +0200 | <coralgoat> | Looking at the GHC documentation this option looks relevant: |
2022-05-04 18:50:51 +0200 | <coralgoat> | https://downloads.haskell.org/ghc/latest/docs/html/users_guide/flags.html#linking-options |
2022-05-04 18:50:55 +0200 | <coralgoat> | -static |
2022-05-04 18:50:59 +0200 | <coralgoat> | Looking at the Cabal documentation this looks relevant: |
2022-05-04 18:51:04 +0200 | <coralgoat> | https://cabal.readthedocs.io/en/3.6/cabal-package.html?highlight=GHC#pkg-field-ghc-options |
2022-05-04 18:51:08 +0200 | <coralgoat> | So I think I would use: |
2022-05-04 18:51:12 +0200 | <coralgoat> | ghc-options: -static |
2022-05-04 18:51:17 +0200 | <coralgoat> | Is this the right approach? |
2022-05-04 18:51:18 +0200 | bahamas | (~lucian@84.232.141.55) (Ping timeout: 246 seconds) |
2022-05-04 18:51:21 +0200 | <coralgoat> | Am I overlooking other important GHC flags to get this to get a Windows executable work properly? |
2022-05-04 18:51:42 +0200 | <coralgoat> | work -> working |
2022-05-04 18:51:45 +0200 | <geekosaur> | you're not running a linux executable on windows regardless of command line options |
2022-05-04 18:52:27 +0200 | <Bulby[m]> | have you tried using WSL2 |
2022-05-04 18:52:51 +0200 | <coralgoat> | geekosaur, right. I want to compile a separate executable for my program that will run on Windows. |
2022-05-04 18:53:05 +0200 | <Bulby[m]> | oh |
2022-05-04 18:53:10 +0200 | <Bulby[m]> | have you tried CI |
2022-05-04 18:53:14 +0200 | coot | (~coot@213.134.190.95) |
2022-05-04 18:53:49 +0200 | <coralgoat> | Bulby[m], CI as in Continuous Integration? |
2022-05-04 18:53:55 +0200 | <Bulby[m]> | yes |
2022-05-04 18:53:58 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:c533:2972:356b:d72c) (Remote host closed the connection) |
2022-05-04 18:54:19 +0200 | <Bulby[m]> | either that or get a windows computer 😉 |
2022-05-04 18:54:37 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::aa1d) |
2022-05-04 18:54:54 +0200 | <coralgoat> | Bulby[m], even with CI I think I still need to use the correct GHC flags. |
2022-05-04 18:55:09 +0200 | <Bulby[m]> | ah, no idea then |
2022-05-04 18:55:54 +0200 | <geekosaur> | -static should be the default. (this is not the same as the linker's -static option) |
2022-05-04 18:56:44 +0200 | <geekosaur> | ghc-options: -Wl,-static |
2022-05-04 18:57:15 +0200 | <coralgoat> | Bulby[m], "get a windows computer" the person I am sharing the program with has a Windows computer. Maybe I could ask them to build the source code with cabal. |
2022-05-04 18:57:26 +0200 | coralgoat | looking up -Wl |
2022-05-04 18:57:33 +0200 | <Bulby[m]> | yep |
2022-05-04 18:58:21 +0200 | <geekosaur> | "pass this option to the linker" |
2022-05-04 18:59:30 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2022-05-04 18:59:45 +0200 | <sclv> | “get a windows computer” can also mean “run a virtualized windows image on your linux machine” assuming you have the bandwidth to get it and approx 100 gig or so to spare |
2022-05-04 19:00:03 +0200 | <Bulby[m]> | that too 🙂 |
2022-05-04 19:05:33 +0200 | razetime | (~quassel@117.254.35.89) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2022-05-04 19:06:22 +0200 | <coralgoat> | If I use "ghc-options: -Wl,-static" in the Cabal package description and build with Cabal will this work to create an executable that will work on Windows when building on Linux and Windows? |
2022-05-04 19:07:13 +0200 | mbuf | (~Shakthi@223.184.124.61) (Quit: Leaving) |
2022-05-04 19:07:16 +0200 | <geekosaur> | you want to use that on windows but not linux |
2022-05-04 19:07:45 +0200 | <geekosaur> | on linux it'll try to link libc static, which doesn't work with glibc so you would need to be on a distro that uses musl |
2022-05-04 19:08:58 +0200 | <geekosaur> | in a cabal file you can use a conditional `if os(windows)` (with indentation and `else`) to only trigger that on windows |
2022-05-04 19:11:23 +0200 | <coralgoat> | geekosaur, thanks |
2022-05-04 19:11:51 +0200 | <geekosaur> | actually you don't need else there |
2022-05-04 19:13:17 +0200 | <coralgoat> | I will give the Windows user instructions and ask them to build it from source with those GHC option is the Cabal package description. |
2022-05-04 19:17:41 +0200 | econo | (uid147250@user/econo) |
2022-05-04 19:22:39 +0200 | <dsal> | Does anyone remember where that blog post is that described types that provide collections of different cardinalities? |
2022-05-04 19:22:58 +0200 | <dsal> | i.e., Identity, Maybe, NonEmpty, List... |
2022-05-04 19:25:33 +0200 | <dsal> | Ah, http://jackkelly.name/blog/archives/2022/01/15/how_long_is_your_list/ |
2022-05-04 19:28:08 +0200 | bahamas | (~lucian@84.232.141.55) |
2022-05-04 19:32:39 +0200 | bahamas | (~lucian@84.232.141.55) (Ping timeout: 252 seconds) |
2022-05-04 19:33:18 +0200 | vantablue | (~pankratiu@78.196.145.240) |
2022-05-04 19:33:37 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
2022-05-04 19:35:15 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2022-05-04 19:36:04 +0200 | dumptruckman | (~dumptruck@45-79-173-88.ip.linodeusercontent.com) (Quit: ZNC - https://znc.in) |
2022-05-04 19:40:48 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-05-04 19:42:38 +0200 | dumptruckman | (~dumptruck@45-79-173-88.ip.linodeusercontent.com) |
2022-05-04 19:45:18 +0200 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) |
2022-05-04 19:46:04 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2022-05-04 19:51:53 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2022-05-04 19:53:35 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
2022-05-04 19:54:55 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2022-05-04 19:58:46 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 3.5) |
2022-05-04 19:59:28 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
2022-05-04 20:01:20 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Quit: leaving) |
2022-05-04 20:04:51 +0200 | kenran | (~kenran@200116b82b989c005262ff9308cd788c.dip.versatel-1u1.de) |
2022-05-04 20:06:41 +0200 | coralgoat | (~coralgoat@gateway/tor-sasl/coralgoat) (Quit: Leaving) |
2022-05-04 20:08:25 +0200 | pgib | (~textual@173.38.117.66) (Ping timeout: 260 seconds) |
2022-05-04 20:08:33 +0200 | lagooned | (~lagooned@108-208-149-42.lightspeed.hstntx.sbcglobal.net) (Ping timeout: 256 seconds) |
2022-05-04 20:09:08 +0200 | benin | (~benin@183.82.207.222) (Quit: The Lounge - https://thelounge.chat) |
2022-05-04 20:10:05 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2022-05-04 20:10:05 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2022-05-04 20:10:05 +0200 | wroathe | (~wroathe@user/wroathe) |
2022-05-04 20:10:54 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-05-04 20:13:48 +0200 | codolio | dolio |
2022-05-04 20:16:03 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
2022-05-04 20:19:34 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
2022-05-04 20:20:21 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2022-05-04 20:21:39 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2022-05-04 20:23:50 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-05-04 20:26:38 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-05-04 20:27:18 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2022-05-04 20:27:29 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2022-05-04 20:29:41 +0200 | coot | (~coot@213.134.190.95) |
2022-05-04 20:33:04 +0200 | flinner | (~flinner@user/flinner) |
2022-05-04 20:33:26 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2022-05-04 20:39:57 +0200 | bahamas | (~lucian@84.232.141.55) |
2022-05-04 20:40:23 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2022-05-04 20:46:46 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-05-04 20:51:45 +0200 | vantablue | (~pankratiu@78.196.145.240) (Quit: WeeChat 3.5) |
2022-05-04 20:57:06 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2022-05-04 21:07:47 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-05-04 21:11:00 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
2022-05-04 21:11:58 +0200 | <energizer> | is it possible to define two functions that take different types with the same name? like Num a => f a = 10 and List a => f a = [99] |
2022-05-04 21:13:10 +0200 | <energizer> | i dont want to do it, i just want to know if that's something haskell supports |
2022-05-04 21:13:18 +0200 | wrengr | (~wrengr@249.189.233.35.bc.googleusercontent.com) |
2022-05-04 21:14:12 +0200 | <EvanR> | if I ignore the examples, then yes. Since you can put them two functions in different modules which mean different things by the same name |
2022-05-04 21:14:22 +0200 | <EvanR> | s/them/the/ |
2022-05-04 21:14:32 +0200 | arjun | (~arjun@user/arjun) (Quit: Leaving) |
2022-05-04 21:14:46 +0200 | <energizer> | can i then import and use them both in the same module? |
2022-05-04 21:15:25 +0200 | <energizer> | (yeah ignore the examples) |
2022-05-04 21:15:25 +0200 | <EvanR> | yes, but in that module, if you wanna take about those types you'll have to qualify them |
2022-05-04 21:15:36 +0200 | <energizer> | ok makes sense |
2022-05-04 21:16:11 +0200 | <EvanR> | there is a fringe set of hackage packages that do this, every module exports a type named T xD |
2022-05-04 21:16:33 +0200 | <EvanR> | you're expected to speak of it qualified like TheModuleName.T |
2022-05-04 21:16:42 +0200 | <EvanR> | no one likes it |
2022-05-04 21:16:46 +0200 | <geekosaur> | haskell does not support c++ style overloading, you must use typeclasses. flip side, typeclasses can be polymorphic on result type |
2022-05-04 21:17:21 +0200 | <geekosaur> | or use qualified names as EvanR says |
2022-05-04 21:18:13 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.5) |
2022-05-04 21:22:04 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
2022-05-04 21:25:15 +0200 | hololeap | (~hololeap@user/hololeap) |
2022-05-04 21:25:25 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2022-05-04 21:34:45 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 260 seconds) |
2022-05-04 21:37:21 +0200 | lispy | (~lispy@82.212.115.91) |
2022-05-04 21:40:20 +0200 | coot | (~coot@213.134.190.95) |
2022-05-04 21:41:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
2022-05-04 21:42:34 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
2022-05-04 21:43:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2022-05-04 21:44:28 +0200 | tafa | (~tafa@user/tafa) (Quit: ZNC - https://znc.in) |
2022-05-04 21:44:30 +0200 | yauhsien | (~yauhsien@61-231-34-25.dynamic-ip.hinet.net) |
2022-05-04 21:45:01 +0200 | tafa | (~tafa@user/tafa) |
2022-05-04 21:45:18 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2022-05-04 21:45:26 +0200 | hololeap | (~hololeap@user/hololeap) |
2022-05-04 21:45:44 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2022-05-04 21:45:55 +0200 | bahamas | (~lucian@84.232.141.55) (Ping timeout: 256 seconds) |
2022-05-04 21:48:34 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
2022-05-04 21:49:23 +0200 | yauhsien | (~yauhsien@61-231-34-25.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
2022-05-04 21:51:00 +0200 | dmitrydidi | (~dmitrydid@89-64-0-231.dynamic.chello.pl) |
2022-05-04 21:53:55 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) |
2022-05-04 21:56:58 +0200 | <dmitrydidi> | hello guys ! Are anybody here who has worked with binance api ? Im trying to call it using http-conduit library, and facing with 400 error.but I called it under nodejs and it worked well. |
2022-05-04 21:57:30 +0200 | Pickchea | (~private@user/pickchea) |
2022-05-04 21:57:40 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-05-04 21:59:23 +0200 | zeenk | (~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) |
2022-05-04 21:59:30 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 252 seconds) |
2022-05-04 22:00:37 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
2022-05-04 22:00:41 +0200 | acidjnk | (~acidjnk@p200300d0c7068b77514ff9727fbe3410.dip0.t-ipconnect.de) |
2022-05-04 22:02:10 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
2022-05-04 22:04:13 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
2022-05-04 22:05:03 +0200 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2022-05-04 22:07:51 +0200 | martin02_ | (~silas@2001:4ca0:0:fe00:0:5efe:a96:1bc1) (Ping timeout: 260 seconds) |
2022-05-04 22:08:47 +0200 | martin02_ | (~silas@141.84.69.76) |
2022-05-04 22:10:17 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
2022-05-04 22:12:20 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
2022-05-04 22:17:11 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2022-05-04 22:18:44 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
2022-05-04 22:18:46 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2022-05-04 22:20:41 +0200 | dzdcnfzd | (~dzdcnfzd@2600:387:5:803::36) |
2022-05-04 22:25:13 +0200 | <dzdcnfzd> | I'm new to transformers generally. I have a function that uses `FreeT MyFunctor Maybe ()`, where the `Maybe` is there to specify computation failure, and I want to convert the `Maybe` to an `Either String`-style error message. Since I am using `mtl` I thought I'd use `Control.Monad.Except`, but as far as I can tell there are only pre-made functions |
2022-05-04 22:25:14 +0200 | <dzdcnfzd> | for transforming `Maybe` to `Control.Monad.Trans.ExceptT` from the `transformers` library. Is there a reason I shouldn't combine `mtl` and `transformers` transformers with each other? |
2022-05-04 22:26:04 +0200 | <dzdcnfzd> | If I should stick to one or the other, is there an opinion of which I should pick? |
2022-05-04 22:26:38 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::bc8f) |
2022-05-04 22:28:27 +0200 | <geekosaur> | mtl is based on transformers |
2022-05-04 22:29:20 +0200 | x_kuru | (~xkuru@user/xkuru) |
2022-05-04 22:29:40 +0200 | <dzdcnfzd> | Does that mean they freely interop? |
2022-05-04 22:29:47 +0200 | <geekosaur> | yes |
2022-05-04 22:30:22 +0200 | <dzdcnfzd> | Is there a reason why you can't easily go from `Control.Monad.Trans.ExceptT` to `Control.Monad.Trans` ? |
2022-05-04 22:30:33 +0200 | <dzdcnfzd> | Or why you would prefer one over the other? |
2022-05-04 22:31:15 +0200 | <geekosaur> | Trans is the base functionality provided by all transformers; ExceptT is a specific instance of Trans |
2022-05-04 22:32:15 +0200 | <dzdcnfzd> | Sorry, I meant `Control.Monad.Trans.ExceptT` vs. `Control.Monad.Except` |
2022-05-04 22:32:48 +0200 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 276 seconds) |
2022-05-04 22:33:11 +0200 | <geekosaur> | Ecept is ExceptT Identity |
2022-05-04 22:33:19 +0200 | <geekosaur> | you have to be able to swap the monad |
2022-05-04 22:33:44 +0200 | <geekosaur> | but both should provide the same functionality modulo the monad they're atop |
2022-05-04 22:35:10 +0200 | <dzdcnfzd> | As far as I can tell both packages define their own `ExceptT` .... |
2022-05-04 22:35:32 +0200 | <dzdcnfzd> | https://hackage.haskell.org/package/mtl-2.2.2/docs/Control-Monad-Except.html#t:ExceptT vs https://hackage.haskell.org/package/transformers-0.6.0.4/docs/Control-Monad-Trans-Except.html#t:Ex… |
2022-05-04 22:36:09 +0200 | <abastro[m]> | dzdcnfzd: mtl re-exports the transformer |
2022-05-04 22:36:16 +0200 | k` | (~user@152.1.137.158) |
2022-05-04 22:36:17 +0200 | <dzdcnfzd> | Ahhhhh |
2022-05-04 22:36:25 +0200 | <abastro[m]> | Which is imported from ExceptT |
2022-05-04 22:36:55 +0200 | <k`> | How do ya use `property>` in Haddock documentation comments? |
2022-05-04 22:37:14 +0200 | <geekosaur> | anyway if I understand what you're asking, if it works on ExceptT then it works on Except |
2022-05-04 22:37:37 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2022-05-04 22:37:47 +0200 | <geekosaur> | yes, the docs are unclear because there's no Source link but that's the clue that it's a reexport. looking at the source link at the top shows it's a direct reexport |
2022-05-04 22:38:16 +0200 | <geekosaur> | (I think that ,ay have been a Haddock bug at the time the docs were built) |
2022-05-04 22:38:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2022-05-04 22:39:46 +0200 | <k`> | Oh, that's disappointing. |
2022-05-04 22:40:10 +0200 | <geekosaur> | k`, that was aimed at dzdcnfzd, I have no idea about yours |
2022-05-04 22:40:38 +0200 | <k`> | Got it. |
2022-05-04 22:40:57 +0200 | <k`> | I guess they're a little-known ?feature?. |
2022-05-04 22:41:43 +0200 | dmitrydidi | (~dmitrydid@89-64-0-231.dynamic.chello.pl) () |
2022-05-04 22:42:35 +0200 | <k`> | The Haddock documentation says that they can be extracted by third parties, but I haven't been able to google up an application that does... |
2022-05-04 22:43:28 +0200 | Midjak | (~Midjak@82.66.147.146) |
2022-05-04 22:43:44 +0200 | <k`> | I found one package that seems to rely on them, but as far as I can tell none of the tests actually run and the package is accidentally untested. |
2022-05-04 22:44:44 +0200 | <geekosaur> | there is a doctests package |
2022-05-04 22:45:30 +0200 | <k`> | Thanks, that seems to do it. |
2022-05-04 22:45:40 +0200 | <geekosaur> | https://hackage.haskell.org/package/doctest |
2022-05-04 22:46:17 +0200 | <geekosaur> | and it can be used as if it were ghc, so you can test a package. I believe many packages do this (there are still packages that use the old cabal-doctest but that is now deprecated) |
2022-05-04 22:46:38 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2022-05-04 22:49:11 +0200 | <k`> | Found the section on QuickCheck properties in doctest. Cool. Seems like the example in the Haddock documentation is a typo, though. |
2022-05-04 22:56:08 +0200 | Topsi | (~Topsi@dyndsl-095-033-017-123.ewe-ip-backbone.de) |
2022-05-04 22:56:56 +0200 | kaiepi | (~kaiepi@156.34.47.253) |
2022-05-04 22:58:44 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 248 seconds) |
2022-05-04 23:01:39 +0200 | lagash | (lagash@lagash.shelltalk.net) (Ping timeout: 240 seconds) |
2022-05-04 23:03:39 +0200 | werneta | (~werneta@137.79.215.173) (Ping timeout: 256 seconds) |
2022-05-04 23:07:35 +0200 | kaiepi | Kaiepi |
2022-05-04 23:09:34 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
2022-05-04 23:10:02 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::bc8f) (Ping timeout: 252 seconds) |
2022-05-04 23:12:36 +0200 | <dminuoso> | https://hackage.haskell.org/package/stm-2.5.0.2/docs/Control-Concurrent-STM-TChan.html#v:newBroadc… |
2022-05-04 23:12:39 +0200 | <dminuoso> | "The problem with using newTChan to create the broadcast channel is that if it is only written to and never read, items will pile up in memory. By using newBroadcastTChan to create the broadcast channel, items can be garbage collected after clients have seen them." |
2022-05-04 23:12:58 +0200 | hololeap | (~hololeap@user/hololeap) |
2022-05-04 23:13:13 +0200 | <dminuoso> | This confuses me. This seems to indicate, that newTChan leaks memory if you never read values, but that would apply to newBroadcastTChan as wlel. |
2022-05-04 23:13:26 +0200 | <dminuoso> | Is this comparing apples with oranges? |
2022-05-04 23:13:55 +0200 | <Cale> | It's maybe just worded a little confusingly |
2022-05-04 23:14:20 +0200 | <Cale> | Note that the code being discussed duplicates the channel |
2022-05-04 23:14:41 +0200 | <dminuoso> | Sure, but how would you duplicate the channel with newTChan? |
2022-05-04 23:14:55 +0200 | <dminuoso> | Im not quite seeing what "the problem with TChan" means |
2022-05-04 23:15:04 +0200 | <Cale> | With dupTChan the same way, no? |
2022-05-04 23:15:05 +0200 | <dminuoso> | *newTChan |
2022-05-04 23:15:11 +0200 | <Cale> | The code would still typecheck |
2022-05-04 23:16:35 +0200 | dzdcnfzd | (~dzdcnfzd@2600:387:5:803::36) (Quit: Client closed) |
2022-05-04 23:16:49 +0200 | <Cale> | Basically, you can't read from a broadcast TChan, and so, supposing that you never duplicate it, anything written to it is garbage |
2022-05-04 23:17:43 +0200 | <dminuoso> | 'By using newBroadcastTChan to create the broadcast channel, items can be garbage collected after clients have seen them.' |
2022-05-04 23:17:54 +0200 | <Cale> | If you *do* duplicate it, then the broadcast TChan itself doesn't hang on to any of the items written |
2022-05-04 23:18:04 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
2022-05-04 23:18:14 +0200 | <Cale> | but the duplicates will hang on to the items until they're able to be read |
2022-05-04 23:18:18 +0200 | werneta | (~werneta@137.79.215.173) |
2022-05-04 23:18:28 +0200 | <dminuoso> | Ohhh, I begin to understand. |
2022-05-04 23:18:51 +0200 | <dminuoso> | So this is saying, if I dupChan a TChan, and read only from the duplicate but not the original, I will have a leak |
2022-05-04 23:18:55 +0200 | <Cale> | If you used a normal TChan, and duplicated it like this, you'd never end up reading from the original channel, and it would sit around having every message ever received in it. |
2022-05-04 23:19:02 +0200 | <Cale> | yeah, exactly |
2022-05-04 23:19:04 +0200 | <dminuoso> | But if I had used a broadcast chan instead, that would not be the cae |
2022-05-04 23:19:22 +0200 | <dminuoso> | Alright this makes sense, thanks. Yeah the wording is a bit confusing |
2022-05-04 23:20:31 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2022-05-04 23:20:39 +0200 | <abastro[m]> | So if you never read from a Chan, it still leaks? |
2022-05-04 23:20:53 +0200 | hololeap | (~hololeap@user/hololeap) |
2022-05-04 23:21:35 +0200 | <Cale> | generally, yeah |
2022-05-04 23:21:37 +0200 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
2022-05-04 23:21:41 +0200 | <abastro[m]> | Oh, no way for a Chan to know |
2022-05-04 23:21:48 +0200 | <abastro[m]> | That it is not going to be used or sth |
2022-05-04 23:21:59 +0200 | <Cale> | yeah, unless you lose all references to it or something |
2022-05-04 23:22:05 +0200 | <dminuoso> | Its a different wording from: |
2022-05-04 23:22:19 +0200 | <dminuoso> | dupTChan :: TChan a -> STM (TChan a) |
2022-05-04 23:22:24 +0200 | <dminuoso> | Duplicate a TChan: the duplicate channel begins empty, but data written to either channel from then on will be available from *both*. (emphasis by me) |
2022-05-04 23:22:48 +0200 | <dminuoso> | And it makes sense, I mean if dupTChan would erase the output from the source channel, this would be a useless primitive |
2022-05-04 23:23:46 +0200 | <abastro[m]> | So basically this is why broadcast chan package existe |
2022-05-04 23:24:03 +0200 | <abastro[m]> | Not that I see much rationale for it |
2022-05-04 23:24:37 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::bc8f) |
2022-05-04 23:25:02 +0200 | akurilin_ | (uid322841@id-322841.ilkley.irccloud.com) |
2022-05-04 23:25:13 +0200 | <dminuoso> | General design question, say I hand you a library that interfaces with hardware. I intend to give you a `TChan KeyEvent` that behind the scenes has a thread running. What would be the expected interface to stop this monitor? |
2022-05-04 23:26:00 +0200 | <monochrom> | Do you give me the tchan for me to read? For me to write? |
2022-05-04 23:26:04 +0200 | <dminuoso> | To read |
2022-05-04 23:26:08 +0200 | <Cale> | Usually what I like to do is give an IO action result that'll end it, though you could also use CPS if that makes more sense |
2022-05-04 23:27:11 +0200 | <monochrom> | Yeah you also give me a "close" command that I can call when I'm done. |
2022-05-04 23:27:32 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
2022-05-04 23:27:50 +0200 | <monochrom> | And then factor in the bracket thing, so maybe you can give me a "withTChan" thing as an alternative. |
2022-05-04 23:28:33 +0200 | <Cale> | So either, startMonitor :: ... -> IO (TChan KeyEvent, IO ()) or withMonitor :: ... -> (TChan KeyEvent -> IO a) -> IO a |
2022-05-04 23:28:35 +0200 | <monochrom> | And then all hell still breaks lose because "but what if I'm in a MyMonadStack IO which is not simply IO"... |
2022-05-04 23:29:10 +0200 | <dminuoso> | Well Im willing to give you `withMonitor :: MonadUnliftIO m ... -> (TChan KeyEvent -> m a) -> m a` |
2022-05-04 23:29:17 +0200 | <dminuoso> | That has to be enough! |
2022-05-04 23:29:21 +0200 | <monochrom> | Heh |
2022-05-04 23:29:39 +0200 | <Cale> | monochrom: My answer to that is: you write yourself a class for the operation and instances for each of your transformers (and think about whether those instances really make sense) |
2022-05-04 23:29:46 +0200 | <monochrom> | No, gimme Koka-like real effect system! |
2022-05-04 23:29:58 +0200 | Polo | (~Polo@user/polo) |
2022-05-04 23:30:07 +0200 | <dminuoso> | Know what, Ill just give you both interfaces that Cale talked about. But Ill use a custom datatype rather than a tuple |
2022-05-04 23:30:18 +0200 | <dminuoso> | Its not much extra effort, and it gives the user more flexibility. |
2022-05-04 23:30:38 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-05-04 23:31:43 +0200 | mmhat | (~mmh@2001:4090:a242:802a:ee08:6bff:fe09:5315) |
2022-05-04 23:32:23 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
2022-05-04 23:33:15 +0200 | dcoutts__ | (~duncan@host81-156-211-196.range81-156.btcentralplus.com) (Ping timeout: 276 seconds) |
2022-05-04 23:34:30 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
2022-05-04 23:36:02 +0200 | Polo | (~Polo@user/polo) (Quit: Textual IRC Client: www.textualapp.com) |
2022-05-04 23:37:03 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2022-05-04 23:39:10 +0200 | sleym | (~sleym@user/sleym) |
2022-05-04 23:39:38 +0200 | flinner | (~flinner@user/flinner) (Ping timeout: 260 seconds) |
2022-05-04 23:39:54 +0200 | <abastro[m]> | `(KeyEvent -> s -> IO s) -> s -> IO s` |
2022-05-04 23:45:18 +0200 | michalz | (~michalz@185.246.204.126) (Remote host closed the connection) |
2022-05-04 23:47:44 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590::bc8f) (Quit: Client closed) |
2022-05-04 23:48:21 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-05-04 23:48:53 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
2022-05-04 23:55:20 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 260 seconds) |
2022-05-04 23:56:42 +0200 | jargon | (~jargon@174-22-206-112.phnx.qwest.net) |
2022-05-04 23:57:10 +0200 | dzdcnfzd | (~dzdcnfzd@2600:387:5:803::8a) |
2022-05-04 23:57:20 +0200 | kenran | (~kenran@200116b82b989c005262ff9308cd788c.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
2022-05-04 23:57:27 +0200 | dcoutts__ | (~duncan@host81-156-211-196.range81-156.btcentralplus.com) |
2022-05-04 23:59:28 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |