2024-01-19 00:00:14 +0100 | fansly | (~fansly@103.3.221.236) (Ping timeout: 252 seconds) |
2024-01-19 00:01:09 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
2024-01-19 00:02:34 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Read error: Connection reset by peer) |
2024-01-19 00:03:04 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
2024-01-19 00:05:40 +0100 | mima | (~mmh@dhcp-138-246-3-113.dynamic.eduroam.mwn.de) (Ping timeout: 276 seconds) |
2024-01-19 00:06:01 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
2024-01-19 00:09:53 +0100 | mokee | (~mokee@37.228.215.150) (Quit: off) |
2024-01-19 00:10:51 +0100 | mokee | (~mokee@37.228.215.150) |
2024-01-19 00:12:14 +0100 | mizlan | (~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) (Remote host closed the connection) |
2024-01-19 00:13:00 +0100 | mizlan | (~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 +0100 | acidjnk | (~acidjnk@p200300d6e737e799153519f8f5371d87.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2024-01-19 00:30:13 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-01-19 00:31:08 +0100 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
2024-01-19 00:31:08 +0100 | Feuermagier | Guest2556 |
2024-01-19 00:31:08 +0100 | Feuermagier_ | Feuermagier |
2024-01-19 00:31:39 +0100 | crook1389 | (uid581388@id-581388.ilkley.irccloud.com) |
2024-01-19 00:31:58 +0100 | mizlan | (~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) (Remote host closed the connection) |
2024-01-19 00:32:42 +0100 | mizlan | (~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) |
2024-01-19 00:33:10 +0100 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
2024-01-19 00:33:10 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Killed (zirconium.libera.chat (Nickname regained by services))) |
2024-01-19 00:33:10 +0100 | Feuermagier_ | Feuermagier |
2024-01-19 00:33:12 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-01-19 00:33:15 +0100 | Guest2556 | (~Feuermagi@user/feuermagier) (Ping timeout: 256 seconds) |
2024-01-19 00:35:50 +0100 | Hooloovoo | (~Hooloovoo@hax0rbana.org) (Ping timeout: 260 seconds) |
2024-01-19 00:37:38 +0100 | Square | (~Square@user/square) |
2024-01-19 00:37:39 +0100 | Hooloovoo | (~Hooloovoo@hax0rbana.org) |
2024-01-19 00:39:41 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
2024-01-19 00:41:06 +0100 | xff0x | (~xff0x@ai085147.d.east.v6connect.net) (Ping timeout: 256 seconds) |
2024-01-19 00:42:43 +0100 | xff0x | (~xff0x@178.255.149.135) |
2024-01-19 00:42:53 +0100 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
2024-01-19 00:45:12 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
2024-01-19 00:45:21 +0100 | YoungFrog | (~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 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 264 seconds) |
2024-01-19 00:48:54 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 260 seconds) |
2024-01-19 00:49:13 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
2024-01-19 00:52:17 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-01-19 00:58:10 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-01-19 00:59:14 +0100 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
2024-01-19 00:59:46 +0100 | mizlan | (~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) (Remote host closed the connection) |
2024-01-19 01:00:31 +0100 | mizlan | (~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) |
2024-01-19 01:01:44 +0100 | raoul6 | (~raoul@95.179.203.88) |
2024-01-19 01:02:34 +0100 | megaTherion_ | (~therion@unix.io) |
2024-01-19 01:02:44 +0100 | stefan-_ | (~cri@42dots.de) |
2024-01-19 01:03:13 +0100 | waldo | (~waldo@user/waldo) (Quit: waldo) |
2024-01-19 01:03:20 +0100 | pandeyan | (~pandeyan@135-180-53-30.fiber.dynamic.sonic.net) |
2024-01-19 01:03:49 +0100 | B-J | (~BenziJuni@88-149-65-224.du.xdsl.is) |
2024-01-19 01:03:57 +0100 | krei-se- | (~krei-se@p508747fd.dip0.t-ipconnect.de) |
2024-01-19 01:04:30 +0100 | qhong | (~qhong@rescomp-21-400677.stanford.edu) |
2024-01-19 01:05:05 +0100 | myme1 | (~myme@2a01:799:d5e:2e00:abf6:2f60:4488:2041) |
2024-01-19 01:05:14 +0100 | mjacob_ | (~mjacob@adrastea.uberspace.de) |
2024-01-19 01:05:48 +0100 | hippoid1 | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) |
2024-01-19 01:07:56 +0100 | Ellenor | (~Ellenor@callbox.trd.is) |
2024-01-19 01:08:13 +0100 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 264 seconds) |
2024-01-19 01:09:48 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (*.net *.split) |
2024-01-19 01:09:48 +0100 | ricardo1 | (~ricardo@84.16.179.218) (*.net *.split) |
2024-01-19 01:09:48 +0100 | myme | (~myme@40.51-175-185.customer.lyse.net) (*.net *.split) |
2024-01-19 01:09:48 +0100 | zmt01 | (~zmt00@user/zmt00) (*.net *.split) |
2024-01-19 01:09:48 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (*.net *.split) |
2024-01-19 01:09:48 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (*.net *.split) |
2024-01-19 01:09:49 +0100 | qhong_ | (~qhong@dn160vrd000d6kpg009l6c0000fj.stanford.edu) (*.net *.split) |
2024-01-19 01:09:49 +0100 | notzmv | (~zmv@user/notzmv) (*.net *.split) |
2024-01-19 01:09:49 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (*.net *.split) |
2024-01-19 01:09:49 +0100 | Ranhir | (~Ranhir@157.97.53.139) (*.net *.split) |
2024-01-19 01:09:49 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (*.net *.split) |
2024-01-19 01:09:49 +0100 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (*.net *.split) |
2024-01-19 01:09:49 +0100 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) (*.net *.split) |
2024-01-19 01:09:49 +0100 | Benzi-Junior | (~BenziJuni@88-149-65-224.du.xdsl.is) (*.net *.split) |
2024-01-19 01:09:49 +0100 | raoul | (~raoul@95.179.203.88) (*.net *.split) |
2024-01-19 01:09:49 +0100 | Flow | (~none@gentoo/developer/flow) (*.net *.split) |
2024-01-19 01:09:50 +0100 | stefan-_- | (~cri@42dots.de) (*.net *.split) |
2024-01-19 01:09:50 +0100 | mjacob | (~mjacob@adrastea.uberspace.de) (*.net *.split) |
2024-01-19 01:09:50 +0100 | megaTherion | (~therion@unix.io) (*.net *.split) |
2024-01-19 01:09:50 +0100 | anpad | (~pandeyan@user/anpad) (*.net *.split) |
2024-01-19 01:09:50 +0100 | AmyMalik | (~Ellenor@callbox.trd.is) (*.net *.split) |
2024-01-19 01:09:50 +0100 | hippoid | (~hippoid@user/hippoid) (*.net *.split) |
2024-01-19 01:09:50 +0100 | megaTherion_ | megaTherion |
2024-01-19 01:09:50 +0100 | theesm_ | theesm |
2024-01-19 01:09:51 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) |
2024-01-19 01:09:53 +0100 | raoul6 | raoul |
2024-01-19 01:10:43 +0100 | xff0x | (~xff0x@2405:6580:b080:900:305b:52e3:cce8:b170) |
2024-01-19 01:11:44 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
2024-01-19 01:16:37 +0100 | mima | (~mmh@aftr-62-216-211-118.dynamic.mnet-online.de) |
2024-01-19 01:16:42 +0100 | chomwitt | (~chomwitt@2a02:587:7a2c:e800:1ac0:4dff:fedb:a3f1) |
2024-01-19 01:17:51 +0100 | ricardo | (~ricardo@84.16.179.218) |
2024-01-19 01:17:56 +0100 | notzmv | (~zmv@user/notzmv) |
2024-01-19 01:18:08 +0100 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
2024-01-19 01:18:15 +0100 | ricardo | Guest3894 |
2024-01-19 01:19:41 +0100 | rvalue | (~rvalue@user/rvalue) |
2024-01-19 01:22:23 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
2024-01-19 01:22:23 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
2024-01-19 01:22:23 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
2024-01-19 01:22:23 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
2024-01-19 01:22:23 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-01-19 01:22:23 +0100 | Flow | (~none@gentoo/developer/flow) |
2024-01-19 01:23:59 +0100 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
2024-01-19 01:25:21 +0100 | mizlan | (~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) (Remote host closed the connection) |
2024-01-19 01:26:05 +0100 | mizlan | (~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) |
2024-01-19 01:26:55 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Ping timeout: 276 seconds) |
2024-01-19 01:41:05 +0100 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.1.2) |
2024-01-19 01:43:08 +0100 | Axman6 | (~Axman6@user/axman6) |
2024-01-19 01:44:13 +0100 | peterbecich | (~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 +0100 | xff0x | (~xff0x@2405:6580:b080:900:305b:52e3:cce8:b170) (Ping timeout: 260 seconds) |
2024-01-19 01:48:03 +0100 | xff0x | (~xff0x@ai085147.d.east.v6connect.net) |
2024-01-19 01:50:35 +0100 | mizlan | (~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) (Remote host closed the connection) |
2024-01-19 01:51:20 +0100 | mizlan | (~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) |
2024-01-19 01:55:32 +0100 | mizlan | (~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) (Remote host closed the connection) |
2024-01-19 01:56:17 +0100 | mizlan | (~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) |
2024-01-19 02:04:23 +0100 | mmhat | (~mmh@p200300f1c724f91cee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.2) |
2024-01-19 02:11:38 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) (Read error: Connection reset by peer) |
2024-01-19 02:11:44 +0100 | hgolden_ | (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) |
2024-01-19 02:15:34 +0100 | mizlan | (~mizlan@wifi-natpool-131-179-61-138.host.ucla.edu) (Ping timeout: 264 seconds) |
2024-01-19 02:16:00 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
2024-01-19 02:18:07 +0100 | johnw | (~johnw@69.62.242.138) |
2024-01-19 02:19:48 +0100 | mixfix41 | (~enriqodog@user/mixfix41) |
2024-01-19 02:26:21 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2024-01-19 02:26:21 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2024-01-19 02:26:21 +0100 | wroathe | (~wroathe@user/wroathe) |
2024-01-19 02:30:23 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2024-01-19 02:30:25 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
2024-01-19 02:31:45 +0100 | Lord_of_Life_ | Lord_of_Life |
2024-01-19 02:33:41 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 245 seconds) |
2024-01-19 02:37:09 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-01-19 02:37:35 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-01-19 02:39:35 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2024-01-19 02:40:45 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-01-19 02:41:44 +0100 | mizlan | (~mizlan@2607:f010:2a7:3017:b4f0:237f:a46f:fefa) |
2024-01-19 02:43:14 +0100 | chomwitt | (~chomwitt@2a02:587:7a2c:e800:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds) |
2024-01-19 02:44:24 +0100 | mizlan | (~mizlan@2607:f010:2a7:3017:b4f0:237f:a46f:fefa) (Remote host closed the connection) |
2024-01-19 02:45:03 +0100 | mizlan | (~mizlan@2607:f010:2a7:3017:b4f0:237f:a46f:fefa) |
2024-01-19 03:03:19 +0100 | xff0x | (~xff0x@ai085147.d.east.v6connect.net) (Ping timeout: 255 seconds) |
2024-01-19 03:05:01 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
2024-01-19 03:10:07 +0100 | mizlan | (~mizlan@2607:f010:2a7:3017:b4f0:237f:a46f:fefa) (Quit: mizlan) |
2024-01-19 03:11:26 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-01-19 03:23:27 +0100 | wlhn | (~wenzel@dl5fq-8yqkt42rsn1837y-3.rev.dnainternet.fi) (Remote host closed the connection) |
2024-01-19 03:23:52 +0100 | wlhn | (~wenzel@dl5fq-8yqkt42rsn1837y-3.rev.dnainternet.fi) |
2024-01-19 03:40:47 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-01-19 03:45:11 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-01-19 03:57:00 +0100 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Read error: Connection reset by peer) |
2024-01-19 04:11:11 +0100 | crook1389 | (uid581388@id-581388.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
2024-01-19 04:13:51 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2d24:d5c:94b1:61c) (Remote host closed the connection) |
2024-01-19 04:14:11 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
2024-01-19 04:18:53 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 240 seconds) |
2024-01-19 04:19:12 +0100 | esph | (~weechat@user/esph) |
2024-01-19 04:31:33 +0100 | mima | (~mmh@aftr-62-216-211-118.dynamic.mnet-online.de) (Ping timeout: 260 seconds) |
2024-01-19 04:35:41 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-01-19 04:37:09 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
2024-01-19 04:58:37 +0100 | td_ | (~td@i53870919.versanet.de) (Ping timeout: 260 seconds) |
2024-01-19 05:00:07 +0100 | td_ | (~td@i53870934.versanet.de) |
2024-01-19 05:22:13 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2024-01-19 05:29:14 +0100 | pavonia | (~user@user/siracusa) |
2024-01-19 05:40:37 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
2024-01-19 05:41:32 +0100 | platz | (~platz@user/platz) |
2024-01-19 05:42:10 +0100 | Feuermagier | Guest2971 |
2024-01-19 05:42:10 +0100 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
2024-01-19 05:42:10 +0100 | Guest2971 | (~Feuermagi@user/feuermagier) (Killed (tungsten.libera.chat (Nickname regained by services))) |
2024-01-19 05:42:10 +0100 | Feuermagier_ | 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 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 260 seconds) |
2024-01-19 05:45:56 +0100 | fansly | (~fansly@182.0.171.64) |
2024-01-19 05:46:41 +0100 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
2024-01-19 05:46:41 +0100 | Feuermagier | Guest2856 |
2024-01-19 05:46:41 +0100 | Guest2856 | (~Feuermagi@user/feuermagier) (Killed (copper.libera.chat (Nickname regained by services))) |
2024-01-19 05:46:41 +0100 | Feuermagier_ | Feuermagier |
2024-01-19 05:48:04 +0100 | fansly | (~fansly@182.0.171.64) (Read error: Connection reset by peer) |
2024-01-19 05:48:28 +0100 | fansly | (~fansly@103.3.221.236) |
2024-01-19 05:55:12 +0100 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) |
2024-01-19 05:55:24 +0100 | dagi30810 | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Read error: Connection reset by peer) |
2024-01-19 05:57:33 +0100 | platz | (~platz@user/platz) () |
2024-01-19 05:57:52 +0100 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Remote host closed the connection) |
2024-01-19 05:59:10 +0100 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) |
2024-01-19 06:03:14 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 252 seconds) |
2024-01-19 06:08:09 +0100 | michalz | (~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 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
2024-01-19 06:20:42 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-01-19 06:24:25 +0100 | trev | (~trev@user/trev) |
2024-01-19 06:32:29 +0100 | michalz | (~michalz@185.246.207.200) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-01-19 06:35:19 +0100 | michalz | (~michalz@185.246.207.218) |
2024-01-19 06:38:51 +0100 | rosco | (~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 +0100 | fansly | (~fansly@103.3.221.236) (Ping timeout: 264 seconds) |
2024-01-19 06:52:34 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
2024-01-19 06:52:35 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
2024-01-19 06:52:56 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
2024-01-19 06:54:02 +0100 | euleritian | (~euleritia@dynamic-176-003-216-134.176.3.pool.telefonica.de) |
2024-01-19 06:57:41 +0100 | bilegeek | (~bilegeek@2600:1008:b012:6b7a:6ddf:88a9:c8a2:5be7) |
2024-01-19 06:59:41 +0100 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Ping timeout: 240 seconds) |
2024-01-19 06:59:49 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 264 seconds) |
2024-01-19 07:00:14 +0100 | fansly | (~fansly@182.0.144.204) |
2024-01-19 07:01:02 +0100 | euleritian | (~euleritia@dynamic-176-003-216-134.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-01-19 07:01:25 +0100 | euleritian | (~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 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 245 seconds) |
2024-01-19 07:06:34 +0100 | lisbeths_ | (uid135845@id-135845.lymington.irccloud.com) |
2024-01-19 07:13:05 +0100 | foul_owl | (~kerry@157.97.134.168) (Ping timeout: 252 seconds) |
2024-01-19 07:13:30 +0100 | foul_owl | (~kerry@157.97.134.168) |
2024-01-19 07:14:31 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
2024-01-19 07:16:10 +0100 | fansly | (~fansly@182.0.144.204) (Read error: Connection reset by peer) |
2024-01-19 07:17:09 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
2024-01-19 07:17:13 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-01-19 07:19:50 +0100 | acidjnk | (~acidjnk@p200300d6e737e774399fbf5a7771cd09.dip0.t-ipconnect.de) |
2024-01-19 07:26:36 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
2024-01-19 07:26:49 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-01-19 07:27:15 +0100 | califax | (~califax@user/califx) |
2024-01-19 07:28:37 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
2024-01-19 07:29:19 +0100 | euleritian | (~euleritia@dynamic-176-003-216-134.176.3.pool.telefonica.de) |
2024-01-19 07:30:14 +0100 | phma | (phma@2001:5b0:211b:be18:6a29:b39:dbf0:7d7b) (Read error: Connection reset by peer) |
2024-01-19 07:30:39 +0100 | phma | (~phma@host-67-44-208-60.hnremote.net) |
2024-01-19 07:31:37 +0100 | actioninja | (~actioninj@user/actioninja) (Quit: Ping timeout (120 seconds)) |
2024-01-19 07:32:03 +0100 | actioninja | (~actioninj@user/actioninja) |
2024-01-19 07:38:03 +0100 | euleritian | (~euleritia@dynamic-176-003-216-134.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-01-19 07:38:20 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-01-19 07:46:58 +0100 | mokee | (~mokee@37.228.215.150) (Quit: off) |
2024-01-19 07:49:54 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2024-01-19 07:50:08 +0100 | euleritian | (~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 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
2024-01-19 08:04:52 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-01-19 08:08:35 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-01-19 08:10:48 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2024-01-19 08:11:25 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-01-19 08:19:17 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.1.2) |
2024-01-19 08:29:43 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
2024-01-19 08:37:09 +0100 | chomwitt | (~chomwitt@2a02:587:7a2c:e800:1ac0:4dff:fedb:a3f1) |
2024-01-19 08:39:26 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-01-19 08:40:11 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2024-01-19 08:46:18 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-01-19 08:51:35 +0100 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 264 seconds) |
2024-01-19 08:52:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-01-19 08:52:35 +0100 | vpan | (~vpan@212.117.1.172) |
2024-01-19 09:04:14 +0100 | Ellenor | AmyMalik |
2024-01-19 09:06:31 +0100 | jjhoo | (~jahakala@user/jjhoo) |
2024-01-19 09:12:22 +0100 | chele | (~chele@user/chele) |
2024-01-19 09:18:37 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-01-19 09:24:20 +0100 | andjjj23_ | (~irc@107.170.228.47) (Remote host closed the connection) |
2024-01-19 09:25:12 +0100 | andjjj23 | (~irc@107.170.228.47) |
2024-01-19 09:28:16 +0100 | cfricke | (~cfricke@user/cfricke) |
2024-01-19 09:30:31 +0100 | danse-nr3 | (~danse@151.37.193.6) |
2024-01-19 09:32:08 +0100 | mima | (~mmh@aftr-62-216-211-140.dynamic.mnet-online.de) |
2024-01-19 09:32:31 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
2024-01-19 09:36:46 +0100 | gmg | (~user@user/gehmehgeh) |
2024-01-19 09:37:01 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 276 seconds) |
2024-01-19 09:37:07 +0100 | CiaoSen | (~Jura@2a05:5800:2c2:7d00:ca4b:d6ff:fec1:99da) |
2024-01-19 09:37:22 +0100 | fansly | (~fansly@103.3.221.236) |
2024-01-19 09:39:38 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
2024-01-19 09:46:07 +0100 | average | (uid473595@user/average) |
2024-01-19 09:46:43 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2024-01-19 09:47:30 +0100 | gmg | (~user@user/gehmehgeh) |
2024-01-19 09:49:34 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2024-01-19 10:00:22 +0100 | qqq | (~qqq@92.43.167.61) |
2024-01-19 10:02:39 +0100 | mmhat | (~mmh@p200300f1c724f91cee086bfffe095315.dip0.t-ipconnect.de) |
2024-01-19 10:03:01 +0100 | fansly | (~fansly@103.3.221.236) (Ping timeout: 276 seconds) |
2024-01-19 10:03:30 +0100 | fansly | (~fansly@182.0.164.88) |
2024-01-19 10:14:15 +0100 | mmhat | (~mmh@p200300f1c724f91cee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.2) |
2024-01-19 10:16:05 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-01-19 10:24:00 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-01-19 10:28:57 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
2024-01-19 10:29:17 +0100 | ft | (~ft@p508dbda4.dip0.t-ipconnect.de) (Quit: leaving) |
2024-01-19 10:31:19 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
2024-01-19 10:33:47 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
2024-01-19 10:34:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-01-19 10:36:47 +0100 | fansly | (~fansly@182.0.164.88) (Read error: Connection reset by peer) |
2024-01-19 10:37:02 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
2024-01-19 10:41:51 +0100 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 256 seconds) |
2024-01-19 10:46:11 +0100 | chomwitt | (~chomwitt@2a02:587:7a2c:e800:1ac0:4dff:fedb:a3f1) (Ping timeout: 268 seconds) |
2024-01-19 11:03:46 +0100 | jjhoo | (~jahakala@user/jjhoo) |
2024-01-19 11:05:04 +0100 | mokee | (~mokee@37.228.215.150) |
2024-01-19 11:05:39 +0100 | mokee | (~mokee@37.228.215.150) (Client Quit) |
2024-01-19 11:06:09 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
2024-01-19 11:06:47 +0100 | mokee | (~mokee@37.228.215.150) |
2024-01-19 11:07:47 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds) |
2024-01-19 11:13:38 +0100 | mokee | (~mokee@37.228.215.150) (Quit: leaving) |
2024-01-19 11:13:57 +0100 | mokee | (~mokee@37.228.215.150) |
2024-01-19 11:19:37 +0100 | mokee | (~mokee@37.228.215.150) (Quit: leaving) |
2024-01-19 11:20:38 +0100 | mokee | (~mokee@37.228.215.150) |
2024-01-19 11:22:26 +0100 | Lycurgus | (~georg@user/Lycurgus) |
2024-01-19 11:31:19 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
2024-01-19 11:34:11 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds) |
2024-01-19 11:34:16 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-01-19 11:35:21 +0100 | mokee | (~mokee@37.228.215.150) (Quit: leaving) |
2024-01-19 11:36:08 +0100 | mokee | (~mokee@37.228.215.150) |
2024-01-19 11:39:29 +0100 | mokee | (~mokee@37.228.215.150) (Client Quit) |
2024-01-19 11:45:16 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-01-19 11:45:53 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-01-19 11:46:37 +0100 | bilegeek | (~bilegeek@2600:1008:b012:6b7a:6ddf:88a9:c8a2:5be7) (Quit: Leaving) |
2024-01-19 11:46:56 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-01-19 11:47:34 +0100 | gentauro | (~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 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2024-01-19 12:08:56 +0100 | chomwitt | (~chomwitt@2a02:587:7a2c:e800:1ac0:4dff:fedb:a3f1) |
2024-01-19 12:11:53 +0100 | causal | (~eric@50.35.85.7) (Quit: WeeChat 4.1.1) |
2024-01-19 12:16:08 +0100 | lisbeths_ | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-01-19 12:17:24 +0100 | danse-nr3 | (~danse@151.37.193.6) (Read error: Connection reset by peer) |
2024-01-19 12:18:13 +0100 | danse-nr3 | (~danse@151.37.160.245) |
2024-01-19 12:18:13 +0100 | CiaoSen | (~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 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 256 seconds) |
2024-01-19 12:28:10 +0100 | fansly | (~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 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2024-01-19 12:51:04 +0100 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Ping timeout: 268 seconds) |
2024-01-19 12:51:04 +0100 | jakzale | (6291399afa@user/jakzale) (Ping timeout: 268 seconds) |
2024-01-19 12:51:04 +0100 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 268 seconds) |
2024-01-19 12:51:11 +0100 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Ping timeout: 260 seconds) |
2024-01-19 12:51:11 +0100 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (Ping timeout: 260 seconds) |
2024-01-19 12:51:12 +0100 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Ping timeout: 260 seconds) |
2024-01-19 12:51:12 +0100 | jleightcap | (7bc4014b62@user/jleightcap) (Ping timeout: 260 seconds) |
2024-01-19 12:51:12 +0100 | jkoshy | (99b9359beb@user/jkoshy) (Ping timeout: 260 seconds) |
2024-01-19 12:51:12 +0100 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Ping timeout: 260 seconds) |
2024-01-19 12:51:12 +0100 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Ping timeout: 260 seconds) |
2024-01-19 12:51:17 +0100 | probie | (cc0b34050a@user/probie) (Ping timeout: 240 seconds) |
2024-01-19 12:51:32 +0100 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 256 seconds) |
2024-01-19 12:51:39 +0100 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Ping timeout: 260 seconds) |
2024-01-19 12:51:39 +0100 | rselim | (ce261f06ff@user/milesrout) (Ping timeout: 260 seconds) |
2024-01-19 12:51:39 +0100 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Ping timeout: 260 seconds) |
2024-01-19 12:51:39 +0100 | sm2n | (ae95cb1267@user/sm2n) (Ping timeout: 260 seconds) |
2024-01-19 12:51:39 +0100 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Ping timeout: 260 seconds) |
2024-01-19 12:51:39 +0100 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Ping timeout: 260 seconds) |
2024-01-19 12:51:39 +0100 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) (Ping timeout: 260 seconds) |
2024-01-19 12:51:41 +0100 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) (Ping timeout: 268 seconds) |
2024-01-19 12:51:41 +0100 | jmcantrell | (644f1bed9a@user/jmcantrell) (Ping timeout: 268 seconds) |
2024-01-19 12:51:41 +0100 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) (Ping timeout: 240 seconds) |
2024-01-19 12:51:41 +0100 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) (Ping timeout: 240 seconds) |
2024-01-19 12:52:07 +0100 | cpli | (77fc530071@2a03:6000:1812:100::252) (Ping timeout: 260 seconds) |
2024-01-19 12:52:18 +0100 | brettgilio | (a35ba67324@2a03:6000:1812:100::260) (Ping timeout: 268 seconds) |
2024-01-19 12:52:29 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Ping timeout: 240 seconds) |
2024-01-19 12:52:55 +0100 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Ping timeout: 268 seconds) |
2024-01-19 12:52:55 +0100 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 268 seconds) |
2024-01-19 12:52:55 +0100 | theesm | (2cbdf4b38a@2a03:6000:1812:100::11c8) (Ping timeout: 268 seconds) |
2024-01-19 12:52:55 +0100 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Ping timeout: 268 seconds) |
2024-01-19 12:52:55 +0100 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 268 seconds) |
2024-01-19 12:52:55 +0100 | sus | (1b7af6299f@user/zeromomentum) (Ping timeout: 268 seconds) |
2024-01-19 12:52:55 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Ping timeout: 268 seconds) |
2024-01-19 12:52:55 +0100 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (Ping timeout: 268 seconds) |
2024-01-19 12:53:03 +0100 | bsima1 | (99b9359beb@2a03:6000:1812:100::dd) (Ping timeout: 260 seconds) |
2024-01-19 12:53:03 +0100 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (Ping timeout: 260 seconds) |
2024-01-19 12:53:55 +0100 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) |
2024-01-19 12:55:35 +0100 | fansly | (~fansly@103.3.221.236) (Ping timeout: 256 seconds) |
2024-01-19 12:56:06 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
2024-01-19 12:58:11 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
2024-01-19 12:58:13 +0100 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Ping timeout: 255 seconds) |
2024-01-19 12:59:16 +0100 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) |
2024-01-19 12:59:17 +0100 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
2024-01-19 12:59:17 +0100 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
2024-01-19 12:59:17 +0100 | jakzale | (6291399afa@user/jakzale) |
2024-01-19 12:59:18 +0100 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) |
2024-01-19 12:59:18 +0100 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
2024-01-19 12:59:20 +0100 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) |
2024-01-19 12:59:20 +0100 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) |
2024-01-19 12:59:20 +0100 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) |
2024-01-19 12:59:20 +0100 | sus | (1b7af6299f@user/zeromomentum) |
2024-01-19 12:59:20 +0100 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) |
2024-01-19 12:59:21 +0100 | samhh | (7569f027cf@2a03:6000:1812:100::e4) |
2024-01-19 12:59:22 +0100 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) |
2024-01-19 12:59:22 +0100 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) |
2024-01-19 12:59:25 +0100 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) |
2024-01-19 12:59:25 +0100 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) |
2024-01-19 12:59:25 +0100 | jmcantrell | (644f1bed9a@user/jmcantrell) |
2024-01-19 12:59:25 +0100 | sm2n | (ae95cb1267@user/sm2n) |
2024-01-19 12:59:25 +0100 | brettgilio | (a35ba67324@2a03:6000:1812:100::260) |
2024-01-19 12:59:26 +0100 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) |
2024-01-19 12:59:26 +0100 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
2024-01-19 12:59:27 +0100 | theesm | (2cbdf4b38a@2a03:6000:1812:100::11c8) |
2024-01-19 12:59:27 +0100 | rselim | (ce261f06ff@user/milesrout) |
2024-01-19 12:59:28 +0100 | jkoshy | (99b9359beb@user/jkoshy) |
2024-01-19 12:59:28 +0100 | jleightcap | (7bc4014b62@user/jleightcap) |
2024-01-19 12:59:29 +0100 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) |
2024-01-19 12:59:29 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
2024-01-19 12:59:29 +0100 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) |
2024-01-19 12:59:29 +0100 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) |
2024-01-19 12:59:30 +0100 | probie | (cc0b34050a@user/probie) |
2024-01-19 12:59:31 +0100 | akspecs | (00cc8321af@sourcehut/user/akspecs) |
2024-01-19 12:59:31 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
2024-01-19 12:59:31 +0100 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) |
2024-01-19 12:59:31 +0100 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) |
2024-01-19 12:59:55 +0100 | cpli | (77fc530071@2a03:6000:1812:100::252) |
2024-01-19 13:00:38 +0100 | chomwitt | (~chomwitt@2a02:587:7a2c:e800:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds) |
2024-01-19 13:01:13 +0100 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) |
2024-01-19 13:05:05 +0100 | danse-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 +0100 | euleritian | (~euleritia@dynamic-176-003-216-134.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-01-19 13:09:09 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-01-19 13:10:38 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-01-19 13:10:59 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
2024-01-19 13:12:49 +0100 | mima | (~mmh@aftr-62-216-211-140.dynamic.mnet-online.de) (Ping timeout: 276 seconds) |
2024-01-19 13:14:46 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 276 seconds) |
2024-01-19 13:15:27 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
2024-01-19 13:19:28 +0100 | xff0x | (~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 +0100 | Square | (~Square@user/square) |
2024-01-19 13:24:05 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 240 seconds) |
2024-01-19 13:24:44 +0100 | gabiruh | (~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 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
2024-01-19 13:32:48 +0100 | euleritian | (~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 +0100 | euleritian | (~euleritia@dynamic-176-006-196-200.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-01-19 13:37:01 +0100 | euleritian | (~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 +0100 | petrichor | (~znc-user@user/petrichor) |
2024-01-19 13:40:05 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 240 seconds) |
2024-01-19 13:40:39 +0100 | fansly | (~fansly@103.3.221.236) |
2024-01-19 13:41:07 +0100 | <haskellbridge> | 15<Jade> ```hs |
2024-01-19 13:41:08 +0100 | <haskellbridge> | 15<Jade> >>> (undefined <> error "lol") :: () |
2024-01-19 13:41:09 +0100 | <haskellbridge> | 15<Jade> () |
2024-01-19 13:41:11 +0100 | <haskellbridge> | 15<Jade> ``` |
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 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
2024-01-19 13:46:13 +0100 | ChaiTRex | (~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 +0100 | Square2 | (~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 +0100 | billchenchina | (~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 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2024-01-19 13:54:28 +0100 | billchenchina | (~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 +0100 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
2024-01-19 13:55:52 +0100 | immae | (~immae@2a01:4f8:141:53e7::) (Quit: WeeChat 3.3) |
2024-01-19 13:56:01 +0100 | azimut | (~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 +0100 | AlexZenon | (~alzenon@94.233.241.143) (Ping timeout: 255 seconds) |
2024-01-19 13:56:25 +0100 | azimut | (~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 +0100 | immae | (~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 +0100 | euleritian | (~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 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-01-19 14:02:34 +0100 | billchenchina | (~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 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2024-01-19 14:03:51 +0100 | azimut | (~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 +0100 | danse-nr3 | (~danse@151.35.148.140) |
2024-01-19 14:07:04 +0100 | AlexZenon | (~alzenon@94.233.241.143) |
2024-01-19 14:09:35 +0100 | fansly | (~fansly@103.3.221.236) (Ping timeout: 264 seconds) |
2024-01-19 14:10:34 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
2024-01-19 14:13:19 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
2024-01-19 14:13:43 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
2024-01-19 14:13:58 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2024-01-19 14:16:03 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-01-19 14:16:16 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-01-19 14:17:35 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
2024-01-19 14:18:01 +0100 | xff0x | (~xff0x@2405:6580:b080:900:4619:bde0:46e9:5bb9) (Ping timeout: 268 seconds) |
2024-01-19 14:18:24 +0100 | xff0x | (~xff0x@ai085147.d.east.v6connect.net) |
2024-01-19 14:20:47 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2024-01-19 14:21:04 +0100 | euleritian | (~euleritia@dynamic-176-006-196-200.176.6.pool.telefonica.de) |
2024-01-19 14:21:10 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2024-01-19 14:22:32 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2024-01-19 14:26:24 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
2024-01-19 14:28:18 +0100 | mima | (~mmh@dhcp-138-246-3-113.dynamic.eduroam.mwn.de) |
2024-01-19 14:40:54 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
2024-01-19 14:41:53 +0100 | euleritian | (~euleritia@dynamic-176-006-196-200.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-01-19 14:42:10 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-01-19 14:50:29 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:149c:bf12:1c41:87ab) |
2024-01-19 14:51:25 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
2024-01-19 14:52:03 +0100 | euleritian | (~euleritia@dynamic-176-006-196-200.176.6.pool.telefonica.de) |
2024-01-19 14:53:33 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
2024-01-19 14:55:16 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
2024-01-19 14:55:19 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:149c:bf12:1c41:87ab) (Ping timeout: 268 seconds) |
2024-01-19 14:57:24 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-01-19 15:04:07 +0100 | bitdex | (~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 +0100 | tromp | (~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 +0100 | mima | (~mmh@dhcp-138-246-3-113.dynamic.eduroam.mwn.de) (Ping timeout: 240 seconds) |
2024-01-19 15:34:03 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
2024-01-19 15:36:04 +0100 | Square | (~Square@user/square) |
2024-01-19 15:50:52 +0100 | mima | (~mmh@dhcp-138-246-3-113.dynamic.eduroam.mwn.de) |
2024-01-19 15:54:15 +0100 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
2024-01-19 15:56:05 +0100 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
2024-01-19 15:57:33 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
2024-01-19 16:03:26 +0100 | danse-nr3 | (~danse@151.35.148.140) (Remote host closed the connection) |
2024-01-19 16:03:48 +0100 | danse-nr3 | (~danse@151.35.148.140) |
2024-01-19 16:08:49 +0100 | danse-nr3 | (~danse@151.35.148.140) (Ping timeout: 264 seconds) |
2024-01-19 16:19:33 +0100 | ulvarrefr | (~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 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2) |
2024-01-19 16:44:34 +0100 | Szilva | (~Szilva@77-234-80-135.pool.digikabel.hu) (Ping timeout: 255 seconds) |
2024-01-19 16:46:16 +0100 | Szilva | (~Szilva@80-95-85-12.pool.digikabel.hu) |
2024-01-19 16:48:37 +0100 | harveypwca | (~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 +0100 | danse-nr3 | (~danse@151.37.128.108) |
2024-01-19 17:12:51 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
2024-01-19 17:13:25 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
2024-01-19 17:18:55 +0100 | euleritian | (~euleritia@dynamic-176-006-196-200.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-01-19 17:19:14 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-01-19 17:26:43 +0100 | Sgeo | (~Sgeo@user/sgeo) |
2024-01-19 17:29:43 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
2024-01-19 17:35:13 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2024-01-19 17:35:41 +0100 | danse-nr3 | (~danse@151.37.128.108) (Ping timeout: 252 seconds) |
2024-01-19 17:35:51 +0100 | k`` | (~user@152.1.137.158) |
2024-01-19 17:38:26 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-01-19 17:39:24 +0100 | euleritian | (~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 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
2024-01-19 17:49:33 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-01-19 17:51:36 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
2024-01-19 17:53:21 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-01-19 17:57:40 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2024-01-19 17:58:07 +0100 | igemnace | (~ian@user/igemnace) |
2024-01-19 17:58:18 +0100 | igemnace | (~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 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2024-01-19 18:07:46 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
2024-01-19 18:08:34 +0100 | euleritian | (~euleritia@dynamic-046-114-240-024.46.114.pool.telefonica.de) |
2024-01-19 18:11:59 +0100 | eggplantade | (~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 +0100 | igemnace | (~ian@user/igemnace) |
2024-01-19 18:16:45 +0100 | tzh | (~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 +0100 | ft | (~ft@p508dbda4.dip0.t-ipconnect.de) |
2024-01-19 18:29:39 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Remote host closed the connection) |
2024-01-19 18:34:28 +0100 | euleritian | (~euleritia@dynamic-046-114-240-024.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-01-19 18:34:44 +0100 | euleritian | (~euleritia@dynamic-046-114-240-024.46.114.pool.telefonica.de) |
2024-01-19 18:36:48 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2024-01-19 18:47:35 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
2024-01-19 18:57:48 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-01-19 19:03:57 +0100 | johnjaye | (~pi@035-146-235-140.res.spectrum.com) |
2024-01-19 19:05:36 +0100 | euleritian | (~euleritia@dynamic-046-114-240-024.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-01-19 19:05:39 +0100 | mokee | (~mokee@37.228.215.150) |
2024-01-19 19:05:41 +0100 | Square | (~Square@user/square) |
2024-01-19 19:05:52 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-01-19 19:06:33 +0100 | mokee | (~mokee@37.228.215.150) (Client Quit) |
2024-01-19 19:09:58 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.1.2) |
2024-01-19 19:15:49 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
2024-01-19 19:16:28 +0100 | euleritian | (~euleritia@dynamic-046-114-240-024.46.114.pool.telefonica.de) |
2024-01-19 19:20:54 +0100 | target_i | (~target_i@217.175.14.39) |
2024-01-19 19:21:01 +0100 | euleritian | (~euleritia@dynamic-046-114-240-024.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
2024-01-19 19:22:15 +0100 | euleritian | (~euleritia@dynamic-046-114-181-163.46.114.pool.telefonica.de) |
2024-01-19 19:26:04 +0100 | euleritian | (~euleritia@dynamic-046-114-181-163.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-01-19 19:26:20 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-01-19 19:32:36 +0100 | Lycurgus | (~georg@user/Lycurgus) |
2024-01-19 19:33:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-01-19 19:36:08 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-01-19 19:36:25 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-01-19 19:40:37 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
2024-01-19 20:03:24 +0100 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) |
2024-01-19 20:03:54 +0100 | tzh_ | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
2024-01-19 20:05:33 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Ping timeout: 256 seconds) |
2024-01-19 20:11:25 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2024-01-19 20:11:57 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-01-19 20:17:23 +0100 | harveypwca | (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) (Quit: Leaving) |
2024-01-19 20:22:53 +0100 | tzh_ | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Ping timeout: 240 seconds) |
2024-01-19 20:28:11 +0100 | mima | (~mmh@dhcp-138-246-3-113.dynamic.eduroam.mwn.de) (Ping timeout: 264 seconds) |
2024-01-19 20:29:11 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-01-19 20:32:55 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
2024-01-19 20:33:14 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
2024-01-19 20:33:30 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2024-01-19 20:34:30 +0100 | chomwitt | (~chomwitt@2a02:587:7a2c:e800:1ac0:4dff:fedb:a3f1) |
2024-01-19 20:38:31 +0100 | azimut | (~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 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
2024-01-19 20:49:50 +0100 | hueso | (~root@user/hueso) (Ping timeout: 252 seconds) |
2024-01-19 20:50:16 +0100 | hueso | (~root@user/hueso) |
2024-01-19 20:50:27 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-01-19 20:51:00 +0100 | theesm | (2cbdf4b38a@2a03:6000:1812:100::11c8) (Remote host closed the connection) |
2024-01-19 20:51:05 +0100 | Franciman | (~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 +0100 | target_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 +0100 | wootehfoot | (~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 +0100 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) |
2024-01-19 21:29:35 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-01-19 21:36:54 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:149c:bf12:1c41:87ab) (Remote host closed the connection) |
2024-01-19 21:41:58 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-01-19 21:43:59 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-01-19 21:49:14 +0100 | mima | (~mmh@aftr-62-216-211-233.dynamic.mnet-online.de) |
2024-01-19 21:49:45 +0100 | trev | (~trev@user/trev) (Quit: trev) |
2024-01-19 21:52:23 +0100 | trev | (~trev@user/trev) |
2024-01-19 21:53:10 +0100 | trev | (~trev@user/trev) (Client Quit) |
2024-01-19 21:55:10 +0100 | <haskellbridge> | 15<Jade> why is there no specialized `sconcat` for `First` as `sconcat (x :| _) = x`? |
2024-01-19 21:55:44 +0100 | trev | (~trev@user/trev) |
2024-01-19 21:56:19 +0100 | <haskellbridge> | 15<Jade> by the default implementation it would call `<>` as many times as there are items in the list |
2024-01-19 21:56:43 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2024-01-19 21:57:57 +0100 | tromp | (~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 +0100 | trev | (~trev@user/trev) (Client Quit) |
2024-01-19 21:58:38 +0100 | <EvanR> | depending on the implementation of <> |
2024-01-19 21:59:43 +0100 | trev | (~trev@user/trev) |
2024-01-19 22:00:41 +0100 | trev | (~trev@user/trev) (Client Quit) |
2024-01-19 22:00:59 +0100 | trev | (~trev@user/trev) |
2024-01-19 22:02:13 +0100 | trev | (~trev@user/trev) (Client Quit) |
2024-01-19 22:04:35 +0100 | troydm | (~troydm@user/troydm) |
2024-01-19 22:04:42 +0100 | <haskellbridge> | 15<Jade> yeah, you're right |
2024-01-19 22:05:07 +0100 | <haskellbridge> | 15<Jade> I didn't read the default implementation of `sconcat` right |
2024-01-19 22:05:35 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-01-19 22:06:30 +0100 | <haskellbridge> | 15<Jade> 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<Jade> `error "lol" <> undefined :: ()` yields `()` |
2024-01-19 22:07:00 +0100 | <haskellbridge> | 15<Jade> 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 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:149c:bf12:1c41:87ab) |
2024-01-19 22:08:27 +0100 | <haskellbridge> | 15<Jade> would that be a breaking change and require a CLC proposal still? |
2024-01-19 22:10:54 +0100 | causal | (~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 +0100 | paddymahoney | (~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 +0100 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
2024-01-19 22:23:36 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
2024-01-19 22:23:38 +0100 | mqlnv | (~tripod@47.154.25.27) (Ping timeout: 268 seconds) |
2024-01-19 22:23:44 +0100 | <haskellbridge> | 15<Jade> 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<Jade> So far I haven't been able to find one |
2024-01-19 22:25:04 +0100 | mqlnv | (~tripod@47.154.25.27) |
2024-01-19 22:27:45 +0100 | gmg | (~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 +0100 | gmg | (~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 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
2024-01-19 22:29:47 +0100 | <haskellbridge> | 15<Jade> thanks! |
2024-01-19 22:29:56 +0100 | <haskellbridge> | 15<Jade> I also found `ByteArray` and `Bytestring` |
2024-01-19 22:37:57 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 260 seconds) |
2024-01-19 22:37:59 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 256 seconds) |
2024-01-19 22:44:49 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-01-19 22:46:27 +0100 | k`` | (~user@152.1.137.158) (Ping timeout: 268 seconds) |
2024-01-19 22:48:29 +0100 | fansly | (~fansly@182.0.197.238) |
2024-01-19 22:50:14 +0100 | k`` | (~user@152.1.137.158) |
2024-01-19 22:53:34 +0100 | k`` | (~user@152.1.137.158) (Client Quit) |
2024-01-19 22:55:51 +0100 | czy | (~user@114.226.59.181) (Remote host closed the connection) |
2024-01-19 22:56:33 +0100 | czy | (~user@114.226.59.181) |
2024-01-19 22:57:33 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 260 seconds) |
2024-01-19 22:58:14 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2024-01-19 23:02:29 +0100 | fansly | (~fansly@182.0.197.238) (Remote host closed the connection) |
2024-01-19 23:05:03 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-01-19 23:12:21 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2024-01-19 23:18:30 +0100 | michalz | (~michalz@185.246.207.218) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-01-19 23:21:30 +0100 | glguy_ | (g@libera/staff/glguy) |
2024-01-19 23:22:24 +0100 | glguy_ | (g@libera/staff/glguy) (Read error: Connection reset by peer) |
2024-01-19 23:22:46 +0100 | glguy_ | (g@libera/staff/glguy) |
2024-01-19 23:24:17 +0100 | glguy | (g@libera/staff/glguy) (Read error: Connection reset by peer) |
2024-01-19 23:28:30 +0100 | Tuplanolla | (~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 +0100 | glguy_ | glguy |
2024-01-19 23:53:59 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
2024-01-19 23:57:09 +0100 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Read error: Connection reset by peer) |