Home liberachat/#haskell: Logs Calendar

Logs on 2024-01-18 (liberachat/#haskell)

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

All times are in UTC on 2024-01-18.