2024/01/19

2024-01-19 00:00:14 +0100fansly(~fansly@103.3.221.236) (Ping timeout: 252 seconds)
2024-01-19 00:01:09 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
2024-01-19 00:02:34 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Read error: Connection reset by peer)
2024-01-19 00:03:04 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
2024-01-19 00:05:40 +0100mima(~mmh@dhcp-138-246-3-113.dynamic.eduroam.mwn.de) (Ping timeout: 276 seconds)
2024-01-19 00:06:01 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection)
2024-01-19 00:09:53 +0100mokee(~mokee@37.228.215.150) (Quit: off)
2024-01-19 00:10:51 +0100mokee(~mokee@37.228.215.150)
2024-01-19 00:12:14 +0100mizlan(~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) (Remote host closed the connection)
2024-01-19 00:13:00 +0100mizlan(~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu)
2024-01-19 00:15:24 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2024-01-19 00:19:56 +0100acidjnk(~acidjnk@p200300d6e737e799153519f8f5371d87.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2024-01-19 00:30:13 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-01-19 00:31:08 +0100Feuermagier_(~Feuermagi@user/feuermagier)
2024-01-19 00:31:08 +0100FeuermagierGuest2556
2024-01-19 00:31:08 +0100Feuermagier_Feuermagier
2024-01-19 00:31:39 +0100crook1389(uid581388@id-581388.ilkley.irccloud.com)
2024-01-19 00:31:58 +0100mizlan(~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) (Remote host closed the connection)
2024-01-19 00:32:42 +0100mizlan(~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu)
2024-01-19 00:33:10 +0100Feuermagier_(~Feuermagi@user/feuermagier)
2024-01-19 00:33:10 +0100Feuermagier(~Feuermagi@user/feuermagier) (Killed (zirconium.libera.chat (Nickname regained by services)))
2024-01-19 00:33:10 +0100Feuermagier_Feuermagier
2024-01-19 00:33:12 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-01-19 00:33:15 +0100Guest2556(~Feuermagi@user/feuermagier) (Ping timeout: 256 seconds)
2024-01-19 00:35:50 +0100Hooloovoo(~Hooloovoo@hax0rbana.org) (Ping timeout: 260 seconds)
2024-01-19 00:37:38 +0100Square(~Square@user/square)
2024-01-19 00:37:39 +0100Hooloovoo(~Hooloovoo@hax0rbana.org)
2024-01-19 00:39:41 +0100Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2024-01-19 00:41:06 +0100xff0x(~xff0x@ai085147.d.east.v6connect.net) (Ping timeout: 256 seconds)
2024-01-19 00:42:43 +0100xff0x(~xff0x@178.255.149.135)
2024-01-19 00:42:53 +0100Square(~Square@user/square) (Ping timeout: 256 seconds)
2024-01-19 00:45:12 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
2024-01-19 00:45:21 +0100YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2024-01-19 00:46:01 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 264 seconds)
2024-01-19 00:48:54 +0100oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 260 seconds)
2024-01-19 00:49:13 +0100YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be)
2024-01-19 00:52:17 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-01-19 00:58:10 +0100Tuplanolla(~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Quit: Leaving.)
2024-01-19 00:59:14 +0100Axman6(~Axman6@user/axman6) (Remote host closed the connection)
2024-01-19 00:59:46 +0100mizlan(~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) (Remote host closed the connection)
2024-01-19 01:00:31 +0100mizlan(~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu)
2024-01-19 01:01:44 +0100raoul6(~raoul@95.179.203.88)
2024-01-19 01:02:34 +0100megaTherion_(~therion@unix.io)
2024-01-19 01:02:44 +0100stefan-_(~cri@42dots.de)
2024-01-19 01:03:13 +0100waldo(~waldo@user/waldo) (Quit: waldo)
2024-01-19 01:03:20 +0100pandeyan(~pandeyan@135-180-53-30.fiber.dynamic.sonic.net)
2024-01-19 01:03:49 +0100B-J(~BenziJuni@88-149-65-224.du.xdsl.is)
2024-01-19 01:03:57 +0100krei-se-(~krei-se@p508747fd.dip0.t-ipconnect.de)
2024-01-19 01:04:30 +0100qhong(~qhong@rescomp-21-400677.stanford.edu)
2024-01-19 01:05:05 +0100myme1(~myme@2a01:799:d5e:2e00:abf6:2f60:4488:2041)
2024-01-19 01:05:14 +0100mjacob_(~mjacob@adrastea.uberspace.de)
2024-01-19 01:05:48 +0100hippoid1(~hippoid@c-98-213-162-40.hsd1.il.comcast.net)
2024-01-19 01:07:56 +0100Ellenor(~Ellenor@callbox.trd.is)
2024-01-19 01:08:13 +0100xff0x(~xff0x@178.255.149.135) (Ping timeout: 264 seconds)
2024-01-19 01:09:48 +0100elkcl(~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (*.net *.split)
2024-01-19 01:09:48 +0100ricardo1(~ricardo@84.16.179.218) (*.net *.split)
2024-01-19 01:09:48 +0100myme(~myme@40.51-175-185.customer.lyse.net) (*.net *.split)
2024-01-19 01:09:48 +0100zmt01(~zmt00@user/zmt00) (*.net *.split)
2024-01-19 01:09:48 +0100picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (*.net *.split)
2024-01-19 01:09:48 +0100tt1231(~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (*.net *.split)
2024-01-19 01:09:49 +0100qhong_(~qhong@dn160vrd000d6kpg009l6c0000fj.stanford.edu) (*.net *.split)
2024-01-19 01:09:49 +0100notzmv(~zmv@user/notzmv) (*.net *.split)
2024-01-19 01:09:49 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (*.net *.split)
2024-01-19 01:09:49 +0100Ranhir(~Ranhir@157.97.53.139) (*.net *.split)
2024-01-19 01:09:49 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (*.net *.split)
2024-01-19 01:09:49 +0100qrpnxz(~qrpnxz@fsf/member/qrpnxz) (*.net *.split)
2024-01-19 01:09:49 +0100krei-se(~krei-se@p508747fd.dip0.t-ipconnect.de) (*.net *.split)
2024-01-19 01:09:49 +0100Benzi-Junior(~BenziJuni@88-149-65-224.du.xdsl.is) (*.net *.split)
2024-01-19 01:09:49 +0100raoul(~raoul@95.179.203.88) (*.net *.split)
2024-01-19 01:09:49 +0100Flow(~none@gentoo/developer/flow) (*.net *.split)
2024-01-19 01:09:50 +0100stefan-_-(~cri@42dots.de) (*.net *.split)
2024-01-19 01:09:50 +0100mjacob(~mjacob@adrastea.uberspace.de) (*.net *.split)
2024-01-19 01:09:50 +0100megaTherion(~therion@unix.io) (*.net *.split)
2024-01-19 01:09:50 +0100anpad(~pandeyan@user/anpad) (*.net *.split)
2024-01-19 01:09:50 +0100AmyMalik(~Ellenor@callbox.trd.is) (*.net *.split)
2024-01-19 01:09:50 +0100hippoid(~hippoid@user/hippoid) (*.net *.split)
2024-01-19 01:09:50 +0100megaTherion_megaTherion
2024-01-19 01:09:50 +0100theesm_theesm
2024-01-19 01:09:51 +0100tt1231(~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com)
2024-01-19 01:09:53 +0100raoul6raoul
2024-01-19 01:10:43 +0100xff0x(~xff0x@2405:6580:b080:900:305b:52e3:cce8:b170)
2024-01-19 01:11:44 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 252 seconds)
2024-01-19 01:16:37 +0100mima(~mmh@aftr-62-216-211-118.dynamic.mnet-online.de)
2024-01-19 01:16:42 +0100chomwitt(~chomwitt@2a02:587:7a2c:e800:1ac0:4dff:fedb:a3f1)
2024-01-19 01:17:51 +0100ricardo(~ricardo@84.16.179.218)
2024-01-19 01:17:56 +0100notzmv(~zmv@user/notzmv)
2024-01-19 01:18:08 +0100qrpnxz(~qrpnxz@fsf/member/qrpnxz)
2024-01-19 01:18:15 +0100ricardoGuest3894
2024-01-19 01:19:41 +0100rvalue(~rvalue@user/rvalue)
2024-01-19 01:22:23 +0100elkcl(~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru)
2024-01-19 01:22:23 +0100picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur)
2024-01-19 01:22:23 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2024-01-19 01:22:23 +0100Ranhir(~Ranhir@157.97.53.139)
2024-01-19 01:22:23 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2024-01-19 01:22:23 +0100Flow(~none@gentoo/developer/flow)
2024-01-19 01:23:59 +0100johnw(~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
2024-01-19 01:25:21 +0100mizlan(~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) (Remote host closed the connection)
2024-01-19 01:26:05 +0100mizlan(~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu)
2024-01-19 01:26:55 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Ping timeout: 276 seconds)
2024-01-19 01:41:05 +0100mechap(~mechap@user/mechap) (Quit: WeeChat 4.1.2)
2024-01-19 01:43:08 +0100Axman6(~Axman6@user/axman6)
2024-01-19 01:44:13 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-01-19 01:45:07 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2024-01-19 01:46:21 +0100xff0x(~xff0x@2405:6580:b080:900:305b:52e3:cce8:b170) (Ping timeout: 260 seconds)
2024-01-19 01:48:03 +0100xff0x(~xff0x@ai085147.d.east.v6connect.net)
2024-01-19 01:50:35 +0100mizlan(~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) (Remote host closed the connection)
2024-01-19 01:51:20 +0100mizlan(~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu)
2024-01-19 01:55:32 +0100mizlan(~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) (Remote host closed the connection)
2024-01-19 01:56:17 +0100mizlan(~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu)
2024-01-19 02:04:23 +0100mmhat(~mmh@p200300f1c724f91cee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.2)
2024-01-19 02:11:38 +0100hgolden(~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) (Read error: Connection reset by peer)
2024-01-19 02:11:44 +0100hgolden_(~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com)
2024-01-19 02:15:34 +0100mizlan(~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) (Ping timeout: 264 seconds)
2024-01-19 02:16:00 +0100thegeekinside(~thegeekin@189.217.90.224) (Read error: Connection reset by peer)
2024-01-19 02:18:07 +0100johnw(~johnw@69.62.242.138)
2024-01-19 02:19:48 +0100mixfix41(~enriqodog@user/mixfix41)
2024-01-19 02:26:21 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2024-01-19 02:26:21 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2024-01-19 02:26:21 +0100wroathe(~wroathe@user/wroathe)
2024-01-19 02:30:23 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2024-01-19 02:30:25 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2024-01-19 02:31:45 +0100Lord_of_Life_Lord_of_Life
2024-01-19 02:33:41 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 245 seconds)
2024-01-19 02:37:09 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-01-19 02:37:35 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2024-01-19 02:39:35 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2024-01-19 02:40:45 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-01-19 02:41:44 +0100mizlan(~mizlan@2607:f010:2a7:3017:b4f0:237f:a46f:fefa)
2024-01-19 02:43:14 +0100chomwitt(~chomwitt@2a02:587:7a2c:e800:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds)
2024-01-19 02:44:24 +0100mizlan(~mizlan@2607:f010:2a7:3017:b4f0:237f:a46f:fefa) (Remote host closed the connection)
2024-01-19 02:45:03 +0100mizlan(~mizlan@2607:f010:2a7:3017:b4f0:237f:a46f:fefa)
2024-01-19 03:03:19 +0100xff0x(~xff0x@ai085147.d.east.v6connect.net) (Ping timeout: 255 seconds)
2024-01-19 03:05:01 +0100wroathe(~wroathe@user/wroathe) (Quit: leaving)
2024-01-19 03:10:07 +0100mizlan(~mizlan@2607:f010:2a7:3017:b4f0:237f:a46f:fefa) (Quit: mizlan)
2024-01-19 03:11:26 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-01-19 03:23:27 +0100wlhn(~wenzel@dl5fq-8yqkt42rsn1837y-3.rev.dnainternet.fi) (Remote host closed the connection)
2024-01-19 03:23:52 +0100wlhn(~wenzel@dl5fq-8yqkt42rsn1837y-3.rev.dnainternet.fi)
2024-01-19 03:40:47 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-01-19 03:45:11 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-01-19 03:57:00 +0100dagit(~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Read error: Connection reset by peer)
2024-01-19 04:11:11 +0100crook1389(uid581388@id-581388.ilkley.irccloud.com) (Quit: Connection closed for inactivity)
2024-01-19 04:13:51 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:2d24:d5c:94b1:61c) (Remote host closed the connection)
2024-01-19 04:14:11 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2024-01-19 04:18:53 +0100Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Ping timeout: 240 seconds)
2024-01-19 04:19:12 +0100esph(~weechat@user/esph)
2024-01-19 04:31:33 +0100mima(~mmh@aftr-62-216-211-118.dynamic.mnet-online.de) (Ping timeout: 260 seconds)
2024-01-19 04:35:41 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-01-19 04:37:09 +0100Sciencentistguy(~sciencent@hacksoc/ordinary-member)
2024-01-19 04:58:37 +0100td_(~td@i53870919.versanet.de) (Ping timeout: 260 seconds)
2024-01-19 05:00:07 +0100td_(~td@i53870934.versanet.de)
2024-01-19 05:22:13 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2024-01-19 05:29:14 +0100pavonia(~user@user/siracusa)
2024-01-19 05:40:37 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2024-01-19 05:41:32 +0100platz(~platz@user/platz)
2024-01-19 05:42:10 +0100FeuermagierGuest2971
2024-01-19 05:42:10 +0100Feuermagier_(~Feuermagi@user/feuermagier)
2024-01-19 05:42:10 +0100Guest2971(~Feuermagi@user/feuermagier) (Killed (tungsten.libera.chat (Nickname regained by services)))
2024-01-19 05:42:10 +0100Feuermagier_Feuermagier
2024-01-19 05:42:34 +0100 <platz> what does it mean that if i use "Edit package metadata" on hackage, but "the tarball itself is never changed", does that mean that adding a version constraint on hackage wouldn't make it to the cabal file in the tarball?
2024-01-19 05:42:45 +0100 <platz> not sure what the point of "Edit package metadata" is then
2024-01-19 05:43:16 +0100 <sclv> it adds a new pkg.cabal file to the index
2024-01-19 05:43:31 +0100 <sclv> when cabal fetches the original package and unpacks it, it replaces the cabal file with the new pkg.cabal
2024-01-19 05:43:56 +0100 <sclv> so the original file remains unchanged, but there's also data about the file that replaces it, and tooling like cabal and stack can merge them together on the user side
2024-01-19 05:44:24 +0100 <platz> ah, i guess as long as the user gets the new file with tooling that's all that matters
2024-01-19 05:44:37 +0100 <sclv> we're haskell programmers, we like immutable data structures and append only structures :-)
2024-01-19 05:44:37 +0100 <platz> if so makes sense then
2024-01-19 05:44:49 +0100 <platz> hah yeah ty
2024-01-19 05:44:49 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 260 seconds)
2024-01-19 05:45:56 +0100fansly(~fansly@182.0.171.64)
2024-01-19 05:46:41 +0100Feuermagier_(~Feuermagi@user/feuermagier)
2024-01-19 05:46:41 +0100FeuermagierGuest2856
2024-01-19 05:46:41 +0100Guest2856(~Feuermagi@user/feuermagier) (Killed (copper.libera.chat (Nickname regained by services)))
2024-01-19 05:46:41 +0100Feuermagier_Feuermagier
2024-01-19 05:48:04 +0100fansly(~fansly@182.0.171.64) (Read error: Connection reset by peer)
2024-01-19 05:48:28 +0100fansly(~fansly@103.3.221.236)
2024-01-19 05:55:12 +0100dagit(~dagit@2001:558:6025:38:71c6:9d58:7252:8976)
2024-01-19 05:55:24 +0100dagi30810(~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Read error: Connection reset by peer)
2024-01-19 05:57:33 +0100platz(~platz@user/platz) ()
2024-01-19 05:57:52 +0100dagit(~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Remote host closed the connection)
2024-01-19 05:59:10 +0100dagit(~dagit@2001:558:6025:38:71c6:9d58:7252:8976)
2024-01-19 06:03:14 +0100shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 252 seconds)
2024-01-19 06:08:09 +0100michalz(~michalz@185.246.207.200)
2024-01-19 06:10:10 +0100 <Axman6> kinda sucks that you can download the tarball and not get the revision though right?
2024-01-19 06:14:07 +0100 <jackdk> That's what `cabal get` is for, is it not? I think it's important that you can get the unrevised version, or any other revision
2024-01-19 06:15:22 +0100 <Axman6> I guess, if that's how it works
2024-01-19 06:17:43 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2024-01-19 06:20:42 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-01-19 06:24:25 +0100trev(~trev@user/trev)
2024-01-19 06:32:29 +0100michalz(~michalz@185.246.207.200) (Quit: ZNC 1.8.2 - https://znc.in)
2024-01-19 06:35:19 +0100michalz(~michalz@185.246.207.218)
2024-01-19 06:38:51 +0100rosco(~rosco@175.136.156.77)
2024-01-19 06:42:51 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2024-01-19 06:51:34 +0100fansly(~fansly@103.3.221.236) (Ping timeout: 264 seconds)
2024-01-19 06:52:34 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2024-01-19 06:52:35 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
2024-01-19 06:52:56 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2024-01-19 06:54:02 +0100euleritian(~euleritia@dynamic-176-003-216-134.176.3.pool.telefonica.de)
2024-01-19 06:57:41 +0100bilegeek(~bilegeek@2600:1008:b012:6b7a:6ddf:88a9:c8a2:5be7)
2024-01-19 06:59:41 +0100dagit(~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Ping timeout: 240 seconds)
2024-01-19 06:59:49 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 264 seconds)
2024-01-19 07:00:14 +0100fansly(~fansly@182.0.144.204)
2024-01-19 07:01:02 +0100euleritian(~euleritia@dynamic-176-003-216-134.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
2024-01-19 07:01:25 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-01-19 07:05:35 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2024-01-19 07:05:46 +0100elkcl(~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 245 seconds)
2024-01-19 07:06:34 +0100lisbeths_(uid135845@id-135845.lymington.irccloud.com)
2024-01-19 07:13:05 +0100foul_owl(~kerry@157.97.134.168) (Ping timeout: 252 seconds)
2024-01-19 07:13:30 +0100foul_owl(~kerry@157.97.134.168)
2024-01-19 07:14:31 +0100elkcl(~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru)
2024-01-19 07:16:10 +0100fansly(~fansly@182.0.144.204) (Read error: Connection reset by peer)
2024-01-19 07:17:09 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
2024-01-19 07:17:13 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2024-01-19 07:19:50 +0100acidjnk(~acidjnk@p200300d6e737e774399fbf5a7771cd09.dip0.t-ipconnect.de)
2024-01-19 07:26:36 +0100Feuermagier(~Feuermagi@user/feuermagier) (Quit: Leaving)
2024-01-19 07:26:49 +0100califax(~califax@user/califx) (Remote host closed the connection)
2024-01-19 07:27:15 +0100califax(~califax@user/califx)
2024-01-19 07:28:37 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-01-19 07:29:19 +0100euleritian(~euleritia@dynamic-176-003-216-134.176.3.pool.telefonica.de)
2024-01-19 07:30:14 +0100phma(phma@2001:5b0:211b:be18:6a29:b39:dbf0:7d7b) (Read error: Connection reset by peer)
2024-01-19 07:30:39 +0100phma(~phma@host-67-44-208-60.hnremote.net)
2024-01-19 07:31:37 +0100actioninja(~actioninj@user/actioninja) (Quit: Ping timeout (120 seconds))
2024-01-19 07:32:03 +0100actioninja(~actioninj@user/actioninja)
2024-01-19 07:38:03 +0100euleritian(~euleritia@dynamic-176-003-216-134.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
2024-01-19 07:38:20 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-01-19 07:46:58 +0100mokee(~mokee@37.228.215.150) (Quit: off)
2024-01-19 07:49:54 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-01-19 07:50:08 +0100euleritian(~euleritia@dynamic-176-003-216-134.176.3.pool.telefonica.de)
2024-01-19 07:52:46 +0100[exa]finds there's cabal get --pristine
2024-01-19 08:03:43 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2024-01-19 08:04:52 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-01-19 08:08:35 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2024-01-19 08:10:48 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2024-01-19 08:11:25 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2024-01-19 08:19:17 +0100igemnace(~ian@user/igemnace) (Quit: WeeChat 4.1.2)
2024-01-19 08:29:43 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2024-01-19 08:37:09 +0100chomwitt(~chomwitt@2a02:587:7a2c:e800:1ac0:4dff:fedb:a3f1)
2024-01-19 08:39:26 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-01-19 08:40:11 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2024-01-19 08:46:18 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-01-19 08:51:35 +0100jjhoo(~jahakala@user/jjhoo) (Ping timeout: 264 seconds)
2024-01-19 08:52:29 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-01-19 08:52:35 +0100vpan(~vpan@212.117.1.172)
2024-01-19 09:04:14 +0100EllenorAmyMalik
2024-01-19 09:06:31 +0100jjhoo(~jahakala@user/jjhoo)
2024-01-19 09:12:22 +0100chele(~chele@user/chele)
2024-01-19 09:18:37 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-01-19 09:24:20 +0100andjjj23_(~irc@107.170.228.47) (Remote host closed the connection)
2024-01-19 09:25:12 +0100andjjj23(~irc@107.170.228.47)
2024-01-19 09:28:16 +0100cfricke(~cfricke@user/cfricke)
2024-01-19 09:30:31 +0100danse-nr3(~danse@151.37.193.6)
2024-01-19 09:32:08 +0100mima(~mmh@aftr-62-216-211-140.dynamic.mnet-online.de)
2024-01-19 09:32:31 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
2024-01-19 09:36:46 +0100gmg(~user@user/gehmehgeh)
2024-01-19 09:37:01 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 276 seconds)
2024-01-19 09:37:07 +0100CiaoSen(~Jura@2a05:5800:2c2:7d00:ca4b:d6ff:fec1:99da)
2024-01-19 09:37:22 +0100fansly(~fansly@103.3.221.236)
2024-01-19 09:39:38 +0100oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
2024-01-19 09:46:07 +0100average(uid473595@user/average)
2024-01-19 09:46:43 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2024-01-19 09:47:30 +0100gmg(~user@user/gehmehgeh)
2024-01-19 09:49:34 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2024-01-19 10:00:22 +0100qqq(~qqq@92.43.167.61)
2024-01-19 10:02:39 +0100mmhat(~mmh@p200300f1c724f91cee086bfffe095315.dip0.t-ipconnect.de)
2024-01-19 10:03:01 +0100fansly(~fansly@103.3.221.236) (Ping timeout: 276 seconds)
2024-01-19 10:03:30 +0100fansly(~fansly@182.0.164.88)
2024-01-19 10:14:15 +0100mmhat(~mmh@p200300f1c724f91cee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.2)
2024-01-19 10:16:05 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-01-19 10:24:00 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-01-19 10:28:57 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2024-01-19 10:29:17 +0100ft(~ft@p508dbda4.dip0.t-ipconnect.de) (Quit: leaving)
2024-01-19 10:31:19 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2024-01-19 10:33:47 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2024-01-19 10:34:12 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-01-19 10:36:47 +0100fansly(~fansly@182.0.164.88) (Read error: Connection reset by peer)
2024-01-19 10:37:02 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
2024-01-19 10:41:51 +0100jjhoo(~jahakala@user/jjhoo) (Ping timeout: 256 seconds)
2024-01-19 10:46:11 +0100chomwitt(~chomwitt@2a02:587:7a2c:e800:1ac0:4dff:fedb:a3f1) (Ping timeout: 268 seconds)
2024-01-19 11:03:46 +0100jjhoo(~jahakala@user/jjhoo)
2024-01-19 11:05:04 +0100mokee(~mokee@37.228.215.150)
2024-01-19 11:05:39 +0100mokee(~mokee@37.228.215.150) (Client Quit)
2024-01-19 11:06:09 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1)
2024-01-19 11:06:47 +0100mokee(~mokee@37.228.215.150)
2024-01-19 11:07:47 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds)
2024-01-19 11:13:38 +0100mokee(~mokee@37.228.215.150) (Quit: leaving)
2024-01-19 11:13:57 +0100mokee(~mokee@37.228.215.150)
2024-01-19 11:19:37 +0100mokee(~mokee@37.228.215.150) (Quit: leaving)
2024-01-19 11:20:38 +0100mokee(~mokee@37.228.215.150)
2024-01-19 11:22:26 +0100Lycurgus(~georg@user/Lycurgus)
2024-01-19 11:31:19 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2024-01-19 11:34:11 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds)
2024-01-19 11:34:16 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-01-19 11:35:21 +0100mokee(~mokee@37.228.215.150) (Quit: leaving)
2024-01-19 11:36:08 +0100mokee(~mokee@37.228.215.150)
2024-01-19 11:39:29 +0100mokee(~mokee@37.228.215.150) (Client Quit)
2024-01-19 11:45:16 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-01-19 11:45:53 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-01-19 11:46:37 +0100bilegeek(~bilegeek@2600:1008:b012:6b7a:6ddf:88a9:c8a2:5be7) (Quit: Leaving)
2024-01-19 11:46:56 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2024-01-19 11:47:34 +0100gentauro(~gentauro@user/gentauro) (Quit: leaving)
2024-01-19 11:50:36 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2024-01-19 12:00:26 +0100__monty__(~toonn@user/toonn)
2024-01-19 12:00:34 +0100billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
2024-01-19 12:08:56 +0100chomwitt(~chomwitt@2a02:587:7a2c:e800:1ac0:4dff:fedb:a3f1)
2024-01-19 12:11:53 +0100causal(~eric@50.35.85.7) (Quit: WeeChat 4.1.1)
2024-01-19 12:16:08 +0100lisbeths_(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-01-19 12:17:24 +0100danse-nr3(~danse@151.37.193.6) (Read error: Connection reset by peer)
2024-01-19 12:18:13 +0100danse-nr3(~danse@151.37.160.245)
2024-01-19 12:18:13 +0100CiaoSen(~Jura@2a05:5800:2c2:7d00:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds)
2024-01-19 12:20:20 +0100 <kuribas> It is relatively easy to change internal code, like database schemas, types, but it's pretty hard to change API definitions.
2024-01-19 12:20:37 +0100 <kuribas> That seems a good argument against microservices, since they are all APIs.
2024-01-19 12:21:48 +0100 <danse-nr3> well servant changes interfaces on both sides, for the rest there is versioning. Alternative to microservices being a monolith?
2024-01-19 12:26:37 +0100 <danse-nr3> besides, database schemes are internal only in some architectures
2024-01-19 12:26:38 +0100 <kuribas> Yeah, if you could use static types to ensure compatibility between services, you can solve this problem.
2024-01-19 12:27:07 +0100 <kuribas> true, and microservice APIs are also mostly internal.
2024-01-19 12:27:31 +0100 <kuribas> Still with a lack of strong typing changing APIs is tricky.
2024-01-19 12:27:41 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 256 seconds)
2024-01-19 12:28:10 +0100fansly(~fansly@103.3.221.236)
2024-01-19 12:32:50 +0100 <kuribas> I mean static typing.
2024-01-19 12:33:05 +0100 <kuribas> Even with static types, usually REST APIs are not checked statically.
2024-01-19 12:33:26 +0100 <kuribas> It's a good case for flexible (dependent?) types.
2024-01-19 12:33:58 +0100 <kuribas> Of course often microservices are done in multi-language environments.
2024-01-19 12:35:01 +0100 <kuribas> So the benifit is only for those statically typed language.
2024-01-19 12:35:18 +0100 <kuribas> But even python supports static types, so you could generate stubs for the rest api.
2024-01-19 12:35:27 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-01-19 12:51:04 +0100akspecs(00cc8321af@sourcehut/user/akspecs) (Ping timeout: 268 seconds)
2024-01-19 12:51:04 +0100jakzale(6291399afa@user/jakzale) (Ping timeout: 268 seconds)
2024-01-19 12:51:04 +0100ggb(a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 268 seconds)
2024-01-19 12:51:11 +0100arcadewise(52968ed80d@2a03:6000:1812:100::3df) (Ping timeout: 260 seconds)
2024-01-19 12:51:11 +0100chaitlatte0(ea29c0bb16@user/chaitlatte0) (Ping timeout: 260 seconds)
2024-01-19 12:51:12 +0100ymherklotz(cb2c9cfbdd@2a03:6000:1812:100::29a) (Ping timeout: 260 seconds)
2024-01-19 12:51:12 +0100jleightcap(7bc4014b62@user/jleightcap) (Ping timeout: 260 seconds)
2024-01-19 12:51:12 +0100jkoshy(99b9359beb@user/jkoshy) (Ping timeout: 260 seconds)
2024-01-19 12:51:12 +0100evanrelf(3addc196af@2a03:6000:1812:100::f0) (Ping timeout: 260 seconds)
2024-01-19 12:51:12 +0100aniketd(32aa4844cd@2a03:6000:1812:100::dcb) (Ping timeout: 260 seconds)
2024-01-19 12:51:17 +0100probie(cc0b34050a@user/probie) (Ping timeout: 240 seconds)
2024-01-19 12:51:32 +0100samhh_(7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 256 seconds)
2024-01-19 12:51:39 +0100Ankhers(e99e97ef8e@2a03:6000:1812:100::2a2) (Ping timeout: 260 seconds)
2024-01-19 12:51:39 +0100rselim(ce261f06ff@user/milesrout) (Ping timeout: 260 seconds)
2024-01-19 12:51:39 +0100b0o(0e4a0bf4c9@2a03:6000:1812:100::1bf) (Ping timeout: 260 seconds)
2024-01-19 12:51:39 +0100sm2n(ae95cb1267@user/sm2n) (Ping timeout: 260 seconds)
2024-01-19 12:51:39 +0100JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3) (Ping timeout: 260 seconds)
2024-01-19 12:51:39 +0100eso(a0662dfd5e@2a03:6000:1812:100::1266) (Ping timeout: 260 seconds)
2024-01-19 12:51:39 +0100fgaz_(1ff9197ed6@2a03:6000:1812:100::11ea) (Ping timeout: 260 seconds)
2024-01-19 12:51:41 +0100kuruczgy(55b66dd3ae@2a03:6000:1812:100::127f) (Ping timeout: 268 seconds)
2024-01-19 12:51:41 +0100jmcantrell(644f1bed9a@user/jmcantrell) (Ping timeout: 268 seconds)
2024-01-19 12:51:41 +0100henrytill(e0180937c3@2a03:6000:1812:100::e8c) (Ping timeout: 240 seconds)
2024-01-19 12:51:41 +0100fluffyballoon(45ce440a48@2a03:6000:1812:100::e2) (Ping timeout: 240 seconds)
2024-01-19 12:52:07 +0100cpli(77fc530071@2a03:6000:1812:100::252) (Ping timeout: 260 seconds)
2024-01-19 12:52:18 +0100brettgilio(a35ba67324@2a03:6000:1812:100::260) (Ping timeout: 268 seconds)
2024-01-19 12:52:29 +0100shreyasminocha(51fdc93eda@user/shreyasminocha) (Ping timeout: 240 seconds)
2024-01-19 12:52:55 +0100fvr(ef3e56ca8b@2a03:6000:1812:100::3c4) (Ping timeout: 268 seconds)
2024-01-19 12:52:55 +0100samhh(7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 268 seconds)
2024-01-19 12:52:55 +0100theesm(2cbdf4b38a@2a03:6000:1812:100::11c8) (Ping timeout: 268 seconds)
2024-01-19 12:52:55 +0100whereiseveryone(206ba86c98@2a03:6000:1812:100::2e4) (Ping timeout: 268 seconds)
2024-01-19 12:52:55 +0100fn_lumi(3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 268 seconds)
2024-01-19 12:52:55 +0100sus(1b7af6299f@user/zeromomentum) (Ping timeout: 268 seconds)
2024-01-19 12:52:55 +0100raghavgururajan(ea769b8000@user/raghavgururajan) (Ping timeout: 268 seconds)
2024-01-19 12:52:55 +0100filwisher(2e6936c793@2a03:6000:1812:100::170) (Ping timeout: 268 seconds)
2024-01-19 12:53:03 +0100bsima1(99b9359beb@2a03:6000:1812:100::dd) (Ping timeout: 260 seconds)
2024-01-19 12:53:03 +0100lukec(9dfd4d094e@2a03:6000:1812:100::10e) (Ping timeout: 260 seconds)
2024-01-19 12:53:55 +0100evanrelf(3addc196af@2a03:6000:1812:100::f0)
2024-01-19 12:55:35 +0100fansly(~fansly@103.3.221.236) (Ping timeout: 256 seconds)
2024-01-19 12:56:06 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
2024-01-19 12:58:11 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection)
2024-01-19 12:58:13 +0100evanrelf(3addc196af@2a03:6000:1812:100::f0) (Ping timeout: 255 seconds)
2024-01-19 12:59:16 +0100chaitlatte0(ea29c0bb16@user/chaitlatte0)
2024-01-19 12:59:17 +0100bsima1(9d7e39c8ad@2a03:6000:1812:100::dd)
2024-01-19 12:59:17 +0100filwisher(2e6936c793@2a03:6000:1812:100::170)
2024-01-19 12:59:17 +0100jakzale(6291399afa@user/jakzale)
2024-01-19 12:59:18 +0100ggb(a62ffbaf4f@2a03:6000:1812:100::3ac)
2024-01-19 12:59:18 +0100lukec(9dfd4d094e@2a03:6000:1812:100::10e)
2024-01-19 12:59:20 +0100fvr(ef3e56ca8b@2a03:6000:1812:100::3c4)
2024-01-19 12:59:20 +0100evanrelf(3addc196af@2a03:6000:1812:100::f0)
2024-01-19 12:59:20 +0100aniketd(32aa4844cd@2a03:6000:1812:100::dcb)
2024-01-19 12:59:20 +0100sus(1b7af6299f@user/zeromomentum)
2024-01-19 12:59:20 +0100arcadewise(52968ed80d@2a03:6000:1812:100::3df)
2024-01-19 12:59:21 +0100samhh(7569f027cf@2a03:6000:1812:100::e4)
2024-01-19 12:59:22 +0100fgaz_(1ff9197ed6@2a03:6000:1812:100::11ea)
2024-01-19 12:59:22 +0100ymherklotz(cb2c9cfbdd@2a03:6000:1812:100::29a)
2024-01-19 12:59:25 +0100henrytill(e0180937c3@2a03:6000:1812:100::e8c)
2024-01-19 12:59:25 +0100fn_lumi(3d621153a5@2a03:6000:1812:100::df7)
2024-01-19 12:59:25 +0100jmcantrell(644f1bed9a@user/jmcantrell)
2024-01-19 12:59:25 +0100sm2n(ae95cb1267@user/sm2n)
2024-01-19 12:59:25 +0100brettgilio(a35ba67324@2a03:6000:1812:100::260)
2024-01-19 12:59:26 +0100fluffyballoon(45ce440a48@2a03:6000:1812:100::e2)
2024-01-19 12:59:26 +0100b0o(0e4a0bf4c9@2a03:6000:1812:100::1bf)
2024-01-19 12:59:27 +0100theesm(2cbdf4b38a@2a03:6000:1812:100::11c8)
2024-01-19 12:59:27 +0100rselim(ce261f06ff@user/milesrout)
2024-01-19 12:59:28 +0100jkoshy(99b9359beb@user/jkoshy)
2024-01-19 12:59:28 +0100jleightcap(7bc4014b62@user/jleightcap)
2024-01-19 12:59:29 +0100eso(a0662dfd5e@2a03:6000:1812:100::1266)
2024-01-19 12:59:29 +0100raghavgururajan(ea769b8000@user/raghavgururajan)
2024-01-19 12:59:29 +0100JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3)
2024-01-19 12:59:29 +0100Ankhers(e99e97ef8e@2a03:6000:1812:100::2a2)
2024-01-19 12:59:30 +0100probie(cc0b34050a@user/probie)
2024-01-19 12:59:31 +0100akspecs(00cc8321af@sourcehut/user/akspecs)
2024-01-19 12:59:31 +0100shreyasminocha(51fdc93eda@user/shreyasminocha)
2024-01-19 12:59:31 +0100whereiseveryone(206ba86c98@2a03:6000:1812:100::2e4)
2024-01-19 12:59:31 +0100kuruczgy(55b66dd3ae@2a03:6000:1812:100::127f)
2024-01-19 12:59:55 +0100cpli(77fc530071@2a03:6000:1812:100::252)
2024-01-19 13:00:38 +0100chomwitt(~chomwitt@2a02:587:7a2c:e800:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds)
2024-01-19 13:01:13 +0100samhh_(7569f027cf@2a03:6000:1812:100::e4)
2024-01-19 13:05:05 +0100danse-nr3(~danse@151.37.160.245) (Ping timeout: 252 seconds)
2024-01-19 13:08:48 +0100 <__monty__> kuribas: IMO microservices is more about being able to assign smaller units to smaller teams. They can iterate on each individual service. While in a monolith everyone needs to communicate and stay in sync.
2024-01-19 13:08:48 +0100euleritian(~euleritia@dynamic-176-003-216-134.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
2024-01-19 13:09:09 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-01-19 13:10:38 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-01-19 13:10:59 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
2024-01-19 13:12:49 +0100mima(~mmh@aftr-62-216-211-140.dynamic.mnet-online.de) (Ping timeout: 276 seconds)
2024-01-19 13:14:46 +0100troydm(~troydm@user/troydm) (Ping timeout: 276 seconds)
2024-01-19 13:15:27 +0100average(uid473595@user/average) (Quit: Connection closed for inactivity)
2024-01-19 13:19:28 +0100xff0x(~xff0x@2405:6580:b080:900:4619:bde0:46e9:5bb9)
2024-01-19 13:21:51 +0100 <dminuoso_> __monty__: Well, there's often a deep relationship between the two.
2024-01-19 13:22:22 +0100 <dminuoso_> You have multiple teams with different languages. Want them all to work on a bigger project? You're either going to need something like .NET or microservices it is.
2024-01-19 13:23:25 +0100 <dminuoso_> See Conway's law.
2024-01-19 13:23:29 +0100Square(~Square@user/square)
2024-01-19 13:24:05 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 240 seconds)
2024-01-19 13:24:44 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2024-01-19 13:29:40 +0100 <tinjamin> gm haskellers
2024-01-19 13:32:22 +0100 <[exa]> o/
2024-01-19 13:32:29 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2024-01-19 13:32:48 +0100euleritian(~euleritia@dynamic-176-006-196-200.176.6.pool.telefonica.de)
2024-01-19 13:33:34 +0100 <c_wraith> morning? oh no. I need to go to sleep.
2024-01-19 13:35:59 +0100 <[exa]> gm!=good midnight...since when?
2024-01-19 13:36:42 +0100euleritian(~euleritia@dynamic-176-006-196-200.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-01-19 13:37:01 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-01-19 13:37:27 +0100 <vpan> IRC runs on Universal Greeting Time ;)
2024-01-19 13:39:54 +0100petrichor(~znc-user@user/petrichor)
2024-01-19 13:40:05 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 240 seconds)
2024-01-19 13:40:39 +0100fansly(~fansly@103.3.221.236)
2024-01-19 13:41:07 +0100 <haskellbridge> 15<J​ade> ```hs
2024-01-19 13:41:08 +0100 <haskellbridge> 15<J​ade> >>> (undefined <> error "lol") :: ()
2024-01-19 13:41:09 +0100 <haskellbridge> 15<J​ade> ()
2024-01-19 13:41:11 +0100 <haskellbridge> 15<J​ade> ```
2024-01-19 13:41:20 +0100 <__monty__> dminuoso_: I'm only trying to point out that the rigid interfaces are on purpose. So multiple teams don't need to constantly step on each other's toes.
2024-01-19 13:41:53 +0100 <duncan> vpan: no support for UGT in sdate(1)
2024-01-19 13:42:23 +0100 <[exa]> duncan: the implementation is here: `const morning` feel free to plug in anywhere
2024-01-19 13:43:33 +0100 <[exa]> __monty__: "the blamewall"
2024-01-19 13:43:35 +0100 <__monty__> dminuoso_: As in, if you're a lone developer, of course a monolithic code base is going to be easier to change. It's not until you run into communication problems that the extra harness of microservices can trump monoliths in flexibility.
2024-01-19 13:43:43 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
2024-01-19 13:46:13 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2024-01-19 13:52:02 +0100 <dminuoso_> __monty__: I dont believe in that for a second.
2024-01-19 13:52:28 +0100 <dminuoso_> In practice microservices lead to more brittle code.
2024-01-19 13:52:31 +0100Square2(~Square4@user/square)
2024-01-19 13:52:59 +0100 <dminuoso_> And you dont gain flexibility, you give it up.
2024-01-19 13:53:20 +0100billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection)
2024-01-19 13:53:29 +0100 <duncan> There was a talk about this at Glasgow tech meetup -- the speaker started by mocking the previous speaker (who was 14)
2024-01-19 13:53:46 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2024-01-19 13:54:28 +0100billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
2024-01-19 13:54:43 +0100 <duncan> So, I am perhaps somewhat prejudiced against microservices.
2024-01-19 13:55:08 +0100 <__monty__> dminuoso_: At scale you gain the flexibility of not having to coordinate across API boundaries.
2024-01-19 13:55:10 +0100 <dminuoso_> You no longer can make alterations on your interfaces without slow coordination. And when you do, there's likely miscommunication leading to integration bugs. Testing becomes effing difficult. Performance usually hits the floor.
2024-01-19 13:55:17 +0100 <dminuoso_> __monty__: But you do!
2024-01-19 13:55:49 +0100Square(~Square@user/square) (Ping timeout: 268 seconds)
2024-01-19 13:55:52 +0100immae(~immae@2a01:4f8:141:53e7::) (Quit: WeeChat 3.3)
2024-01-19 13:56:01 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2024-01-19 13:56:02 +0100 <dminuoso_> __monty__: The core thing to understand is that microservices dont buy you extra "encapsulation" in an architectural sense you couldnt get without.
2024-01-19 13:56:04 +0100 <[exa]> duncan: that's not a happy way to do it :/
2024-01-19 13:56:16 +0100AlexZenon(~alzenon@94.233.241.143) (Ping timeout: 255 seconds)
2024-01-19 13:56:25 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2024-01-19 13:56:29 +0100 <dminuoso_> The question is just: how do your components interface?
2024-01-19 13:57:08 +0100 <dminuoso_> Are they going to be linked together? Do they run on some common runtime environment? Or do you need some kind of IPC going on? If IPC, how expensive is it going to be?
2024-01-19 13:57:09 +0100 <__monty__> dminuoso_: The problem with a monolithic codebase is the same problem you have in C. There's no problems if everyone is disciplined.
2024-01-19 13:57:49 +0100 <dminuoso_> __monty__: If we take C as an example, team A can develop library A. Team B can develop library B. Team C can develop library C.
2024-01-19 13:57:52 +0100 <dminuoso_> You link them together, done.
2024-01-19 13:58:13 +0100 <dminuoso_> This requires no discipline, you have the same level of team separation that you cant even unintentionally screw with someone elses code.
2024-01-19 13:58:23 +0100immae(~immae@2a01:4f8:141:53e7::)
2024-01-19 13:58:26 +0100 <dminuoso_> Clearly this is not microservices.
2024-01-19 13:59:07 +0100 <__monty__> If people don't get to touch all the code across the libraries then it's not a monolithic codebase.
2024-01-19 13:59:22 +0100 <dminuoso_> Oh, now you're changing established meaning of what a monolith is.
2024-01-19 13:59:35 +0100 <dminuoso_> A monolith doesnt necessitate being inside say a single gitlab repository.
2024-01-19 14:00:33 +0100 <__monty__> Nor do microservices need to be in separate repositories/teams.
2024-01-19 14:00:36 +0100 <dminuoso_> Fact is, microservices constrain you so much precisely because while with linked library you still have defined interfaces, but its much much harder to change/add/remove interfaces.
2024-01-19 14:00:42 +0100 <opqdonut> somebody had a good blogpost about how you can make different choices on many levels: a) version control b) release c) deploy
2024-01-19 14:00:42 +0100 <dminuoso_> This is not liberating, its constraining.
2024-01-19 14:00:43 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-01-19 14:00:56 +0100 <dminuoso_> 14:00:33 __monty__ │ Nor do microservices need to be in separate repositories/teams.
2024-01-19 14:00:56 +0100 <opqdonut> e.g. you might have a case where you have one repo, but many separately released and separately deployed components in there
2024-01-19 14:00:59 +0100 <dminuoso_> Of course not.
2024-01-19 14:01:12 +0100 <opqdonut> or you might have many repositories, but you release & deploy one artifact (using submodules)
2024-01-19 14:01:18 +0100 <dminuoso_> __monty__: Im just observing that, like Conway's law, they arise due to pre-existing organizational structure.
2024-01-19 14:01:25 +0100 <opqdonut> _or_ you might have many repositories, many releases (think internal libraries), but one deploy
2024-01-19 14:01:27 +0100 <dminuoso_> Not as an architectural feature.
2024-01-19 14:01:46 +0100 <dminuoso_> See it as an observation of statistics.
2024-01-19 14:01:49 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-01-19 14:02:34 +0100billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection)
2024-01-19 14:02:41 +0100 <duncan> Submodules aren't really a thing outside of git BTW. E.g. fossil does not have them and they work very differently in SVN and mercurial.
2024-01-19 14:02:42 +0100 <__monty__> I guess I'm talking about the abstract ideals.
2024-01-19 14:03:08 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2024-01-19 14:03:51 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2024-01-19 14:04:09 +0100 <dminuoso_> So if you have teams that are just very isolated to the point that they must be able to run/check their own code in isolation, but the overall goal is to collaborate with other teams? Microservices are a solution to your organizational structure.
2024-01-19 14:04:34 +0100 <dminuoso_> They are slow to change, bugs are hard to chase, performance becomes difficult.
2024-01-19 14:04:55 +0100 <dminuoso_> Of course if you achieve some kind of critical size something akin to microservices might be required for horizontal scaling.
2024-01-19 14:05:07 +0100 <dminuoso_> But honestly, only few people ever have those kinds of problems.
2024-01-19 14:05:56 +0100 <__monty__> IMO it's more about how well communication works rather than the actual size.
2024-01-19 14:05:59 +0100danse-nr3(~danse@151.35.148.140)
2024-01-19 14:07:04 +0100AlexZenon(~alzenon@94.233.241.143)
2024-01-19 14:09:35 +0100fansly(~fansly@103.3.221.236) (Ping timeout: 264 seconds)
2024-01-19 14:10:34 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
2024-01-19 14:13:19 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2024-01-19 14:13:43 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
2024-01-19 14:13:58 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2024-01-19 14:16:03 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-01-19 14:16:16 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2024-01-19 14:17:35 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection)
2024-01-19 14:18:01 +0100xff0x(~xff0x@2405:6580:b080:900:4619:bde0:46e9:5bb9) (Ping timeout: 268 seconds)
2024-01-19 14:18:24 +0100xff0x(~xff0x@ai085147.d.east.v6connect.net)
2024-01-19 14:20:47 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-01-19 14:21:04 +0100euleritian(~euleritia@dynamic-176-006-196-200.176.6.pool.telefonica.de)
2024-01-19 14:21:10 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2024-01-19 14:22:32 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2024-01-19 14:26:24 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
2024-01-19 14:28:18 +0100mima(~mmh@dhcp-138-246-3-113.dynamic.eduroam.mwn.de)
2024-01-19 14:40:54 +0100shriekingnoise(~shrieking@186.137.175.87)
2024-01-19 14:41:53 +0100euleritian(~euleritia@dynamic-176-006-196-200.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-01-19 14:42:10 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-01-19 14:50:29 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:149c:bf12:1c41:87ab)
2024-01-19 14:51:25 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-01-19 14:52:03 +0100euleritian(~euleritia@dynamic-176-006-196-200.176.6.pool.telefonica.de)
2024-01-19 14:53:33 +0100thegeekinside(~thegeekin@189.217.90.224)
2024-01-19 14:55:16 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds)
2024-01-19 14:55:19 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:149c:bf12:1c41:87ab) (Ping timeout: 268 seconds)
2024-01-19 14:57:24 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-01-19 15:04:07 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2024-01-19 15:09:24 +0100 <absence> If I have "getCompose . traverseOf someLens (Compose . f)", can I bake the Compose into "someLens" so that I can just write "traverseOf newLens f"?
2024-01-19 15:11:18 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-01-19 15:21:36 +0100 <ncf> it wouldn't be a LensLike _ s t a b at least
2024-01-19 15:26:29 +0100mima(~mmh@dhcp-138-246-3-113.dynamic.eduroam.mwn.de) (Ping timeout: 240 seconds)
2024-01-19 15:34:03 +0100Square2(~Square4@user/square) (Ping timeout: 260 seconds)
2024-01-19 15:36:04 +0100Square(~Square@user/square)
2024-01-19 15:50:52 +0100mima(~mmh@dhcp-138-246-3-113.dynamic.eduroam.mwn.de)
2024-01-19 15:54:15 +0100vpan(~vpan@212.117.1.172) (Quit: Leaving.)
2024-01-19 15:56:05 +0100Square(~Square@user/square) (Ping timeout: 240 seconds)
2024-01-19 15:57:33 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2024-01-19 16:03:26 +0100danse-nr3(~danse@151.35.148.140) (Remote host closed the connection)
2024-01-19 16:03:48 +0100danse-nr3(~danse@151.35.148.140)
2024-01-19 16:08:49 +0100danse-nr3(~danse@151.35.148.140) (Ping timeout: 264 seconds)
2024-01-19 16:19:33 +0100ulvarrefr(~user@188.124.56.153)
2024-01-19 16:25:28 +0100 <absence> ncf: Right, I guess it would be (a -> f (g b)) -> s -> f (g t), which doesn't seem to have a name. I can get it using "alaf Compose someLens", and call it without traverseOf, so that's probably as much as I can hope for.
2024-01-19 16:28:02 +0100 <kuribas> absence: what is the goal, code golf?
2024-01-19 16:28:12 +0100 <kuribas> IMO better to make it explicit and clear.
2024-01-19 16:31:43 +0100 <absence> kuribas: I don't think an explicit Compose/getCompose pair is more clear if they have to be positioned at some distance from each other.
2024-01-19 16:32:38 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.1.2)
2024-01-19 16:44:34 +0100Szilva(~Szilva@77-234-80-135.pool.digikabel.hu) (Ping timeout: 255 seconds)
2024-01-19 16:46:16 +0100Szilva(~Szilva@80-95-85-12.pool.digikabel.hu)
2024-01-19 16:48:37 +0100harveypwca(~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b)
2024-01-19 17:01:35 +0100 <kuribas> absence: well, you have an effect, and the compose changes the meaning to use the combined effect.
2024-01-19 17:01:41 +0100 <kuribas> So it is not redundant.
2024-01-19 17:02:05 +0100 <kuribas> You could use `coerce` in the end if you don't care about the wrapper.
2024-01-19 17:04:33 +0100danse-nr3(~danse@151.37.128.108)
2024-01-19 17:12:51 +0100rosco(~rosco@175.136.156.77) (Quit: Lost terminal)
2024-01-19 17:13:25 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1)
2024-01-19 17:18:55 +0100euleritian(~euleritia@dynamic-176-006-196-200.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-01-19 17:19:14 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-01-19 17:26:43 +0100Sgeo(~Sgeo@user/sgeo)
2024-01-19 17:29:43 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2024-01-19 17:35:13 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2024-01-19 17:35:41 +0100danse-nr3(~danse@151.37.128.108) (Ping timeout: 252 seconds)
2024-01-19 17:35:51 +0100k``(~user@152.1.137.158)
2024-01-19 17:38:26 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-01-19 17:39:24 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-01-19 17:40:48 +0100 <k``> I have a test "main" that consists of only `main = do quickCheck (undefined :: Bool)`. When I run `cabal new-test`, it says "1 of 1 test suites (1 of 1 test cases) passed.". Am I doing this wrong?
2024-01-19 17:44:30 +0100Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2024-01-19 17:49:33 +0100econo_(uid147250@id-147250.tinside.irccloud.com)
2024-01-19 17:51:36 +0100chele(~chele@user/chele) (Remote host closed the connection)
2024-01-19 17:53:21 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-01-19 17:57:40 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-01-19 17:58:07 +0100igemnace(~ian@user/igemnace)
2024-01-19 17:58:18 +0100igemnace(~ian@user/igemnace) (Read error: Connection reset by peer)
2024-01-19 18:06:04 +0100 <c_wraith> k``: that mechanism checks the exit code of a program. The quickCheck function swallows exceptions, so the program exits normally.
2024-01-19 18:06:13 +0100 <c_wraith> that cabal mechanism, I mean
2024-01-19 18:06:55 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2024-01-19 18:07:46 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-01-19 18:08:34 +0100euleritian(~euleritia@dynamic-046-114-240-024.46.114.pool.telefonica.de)
2024-01-19 18:11:59 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:149c:bf12:1c41:87ab)
2024-01-19 18:14:17 +0100 <k``> c_wraith: I see; thanks.
2024-01-19 18:15:10 +0100igemnace(~ian@user/igemnace)
2024-01-19 18:16:45 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net)
2024-01-19 18:18:14 +0100 <k``> I'm also noticing that generics-based default definitions seem to be more strict than the instances for the Rep types would indicate. For example, I have a class with U1, :*:, :+:, etc, instances, all which are lazy in the second argument of the class's method, and yet default definitions using `to (from x `method` from y)` are strict in the second argument.
2024-01-19 18:18:27 +0100 <k``> Is that an intentional design feature?
2024-01-19 18:18:52 +0100ft(~ft@p508dbda4.dip0.t-ipconnect.de)
2024-01-19 18:29:39 +0100thegeekinside(~thegeekin@189.217.90.224) (Remote host closed the connection)
2024-01-19 18:34:28 +0100euleritian(~euleritia@dynamic-046-114-240-024.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2024-01-19 18:34:44 +0100euleritian(~euleritia@dynamic-046-114-240-024.46.114.pool.telefonica.de)
2024-01-19 18:36:48 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2024-01-19 18:47:35 +0100a51(a51@gateway/vpn/protonvpn/a51)
2024-01-19 18:57:48 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-01-19 19:03:57 +0100johnjaye(~pi@035-146-235-140.res.spectrum.com)
2024-01-19 19:05:36 +0100euleritian(~euleritia@dynamic-046-114-240-024.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2024-01-19 19:05:39 +0100mokee(~mokee@37.228.215.150)
2024-01-19 19:05:41 +0100Square(~Square@user/square)
2024-01-19 19:05:52 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-01-19 19:06:33 +0100mokee(~mokee@37.228.215.150) (Client Quit)
2024-01-19 19:09:58 +0100a51(a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.1.2)
2024-01-19 19:15:49 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2024-01-19 19:16:28 +0100euleritian(~euleritia@dynamic-046-114-240-024.46.114.pool.telefonica.de)
2024-01-19 19:20:54 +0100target_i(~target_i@217.175.14.39)
2024-01-19 19:21:01 +0100euleritian(~euleritia@dynamic-046-114-240-024.46.114.pool.telefonica.de) (Ping timeout: 260 seconds)
2024-01-19 19:22:15 +0100euleritian(~euleritia@dynamic-046-114-181-163.46.114.pool.telefonica.de)
2024-01-19 19:26:04 +0100euleritian(~euleritia@dynamic-046-114-181-163.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2024-01-19 19:26:20 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-01-19 19:32:36 +0100Lycurgus(~georg@user/Lycurgus)
2024-01-19 19:33:09 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-01-19 19:36:08 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2024-01-19 19:36:25 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-01-19 19:40:37 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2024-01-19 20:03:24 +0100dagit(~dagit@2001:558:6025:38:71c6:9d58:7252:8976)
2024-01-19 20:03:54 +0100tzh_(~tzh@c-71-193-181-0.hsd1.or.comcast.net)
2024-01-19 20:05:33 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2024-01-19 20:11:25 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2024-01-19 20:11:57 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2024-01-19 20:17:23 +0100harveypwca(~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) (Quit: Leaving)
2024-01-19 20:22:53 +0100tzh_(~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2024-01-19 20:28:11 +0100mima(~mmh@dhcp-138-246-3-113.dynamic.eduroam.mwn.de) (Ping timeout: 264 seconds)
2024-01-19 20:29:11 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-01-19 20:32:55 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2024-01-19 20:33:14 +0100azimut_(~azimut@gateway/tor-sasl/azimut)
2024-01-19 20:33:30 +0100azimut_(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2024-01-19 20:34:30 +0100chomwitt(~chomwitt@2a02:587:7a2c:e800:1ac0:4dff:fedb:a3f1)
2024-01-19 20:38:31 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2024-01-19 20:39:03 +0100 <tinjamin> whats the difference between term level and type level?
2024-01-19 20:39:21 +0100 <tinjamin> and also their definition
2024-01-19 20:42:30 +0100 <glguy> tinjamin: the values (I'm guessing this what you meant by term) of your program are the runtime data, the things the program computes on at runtime
2024-01-19 20:43:12 +0100 <glguy> types are what are used to categorize values and check that the program is well-formed
2024-01-19 20:43:55 +0100 <glguy> type level is where you write the expressions that define those categories of values
2024-01-19 20:44:21 +0100 <glguy> so the value: [1,2,3,4] is the list of the numbers one two three and four
2024-01-19 20:44:58 +0100 <glguy> that value has a type that we describe with a type-level expression: [Int] which is another way of writing [] Int, the [] function applied to Int
2024-01-19 20:45:51 +0100 <glguy> value-level :: type-level -- the :: symbol is used to relate a value-level expression to a type-level expression
2024-01-19 20:46:07 +0100 <glguy> this value is a member of this type
2024-01-19 20:49:14 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net)
2024-01-19 20:49:50 +0100hueso(~root@user/hueso) (Ping timeout: 252 seconds)
2024-01-19 20:50:16 +0100hueso(~root@user/hueso)
2024-01-19 20:50:27 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2024-01-19 20:51:00 +0100theesm(2cbdf4b38a@2a03:6000:1812:100::11c8) (Remote host closed the connection)
2024-01-19 20:51:05 +0100Franciman(~Franciman@mx1.fracta.dev)
2024-01-19 20:51:51 +0100 <tinjamin> glguy: okay, I think I understand what you are saying
2024-01-19 20:55:22 +0100 <tinjamin> glguy: is this close?: https://chat.ndlug.org/uploads/e05e0091115a7b5d/scratch.hs
2024-01-19 20:56:27 +0100 <glguy> tinjamin: Type level from your example is the stuff to the right of ::, so (Int, [a]) -> (Int, [a]) -> (Int, [a])
2024-01-19 20:56:41 +0100 <glguy> value level is fine - term level isn't really a thing
2024-01-19 20:57:10 +0100 <tinjamin> hmmm okay, i used term level because that is what is used in Haskell from First Principles
2024-01-19 20:57:17 +0100 <glguy> That book makes up a lot
2024-01-19 20:57:46 +0100 <tinjamin> lolol okay, ill keep that in mind
2024-01-19 20:57:55 +0100 <glguy> but calling it term or value isn't going to matter much as long as you get the distinction
2024-01-19 20:58:04 +0100 <glguy> between the runtime values and the compile-time types
2024-01-19 21:01:57 +0100target_i(~target_i@217.175.14.39) (Quit: leaving)
2024-01-19 21:02:32 +0100 <tinjamin> glguy: sweet, thanks mate!
2024-01-19 21:12:49 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-01-19 21:16:09 +0100 <EvanR> terms seems to be interchangable with expression sometimes
2024-01-19 21:22:24 +0100ph88(~ph88@ip5b403f30.dynamic.kabel-deutschland.de)
2024-01-19 21:29:35 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-01-19 21:36:54 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:149c:bf12:1c41:87ab) (Remote host closed the connection)
2024-01-19 21:41:58 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-01-19 21:43:59 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-01-19 21:49:14 +0100mima(~mmh@aftr-62-216-211-233.dynamic.mnet-online.de)
2024-01-19 21:49:45 +0100trev(~trev@user/trev) (Quit: trev)
2024-01-19 21:52:23 +0100trev(~trev@user/trev)
2024-01-19 21:53:10 +0100trev(~trev@user/trev) (Client Quit)
2024-01-19 21:55:10 +0100 <haskellbridge> 15<J​ade> why is there no specialized `sconcat` for `First` as `sconcat (x :| _) = x`?
2024-01-19 21:55:44 +0100trev(~trev@user/trev)
2024-01-19 21:56:19 +0100 <haskellbridge> 15<J​ade> by the default implementation it would call `<>` as many times as there are items in the list
2024-01-19 21:56:43 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2024-01-19 21:57:57 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-01-19 21:58:23 +0100 <EvanR> laziness saves the day there?
2024-01-19 21:58:23 +0100trev(~trev@user/trev) (Client Quit)
2024-01-19 21:58:38 +0100 <EvanR> depending on the implementation of <>
2024-01-19 21:59:43 +0100trev(~trev@user/trev)
2024-01-19 22:00:41 +0100trev(~trev@user/trev) (Client Quit)
2024-01-19 22:00:59 +0100trev(~trev@user/trev)
2024-01-19 22:02:13 +0100trev(~trev@user/trev) (Client Quit)
2024-01-19 22:04:35 +0100troydm(~troydm@user/troydm)
2024-01-19 22:04:42 +0100 <haskellbridge> 15<J​ade> yeah, you're right
2024-01-19 22:05:07 +0100 <haskellbridge> 15<J​ade> I didn't read the default implementation of `sconcat` right
2024-01-19 22:05:35 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-01-19 22:06:30 +0100 <haskellbridge> 15<J​ade> another thing I noticed earlier is that the semigroup instance for `()` is the laziest it can be, and it's documented with a `should this be more strict?`
2024-01-19 22:06:54 +0100 <haskellbridge> 15<J​ade> `error "lol" <> undefined :: ()` yields `()`
2024-01-19 22:07:00 +0100 <haskellbridge> 15<J​ade> why was that choice made?
2024-01-19 22:07:44 +0100 <[Leary]> The specialised implementation of `sconcat` on `First` would still be an improvement, since the default is needlessly strict in the tail.
2024-01-19 22:07:49 +0100 <[Leary]> % sconcat (First () :| undefined)
2024-01-19 22:07:49 +0100 <yahb2> *** Exception: Prelude.undefined ; CallStack (from HasCallStack): ; error, called at libraries/base/GHC/Err.hs:74:14 in base:GHC.Err ; undefined, called at <interactive>:77:22 in interactive:Ghci7
2024-01-19 22:07:52 +0100 <[Leary]> % sconcat (First () :| First () : undefined)
2024-01-19 22:07:52 +0100 <yahb2> First {getFirst = ()}
2024-01-19 22:07:56 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:149c:bf12:1c41:87ab)
2024-01-19 22:08:27 +0100 <haskellbridge> 15<J​ade> would that be a breaking change and require a CLC proposal still?
2024-01-19 22:10:54 +0100causal(~eric@50.35.85.7)
2024-01-19 22:12:30 +0100 <[Leary]> Technically it could be, but anything that breaks deserves to be broken. I imagine you could slip this one under their noses.
2024-01-19 22:17:06 +0100 <EvanR> move slow, break things
2024-01-19 22:19:18 +0100paddymahoney(~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (Remote host closed the connection)
2024-01-19 22:19:38 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2024-01-19 22:22:45 +0100paddymahoney(~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com)
2024-01-19 22:23:36 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection)
2024-01-19 22:23:38 +0100mqlnv(~tripod@47.154.25.27) (Ping timeout: 268 seconds)
2024-01-19 22:23:44 +0100 <haskellbridge> 15<J​ade> Is there any `Semigroup` instance in base (or another library, it doesn't matter really) where `sconcat` has a non-default implementation for sake of performance?
2024-01-19 22:23:54 +0100 <haskellbridge> 15<J​ade> So far I haven't been able to find one
2024-01-19 22:25:04 +0100mqlnv(~tripod@47.154.25.27)
2024-01-19 22:27:45 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2024-01-19 22:28:08 +0100 <EvanR> I see instance Semigroup (Vector a) where sconcat = G.concatNE
2024-01-19 22:28:29 +0100gmg(~user@user/gehmehgeh)
2024-01-19 22:28:33 +0100 <EvanR> concatNE = concat . NonEmpty.toList
2024-01-19 22:28:49 +0100 <EvanR> concat = unstream . Bundle.fromVectors
2024-01-19 22:28:51 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
2024-01-19 22:29:47 +0100 <haskellbridge> 15<J​ade> thanks!
2024-01-19 22:29:56 +0100 <haskellbridge> 15<J​ade> I also found `ByteArray` and `Bytestring`
2024-01-19 22:37:57 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 260 seconds)
2024-01-19 22:37:59 +0100dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 256 seconds)
2024-01-19 22:44:49 +0100dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2024-01-19 22:46:27 +0100k``(~user@152.1.137.158) (Ping timeout: 268 seconds)
2024-01-19 22:48:29 +0100fansly(~fansly@182.0.197.238)
2024-01-19 22:50:14 +0100k``(~user@152.1.137.158)
2024-01-19 22:53:34 +0100k``(~user@152.1.137.158) (Client Quit)
2024-01-19 22:55:51 +0100czy(~user@114.226.59.181) (Remote host closed the connection)
2024-01-19 22:56:33 +0100czy(~user@114.226.59.181)
2024-01-19 22:57:33 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 260 seconds)
2024-01-19 22:58:14 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-01-19 23:02:29 +0100fansly(~fansly@182.0.197.238) (Remote host closed the connection)
2024-01-19 23:05:03 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-01-19 23:12:21 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2024-01-19 23:18:30 +0100michalz(~michalz@185.246.207.218) (Quit: ZNC 1.8.2 - https://znc.in)
2024-01-19 23:21:30 +0100glguy_(g@libera/staff/glguy)
2024-01-19 23:22:24 +0100glguy_(g@libera/staff/glguy) (Read error: Connection reset by peer)
2024-01-19 23:22:46 +0100glguy_(g@libera/staff/glguy)
2024-01-19 23:24:17 +0100glguy(g@libera/staff/glguy) (Read error: Connection reset by peer)
2024-01-19 23:28:30 +0100Tuplanolla(~Tuplanoll@91-159-69-171.elisa-laajakaista.fi)
2024-01-19 23:30:17 +0100[_](~itchyjunk@user/itchyjunk/x-7353470)
2024-01-19 23:34:08 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 256 seconds)
2024-01-19 23:38:13 +0100glguy_glguy
2024-01-19 23:53:59 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection)
2024-01-19 23:57:09 +0100dagit(~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Read error: Connection reset by peer)