| 2024-01-18 00:02:13 +0100 | fansly | (~fansly@2404:c0:5c10::5d27:d60) (Ping timeout: 264 seconds) |
| 2024-01-18 00:02:51 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-18 00:04:08 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) |
| 2024-01-18 00:07:01 +0100 | Square | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2024-01-18 00:10:01 +0100 | segfaultfizzbuzz | (~segfaultf@76-206-41-24.lightspeed.livnmi.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2024-01-18 00:11:17 +0100 | segfaultfizzbuzz | (~segfaultf@2600:1702:6d0:e930:3028:3657:7e17:2b9b) |
| 2024-01-18 00:14:00 +0100 | segfaultfizzbuzz | (~segfaultf@2600:1702:6d0:e930:3028:3657:7e17:2b9b) (Remote host closed the connection) |
| 2024-01-18 00:14:05 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-01-18 00:14:45 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-01-18 00:16:19 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-01-18 00:18:16 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-01-18 00:18:40 +0100 | myme | (~myme@2a01:799:d60:e400:d93e:1b14:4dda:4311) (Ping timeout: 245 seconds) |
| 2024-01-18 00:23:10 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-01-18 00:24:09 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-01-18 00:24:48 +0100 | donnodk | (~donnodk@85.191.185.172) (Quit: Leaving) |
| 2024-01-18 00:26:17 +0100 | <pie_> | Whats cool in haskell these days |
| 2024-01-18 00:26:36 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-01-18 00:29:40 +0100 | <Axman6> | Functions are pretty sweet |
| 2024-01-18 00:30:00 +0100 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Quit: WeeChat 4.1.1) |
| 2024-01-18 00:30:25 +0100 | <johnw> | pie_: post qualified imports :) |
| 2024-01-18 00:30:56 +0100 | <EvanR> | those are terrible awful and very bad!!! |
| 2024-01-18 00:31:09 +0100 | <johnw> | said everyone about every new feature I currently love! |
| 2024-01-18 00:31:09 +0100 | <pie_> | haha |
| 2024-01-18 00:31:24 +0100 | <johnw> | I remember similar sentiments around LambdaCase, now a mainstay |
| 2024-01-18 00:31:35 +0100 | <pie_> | now that haskell isnt fashionable because everyone just uses rust or whatever |
| 2024-01-18 00:31:46 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 264 seconds) |
| 2024-01-18 00:32:22 +0100 | <EvanR> | I just realized why rust comes up wherever haskell might be expected |
| 2024-01-18 00:32:40 +0100 | <EvanR> | despite them being completely opposite ends of the spectrum |
| 2024-01-18 00:32:55 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-01-18 00:33:02 +0100 | <pie_> | Axman6: true true |
| 2024-01-18 00:33:22 +0100 | <EvanR> | both force you to write the code totally different from normal |
| 2024-01-18 00:33:26 +0100 | <pie_> | haha |
| 2024-01-18 00:33:45 +0100 | <EvanR> | which is interesting to people who are bored |
| 2024-01-18 00:33:57 +0100 | <pie_> | :thinking: |
| 2024-01-18 00:34:17 +0100 | <caconym> | boredom is definitely why i learned haskell back in the day and why i learned rust slightly less back in the day |
| 2024-01-18 00:34:20 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-01-18 00:34:27 +0100 | <caconym> | very productive boredom, as it turned out |
| 2024-01-18 00:34:32 +0100 | <pie_> | ah the problems of actually good programmers :P |
| 2024-01-18 00:35:21 +0100 | wroathe | (~wroathe@50.205.197.50) |
| 2024-01-18 00:35:21 +0100 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2024-01-18 00:35:21 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2024-01-18 00:35:30 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-01-18 00:36:02 +0100 | phaazon | (~phaazon@2001:41d0:a:fe76::1) |
| 2024-01-18 00:38:32 +0100 | <Axman6> | johnw: amen, long live post qualified imports! |
| 2024-01-18 00:39:40 +0100 | Axman6 | will fight EvanR and jackdk on this one |
| 2024-01-18 00:39:42 +0100 | <monochrom> | Unpopular opinion: I love BlockArguments. |
| 2024-01-18 00:40:13 +0100 | <EvanR> | it's the perfect thing to take a strong position on since it's so inconsequential |
| 2024-01-18 00:40:34 +0100 | <jackdk> | I still don't see the payoff for ImportQualifiedPost (or is it PostQualifiedImports? Or ImportPostQualified?). LambdaCase is beautiful, and while BlockArguments still seems a bit odd to me it makes certain constructions vastly simpler |
| 2024-01-18 00:41:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-18 00:41:10 +0100 | <EvanR> | QualifiedImportPost |
| 2024-01-18 00:41:32 +0100 | <EvanR> | QualifiedImportPostImportQualified |
| 2024-01-18 00:43:21 +0100 | myme | (~myme@40.51-175-185.customer.lyse.net) |
| 2024-01-18 00:44:22 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2024-01-18 00:45:41 +0100 | <jackdk> | {-# LANGUAGE ImportsAtTheBottomOfTheFile #-} |
| 2024-01-18 00:46:16 +0100 | <EvanR> | actually... |
| 2024-01-18 00:46:20 +0100 | <EvanR> | yes please |
| 2024-01-18 00:47:11 +0100 | <duncan> | QualifiedImportPost a.k.a. QUIP |
| 2024-01-18 00:48:57 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-01-18 00:49:06 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2024-01-18 00:50:35 +0100 | <jackdk> | No EvanR, no! |
| 2024-01-18 00:51:08 +0100 | <EvanR> | a useful snippet of haskell code appears to be a list of imports instead of code xD |
| 2024-01-18 00:51:30 +0100 | <EvanR> | the code is below the fold |
| 2024-01-18 00:53:41 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 252 seconds) |
| 2024-01-18 00:54:45 +0100 | <geekosaur> | how does this differ from C/C++? or for that matter python? |
| 2024-01-18 00:55:48 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-01-18 00:56:35 +0100 | <exarkun> | in Python you _can_ put imports at the bottom of you want |
| 2024-01-18 00:56:50 +0100 | <exarkun> | and no one does, thus proving everyone loves being greeted by a wall of imports |
| 2024-01-18 00:58:52 +0100 | <EvanR> | it doesn't |
| 2024-01-18 01:05:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-01-18 01:05:11 +0100 | caconym | (~caconym@user/caconym) |
| 2024-01-18 01:05:13 +0100 | <exarkun> | wait a hyperbolic anecdote about personal observations isn't a formal proof? oh man egg on my face |
| 2024-01-18 01:06:33 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 2024-01-18 01:09:14 +0100 | <EvanR> | no responding to geekosaur |
| 2024-01-18 01:09:33 +0100 | caconym | (~caconym@user/caconym) (Client Quit) |
| 2024-01-18 01:10:08 +0100 | caconym | (~caconym@user/caconym) |
| 2024-01-18 01:11:13 +0100 | <exarkun> | ah |
| 2024-01-18 01:13:39 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-18 01:19:40 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-01-18 01:19:43 +0100 | Xe | (~cadey@perl/impostor/xe) (Quit: WeeChat 4.1.2) |
| 2024-01-18 01:20:09 +0100 | Xe | (~cadey@perl/impostor/xe) |
| 2024-01-18 01:20:23 +0100 | <pie_> | PostQualifiedImportIsm |
| 2024-01-18 01:20:50 +0100 | <duncan> | -# LANGUAGE POQUII #- |
| 2024-01-18 01:27:33 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 260 seconds) |
| 2024-01-18 01:28:32 +0100 | mestre | (~mestre@191.177.165.219) (Quit: Lost terminal) |
| 2024-01-18 01:44:47 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-01-18 01:48:32 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds) |
| 2024-01-18 01:50:51 +0100 | puke | (~puke@user/puke) |
| 2024-01-18 01:52:34 +0100 | pyooque | (~puke@user/puke) |
| 2024-01-18 01:52:35 +0100 | puke | Guest7753 |
| 2024-01-18 01:52:35 +0100 | Guest7753 | (~puke@user/puke) (Killed (zinc.libera.chat (Nickname regained by services))) |
| 2024-01-18 01:52:35 +0100 | pyooque | puke |
| 2024-01-18 01:54:34 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 264 seconds) |
| 2024-01-18 01:59:08 +0100 | <jackdk> | {-# LANGUAGE AbbreviatedExtensions, PQI, STV, Gs, TFs, LTs, ... #-} |
| 2024-01-18 01:59:23 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-01-18 02:02:06 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-01-18 02:04:47 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2024-01-18 02:06:45 +0100 | trev | (~trev@user/trev) |
| 2024-01-18 02:06:47 +0100 | califax | (~califax@user/califx) |
| 2024-01-18 02:08:13 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) (Ping timeout: 264 seconds) |
| 2024-01-18 02:08:31 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-01-18 02:09:21 +0100 | khumba | (~khumba@user/khumba) |
| 2024-01-18 02:10:59 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) |
| 2024-01-18 02:11:25 +0100 | califax | (~califax@user/califx) |
| 2024-01-18 02:14:38 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-01-18 02:14:55 +0100 | califax | (~califax@user/califx) |
| 2024-01-18 02:30:05 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-01-18 02:30:17 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-01-18 02:31:41 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-01-18 02:41:10 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) (Ping timeout: 245 seconds) |
| 2024-01-18 02:43:00 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) |
| 2024-01-18 02:44:20 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2024-01-18 02:44:20 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2024-01-18 02:44:20 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2024-01-18 02:48:14 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-01-18 02:53:48 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) (Ping timeout: 256 seconds) |
| 2024-01-18 02:59:33 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) |
| 2024-01-18 03:07:37 +0100 | xff0x | (~xff0x@ai085147.d.east.v6connect.net) (Ping timeout: 264 seconds) |
| 2024-01-18 03:11:41 +0100 | <pie_> | {-# LANGUAGE Python #-} |
| 2024-01-18 03:12:20 +0100 | aforemny_ | (~aforemny@i59F516F5.versanet.de) |
| 2024-01-18 03:13:37 +0100 | aforemny | (~aforemny@i59F516E2.versanet.de) (Ping timeout: 264 seconds) |
| 2024-01-18 03:16:41 +0100 | mima | (~mmh@aftr-62-216-211-122.dynamic.mnet-online.de) (Ping timeout: 252 seconds) |
| 2024-01-18 03:18:41 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) (Ping timeout: 245 seconds) |
| 2024-01-18 03:23:01 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) |
| 2024-01-18 03:26:18 +0100 | <jackdk> | SyntaxError: not a chance |
| 2024-01-18 03:27:44 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-01-18 03:28:27 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-01-18 03:36:58 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-01-18 03:41:08 +0100 | fluxit | (~fluxit@192.241.192.75) |
| 2024-01-18 03:43:57 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-01-18 03:50:09 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-01-18 03:51:04 +0100 | khumba | (~khumba@user/khumba) () |
| 2024-01-18 04:07:34 +0100 | <glguy> | monochrom: Is it unpopular that you like them? It's a fantastic extension and it's a shame that it continues to be missed in the GHC extensions sets |
| 2024-01-18 04:09:17 +0100 | <glguy> | ImportQualifiedPost, BlockArguments, and LambdaCase are all in my default default-extensions: list |
| 2024-01-18 04:17:31 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2024-01-18 04:18:38 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2d24:d5c:94b1:61c) (Remote host closed the connection) |
| 2024-01-18 04:18:56 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2d24:d5c:94b1:61c) |
| 2024-01-18 04:24:30 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-01-18 04:27:16 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-01-18 04:27:27 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-01-18 04:32:25 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) (Ping timeout: 276 seconds) |
| 2024-01-18 04:35:41 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
| 2024-01-18 04:37:07 +0100 | <glguy> | BlockArguments and ImportQualifiedPost are just bugfixes for the grammar; I don't expect if they were the defaults anyone would be proposing the opposite extensions to restrict them |
| 2024-01-18 04:39:17 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) |
| 2024-01-18 04:45:01 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-18 04:55:50 +0100 | ricardo1 | (~ricardo@84.16.179.218) (Read error: Connection reset by peer) |
| 2024-01-18 04:57:03 +0100 | ricardo1 | (~ricardo@84.16.179.218) |
| 2024-01-18 04:59:49 +0100 | td_ | (~td@i53870908.versanet.de) (Ping timeout: 264 seconds) |
| 2024-01-18 05:01:11 +0100 | foul_owl | (~kerry@174-21-148-34.tukw.qwest.net) (Ping timeout: 252 seconds) |
| 2024-01-18 05:01:23 +0100 | td_ | (~td@i53870919.versanet.de) |
| 2024-01-18 05:03:34 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2024-01-18 05:07:26 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-01-18 05:08:51 +0100 | <monochrom> | glguy: An example of other people not wanting BlockArguments is https://discourse.haskell.org/t/ghc2024-community-input/8168/3 (so right where GHC2024 was discussed) |
| 2024-01-18 05:09:55 +0100 | <glguy> | Oh, I know people argued against it, but I think if they hadn't been exposed to the behavior it wouldn't be proposed to be readded |
| 2024-01-18 05:10:51 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
| 2024-01-18 05:11:30 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2024-01-18 05:11:30 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2024-01-18 05:11:30 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2024-01-18 05:11:51 +0100 | <yushyin> | I got used to BlockArguments because of purescript and now I usually also have it on in haskell, but I mostly don't care about ImportQualifiedPost. I don't really care where the 'qualified' appears, but I wouldn't mind if 'as' would imply 'qualified'. |
| 2024-01-18 05:12:19 +0100 | <glguy> | protecting Haskell newbies has lead to all sorts of silly mistakes without protecting us from all sorts of complex extensions to the language |
| 2024-01-18 05:13:03 +0100 | <monochrom> | I think their sentiments are only due to "f do x <- g y ..." which looks like "word word word <- word word" which looks like the wrong "func arg1 arg2 <- g y". |
| 2024-01-18 05:13:39 +0100 | <monochrom> | Although! They don't mind "f do \n x <- g y ...". |
| 2024-01-18 05:14:02 +0100 | <monochrom> | I think I saw that explanation somewhere on discourse too. |
| 2024-01-18 05:15:27 +0100 | foul_owl | (~kerry@157.97.134.168) |
| 2024-01-18 05:15:43 +0100 | <monochrom> | But I already said I love BlockArguments, all of it, so you need not convince me :) , and indeed you have exactly explained why I love it, Haskell2010 and prior had the wrong too-paranoid syntax. |
| 2024-01-18 05:15:47 +0100 | bilegeek | (~bilegeek@2600:1008:b095:4cd0:c3cf:f2b8:621a:fd11) |
| 2024-01-18 05:16:27 +0100 | <monochrom> | Protecting newbies? You ban do-notation altogether if you're sincere about protecting newbies. |
| 2024-01-18 05:17:38 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-18 05:20:07 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 240 seconds) |
| 2024-01-18 05:24:32 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) (Ping timeout: 256 seconds) |
| 2024-01-18 05:27:04 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) |
| 2024-01-18 05:27:15 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-01-18 05:34:42 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-18 05:35:50 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2024-01-18 05:36:02 +0100 | poscat0x04 | (~poscat@user/poscat) |
| 2024-01-18 05:41:51 +0100 | <EvanR> | there's a reason why newbies are not allowed on the committee |
| 2024-01-18 05:43:55 +0100 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 276 seconds) |
| 2024-01-18 05:46:19 +0100 | pavonia | (~user@user/siracusa) |
| 2024-01-18 05:46:31 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-01-18 05:48:31 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2024-01-18 05:48:44 +0100 | <haskellbridge> | 05<irregularsphere> can't you point newbs to documentation if they're confused |
| 2024-01-18 05:49:34 +0100 | aforemny | (~aforemny@2001:9e8:6cf6:2900:8148:97b5:b013:efe9) |
| 2024-01-18 05:49:49 +0100 | aforemny_ | (~aforemny@i59F516F5.versanet.de) (Ping timeout: 260 seconds) |
| 2024-01-18 05:50:52 +0100 | <haskellbridge> | 05<irregularsphere> nevermind i saw the context |
| 2024-01-18 05:52:27 +0100 | poscat | (~poscat@user/poscat) |
| 2024-01-18 05:54:27 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-18 05:56:35 +0100 | poscat | (~poscat@user/poscat) (Client Quit) |
| 2024-01-18 06:04:40 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-01-18 06:05:16 +0100 | poscat | (~poscat@user/poscat) |
| 2024-01-18 06:07:42 +0100 | tomith | (tomith@user/tomith) (Read error: Connection reset by peer) |
| 2024-01-18 06:07:47 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
| 2024-01-18 06:07:55 +0100 | tomith | (tomith@85-156-187-47.elisa-laajakaista.fi) |
| 2024-01-18 06:08:09 +0100 | michalz | (~michalz@185.246.207.205) |
| 2024-01-18 06:12:08 +0100 | <monochrom> | I always point people to documentation. But people who ask on IRC are people who reject the idea of reading documentation! |
| 2024-01-18 06:13:10 +0100 | Wstfgl0 | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
| 2024-01-18 06:13:41 +0100 | Me-me | (~me-me@user/me-me) (Ping timeout: 245 seconds) |
| 2024-01-18 06:14:12 +0100 | <monochrom> | The following always happens: |
| 2024-01-18 06:14:18 +0100 | <monochrom> | 1. They ask a question. |
| 2024-01-18 06:14:34 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-01-18 06:15:15 +0100 | <monochrom> | 2. You provide a link that answers that question. It is not even one of those indirect information that requires thinking. It is a direct answer. |
| 2024-01-18 06:15:36 +0100 | <monochrom> | 3. "Thanks for the link, I'll check it later. But can you answer my question right now?" |
| 2024-01-18 06:15:53 +0100 | <haskellbridge> | 05<irregularsphere> I was worried that GHC would remove features forever but then I discovered that you can set/unset features |
| 2024-01-18 06:16:06 +0100 | <sm> | I think always pasting just the right doc link is still very worthwhile, it educates people and it saves a certain amount of typing and rehashing |
| 2024-01-18 06:16:28 +0100 | <haskellbridge> | 05<irregularsphere> monochrom: they're being lazy then |
| 2024-01-18 06:16:53 +0100 | <monochrom> | Yes! Again think of why they chose IRC. |
| 2024-01-18 06:17:47 +0100 | <haskellbridge> | 05<irregularsphere> monochrom: Erm... because it appeared on haskell.org's community tab below the mailing list??? |
| 2024-01-18 06:18:26 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-18 06:18:34 +0100 | <haskellbridge> | 05<irregularsphere> Wait, people use mailing lists? |
| 2024-01-18 06:18:53 +0100 | <monochrom> | No. I use mailing lists, but I am not people. |
| 2024-01-18 06:20:25 +0100 | <monochrom> | One might also say: Wait, people use IRC? >:) |
| 2024-01-18 06:20:44 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-18 06:20:53 +0100 | <monochrom> | But what I described also happens during my office hours at school. |
| 2024-01-18 06:21:10 +0100 | <EvanR> | monochrom was finally replaced with a chat-gpt |
| 2024-01-18 06:22:22 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) |
| 2024-01-18 06:23:06 +0100 | <haskellbridge> | 05<irregularsphere> monochrom: I still acknowledge that some IRC chats are relatively active and well... but the _mailing list_? |
| 2024-01-18 06:23:13 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) (Ping timeout: 264 seconds) |
| 2024-01-18 06:24:15 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) |
| 2024-01-18 06:24:40 +0100 | <haskellbridge> | 06<sm> mailing lists are a thing, and useful, yes ? |
| 2024-01-18 06:25:27 +0100 | <monochrom> | Many profs at my school still use blackboard and chalk. |
| 2024-01-18 06:25:32 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-01-18 06:26:29 +0100 | <monochrom> | A student has just borrowed a physical book from the school physical library today. It is not even an old book without an ebook version. (It's The Little Schemer.) |
| 2024-01-18 06:26:36 +0100 | caconym | (~caconym@user/caconym) |
| 2024-01-18 06:26:40 +0100 | <monochrom> | Climate models still use Fortran code. |
| 2024-01-18 06:26:46 +0100 | causal | (~eric@50.35.85.7) (Quit: WeeChat 4.1.1) |
| 2024-01-18 06:26:54 +0100 | caconym | (~caconym@user/caconym) (Client Quit) |
| 2024-01-18 06:27:32 +0100 | <monochrom> | Oh yeah the Linux kernel devs still use a mailing list. >:) |
| 2024-01-18 06:27:38 +0100 | Wstfgl0 | Me-me |
| 2024-01-18 06:28:26 +0100 | <haskellbridge> | 06<sm> You can learn a lot by browsing or searching mail list archives https://mail.haskell.org/pipermail/haskell-cafe or https://groups.google.com/g/haskell-stack , and what's more did you know you can browse/search them extremely efficiently with a NNTP newsreader like Thunderbird ? |
| 2024-01-18 06:28:43 +0100 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Changing host) |
| 2024-01-18 06:28:43 +0100 | Me-me | (~me-me@user/me-me) |
| 2024-01-18 06:28:45 +0100 | <haskellbridge> | 05<irregularsphere> monochrom: right forgot the linux mailing list existed |
| 2024-01-18 06:36:27 +0100 | caconym | (~caconym@user/caconym) |
| 2024-01-18 06:37:38 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-18 06:41:22 +0100 | michalz | (~michalz@185.246.207.205) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-18 06:44:17 +0100 | michalz | (~michalz@185.246.207.221) |
| 2024-01-18 06:55:20 +0100 | <probie> | Mailing lists have the advantage of not locking you in to specific software; there are many implementations of email |
| 2024-01-18 07:02:58 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: I gotta go.) |
| 2024-01-18 07:06:07 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-01-18 07:07:43 +0100 | Guest70 | (~Guest70@69-165-220-190.dsl.teksavvy.com) |
| 2024-01-18 07:10:34 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) (Ping timeout: 246 seconds) |
| 2024-01-18 07:11:39 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) |
| 2024-01-18 07:13:01 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-01-18 07:13:48 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-01-18 07:14:04 +0100 | euleritian | (~euleritia@dynamic-046-114-092-231.46.114.pool.telefonica.de) |
| 2024-01-18 07:14:22 +0100 | euleritian | (~euleritia@dynamic-046-114-092-231.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-18 07:14:39 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-18 07:16:55 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-18 07:17:55 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-01-18 07:21:14 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-18 07:21:48 +0100 | mikess | (~mikess@user/mikess) |
| 2024-01-18 07:21:49 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-18 07:26:23 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-01-18 07:26:39 +0100 | euleritian | (~euleritia@dynamic-046-114-092-231.46.114.pool.telefonica.de) |
| 2024-01-18 07:27:28 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2024-01-18 07:29:49 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 246 seconds) |
| 2024-01-18 07:31:52 +0100 | mikess | (~mikess@user/mikess) (Quit: nyaa~) |
| 2024-01-18 07:34:19 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-01-18 07:34:31 +0100 | Guest70 | (~Guest70@69-165-220-190.dsl.teksavvy.com) (Quit: Client closed) |
| 2024-01-18 07:46:58 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2024-01-18 07:47:22 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2024-01-18 07:48:07 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) |
| 2024-01-18 07:52:23 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) (Ping timeout: 256 seconds) |
| 2024-01-18 07:55:34 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-01-18 08:02:33 +0100 | acidjnk | (~acidjnk@p200300d6e737e799153519f8f5371d87.dip0.t-ipconnect.de) |
| 2024-01-18 08:05:49 +0100 | <haskellbridge> | 06<sm> interesting: |
| 2024-01-18 08:05:50 +0100 | <haskellbridge> | 06<sm> > Most of my open source work was in the pre-GitHub days when we used mailing lists, not pull requests, to build community. I do think there was something better about that for the project itself as it encouraged a lot more discussion and community building. PR's and Issues become silos and are not great for general discussion. I think they also encourage drive-by contributions |
| 2024-01-18 08:05:50 +0100 | <haskellbridge> | which honestly a… |
| 2024-01-18 08:05:51 +0100 | <haskellbridge> | 06<sm> re intoxicating initially but once you see people are not coming back become defeating. |
| 2024-01-18 08:08:49 +0100 | <AmyMalik> | rull pequests |
| 2024-01-18 08:08:52 +0100 | <AmyMalik> | (idk) |
| 2024-01-18 08:09:04 +0100 | <AmyMalik> | (part of me wants to write my own issue tracker software that mixes into a mailing list) |
| 2024-01-18 08:09:07 +0100 | <dminuoso_> | sm: There's a lot of feedback loops that push towards drive-by contributions. Github is not a place of collaboration, its the software equivalent of tik-tok. Instead of thumbs up we have stars. Instead of meaningless short videos, we have commits. Subcriptions, weh ave those. |
| 2024-01-18 08:09:16 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-01-18 08:09:37 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-01-18 08:09:42 +0100 | <AmyMalik> | commits have always been a part of the proces. it's how changes to code are tracked |
| 2024-01-18 08:09:50 +0100 | <AmyMalik> | everyting else, yes. |
| 2024-01-18 08:10:23 +0100 | <dminuoso_> | The thing is, tooling can assist collaborative processes. Phabricator/Phorge is phenomenal. |
| 2024-01-18 08:10:24 +0100 | <haskellbridge> | 06<sm> dminuoso: that's what they're saying on this thread too. (GH is a social network with the same, if a little more hidden, negative misaligned motives as other big tech social networks) |
| 2024-01-18 08:10:46 +0100 | haskellbridge | 06<sm> inches another inch closer to exiting |
| 2024-01-18 08:11:39 +0100 | <haskellbridge> | 06<sm> by the way, I wonder if sr.ht's DDOS has been resolved |
| 2024-01-18 08:12:15 +0100 | <dminuoso_> | I mostly really do not understand how large github orgs like nixpkgs can function at all. |
| 2024-01-18 08:13:02 +0100 | <dminuoso_> | The kind of mess, where you try badly to encode your organizational structures into a mess of branches and 17 different CI bots |
| 2024-01-18 08:13:45 +0100 | <haskellbridge> | 06<sm> some great comments on this rust burnout thread: https://news.ycombinator.com/item?id=39026855 |
| 2024-01-18 08:13:45 +0100 | <dminuoso_> | Its not that I blame nixpkgs, its just that github is so illsuited, and the only motivation to even be there is to increase visibility of your project and hopefully get some other people involved in your project. |
| 2024-01-18 08:14:15 +0100 | <haskellbridge> | 06<sm> well that's a bit motivation.. |
| 2024-01-18 08:14:21 +0100 | <haskellbridge> | 06<sm> big |
| 2024-01-18 08:14:47 +0100 | <AmyMalik> | sr.ht has mitig'd the DDoS i think |
| 2024-01-18 08:14:47 +0100 | <haskellbridge> | 06<sm> but, maybe less critical than it was |
| 2024-01-18 08:14:51 +0100 | <dminuoso_> | Its why GHC moved from phabricator to gitlab too. Other than that motivation, it was nothing but major downgrades. |
| 2024-01-18 08:15:19 +0100 | <dminuoso_> | (It really saddens me how how people even still know about that software) |
| 2024-01-18 08:15:27 +0100 | <dminuoso_> | s/how how/how few/ |
| 2024-01-18 08:15:39 +0100 | <haskellbridge> | 06<sm> I remember a lot of complaints about it too |
| 2024-01-18 08:18:32 +0100 | <haskellbridge> | 06<sm> AmyMalik I await your great mail-chat-issues-wiki blend. I feel like there have been a few attempts, ikiwiki is a pretty good one |
| 2024-01-18 08:18:56 +0100 | <AmyMalik> | there will be no chat |
| 2024-01-18 08:19:00 +0100 | <AmyMalik> | and there will be no wiki |
| 2024-01-18 08:19:02 +0100 | <dminuoso_> | Obligatory https://xkcd.com/927/ |
| 2024-01-18 08:19:11 +0100 | <haskellbridge> | 06<sm> ha |
| 2024-01-18 08:19:12 +0100 | <AmyMalik> | dminuoso_, standard proliferation syndrome? |
| 2024-01-18 08:19:19 +0100 | <AmyMalik> | oh yes |
| 2024-01-18 08:19:56 +0100 | <dminuoso_> | You dont know the xkcd numbers from the top off your head? Shame on you. Where have you been the past 3 decades? |
| 2024-01-18 08:20:25 +0100 | <haskellbridge> | 06<sm> I've seen that one too many times |
| 2024-01-18 08:20:38 +0100 | <dminuoso_> | Or well, 2 decades. |
| 2024-01-18 08:21:53 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) |
| 2024-01-18 08:25:59 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-01-18 08:33:06 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-01-18 08:33:29 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-01-18 08:36:14 +0100 | <AmyMalik> | I've only been alive nearly 24 years. |
| 2024-01-18 08:36:40 +0100 | <AmyMalik> | xkcd is not a major part of my life. That said, I know there was a standard proliferation syndrome xkcd and I had the feeling you'd linked it, even before I checked |
| 2024-01-18 08:36:59 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-18 08:38:23 +0100 | <dminuoso_> | Oh, I'm just teasing you. |
| 2024-01-18 08:41:57 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-18 08:43:56 +0100 | mqlnv | (~tripod@47.154.25.27) (Ping timeout: 252 seconds) |
| 2024-01-18 08:47:10 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2024-01-18 08:53:59 +0100 | euleritian | (~euleritia@dynamic-046-114-092-231.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-18 08:54:16 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-18 08:55:42 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2024-01-18 09:01:39 +0100 | bilegeek | (~bilegeek@2600:1008:b095:4cd0:c3cf:f2b8:621a:fd11) (Quit: Leaving) |
| 2024-01-18 09:03:44 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-01-18 09:11:21 +0100 | Guest19 | (~Guest19@145.107.147.157) |
| 2024-01-18 09:13:17 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 240 seconds) |
| 2024-01-18 09:15:37 +0100 | todi | (~todi@p4fd1a54c.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-01-18 09:15:49 +0100 | todi | (~todi@p5dca5fa8.dip0.t-ipconnect.de) |
| 2024-01-18 09:20:13 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 264 seconds) |
| 2024-01-18 09:23:15 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-01-18 09:24:06 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-01-18 09:25:55 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-18 09:28:01 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-18 09:28:43 +0100 | cstml | (~cstml@user/cstml) |
| 2024-01-18 09:30:10 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2024-01-18 09:30:50 +0100 | cstml | (~cstml@user/cstml) (Client Quit) |
| 2024-01-18 09:31:45 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-01-18 09:41:58 +0100 | <AmyMalik> | Can you don't? |
| 2024-01-18 09:51:32 +0100 | <[exa]> | good morning all |
| 2024-01-18 09:53:46 +0100 | <[exa]> | AmyMalik: I wanted to have something that tracks the issues in git comments or so, but the dynamics & code interplay there would be interesting |
| 2024-01-18 09:53:53 +0100 | <AmyMalik> | hm |
| 2024-01-18 09:54:28 +0100 | <[exa]> | for the web you'd only have a renderer + some pull machinery, mail-y one wouldn't be bad |
| 2024-01-18 09:55:09 +0100 | <[exa]> | also forgejo was doing some kind of fediverse tracker but I completely lost track of how that is going |
| 2024-01-18 09:59:32 +0100 | <[exa]> | ("forgefed" or what was the name) |
| 2024-01-18 10:02:05 +0100 | <AmyMalik> | yeah |
| 2024-01-18 10:02:09 +0100 | <AmyMalik> | probably for the best |
| 2024-01-18 10:06:59 +0100 | mmhat | (~mmh@p200300f1c724f952ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-01-18 10:09:12 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-18 10:09:18 +0100 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) |
| 2024-01-18 10:09:32 +0100 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) () |
| 2024-01-18 10:12:17 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2d24:d5c:94b1:61c) (Remote host closed the connection) |
| 2024-01-18 10:14:21 +0100 | ParanoidMonoid | (~ParanoidM@217.7.130.9) |
| 2024-01-18 10:15:52 +0100 | CiaoSen | (~Jura@2a05:5800:2d5:6700:ca4b:d6ff:fec1:99da) |
| 2024-01-18 10:18:29 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-01-18 10:18:50 +0100 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2024-01-18 10:24:15 +0100 | _xor7 | (~xor@72.49.195.41) |
| 2024-01-18 10:25:21 +0100 | _xor | (~xor@72.49.195.41) (Ping timeout: 245 seconds) |
| 2024-01-18 10:25:21 +0100 | _xor7 | _xor |
| 2024-01-18 10:25:37 +0100 | kubrat | (~ugabuga@154.14.245.18) |
| 2024-01-18 10:28:15 +0100 | mima | (~mmh@aftr-62-216-211-245.dynamic.mnet-online.de) |
| 2024-01-18 10:33:23 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-01-18 10:42:31 +0100 | Square | (~Square@user/square) |
| 2024-01-18 10:46:39 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2d24:d5c:94b1:61c) |
| 2024-01-18 10:48:48 +0100 | <haskellbridge> | 15<Jade> is there any example where the definition of `fix` as `fix f = f (fix f)` yields different results to `fix f = let x = f x in x` beside performance? |
| 2024-01-18 10:48:58 +0100 | <haskellbridge> | 15<Jade> something that's visible in inputs/outputs |
| 2024-01-18 10:50:04 +0100 | <ncf> | i'd be very surprised |
| 2024-01-18 10:50:16 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2024-01-18 10:50:52 +0100 | Guest19 | (~Guest19@145.107.147.157) (Quit: Client closed) |
| 2024-01-18 10:53:40 +0100 | <ncf> | they're both definitions of the least fixed point of f, so any difference would not be based on semantics at least |
| 2024-01-18 10:54:48 +0100 | <haskellbridge> | 15<Jade> yeah, I was wondering about laziness specifically |
| 2024-01-18 10:55:18 +0100 | <haskellbridge> | 15<Jade> because the latter which is also how it's defined in base doesn't call `f` multiple times (can be observed with trace) |
| 2024-01-18 10:55:43 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-01-18 11:02:16 +0100 | danse-nr3 | (~danse@151.37.180.25) |
| 2024-01-18 11:02:16 +0100 | tomith | (tomith@85-156-187-47.elisa-laajakaista.fi) (Changing host) |
| 2024-01-18 11:02:16 +0100 | tomith | (tomith@user/tomith) |
| 2024-01-18 11:03:46 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-01-18 11:04:15 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-01-18 11:05:32 +0100 | ParanoidMonoid | (~ParanoidM@217.7.130.9) (Quit: Client closed) |
| 2024-01-18 11:08:26 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-18 11:08:57 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-01-18 11:09:34 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 276 seconds) |
| 2024-01-18 11:10:09 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2024-01-18 11:10:23 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-01-18 11:12:06 +0100 | chomwitt | (~chomwitt@2a02:587:7a12:5900:1ac0:4dff:fedb:a3f1) |
| 2024-01-18 11:13:17 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2024-01-18 11:19:33 +0100 | average | (uid473595@user/average) |
| 2024-01-18 11:21:45 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-01-18 11:25:00 +0100 | ParanoidMonoid | (~ParanoidM@217.7.130.9) |
| 2024-01-18 11:26:10 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 245 seconds) |
| 2024-01-18 11:26:36 +0100 | ParanoidMonoid | (~ParanoidM@217.7.130.9) (Client Quit) |
| 2024-01-18 11:30:07 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 256 seconds) |
| 2024-01-18 11:30:28 +0100 | kubrat | (~ugabuga@154.14.245.18) (Quit: leaving) |
| 2024-01-18 11:34:39 +0100 | chomwitt | (~chomwitt@2a02:587:7a12:5900:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds) |
| 2024-01-18 11:35:08 +0100 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2024-01-18 11:35:32 +0100 | Square2 | (~Square4@user/square) |
| 2024-01-18 11:35:54 +0100 | puke | (~puke@user/puke) |
| 2024-01-18 11:37:13 +0100 | puke | (~puke@user/puke) (Excess Flood) |
| 2024-01-18 11:37:51 +0100 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2024-01-18 11:37:59 +0100 | puke | (~puke@user/puke) |
| 2024-01-18 11:39:25 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 264 seconds) |
| 2024-01-18 11:39:54 +0100 | fansly | (~fansly@2404:c0:5c20::1115:8699) |
| 2024-01-18 11:39:58 +0100 | fansly | (~fansly@2404:c0:5c20::1115:8699) (Read error: Connection reset by peer) |
| 2024-01-18 11:40:07 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 276 seconds) |
| 2024-01-18 11:40:35 +0100 | fansly | (~fansly@2404:c0:5c20::1115:8699) |
| 2024-01-18 11:42:55 +0100 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2024-01-18 11:44:02 +0100 | fansly | (~fansly@2404:c0:5c20::1115:8699) (Read error: Connection reset by peer) |
| 2024-01-18 11:45:08 +0100 | fansly | (~fansly@2404:c0:5c20::1115:8699) |
| 2024-01-18 11:46:17 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2024-01-18 11:48:56 +0100 | fansly | (~fansly@2404:c0:5c20::1115:8699) (Read error: Connection reset by peer) |
| 2024-01-18 11:49:17 +0100 | fansly | (~fansly@2404:c0:5c20::1115:8699) |
| 2024-01-18 11:49:23 +0100 | fansly | (~fansly@2404:c0:5c20::1115:8699) (Read error: Connection reset by peer) |
| 2024-01-18 11:50:31 +0100 | fansly | (~fansly@2404:c0:5c20::1115:8699) |
| 2024-01-18 11:53:27 +0100 | poscat | (~poscat@user/poscat) |
| 2024-01-18 11:53:44 +0100 | fansly | (~fansly@2404:c0:5c20::1115:8699) (Read error: Connection reset by peer) |
| 2024-01-18 11:55:15 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-01-18 11:56:52 +0100 | poscat | (~poscat@user/poscat) (Client Quit) |
| 2024-01-18 12:00:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-18 12:01:51 +0100 | danse-nr3 | (~danse@151.37.180.25) (Read error: Connection reset by peer) |
| 2024-01-18 12:02:55 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-18 12:03:07 +0100 | danse-nr3 | (~danse@151.37.176.144) |
| 2024-01-18 12:03:15 +0100 | poscat | (~poscat@user/poscat) |
| 2024-01-18 12:03:40 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-18 12:05:18 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
| 2024-01-18 12:06:47 +0100 | xff0x | (~xff0x@2405:6580:b080:900:305b:52e3:cce8:b170) |
| 2024-01-18 12:07:01 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2024-01-18 12:07:41 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 240 seconds) |
| 2024-01-18 12:10:37 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2024-01-18 12:15:35 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-01-18 12:16:37 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) (Ping timeout: 264 seconds) |
| 2024-01-18 12:17:41 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-18 12:18:54 +0100 | vglfr | (~vglfr@112.pool85-48-57.dynamic.orange.es) |
| 2024-01-18 12:22:50 +0100 | vglfr | (~vglfr@112.pool85-48-57.dynamic.orange.es) (Read error: Connection reset by peer) |
| 2024-01-18 12:23:09 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) |
| 2024-01-18 12:23:57 +0100 | divya | (~user@103.199.180.168) |
| 2024-01-18 12:24:39 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-01-18 12:25:46 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-01-18 12:28:46 +0100 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-01-18 12:40:15 +0100 | xff0x | (~xff0x@2405:6580:b080:900:305b:52e3:cce8:b170) (Ping timeout: 256 seconds) |
| 2024-01-18 12:42:06 +0100 | xff0x | (~xff0x@ai085147.d.east.v6connect.net) |
| 2024-01-18 12:45:34 +0100 | CiaoSen | (~Jura@2a05:5800:2d5:6700:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-01-18 12:49:11 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-01-18 12:50:15 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-01-18 12:50:51 +0100 | mqlnv | (~tripod@47.154.25.27) |
| 2024-01-18 12:54:35 +0100 | <sshine> | I'm looking for a package I can't remember the name of. it's a template system like jinja2, but with compile-time validated templates (giving you warnings if a variable is missing, for example). |
| 2024-01-18 12:57:38 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-01-18 12:58:55 +0100 | <[exa]> | sshine: https://hackage.haskell.org/package/hamlet ? |
| 2024-01-18 12:58:59 +0100 | <sshine> | stache, burrito, whiskers, microstache, mustache-haskell, tinytemplate, scotty-hastache, mustache... shakespeare! |
| 2024-01-18 12:59:17 +0100 | <[exa]> | ah yeah it's now shakespeare |
| 2024-01-18 13:00:01 +0100 | <danse-nr3> | did not even know one could use shakespear standalone |
| 2024-01-18 13:00:57 +0100 | <sshine> | danse-nr3, totally. |
| 2024-01-18 13:05:24 +0100 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-01-18 13:05:49 +0100 | kronicmage | (user29139@neotame.csclub.uwaterloo.ca) (Ping timeout: 246 seconds) |
| 2024-01-18 13:14:40 +0100 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2024-01-18 13:20:29 +0100 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) (Ping timeout: 240 seconds) |
| 2024-01-18 13:23:19 +0100 | mniip | (mniip@libera/staff/mniip) (Ping timeout: 606 seconds) |
| 2024-01-18 13:24:30 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-18 13:28:23 +0100 | mniip | (mniip@libera/staff/mniip) |
| 2024-01-18 13:36:14 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-18 13:36:43 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-18 13:40:19 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 256 seconds) |
| 2024-01-18 13:40:39 +0100 | fansly | (~fansly@182.2.137.152) |
| 2024-01-18 13:45:56 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-01-18 13:48:49 +0100 | kronicmage | (~kronicmag@neotame.csclub.uwaterloo.ca) |
| 2024-01-18 13:55:37 +0100 | danse-nr3 | (~danse@151.37.176.144) (Ping timeout: 260 seconds) |
| 2024-01-18 13:57:10 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 255 seconds) |
| 2024-01-18 14:08:14 +0100 | fansly | (~fansly@182.2.137.152) (Read error: Connection reset by peer) |
| 2024-01-18 14:08:49 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-18 14:12:52 +0100 | chomwitt | (~chomwitt@ppp-94-67-201-143.home.otenet.gr) |
| 2024-01-18 14:15:23 +0100 | jjhoo | (~jahakala@user/jjhoo) |
| 2024-01-18 14:15:25 +0100 | <Square2> | Does OCaml (and F#) feel anything like working with Haskell? I thought they were more similar but now I get the vibe ocaml is almost an imperative language? |
| 2024-01-18 14:19:22 +0100 | <shapr> | I'd say that depends on how you use it. I've seen extremely imperative OCaml code coming out of places like Jane Street, and closer to pure code coming out of research people. |
| 2024-01-18 14:19:36 +0100 | <shapr> | But I've never been an active user of OCaml, so that's just my anecdata |
| 2024-01-18 14:19:40 +0100 | <shapr> | Haven't used F# at all |
| 2024-01-18 14:24:06 +0100 | danse-nr3 | (~danse@151.37.176.144) |
| 2024-01-18 14:25:57 +0100 | <tinjamin> | gm gang |
| 2024-01-18 14:28:07 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-01-18 14:28:37 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2024-01-18 14:31:58 +0100 | mima | (~mmh@aftr-62-216-211-245.dynamic.mnet-online.de) (Ping timeout: 260 seconds) |
| 2024-01-18 14:36:39 +0100 | <Square2> | shapr, thanks |
| 2024-01-18 14:37:14 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2024-01-18 14:37:29 +0100 | <shapr> | goood morning tinjamin ! How's code treating you? |
| 2024-01-18 14:38:30 +0100 | lisbeths_ | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-01-18 14:41:44 +0100 | <lisbeths_> | check out #lambdacalulus if you love lambdas and want to discuss them as a community |
| 2024-01-18 14:41:56 +0100 | <lisbeths_> | we are trying to grow our channel |
| 2024-01-18 14:44:23 +0100 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
| 2024-01-18 14:47:47 +0100 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) |
| 2024-01-18 14:50:36 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2024-01-18 14:51:20 +0100 | vglfr | (~vglfr@65.red-88-6-212.staticip.rima-tde.net) (Read error: Connection reset by peer) |
| 2024-01-18 14:51:24 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-01-18 14:51:58 +0100 | gooba_ | (~gooba@91.196.223.13) |
| 2024-01-18 14:54:28 +0100 | goober__ | (~gooba@45.84.136.241) |
| 2024-01-18 14:55:07 +0100 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Ping timeout: 276 seconds) |
| 2024-01-18 14:57:15 +0100 | gooba_ | (~gooba@91.196.223.13) (Ping timeout: 268 seconds) |
| 2024-01-18 14:59:13 +0100 | divya | (~user@103.199.180.168) (Ping timeout: 264 seconds) |
| 2024-01-18 15:00:27 +0100 | gooba_ | (~gooba@90-231-13-185-no3430.tbcn.telia.com) |
| 2024-01-18 15:02:53 +0100 | goober__ | (~gooba@45.84.136.241) (Ping timeout: 252 seconds) |
| 2024-01-18 15:09:19 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-01-18 15:14:21 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2024-01-18 15:16:19 +0100 | CiaoSen | (~Jura@2a05:5800:2d5:6700:ca4b:d6ff:fec1:99da) |
| 2024-01-18 15:17:07 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) (Quit: myxos) |
| 2024-01-18 15:17:23 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-01-18 15:18:02 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-01-18 15:18:16 +0100 | euleritian | (~euleritia@dynamic-046-114-165-134.46.114.pool.telefonica.de) |
| 2024-01-18 15:25:46 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2024-01-18 15:25:46 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2024-01-18 15:25:46 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2024-01-18 15:36:11 +0100 | mechap | (~mechap@user/mechap) |
| 2024-01-18 15:36:59 +0100 | danse-nr3 | (~danse@151.37.176.144) (Ping timeout: 252 seconds) |
| 2024-01-18 15:40:01 +0100 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 264 seconds) |
| 2024-01-18 15:40:21 +0100 | danse-nr3 | (~danse@151.37.176.144) |
| 2024-01-18 15:46:43 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-01-18 15:47:19 +0100 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-01-18 15:51:01 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 246 seconds) |
| 2024-01-18 15:52:24 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-01-18 15:54:52 +0100 | danse-nr3 | (~danse@151.37.176.144) (Ping timeout: 246 seconds) |
| 2024-01-18 15:55:49 +0100 | average | (uid473595@user/average) |
| 2024-01-18 15:59:53 +0100 | mima | (~mmh@dhcp-138-246-3-113.dynamic.eduroam.mwn.de) |
| 2024-01-18 16:03:41 +0100 | mmhat | (~mmh@p200300f1c724f952ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-01-18 16:04:03 +0100 | mmhat | (~mmh@p200300f1c724f91cee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-01-18 16:12:39 +0100 | <tinjamin> | shapr: about to start on strings |
| 2024-01-18 16:13:00 +0100 | <tinjamin> | very early in the textbook but idk how it's gonna get me coding lol |
| 2024-01-18 16:13:14 +0100 | <shapr> | people like to read things on computers? |
| 2024-01-18 16:15:22 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-01-18 16:17:41 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-01-18 16:22:26 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2024-01-18 16:22:40 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.1.2) |
| 2024-01-18 16:30:53 +0100 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 252 seconds) |
| 2024-01-18 16:33:46 +0100 | CiaoSen | (~Jura@2a05:5800:2d5:6700:ca4b:d6ff:fec1:99da) (Ping timeout: 256 seconds) |
| 2024-01-18 16:41:54 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-01-18 16:46:22 +0100 | chomwitt | (~chomwitt@ppp-94-67-201-143.home.otenet.gr) (Ping timeout: 255 seconds) |
| 2024-01-18 16:46:45 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 256 seconds) |
| 2024-01-18 16:47:24 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-01-18 16:47:56 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-01-18 16:59:33 +0100 | todi | (~todi@p5dca5fa8.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2024-01-18 17:01:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-18 17:07:48 +0100 | danse-nr3 | (~danse@151.35.139.248) |
| 2024-01-18 17:07:50 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-01-18 17:08:26 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-01-18 17:14:20 +0100 | mqlnv | (~tripod@47.154.25.27) (Ping timeout: 252 seconds) |
| 2024-01-18 17:16:16 +0100 | mqlnv | (~tripod@47.154.25.27) |
| 2024-01-18 17:20:43 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 276 seconds) |
| 2024-01-18 17:22:06 +0100 | <tinjamin> | shapr: read on a computer or read about computers...? |
| 2024-01-18 17:22:54 +0100 | <tinjamin> | i personally prefer reading on paper but it gets expensive so i suck it up and read on my thinkpad |
| 2024-01-18 17:24:00 +0100 | <shapr> | tinjamin: I bought an e-ink tablet, it's better than a screen, but not quite as good as paper |
| 2024-01-18 17:24:25 +0100 | <shapr> | tinjamin: I was just saying learning about strings is certainly a good way to get into programming |
| 2024-01-18 17:25:09 +0100 | <shapr> | Last time I taught programming at a job, the hook was "does the CEO still write their own emails?" since the company had tripled in size in the past two years |
| 2024-01-18 17:26:08 +0100 | <tinjamin> | shapr: yeah im a college student taking a gap semester and during my CS days my professors loved to start w strings |
| 2024-01-18 17:26:52 +0100 | <shapr> | So we had a fun wander around the subject of author identification https://en.wikipedia.org/wiki/Author_profiling |
| 2024-01-18 17:27:00 +0100 | <shapr> | we did markov chains |
| 2024-01-18 17:27:37 +0100 | <shapr> | We compared vocabulary choice and phrase structure among documents. |
| 2024-01-18 17:28:41 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2d24:d5c:94b1:61c) (Remote host closed the connection) |
| 2024-01-18 17:29:03 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2d24:d5c:94b1:61c) |
| 2024-01-18 17:29:29 +0100 | <shapr> | tinjamin: I spent six months teaching a class to formerly non-technical coworkers. |
| 2024-01-18 17:29:35 +0100 | <AmyMalik> | oh no |
| 2024-01-18 17:29:39 +0100 | <AmyMalik> | shapr, how'd that go |
| 2024-01-18 17:29:47 +0100 | <shapr> | By the end, five or six of them were newly minted programmers! |
| 2024-01-18 17:29:48 +0100 | <tinjamin> | doing the lords work right there |
| 2024-01-18 17:29:54 +0100 | <shapr> | Most of them dropped out |
| 2024-01-18 17:29:54 +0100 | <duncan> | thinkpad displays were historically really really horrible for reading |
| 2024-01-18 17:30:07 +0100 | <duncan> | really dim with terrible viewing angles |
| 2024-01-18 17:30:25 +0100 | <shapr> | None of us knew anything about author identification before the class |
| 2024-01-18 17:30:29 +0100 | <tinjamin> | duncan: but how can one leave the thinkpad keyboard and the majestic nipple |
| 2024-01-18 17:30:37 +0100 | <duncan> | tinjamin: easily |
| 2024-01-18 17:30:37 +0100 | <shapr> | at the end of six months, we knew much more about *how* to do author identification |
| 2024-01-18 17:30:43 +0100 | <shapr> | but we never got it working at all! |
| 2024-01-18 17:31:32 +0100 | <danse-nr3> | is that an engineering department, or science? |
| 2024-01-18 17:32:00 +0100 | <shapr> | danse-nr3: which thing? |
| 2024-01-18 17:32:12 +0100 | <shapr> | tinjamin: I agree, I cannot live without a trackpoint on my laptop keyboard |
| 2024-01-18 17:32:30 +0100 | <danse-nr3> | i thought you were talking about a class at university |
| 2024-01-18 17:32:38 +0100 | <shapr> | AmyMalik: Have you tried and had bad experiences teaching the non-technical? |
| 2024-01-18 17:33:05 +0100 | <AmyMalik> | negative |
| 2024-01-18 17:33:17 +0100 | <danse-nr3> | never saw six-month classes in a company |
| 2024-01-18 17:33:32 +0100 | <AmyMalik> | I'm 23 and can barely bang two numbers together. You'd sooner see me making a mess in C than haskellizing. |
| 2024-01-18 17:33:40 +0100 | <shapr> | My conclusion is that motivated humans can learn almost anything, and that's the division, whether someone wants to |
| 2024-01-18 17:33:49 +0100 | <shapr> | AmyMalik: good way to start |
| 2024-01-18 17:34:50 +0100 | <shapr> | danse-nr3: Oh, I decided my employer needed classes, so I organized a bunch of coworkers who were vaguely interested in learning stuff |
| 2024-01-18 17:35:04 +0100 | <AmyMalik> | owo |
| 2024-01-18 17:35:12 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-18 17:35:12 +0100 | <danse-nr3> | yeah that is awesome. A company based in the states? |
| 2024-01-18 17:35:16 +0100 | <shapr> | Yup |
| 2024-01-18 17:35:22 +0100 | <shapr> | but I've done that when I worked outside the states |
| 2024-01-18 17:35:31 +0100 | <shapr> | I taught classes when I lived in Finland |
| 2024-01-18 17:36:02 +0100 | <danse-nr3> | that is great company culture, not very startuppy i assume |
| 2024-01-18 17:36:14 +0100 | shapr | shrugs |
| 2024-01-18 17:36:19 +0100 | <shapr> | It was a small startup when I joined |
| 2024-01-18 17:36:22 +0100 | <shapr> | then it tripled in size |
| 2024-01-18 17:36:32 +0100 | <Hecate> | it now boasts 3 employees! |
| 2024-01-18 17:36:34 +0100 | <AmyMalik> | startups are a lie |
| 2024-01-18 17:36:35 +0100 | <Hecate> | (/s) |
| 2024-01-18 17:36:35 +0100 | <shapr> | haha! |
| 2024-01-18 17:36:39 +0100 | <shapr> | salut Hecate, ca va? |
| 2024-01-18 17:36:40 +0100 | <danse-nr3> | i thought startups would mostly hustle |
| 2024-01-18 17:36:47 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2024-01-18 17:36:47 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2024-01-18 17:36:47 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2024-01-18 17:36:50 +0100 | <shapr> | danse-nr3: they're all different |
| 2024-01-18 17:36:51 +0100 | <Hecate> | shapr: ça va bien, merci ! et toi ? |
| 2024-01-18 17:36:55 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2024-01-18 17:37:02 +0100 | <shapr> | tres bien, mais un peu froid! |
| 2024-01-18 17:37:16 +0100 | <shapr> | Hecate: I moved to the Lesser Boston area two weeks ago! |
| 2024-01-18 17:37:23 +0100 | <shapr> | If you visit Boston, you can stay in my spare room |
| 2024-01-18 17:37:47 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-18 17:38:08 +0100 | <danse-nr3> | haskellsurfing (= |
| 2024-01-18 17:38:14 +0100 | <shapr> | yeah! I've done that for years! |
| 2024-01-18 17:38:38 +0100 | <Vq> | shapr: God afton formarn |
| 2024-01-18 17:38:48 +0100 | <shapr> | hej hopp Vq! hur mår du idag? |
| 2024-01-18 17:38:53 +0100 | <shapr> | också kalt i sverige? |
| 2024-01-18 17:38:54 +0100 | <Hecate> | shapr: ah ouais, ça doit être froid là-bas :| |
| 2024-01-18 17:39:03 +0100 | <shapr> | quelle dommage! |
| 2024-01-18 17:39:08 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-18 17:39:24 +0100 | <Hecate> | shapr: c'est ton problème, après tout :P ici il commence à neiger |
| 2024-01-18 17:39:29 +0100 | <Vq> | Nah, it's warm now, -5°C currently. |
| 2024-01-18 17:39:35 +0100 | <Hecate> | j'ai lancé mes premières boules de neige de l'hiver |
| 2024-01-18 17:39:40 +0100 | <Hecate> | Vq: haha |
| 2024-01-18 17:39:42 +0100 | <Hecate> | good |
| 2024-01-18 17:40:07 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 240 seconds) |
| 2024-01-18 17:40:07 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2024-01-18 17:40:24 +0100 | <shapr> | Hecate: haha, I should have tried that |
| 2024-01-18 17:40:34 +0100 | <shapr> | it's snowed three times since I arrived in Massachusetts! |
| 2024-01-18 17:42:00 +0100 | <shapr> | Hecate: Is flora something I could install and use locally? |
| 2024-01-18 17:42:46 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-18 17:42:57 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-01-18 17:44:18 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-18 17:44:35 +0100 | <shapr> | Vq: skriver du Haskell än? för pengar? |
| 2024-01-18 17:44:35 +0100 | Eoco | (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 2024-01-18 17:44:52 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-01-18 17:46:12 +0100 | <Vq> | shapr: Only for enjoyment these days I'm afraid. |
| 2024-01-18 17:46:25 +0100 | <danse-nr3> | that aen sounds like "on". Write you haskell on? Something along those lines ... :) |
| 2024-01-18 17:46:37 +0100 | <shapr> | ah, tyvärr |
| 2024-01-18 17:46:55 +0100 | <Vq> | shapr: Did some of AoC this year in Haskell. |
| 2024-01-18 17:47:00 +0100 | <shapr> | danse-nr3: pretty close! it was "write you Haskell yet? For money?" |
| 2024-01-18 17:47:06 +0100 | <Hecate> | shapr: good question: yes you can install it locally (after all, I do this for development), but "use" it a bit tricky ;-D |
| 2024-01-18 17:47:09 +0100 | <shapr> | Vq: oh nice |
| 2024-01-18 17:47:25 +0100 | <Hecate> | shapr: as its stands, flora-server is a good meta-index (for hackage, cardano & horizon package indexes) |
| 2024-01-18 17:47:38 +0100 | <Hecate> | but it's not yet fit to be a package repo itself |
| 2024-01-18 17:47:50 +0100 | <shapr> | ah, ok |
| 2024-01-18 17:47:50 +0100 | <Hecate> | shapr: YOUR HELP WOULD BE GREATLY APPRECIATED ON THIS! |
| 2024-01-18 17:47:53 +0100 | <shapr> | YAY |
| 2024-01-18 17:47:54 +0100 | <Hecate> | <3 <3 <3 |
| 2024-01-18 17:48:10 +0100 | <Hecate> | shapr: we've gotten some initial contributions so it's not "from scratch" |
| 2024-01-18 17:48:48 +0100 | <Hecate> | also I'm simplifying / restricting things a bit, like "no revisions", and if there is a builder, the CI will make sure that every package can build together, like Stackage |
| 2024-01-18 17:49:15 +0100 | <shapr> | uh, I think I have to go read the feature list |
| 2024-01-18 17:49:18 +0100 | <shapr> | I don't remember this part |
| 2024-01-18 17:49:35 +0100 | shapr | starts from https://flora.pm/about |
| 2024-01-18 17:49:52 +0100 | <Hecate> | shapr: well you can't remember it because you never saw it, because I never wrote it |
| 2024-01-18 17:50:05 +0100 | <Hecate> | because flora.pm is a meta-index so it cannot take such decisions |
| 2024-01-18 17:50:07 +0100 | <shapr> | oh! |
| 2024-01-18 17:50:11 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-18 17:50:19 +0100 | <Hecate> | the self-hosted flora-server will be the one having those features |
| 2024-01-18 17:50:26 +0100 | Guest|17 | (~Guest|17@160.97.252.39) |
| 2024-01-18 17:50:33 +0100 | <Hecate> | see my previous message about help being greatly appreciated |
| 2024-01-18 17:50:36 +0100 | Guest|17 | (~Guest|17@160.97.252.39) (Client Quit) |
| 2024-01-18 17:50:58 +0100 | <Hecate> | shapr: are you looking into replacing a self-hosted Hackage / github workflow? |
| 2024-01-18 17:51:29 +0100 | <shapr> | nope, I have a brain thunk that says "flora is awesome, do neat things with it" |
| 2024-01-18 17:52:03 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-18 17:52:38 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-18 17:53:56 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 252 seconds) |
| 2024-01-18 17:55:35 +0100 | danse-nr3 | (~danse@151.35.139.248) (Ping timeout: 252 seconds) |
| 2024-01-18 17:56:19 +0100 | <Hecate> | shapr: don't hesitate to ask me anything, and there's a matrix room in the Haskell space if you wish to ask very specific questions |
| 2024-01-18 17:56:24 +0100 | <Hecate> | or just get news of development |
| 2024-01-18 17:56:34 +0100 | <shapr> | and the first step to that is "What are the limits of what I can do with flora?" |
| 2024-01-18 17:56:46 +0100 | <shapr> | Hecate: thanks, I'll go find the flora matrix room |
| 2024-01-18 17:58:03 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-01-18 17:58:28 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-01-18 17:59:55 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-18 18:00:16 +0100 | statusbot3 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2024-01-18 18:00:25 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 264 seconds) |
| 2024-01-18 18:00:52 +0100 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Read error: Connection reset by peer) |
| 2024-01-18 18:01:29 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-01-18 18:01:58 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-18 18:02:35 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-01-18 18:02:59 +0100 | <shapr> | tinjamin: oh, I used all the things I learned from teaching that class to make the world's most efficient keyboard layout: https://github.com/shapr/markovkeyboard |
| 2024-01-18 18:04:23 +0100 | <c_wraith> | oh no |
| 2024-01-18 18:04:31 +0100 | <tinjamin> | bruh |
| 2024-01-18 18:04:33 +0100 | <shapr> | oh yes! |
| 2024-01-18 18:04:46 +0100 | <tinjamin> | i just learned colemak-dh in october |
| 2024-01-18 18:05:10 +0100 | <tinjamin> | i can't imagine using that bro |
| 2024-01-18 18:05:16 +0100 | <tinjamin> | changes as u type |
| 2024-01-18 18:07:22 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-01-18 18:08:42 +0100 | euleritian | (~euleritia@dynamic-046-114-165-134.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-18 18:08:57 +0100 | euleritian | (~euleritia@dynamic-046-114-165-134.46.114.pool.telefonica.de) |
| 2024-01-18 18:09:20 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-18 18:09:23 +0100 | mokee | (~mokee@37.228.215.150) |
| 2024-01-18 18:09:23 +0100 | <glguy> | TIL \cases - https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/lambda_case.html#lambda-case |
| 2024-01-18 18:09:42 +0100 | <glguy> | (vs \case) |
| 2024-01-18 18:09:57 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 260 seconds) |
| 2024-01-18 18:09:59 +0100 | <c_wraith> | you don't need to tuple everything! |
| 2024-01-18 18:10:17 +0100 | fansly | (~fansly@180.244.160.9) |
| 2024-01-18 18:10:19 +0100 | <ski> | yea, have seen it, when looking at some TH stuff |
| 2024-01-18 18:10:26 +0100 | <waldo> | dude |
| 2024-01-18 18:10:55 +0100 | <waldo> | why would they call it a cabal if it isn't one |
| 2024-01-18 18:12:15 +0100 | <waldo> | it seems pretty clear that it _is_ a cabal |
| 2024-01-18 18:12:15 +0100 | <c_wraith> | that raises an interesting question. Did Sun Microsystems go out of business because they weren't a star? |
| 2024-01-18 18:12:39 +0100 | <glguy> | I think they did that knowing that Rust would name it's build tool "cargo" as part of long planned troll attempt to get me to mistype one for the other. |
| 2024-01-18 18:13:40 +0100 | <sclv> | common architecture for building applications and libraries |
| 2024-01-18 18:14:39 +0100 | <duncan> | c_wraith: Sun was a victim of the dotcom collapse + professionalisation of Linux |
| 2024-01-18 18:15:08 +0100 | <tinjamin> | What does it mean by 'a summary value one element at a time' in the documentation for foldable: "The Foldable class represents data structures that can be reduced to a summary value one element at a time." |
| 2024-01-18 18:15:27 +0100 | <tinjamin> | :t concat |
| 2024-01-18 18:15:28 +0100 | <lambdabot> | Foldable t => t [a] -> [a] |
| 2024-01-18 18:15:39 +0100 | <yushyin> | glguy: i like the \cases-extension! |
| 2024-01-18 18:15:49 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 2024-01-18 18:15:57 +0100 | danse-nr3 | (~danse@151.35.139.248) |
| 2024-01-18 18:16:26 +0100 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Quit: The Lounge - https://thelounge.chat) |
| 2024-01-18 18:16:53 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-01-18 18:17:08 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-01-18 18:17:27 +0100 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
| 2024-01-18 18:17:59 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-18 18:18:05 +0100 | causal | (~eric@50.35.85.7) |
| 2024-01-18 18:19:16 +0100 | Eoco | (~ian@128.101.131.218) (Client Quit) |
| 2024-01-18 18:23:15 +0100 | euleritian | (~euleritia@dynamic-046-114-165-134.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-18 18:23:33 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-18 18:25:23 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-18 18:26:25 +0100 | <mniip> | tinjamin, (reduced to a summary value) one element at a time |
| 2024-01-18 18:27:05 +0100 | <mniip> | :t foldMap |
| 2024-01-18 18:27:07 +0100 | <lambdabot> | (Foldable t, Monoid m) => (a -> m) -> t a -> m |
| 2024-01-18 18:27:28 +0100 | <mniip> | a is the element and m is the summary value, and the function only takes one a, so one element at a time |
| 2024-01-18 18:27:38 +0100 | <tinjamin> | sorry i accidentally left the chat so idk if i missed any previous explanations |
| 2024-01-18 18:27:54 +0100 | <mniip> | you did not |
| 2024-01-18 18:27:55 +0100 | <ski> | you didn't |
| 2024-01-18 18:28:00 +0100 | <tinjamin> | okay thanks |
| 2024-01-18 18:28:07 +0100 | <ski> | @type foldl |
| 2024-01-18 18:28:08 +0100 | <lambdabot> | Foldable t => (b -> a -> b) -> b -> t a -> b |
| 2024-01-18 18:28:34 +0100 | <ski> | callback takes one `a' at a time, combines it with the current summary/accumulator `b', to produce the next one |
| 2024-01-18 18:29:11 +0100 | <tinjamin> | so `b` is like the "storage" that gets appended the values of `a` |
| 2024-01-18 18:29:50 +0100 | <mniip> | you could call it an accumulator, yes |
| 2024-01-18 18:30:11 +0100 | <tinjamin> | holy, that makes so much sense |
| 2024-01-18 18:30:22 +0100 | <mniip> | generally, `Foldable` is just things that can be converted to list |
| 2024-01-18 18:31:02 +0100 | <ski> | > foldl (**) z [a,b,c,d] |
| 2024-01-18 18:31:03 +0100 | <lambdabot> | (((z**a)**b)**c)**d |
| 2024-01-18 18:31:11 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 245 seconds) |
| 2024-01-18 18:31:35 +0100 | <tinjamin> | :t foldl |
| 2024-01-18 18:31:37 +0100 | <lambdabot> | Foldable t => (b -> a -> b) -> b -> t a -> b |
| 2024-01-18 18:31:58 +0100 | <tinjamin> | ski: thats fire bruv, tysm |
| 2024-01-18 18:32:50 +0100 | <ski> | > foldl (\acc s -> concat ["(",acc," ++ ",s,")"]) "Start" ["foo","bar","baz","quux"] |
| 2024-01-18 18:32:52 +0100 | <lambdabot> | "((((Start ++ foo) ++ bar) ++ baz) ++ quux)" |
| 2024-01-18 18:33:02 +0100 | <ski> | > foldr (+) z [a,b,c,d] |
| 2024-01-18 18:33:04 +0100 | <lambdabot> | a + (b + (c + (d + z))) |
| 2024-01-18 18:33:20 +0100 | <ski> | > foldr (\s acc -> concat ["(",s," ++ ",acc,")"]) "End" ["foo","bar","baz","quux"] |
| 2024-01-18 18:33:22 +0100 | <lambdabot> | "(foo ++ (bar ++ (baz ++ (quux ++ End))))" |
| 2024-01-18 18:33:51 +0100 | <tinjamin> | foldr == append in python?? |
| 2024-01-18 18:34:28 +0100 | <ski> | > foldr (*) 1 [2,3,5,7] |
| 2024-01-18 18:34:29 +0100 | <lambdabot> | 210 |
| 2024-01-18 18:34:30 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-18 18:34:41 +0100 | <tinjamin> | nvm... |
| 2024-01-18 18:34:48 +0100 | <ski> | `++',`+',`**' were just examples |
| 2024-01-18 18:34:48 +0100 | <mniip> | it's closer to functools.reduce |
| 2024-01-18 18:35:21 +0100 | <tinjamin> | mniip: im not familiar with that in python |
| 2024-01-18 18:35:27 +0100 | <tinjamin> | very interesting friends |
| 2024-01-18 18:35:50 +0100 | <mniip> | python's functools.reduce with 3 arguments is exactly haskell's foldl' |
| 2024-01-18 18:36:04 +0100 | <tinjamin> | i appreciate the help, ill be back with more questions soon |
| 2024-01-18 18:36:05 +0100 | <mniip> | with 2 arguments it's foldl1' |
| 2024-01-18 18:42:02 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-01-18 18:43:09 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2024-01-18 18:53:14 +0100 | danse-nr3 | (~danse@151.35.139.248) (Remote host closed the connection) |
| 2024-01-18 18:53:37 +0100 | danse-nr3 | (~danse@151.35.139.248) |
| 2024-01-18 18:55:01 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-01-18 18:55:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-18 18:57:11 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-01-18 18:57:36 +0100 | euleritian | (~euleritia@dynamic-046-114-165-134.46.114.pool.telefonica.de) |
| 2024-01-18 18:59:08 +0100 | chomwitt | (~chomwitt@2a02:587:7a2c:e800:1ac0:4dff:fedb:a3f1) |
| 2024-01-18 18:59:55 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 256 seconds) |
| 2024-01-18 19:04:52 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-18 19:05:54 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-18 19:08:49 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 264 seconds) |
| 2024-01-18 19:09:28 +0100 | danse-nr3 | (~danse@151.35.139.248) (Ping timeout: 268 seconds) |
| 2024-01-18 19:10:37 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2024-01-18 19:13:30 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2024-01-18 19:15:35 +0100 | mizlan | (~mizlan@2607:f010:2e9:b:c8af:4bb4:e7e0:ad72) |
| 2024-01-18 19:18:31 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2024-01-18 19:25:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-18 19:25:31 +0100 | mizlan | (~mizlan@2607:f010:2e9:b:c8af:4bb4:e7e0:ad72) (Ping timeout: 276 seconds) |
| 2024-01-18 19:32:27 +0100 | Eoco | (~ian@128.101.131.218) (Quit: WeeChat 4.1.1) |
| 2024-01-18 19:33:03 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-01-18 19:34:42 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-18 19:35:36 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-01-18 19:36:28 +0100 | michalz | (~michalz@185.246.207.221) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-18 19:36:58 +0100 | wlhn | (~wenzel@dl5fq-8yqkt42rsn1837y-3.rev.dnainternet.fi) |
| 2024-01-18 19:41:35 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2024-01-18 19:41:57 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-01-18 19:48:35 +0100 | mizlan | (~mizlan@wifi-131-179-20-11.host.ucla.edu) |
| 2024-01-18 19:48:39 +0100 | chomwitt | (~chomwitt@2a02:587:7a2c:e800:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds) |
| 2024-01-18 19:49:15 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-01-18 19:50:53 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-01-18 19:52:05 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-01-18 19:52:12 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-01-18 19:53:13 +0100 | mizlan | (~mizlan@wifi-131-179-20-11.host.ucla.edu) (Ping timeout: 264 seconds) |
| 2024-01-18 19:58:31 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Ping timeout: 255 seconds) |
| 2024-01-18 19:59:33 +0100 | nrr_______ | (sid20938@id-20938.lymington.irccloud.com) (Ping timeout: 256 seconds) |
| 2024-01-18 19:59:54 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2024-01-18 20:00:19 +0100 | mizlan | (~mizlan@169.232.146.22) |
| 2024-01-18 20:00:46 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Ping timeout: 255 seconds) |
| 2024-01-18 20:00:50 +0100 | np | nerdypepper |
| 2024-01-18 20:02:30 +0100 | nrr_______ | (sid20938@id-20938.lymington.irccloud.com) |
| 2024-01-18 20:04:07 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-01-18 20:14:57 +0100 | euleritian | (~euleritia@dynamic-046-114-165-134.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-18 20:15:15 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-18 20:22:05 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) |
| 2024-01-18 20:24:35 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-18 20:25:06 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-18 20:27:31 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2024-01-18 20:28:06 +0100 | lisbeths_ | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-18 20:28:47 +0100 | dibblego | (~dibblego@122-199-1-93.ip4.superloop.au) |
| 2024-01-18 20:28:47 +0100 | dibblego | (~dibblego@122-199-1-93.ip4.superloop.au) (Changing host) |
| 2024-01-18 20:28:47 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2024-01-18 20:34:26 +0100 | phma | (~phma@2001:5b0:210d:b798:915a:1829:e02:216e) (Read error: Connection reset by peer) |
| 2024-01-18 20:35:28 +0100 | phma | (phma@2001:5b0:211b:be18:6a29:b39:dbf0:7d7b) |
| 2024-01-18 20:35:49 +0100 | aforemny | (~aforemny@2001:9e8:6cf6:2900:8148:97b5:b013:efe9) (Ping timeout: 264 seconds) |
| 2024-01-18 20:36:40 +0100 | aforemny | (~aforemny@2001:9e8:6cfd:7100:dfa8:b703:79c2:837c) |
| 2024-01-18 20:39:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-18 20:44:53 +0100 | aforemny | (~aforemny@2001:9e8:6cfd:7100:dfa8:b703:79c2:837c) (Ping timeout: 240 seconds) |
| 2024-01-18 20:45:33 +0100 | aforemny | (~aforemny@i59F516C7.versanet.de) |
| 2024-01-18 20:49:12 +0100 | mokee | (~mokee@37.228.215.150) (Quit: off) |
| 2024-01-18 20:49:39 +0100 | mokee | (~mokee@37.228.215.150) |
| 2024-01-18 20:53:33 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-01-18 20:57:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-18 21:02:37 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) |
| 2024-01-18 21:05:50 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-18 21:06:28 +0100 | mizlan | (~mizlan@169.232.146.22) (Ping timeout: 255 seconds) |
| 2024-01-18 21:09:03 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2d24:d5c:94b1:61c) (Remote host closed the connection) |
| 2024-01-18 21:10:38 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2024-01-18 21:10:38 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2024-01-18 21:10:38 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2024-01-18 21:14:28 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) (Remote host closed the connection) |
| 2024-01-18 21:33:47 +0100 | mokee | (~mokee@37.228.215.150) (Quit: off) |
| 2024-01-18 21:34:32 +0100 | <tinjamin> | https://chat.ndlug.org/uploads/47738ee34145e3f7/exercises.hs |
| 2024-01-18 21:35:12 +0100 | <tinjamin> | why is it that when I uncomment the two last lines I run into an error? |
| 2024-01-18 21:35:36 +0100 | <tinjamin> | i assume that it has something to do with this: https://yld.me/lKUQ |
| 2024-01-18 21:35:41 +0100 | <geekosaur> | `where` doesn't attach to statements, it attaches to definitions |
| 2024-01-18 21:36:07 +0100 | <geekosaur> | so the first `where` ends `main` and starts definitions local to it |
| 2024-01-18 21:36:25 +0100 | Guest43 | (~Guest88@69-165-220-190.dsl.teksavvy.com) |
| 2024-01-18 21:37:06 +0100 | <tinjamin> | can u clarify what you mean by statements? |
| 2024-01-18 21:37:27 +0100 | mokee | (~mokee@37.228.215.150) |
| 2024-01-18 21:37:28 +0100 | <geekosaur> | "statement" is a concept applicable to `do` |
| 2024-01-18 21:38:21 +0100 | <geekosaur> | in this case the `putStrLn` is a statement within a `do` expression, but `where` ends the `do` expression and the definition of `main` |
| 2024-01-18 21:39:35 +0100 | <tinjamin> | so where can only be used once? |
| 2024-01-18 21:39:47 +0100 | <geekosaur> | within any given definition, yes |
| 2024-01-18 21:40:47 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-01-18 21:40:55 +0100 | <tinjamin> | okay, lemme try something rq |
| 2024-01-18 21:41:44 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2d24:d5c:94b1:61c) |
| 2024-01-18 21:42:43 +0100 | <tinjamin> | https://chat.ndlug.org/uploads/2bee60528986ff92/exercises.hs |
| 2024-01-18 21:43:19 +0100 | <tinjamin> | geekosaur: okay, I think I understand what you're saying |
| 2024-01-18 21:44:54 +0100 | <tinjamin> | > so the first `where` ends `main` and starts definitions local to it |
| 2024-01-18 21:44:55 +0100 | <lambdabot> | <hint>:1:15: error: parse error on input ‘where’ |
| 2024-01-18 21:45:31 +0100 | <tinjamin> | this makes sense, thanks geekosaur! |
| 2024-01-18 21:45:40 +0100 | Guest43 | (~Guest88@69-165-220-190.dsl.teksavvy.com) (Quit: Client closed) |
| 2024-01-18 21:46:29 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2d24:d5c:94b1:61c) (Ping timeout: 260 seconds) |
| 2024-01-18 21:51:03 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2024-01-18 21:53:15 +0100 | mokee | (~mokee@37.228.215.150) (Quit: off) |
| 2024-01-18 21:58:58 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2024-01-18 21:58:58 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2024-01-18 21:58:58 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2024-01-18 21:59:50 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2024-01-18 22:00:08 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2024-01-18 22:00:49 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-01-18 22:01:24 +0100 | mokee | (~mokee@37.228.215.150) |
| 2024-01-18 22:07:04 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2024-01-18 22:15:23 +0100 | mokee | (~mokee@37.228.215.150) (Quit: off) |
| 2024-01-18 22:15:40 +0100 | mokee | (~mokee@37.228.215.150) |
| 2024-01-18 22:20:58 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-18 22:27:14 +0100 | mokee | (~mokee@37.228.215.150) (Quit: off) |
| 2024-01-18 22:28:17 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2d24:d5c:94b1:61c) |
| 2024-01-18 22:31:39 +0100 | Franciman | (~Franciman@mx1.fracta.dev) (Remote host closed the connection) |
| 2024-01-18 22:32:16 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-01-18 22:34:45 +0100 | zetef | (~quassel@95.77.17.251) (Read error: Connection reset by peer) |
| 2024-01-18 22:34:46 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-01-18 22:35:12 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-01-18 22:37:30 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-01-18 22:39:28 +0100 | fansly | (~fansly@180.244.160.9) (Ping timeout: 246 seconds) |
| 2024-01-18 22:40:07 +0100 | fansly | (~fansly@182.2.134.143) |
| 2024-01-18 22:40:40 +0100 | fansly | (~fansly@182.2.134.143) (Read error: Connection reset by peer) |
| 2024-01-18 22:41:03 +0100 | fansly | (~fansly@103.3.221.236) |
| 2024-01-18 22:43:00 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-01-18 22:46:05 +0100 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) |
| 2024-01-18 22:49:32 +0100 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) (Leaving) |
| 2024-01-18 22:51:01 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) |
| 2024-01-18 22:51:17 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-18 22:55:13 +0100 | aforemny | (~aforemny@i59F516C7.versanet.de) (Ping timeout: 246 seconds) |
| 2024-01-18 22:58:55 +0100 | mokee | (~mokee@37.228.215.150) |
| 2024-01-18 22:58:59 +0100 | mokee | (~mokee@37.228.215.150) (Client Quit) |
| 2024-01-18 23:00:30 +0100 | mokee | (~mokee@37.228.215.150) |
| 2024-01-18 23:04:20 +0100 | mizlan | (~mizlan@wifi-131-179-21-81.host.ucla.edu) |
| 2024-01-18 23:04:26 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-18 23:09:23 +0100 | mizlan_ | (~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) |
| 2024-01-18 23:09:36 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2024-01-18 23:11:01 +0100 | fansly | (~fansly@103.3.221.236) (Remote host closed the connection) |
| 2024-01-18 23:11:13 +0100 | mizlan | (~mizlan@wifi-131-179-21-81.host.ucla.edu) (Ping timeout: 264 seconds) |
| 2024-01-18 23:11:22 +0100 | fansly | (~fansly@103.3.221.236) |
| 2024-01-18 23:15:34 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-01-18 23:17:24 +0100 | mizlan_ | (~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) (Remote host closed the connection) |
| 2024-01-18 23:18:09 +0100 | mizlan | (~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) |
| 2024-01-18 23:20:55 +0100 | fansly | (~fansly@103.3.221.236) (Read error: Connection reset by peer) |
| 2024-01-18 23:21:39 +0100 | fansly | (~fansly@103.3.221.236) |
| 2024-01-18 23:30:58 +0100 | zetef | (~quassel@95.77.17.251) (Read error: Connection reset by peer) |
| 2024-01-18 23:35:55 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2024-01-18 23:36:02 +0100 | mizlan | (~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) (Remote host closed the connection) |
| 2024-01-18 23:36:47 +0100 | mizlan | (~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) |
| 2024-01-18 23:41:38 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-18 23:43:01 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2024-01-18 23:43:35 +0100 | hentai | (~hentai@user/hentai) |
| 2024-01-18 23:46:22 +0100 | ham | hamster |
| 2024-01-18 23:56:56 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-01-18 23:58:11 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |