Logs on 2024-03-04 (liberachat/#haskell)
| 00:09:25 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 00:26:49 | × | acidjnk_new3 quits (~acidjnk@p200300d6e737e780858a034d0a54ff00.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 00:28:17 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 00:32:32 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 00:49:15 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.2.1) |
| 00:50:18 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 00:55:49 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 01:13:52 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 01:19:06 | → | thegeekinside joins (~thegeekin@189.217.83.221) |
| 01:25:30 | × | justache quits (~justache@user/justache) (Ping timeout: 255 seconds) |
| 01:26:25 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 01:27:03 | → | justache joins (~justache@user/justache) |
| 01:27:40 | → | xal joins (~quassel@2604:3d08:9a80:4c18:782f:27ff:fe7a:415) |
| 01:28:00 | × | zenstoic quits (uid461840@id-461840.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:28:51 | × | thegeekinside quits (~thegeekin@189.217.83.221) (Read error: Connection reset by peer) |
| 01:35:52 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 01:36:39 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 01:39:22 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 01:46:01 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 01:51:09 | → | igemnace joins (~ian@user/igemnace) |
| 01:51:56 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:52:49 | × | igemnace quits (~ian@user/igemnace) (Client Quit) |
| 01:52:58 | × | justache quits (~justache@user/justache) (Ping timeout: 255 seconds) |
| 01:54:35 | → | justache joins (~justache@user/justache) |
| 01:56:29 | → | bilegeek joins (~bilegeek@2600:1008:b0ab:b937:ad3:4b0e:2d4c:6ec3) |
| 01:58:09 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 01:58:48 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 01:59:33 | Lord_of_Life_ | is now known as Lord_of_Life |
| 02:01:20 | × | vuk quits (~vuk@cable-94-189-153-242.dynamic.sbb.rs) (Quit: Leaving) |
| 02:14:32 | <Axman6> | The more I work with HDL languages, the more I wonder if the secret sauce for Intel and AMD isn't their silicone skills, but their ability to not have absolutely insane HDL projects with ridiculous, esoteric tools |
| 02:15:19 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 02:15:39 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 272 seconds) |
| 02:20:10 | <geekosaur> | *snicker* |
| 02:20:45 | <Axman6> | -e |
| 02:20:56 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 02:21:21 | <Axman6> | Serious, VHDL is an absolutely insane language, with bizarre nearly-dependent types, but archaic module management |
| 02:21:32 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 02:22:12 | <Axman6> | +ly - bleh, forgetting how to type today apparently. this does not bode well for me starting work on a C++ project today |
| 02:26:53 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 02:26:56 | <geekosaur> | at C-MU ECE we were teaching students Verilog (VHDL) on behalf of Intel… |
| 02:30:05 | × | xal quits (~quassel@2604:3d08:9a80:4c18:782f:27ff:fe7a:415) () |
| 02:34:40 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 02:44:49 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 02:50:13 | × | justache quits (~justache@user/justache) (Ping timeout: 264 seconds) |
| 02:50:59 | × | otto_s quits (~user@p4ff27a8e.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 02:52:32 | → | otto_s joins (~user@p4ff27284.dip0.t-ipconnect.de) |
| 02:55:47 | → | justache joins (~justache@user/justache) |
| 02:58:50 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 03:02:23 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 03:05:15 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 03:08:23 | × | td_ quits (~td@i5387093F.versanet.de) (Ping timeout: 268 seconds) |
| 03:09:39 | → | td_ joins (~td@i53870912.versanet.de) |
| 03:10:37 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 264 seconds) |
| 03:11:10 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 03:14:26 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 03:17:05 | × | TonyStone quits (~TonyStone@074-076-057-186.res.spectrum.com) (Remote host closed the connection) |
| 03:17:41 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 03:26:14 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 03:41:30 | × | AkechiShiro quits (~licht@user/akechishiro) (Quit: WeeChat 4.1.2) |
| 03:52:37 | × | justache quits (~justache@user/justache) (Ping timeout: 264 seconds) |
| 03:53:32 | → | justache joins (~justache@user/justache) |
| 03:58:45 | × | [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 04:03:26 | × | xigua quits (~xigua@user/xigua) (Read error: Connection reset by peer) |
| 04:03:40 | → | xigua joins (~xigua@user/xigua) |
| 04:09:07 | × | drdo quits (~drdo@bl14-14-49.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 04:09:45 | × | mulk quits (~mulk@p5b11264f.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 04:10:05 | → | mulk joins (~mulk@p5b2dc813.dip0.t-ipconnect.de) |
| 04:10:39 | → | drdo joins (~drdo@bl5-29-74.dsl.telepac.pt) |
| 04:11:39 | × | phma quits (phma@2001:5b0:211c:14b8:9de9:bc09:c086:c636) (Read error: Connection reset by peer) |
| 04:12:19 | → | phma joins (phma@2001:5b0:215d:ea48:1b4d:6bdb:657b:30e6) |
| 04:18:31 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 04:19:10 | × | Square quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 04:20:00 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 04:22:04 | → | xal joins (~xal@mx1.xal.systems) |
| 04:30:05 | → | aforemny joins (~aforemny@2001:9e8:6cce:2800:bc66:ad8e:ad93:7074) |
| 04:31:37 | × | aforemny_ quits (~aforemny@2001:9e8:6ceb:b600:1da1:3566:9a7d:5011) (Ping timeout: 264 seconds) |
| 04:44:20 | → | falafel joins (~falafel@2607:fb91:850:82c5:c312:ff53:83fa:deb9) |
| 04:48:49 | × | jargon quits (~jargon@208.sub-174-238-228.myvzw.com) (Remote host closed the connection) |
| 04:49:23 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 04:57:06 | → | rosco joins (~rosco@175.136.155.53) |
| 05:03:05 | × | califax quits (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 05:03:40 | → | califax joins (~califax@user/califx) |
| 05:08:03 | → | michalz joins (~michalz@185.246.207.217) |
| 05:30:39 | × | michalz quits (~michalz@185.246.207.217) (Quit: ZNC 1.8.2 - https://znc.in) |
| 05:32:50 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.2.1) |
| 05:33:25 | → | michalz joins (~michalz@185.246.207.193) |
| 05:34:36 | → | bilegeek_ joins (~bilegeek@2600:1008:b0ab:b937:ad3:4b0e:2d4c:6ec3) |
| 05:36:58 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 260 seconds) |
| 05:37:22 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 05:37:37 | × | bilegeek quits (~bilegeek@2600:1008:b0ab:b937:ad3:4b0e:2d4c:6ec3) (Ping timeout: 264 seconds) |
| 05:39:48 | → | mei joins (~mei@user/mei) |
| 05:41:49 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 264 seconds) |
| 05:44:34 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 05:47:53 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 05:48:23 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 05:52:40 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 05:52:40 | × | myxos quits (~myxos@065-028-251-121.inf.spectrum.com) (Remote host closed the connection) |
| 05:57:23 | → | euleritian joins (~euleritia@dynamic-176-006-194-192.176.6.pool.telefonica.de) |
| 06:05:06 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 06:10:37 | × | justache quits (~justache@user/justache) (Ping timeout: 264 seconds) |
| 06:11:14 | → | justache joins (~justache@user/justache) |
| 06:11:43 | × | euleritian quits (~euleritia@dynamic-176-006-194-192.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 06:12:01 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 06:14:56 | → | myxos joins (~myxos@065-028-251-121.inf.spectrum.com) |
| 06:17:27 | × | falafel quits (~falafel@2607:fb91:850:82c5:c312:ff53:83fa:deb9) (Remote host closed the connection) |
| 06:17:51 | → | falafel joins (~falafel@2607:fb91:850:82c5:d864:2820:263c:51dc) |
| 06:19:52 | × | falafel quits (~falafel@2607:fb91:850:82c5:d864:2820:263c:51dc) (Remote host closed the connection) |
| 06:28:46 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 06:28:54 | → | euleritian joins (~euleritia@dynamic-176-006-194-192.176.6.pool.telefonica.de) |
| 06:30:32 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 06:33:31 | → | acidjnk_new3 joins (~acidjnk@p200300d6e737e7130571715f17447876.dip0.t-ipconnect.de) |
| 06:35:34 | kimiamania46483 | is now known as kimiamania |
| 06:36:36 | × | bilegeek_ quits (~bilegeek@2600:1008:b0ab:b937:ad3:4b0e:2d4c:6ec3) (Quit: Leaving) |
| 06:50:15 | → | fmd joins (~fmd@user/framend) |
| 06:54:33 | × | Batzy quits (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 06:54:55 | → | Batzy joins (~quassel@user/batzy) |
| 07:05:33 | × | ph88 quits (~ph88@2a02:8109:9e26:c800:6088:3c01:97a2:ea63) (Quit: Leaving) |
| 07:07:19 | → | igemnace joins (~ian@user/igemnace) |
| 07:11:19 | × | son0p quits (~ff@167.0.160.226) (Read error: Connection reset by peer) |
| 07:13:37 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:16:58 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:18:49 | × | Inst quits (~Inst@120.244.192.75) (Remote host closed the connection) |
| 07:19:08 | → | Inst joins (~Inst@120.244.192.75) |
| 07:21:26 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 07:23:49 | → | mei joins (~mei@user/mei) |
| 07:26:59 | × | Tisoxin quits (~Ikosit@user/ikosit) (Ping timeout: 264 seconds) |
| 07:27:11 | → | Tisoxin joins (~Ikosit@user/ikosit) |
| 07:28:06 | × | euleritian quits (~euleritia@dynamic-176-006-194-192.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 07:28:17 | → | julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752) |
| 07:28:23 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 07:28:50 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 07:29:03 | × | Batzy quits (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 07:29:24 | → | Batzy joins (~quassel@user/batzy) |
| 07:29:27 | × | Batzy quits (~quassel@user/batzy) (Client Quit) |
| 07:29:49 | → | Batzy joins (~quassel@user/batzy) |
| 07:30:36 | × | Batzy quits (~quassel@user/batzy) (Client Quit) |
| 07:30:58 | → | Batzy joins (~quassel@user/batzy) |
| 07:31:50 | × | Batzy quits (~quassel@user/batzy) (Client Quit) |
| 07:32:27 | → | Batzy joins (~quassel@user/batzy) |
| 07:33:07 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 08:02:13 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 08:08:26 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:15:49 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 08:16:01 | × | notzmv quits (~daniel@user/notzmv) (Ping timeout: 264 seconds) |
| 08:21:02 | × | d34df00d quits (~d34df00d@2600:1702:4f1b:7c10::43) (Ping timeout: 268 seconds) |
| 08:33:56 | × | julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 08:34:07 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 08:38:07 | → | oo_miguel joins (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 08:39:27 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 08:42:14 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds) |
| 08:43:14 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 08:43:32 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:43:47 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 08:46:19 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 08:46:44 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 08:52:13 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 08:54:51 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:55:18 | → | rvalue- joins (~rvalue@user/rvalue) |
| 08:55:34 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 08:55:48 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:59:12 | → | CiaoSen joins (~Jura@2a05:5800:29c:7000:e6b9:7aff:fe80:3d03) |
| 08:59:16 | rvalue- | is now known as rvalue |
| 09:02:59 | × | RedNifre quits (~RedNifre@dslb-002-203-026-041.002.203.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 09:03:25 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 264 seconds) |
| 09:06:54 | × | tzh quits (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 09:09:48 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 09:21:34 | → | RedNifre joins (~RedNifre@dslb-092-074-165-102.092.074.pools.vodafone-ip.de) |
| 09:22:51 | → | son0p joins (~ff@186.121.56.175) |
| 09:26:17 | → | chele joins (~chele@user/chele) |
| 09:32:56 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 09:34:18 | × | ft quits (~ft@p508db2e6.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:44:01 | × | rosco quits (~rosco@175.136.155.53) (Quit: Lost terminal) |
| 09:53:02 | → | danse-nr3 joins (~danse@151.57.40.13) |
| 09:55:53 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 10:02:33 | → | cods joins (~fred@tuxee.net) |
| 10:13:30 | → | random-jellyfish joins (~developer@2a02:2f04:11e:c600:d6c9:908e:d8a5:7744) |
| 10:13:30 | × | random-jellyfish quits (~developer@2a02:2f04:11e:c600:d6c9:908e:d8a5:7744) (Changing host) |
| 10:13:30 | → | random-jellyfish joins (~developer@user/random-jellyfish) |
| 10:13:43 | × | random-jellyfish quits (~developer@user/random-jellyfish) (Remote host closed the connection) |
| 10:24:10 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 10:25:22 | → | notzmv joins (~daniel@user/notzmv) |
| 10:25:30 | × | komikat quits (~akshitkr@218.185.248.66) (Ping timeout: 255 seconds) |
| 10:27:04 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds) |
| 10:43:36 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:54:05 | <Inst> | unison is fascinating |
| 10:54:08 | <Inst> | i wonder if it'll get traction |
| 11:00:53 | → | infinity0 joins (~infinity0@pwned.gg) |
| 11:06:23 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 272 seconds) |
| 11:09:25 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 264 seconds) |
| 11:09:26 | → | infinity0_ joins (~infinity0@pwned.gg) |
| 11:09:26 | infinity0_ | is now known as infinity0 |
| 11:10:01 | × | CiaoSen quits (~Jura@2a05:5800:29c:7000:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds) |
| 11:11:26 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 11:15:42 | → | infinity0 joins (~infinity0@pwned.gg) |
| 11:17:16 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 11:19:05 | → | euleritian joins (~euleritia@dynamic-176-006-194-192.176.6.pool.telefonica.de) |
| 11:27:45 | × | euleritian quits (~euleritia@dynamic-176-006-194-192.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 11:28:03 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 11:32:10 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 11:32:57 | → | euleritian joins (~euleritia@dynamic-176-006-194-192.176.6.pool.telefonica.de) |
| 11:34:17 | → | __monty__ joins (~toonn@user/toonn) |
| 11:36:49 | × | euleritian quits (~euleritia@dynamic-176-006-194-192.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 11:37:06 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 11:37:16 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 11:48:12 | × | igemnace quits (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 11:55:29 | → | misterfish joins (~misterfis@84.53.85.146) |
| 11:56:15 | × | danse-nr3 quits (~danse@151.57.40.13) (Ping timeout: 260 seconds) |
| 11:56:15 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 11:56:54 | → | euleritian joins (~euleritia@77.22.252.56) |
| 12:01:10 | → | pounce joins (~pounce@user/cute/pounce) |
| 12:03:53 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:04:09 | → | igemnace joins (~ian@user/igemnace) |
| 12:09:48 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 12:18:40 | → | masterbuilder_ joins (~quassel@31-209-200-45.dsl.dynamic.simnet.is) |
| 12:18:46 | × | masterbuilder quits (~quassel@user/masterbuilder) (Ping timeout: 268 seconds) |
| 12:23:39 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 272 seconds) |
| 12:42:53 | → | Guest15 joins (~Guest15@105.112.248.197) |
| 12:43:31 | <Guest15> | please i'm getting these "2024/03/04 13:40:12 ERROR: could not copy file 'timescaledb.dll': open C:/PROGRA~1/POSTGR~1/15/lib/timescaledb.dll: The process cannot access the file because it is being used by another process. |
| 12:43:31 | <Guest15> | Press ENTER/Return key to close... |
| 12:43:32 | <Guest15> | " i'm trying to set up a server project |
| 12:44:02 | <Guest15> | and i have install postgresql |
| 12:46:46 | → | cfricke joins (~cfricke@user/cfricke) |
| 12:47:26 | → | danse-nr3 joins (~danse@151.57.74.43) |
| 12:51:57 | × | Guest15 quits (~Guest15@105.112.248.197) (Ping timeout: 250 seconds) |
| 12:58:09 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 12:59:43 | → | gmg joins (~user@user/gehmehgeh) |
| 13:02:46 | → | rosco joins (~rosco@175.136.155.53) |
| 13:10:05 | × | fmd quits (~fmd@user/framend) (Quit: come back later…) |
| 13:10:34 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 13:10:39 | × | monochrom quits (trebla@216.138.220.146) (Ping timeout: 255 seconds) |
| 13:11:11 | → | monochrom joins (trebla@216.138.220.146) |
| 13:13:04 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 13:15:51 | sprout_ | is now known as sprout |
| 13:18:19 | masterbuilder_ | is now known as masterbuilder |
| 13:18:22 | × | masterbuilder quits (~quassel@31-209-200-45.dsl.dynamic.simnet.is) (Changing host) |
| 13:18:22 | → | masterbuilder joins (~quassel@user/masterbuilder) |
| 13:25:05 | → | thyriaen joins (~thyriaen@2a01:aea0:dd4:82f2:6245:cbff:fe9f:48b1) |
| 13:26:05 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 240 seconds) |
| 13:32:17 | × | rosco quits (~rosco@175.136.155.53) (Quit: Lost terminal) |
| 13:42:09 | → | bontaq joins (~user@ool-45779c03.dyn.optonline.net) |
| 13:51:44 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 13:52:40 | → | biberu joins (~biberu@user/biberu) |
| 13:54:45 | × | cheater quits (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 13:56:17 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:56:37 | → | a51 joins (a51@gateway/vpn/protonvpn/a51) |
| 13:56:59 | × | justache quits (~justache@user/justache) (Ping timeout: 264 seconds) |
| 14:01:37 | × | euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
| 14:02:38 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 14:03:17 | → | justache joins (~justache@user/justache) |
| 14:07:58 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 14:10:12 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 14:13:46 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 14:15:13 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 14:17:48 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 14:19:28 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 14:20:01 | → | euleritian joins (~euleritia@dynamic-176-006-199-043.176.6.pool.telefonica.de) |
| 14:23:31 | → | thegeekinside joins (~thegeekin@189.217.83.221) |
| 14:24:04 | × | thegeekinside quits (~thegeekin@189.217.83.221) (Read error: Connection reset by peer) |
| 14:25:29 | → | ystael joins (~ystael@user/ystael) |
| 14:27:31 | → | komikat joins (~akshitkr@218.185.248.66) |
| 14:32:38 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:33:55 | × | arahael quits (~arahael@119-18-0-146.771200.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 14:40:10 | → | thegeekinside joins (~thegeekin@189.217.83.221) |
| 14:41:19 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:42:35 | × | justache quits (~justache@user/justache) (Ping timeout: 264 seconds) |
| 14:47:02 | → | justache joins (~justache@user/justache) |
| 14:50:17 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 14:53:33 | × | Ekho quits (~Ekho@user/ekho) (Ping timeout: 256 seconds) |
| 14:54:40 | → | sprout_ joins (~quassel@84-80-106-227.fixed.kpn.net) |
| 14:57:33 | × | sprout quits (~quassel@2a02-a448-3a80-0-e0b8-68e-5e32-bc20.fixed6.kpn.net) (Ping timeout: 272 seconds) |
| 15:09:29 | × | xff0x quits (~xff0x@ai082039.d.east.v6connect.net) (Read error: Connection reset by peer) |
| 15:10:44 | → | xff0x joins (~xff0x@2405:6580:b080:900:44af:d746:5b50:d1a) |
| 15:11:24 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 15:12:13 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 15:12:37 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:12:46 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 15:13:36 | → | img joins (~img@user/img) |
| 15:14:42 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 15:16:33 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 15:18:35 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 15:19:08 | sprout_ | is now known as sprout |
| 15:22:54 | → | cheater joins (~Username@user/cheater) |
| 15:23:35 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 15:24:45 | → | weechat2 joins (~weechat@user/dminuoso) |
| 15:25:45 | × | euleritian quits (~euleritia@dynamic-176-006-199-043.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 15:26:03 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 15:28:28 | weechat2 | is now known as dminuoso |
| 15:34:32 | × | danse-nr3 quits (~danse@151.57.74.43) (Ping timeout: 252 seconds) |
| 15:34:43 | → | Ekho joins (~Ekho@user/ekho) |
| 15:37:22 | × | cheater quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 15:37:59 | → | cheater joins (~Username@user/cheater) |
| 15:42:02 | → | Square2 joins (~Square4@user/square) |
| 15:42:18 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 15:43:21 | → | euleritian joins (~euleritia@dynamic-176-006-199-043.176.6.pool.telefonica.de) |
| 15:48:17 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 15:48:35 | × | pointlessslippe1 quits (~pointless@212.82.82.3) (Ping timeout: 264 seconds) |
| 15:52:17 | → | pointlessslippe1 joins (~pointless@212.82.82.3) |
| 15:56:55 | × | destituion quits (~destituio@2a02:2121:34a:61a6:52b6:3281:6a26:5f63) (Remote host closed the connection) |
| 15:57:28 | → | destituion joins (~destituio@2a02:2121:34a:61a6:52b6:3281:6a26:5f63) |
| 15:58:57 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 255 seconds) |
| 15:59:41 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 16:01:38 | × | destituion quits (~destituio@2a02:2121:34a:61a6:52b6:3281:6a26:5f63) (Remote host closed the connection) |
| 16:01:56 | → | destituion joins (~destituio@2a02:2121:34a:61a6:52b6:3281:6a26:5f63) |
| 16:02:00 | × | destituion quits (~destituio@2a02:2121:34a:61a6:52b6:3281:6a26:5f63) (Remote host closed the connection) |
| 16:02:50 | → | destituion joins (~destituio@2a02:2121:34a:61a6:52b6:3281:6a26:5f63) |
| 16:02:59 | × | destituion quits (~destituio@2a02:2121:34a:61a6:52b6:3281:6a26:5f63) (Remote host closed the connection) |
| 16:03:27 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:04:51 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 16:05:58 | → | destituion joins (~destituio@2a02:2121:34a:61a6:52b6:3281:6a26:5f63) |
| 16:06:37 | → | zetef joins (~quassel@95.77.17.251) |
| 16:08:23 | → | danse-nr3 joins (~danse@151.57.74.43) |
| 16:08:32 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 16:08:49 | × | danse-nr3 quits (~danse@151.57.74.43) (Remote host closed the connection) |
| 16:09:14 | → | danse-nr3 joins (~danse@151.57.74.43) |
| 16:10:33 | → | hueso joins (~root@user/hueso) |
| 16:23:37 | × | a51 quits (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 16:25:35 | → | tzh joins (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 16:26:51 | <dmj`> | [exa]: this looks promising https://www.cs.tufts.edu/~nr/cs257/archive/martin-odersky/hmx.pdf |
| 16:27:37 | × | igemnace quits (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 16:32:34 | × | euleritian quits (~euleritia@dynamic-176-006-199-043.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:33:11 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:39:18 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2) |
| 16:42:09 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 16:42:26 | → | euleritian joins (~euleritia@dynamic-176-006-199-043.176.6.pool.telefonica.de) |
| 16:47:11 | × | danse-nr3 quits (~danse@151.57.74.43) (Read error: Connection reset by peer) |
| 16:48:22 | → | danse-nr3 joins (~danse@151.57.2.170) |
| 16:56:47 | → | Lycurgus joins (~georg@user/Lycurgus) |
| 16:58:57 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Remote host closed the connection) |
| 16:59:02 | → | ski_ joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 17:00:03 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 17:00:03 | ski_ | is now known as ski |
| 17:02:44 | × | danse-nr3 quits (~danse@151.57.2.170) (Ping timeout: 268 seconds) |
| 17:04:15 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:06:00 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 17:09:07 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 17:12:13 | × | hiredman quits (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 17:12:14 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 17:12:41 | × | euleritian quits (~euleritia@dynamic-176-006-199-043.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 17:13:20 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 17:14:44 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 17:17:21 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 17:17:54 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 17:22:58 | → | Guest|77 joins (~Guest|77@212.222.31.232) |
| 17:23:31 | × | Guest|77 quits (~Guest|77@212.222.31.232) (Client Quit) |
| 17:29:18 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 256 seconds) |
| 17:34:20 | danso_o | is now known as danso |
| 17:34:48 | × | myme quits (~myme@2a01:799:d5c:5f00:f6f:b4ff:687f:4faa) (Ping timeout: 255 seconds) |
| 17:35:21 | → | misterfish joins (~misterfis@84.53.85.146) |
| 17:35:43 | → | myme joins (~myme@2a01:799:d5c:5f00:cb5:d224:b856:4e5f) |
| 17:38:49 | → | rvalue joins (~rvalue@user/rvalue) |
| 18:01:42 | × | zetef quits (~quassel@95.77.17.251) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 18:02:35 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 18:11:37 | → | ph88 joins (~ph88@2a02:8109:9e26:c800:2c1:88e0:6b57:57fb) |
| 18:12:38 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 18:13:37 | <ph88> | I have my database model tied to my haskell data types. Does someone have some good advices how to handle database migrations? The thing is i don't have the old and new data types available in my source code at the same time to make rewrite functions. And if i do it on the SQL level it's not as safe due to a complicated data model and difficult serialization |
| 18:14:28 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 18:22:11 | × | [exa] quits (~exa@user/exa/x-3587197) (Ping timeout: 260 seconds) |
| 18:25:42 | <c_wraith> | ph88: given those constraints, you really need to keep the old data types around. Move them to a different module or something, so that nothing uses them accidentally. |
| 18:26:35 | <ph88> | c_wraith, oh a different module, that's already a good idea |
| 18:26:48 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:27:22 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 18:33:36 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 18:43:47 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 18:46:37 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 18:47:03 | → | euleritian joins (~euleritia@dynamic-176-006-199-043.176.6.pool.telefonica.de) |
| 18:49:16 | → | euphores joins (~SASL_euph@user/euphores) |
| 18:50:02 | → | misterfish joins (~misterfis@84.53.85.146) |
| 18:51:15 | × | dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 272 seconds) |
| 18:51:23 | × | shapr quits (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Quit: reboot) |
| 18:53:52 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:56:00 | × | ph88 quits (~ph88@2a02:8109:9e26:c800:2c1:88e0:6b57:57fb) (Ping timeout: 260 seconds) |
| 18:59:16 | <EvanR> | honestly the ability to express migrations that way should be a killer app vis a vis web programming |
| 18:59:39 | <EvanR> | everyone is struggling to do better than json object all the things |
| 19:00:02 | <EvanR> | and pray |
| 19:01:45 | → | shapr joins (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 19:13:27 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 19:14:18 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 19:14:51 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 19:16:33 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 19:16:45 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 19:17:36 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 19:18:04 | × | Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving) |
| 19:18:37 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 19:23:13 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 19:23:18 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 19:23:45 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 19:25:10 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 19:26:12 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 19:26:40 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 19:26:52 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 19:27:53 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 19:28:38 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 19:30:23 | <dmj`> | safecopy allows that |
| 19:38:18 | shapr | hops quietly |
| 19:38:28 | <shapr> | howdy dmj` long time no chat, you still in the northeast US? |
| 19:40:17 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:43:19 | → | [exa] joins (~exa@user/exa/x-3587197) |
| 19:44:54 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:46:18 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 260 seconds) |
| 19:46:50 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 19:47:23 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 19:47:31 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 19:54:17 | → | ph88 joins (~ph88@2a02:8109:9e26:c800:bb8d:fca6:c050:8a0a) |
| 19:55:14 | → | Square joins (~Square@user/square) |
| 19:55:24 | × | Square2 quits (~Square4@user/square) (Ping timeout: 268 seconds) |
| 19:55:43 | → | mud joins (~mud@user/kadoban) |
| 19:57:55 | × | Nikopol quits (nikopol@user/astrorigin) (Ping timeout: 255 seconds) |
| 20:00:13 | → | Nikopol joins (nikopol@user/astrorigin) |
| 20:00:32 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 20:01:09 | × | myxos quits (~myxos@065-028-251-121.inf.spectrum.com) (Remote host closed the connection) |
| 20:01:43 | × | hugo quits (znc@quicksilver.lysator.liu.se) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 20:02:18 | × | vgtw quits (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 20:02:19 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:02:36 | → | hugo joins (~hugo@quicksilver.lysator.liu.se) |
| 20:06:45 | × | nek0 quits (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat) |
| 20:12:19 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 20:17:30 | → | vgtw joins (~vgtw@user/vgtw) |
| 20:24:58 | → | myxos joins (~myxos@065-028-251-121.inf.spectrum.com) |
| 20:27:46 | × | tabemann quits (~tabemann@2600:1700:7990:24e0:d9bb:f144:9734:326d) (Remote host closed the connection) |
| 20:27:59 | → | tabemann joins (~tabemann@2600:1700:7990:24e0:cad5:895e:d141:167b) |
| 20:28:56 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 20:31:52 | → | zetef joins (~quassel@95.77.17.251) |
| 20:32:41 | → | nek0 joins (~nek0@2a01:4f8:222:2b41::12) |
| 20:36:08 | × | motherfsck quits (~motherfsc@user/motherfsck) (Quit: quit) |
| 20:39:44 | → | zenstoic joins (uid461840@id-461840.hampstead.irccloud.com) |
| 20:52:37 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 21:06:19 | × | oo_miguel quits (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 268 seconds) |
| 21:09:49 | → | jargon joins (~jargon@154.sub-174-205-226.myvzw.com) |
| 21:10:15 | × | zetef quits (~quassel@95.77.17.251) (Ping timeout: 256 seconds) |
| 21:10:30 | → | zetef joins (~quassel@5.2.182.98) |
| 21:10:56 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 21:15:29 | → | a51 joins (a51@gateway/vpn/protonvpn/a51) |
| 21:25:19 | <ph88> | Should you check in your stack.yaml.lock into version control ? |
| 21:30:34 | → | pavonia joins (~user@user/siracusa) |
| 21:31:04 | × | ph88 quits (~ph88@2a02:8109:9e26:c800:bb8d:fca6:c050:8a0a) (Ping timeout: 255 seconds) |
| 21:33:07 | → | ph88 joins (~ph88@2a02:8109:9e26:c800:96ca:1437:bfbc:fbde) |
| 21:36:48 | → | srz joins (~srz@181.228.49.93) |
| 21:39:48 | × | pie_ quits (~pie_bnc@user/pie/x-2818909) () |
| 21:39:56 | × | megaTherion quits (~therion@unix.io) (Ping timeout: 268 seconds) |
| 21:39:59 | → | pie_ joins (~pie_bnc@user/pie/x-2818909) |
| 21:40:11 | × | zetef quits (~quassel@5.2.182.98) (Remote host closed the connection) |
| 21:41:34 | × | pie_ quits (~pie_bnc@user/pie/x-2818909) (Client Quit) |
| 21:43:02 | → | pie_ joins (~pie_bnc@user/pie/x-2818909) |
| 21:43:14 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:44:53 | × | michalz quits (~michalz@185.246.207.193) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:48:29 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 21:50:35 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:52:46 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 21:53:01 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 21:55:08 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:82f2:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 22:01:30 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:05:44 | → | ft joins (~ft@p508db2e6.dip0.t-ipconnect.de) |
| 22:08:15 | <duncan> | it's a lock file, a cache, don't check it in |
| 22:08:40 | <duncan> | you can check it in (check the documentation) but it's not essential |
| 22:08:53 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 22:09:09 | <glguy> | lock files give other developers information about which versions of things actually work when they try to build it themselves |
| 22:09:10 | <duncan> | there may be advantages of doing so though |
| 22:10:29 | <tomsmeding> | is a lock file actually relevant for stack, with snapshots and all? |
| 22:10:50 | <glguy> | presumably they wouldn't have created the file at all if it had zero information in it |
| 22:11:22 | <tomsmeding> | fair :D |
| 22:11:29 | <glguy> | https://docs.haskellstack.org/en/stable/lock_files/ |
| 22:11:35 | <tomsmeding> | I guess at the very least, packages from extra-deps from hackage are in there |
| 22:11:37 | <tomsmeding> | yeah I found it |
| 22:13:46 | <glguy> | on that topic if you're still using package.yaml files you should still be checking the generated .cabal file into the repo |
| 22:17:54 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:18:04 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 22:24:59 | → | TonyStone joins (~TonyStone@074-076-057-186.res.spectrum.com) |
| 22:31:12 | × | euleritian quits (~euleritia@dynamic-176-006-199-043.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 22:31:33 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 22:31:57 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 22:33:57 | → | euleritian joins (~euleritia@dynamic-176-006-199-043.176.6.pool.telefonica.de) |
| 22:34:20 | × | euleritian quits (~euleritia@dynamic-176-006-199-043.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 22:34:37 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 22:42:52 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 22:43:34 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 22:45:36 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 22:45:44 | × | bgamari quits (~bgamari@64.223.175.94) (Ping timeout: 252 seconds) |
| 22:46:06 | → | bgamari joins (~bgamari@64.223.237.41) |
| 22:46:13 | → | euleritian joins (~euleritia@dynamic-176-006-199-043.176.6.pool.telefonica.de) |
| 22:46:35 | × | euleritian quits (~euleritia@dynamic-176-006-199-043.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 22:46:52 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 22:48:54 | × | acidjnk_new3 quits (~acidjnk@p200300d6e737e7130571715f17447876.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 22:49:10 | × | ph88 quits (~ph88@2a02:8109:9e26:c800:96ca:1437:bfbc:fbde) (Remote host closed the connection) |
| 22:51:02 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 22:57:58 | → | prolic joins (~prolic@181.122.138.24) |
| 22:59:47 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 268 seconds) |
| 22:59:47 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 22:59:59 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 23:00:44 | × | prolic quits (~prolic@181.122.138.24) (Client Quit) |
| 23:00:55 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 23:00:59 | → | prolic_ joins (~prolic_@181.122.138.24) |
| 23:19:47 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 23:19:49 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 23:21:37 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:24:31 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:38:00 | → | tri joins (~tri@172.59.9.202) |
| 23:39:25 | → | Square2 joins (~Square4@user/square) |
| 23:42:28 | × | Square quits (~Square@user/square) (Ping timeout: 255 seconds) |
| 23:50:28 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 260 seconds) |
| 23:52:20 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 23:52:54 | <haskellbridge> | <sm> I have never paid attention to stack.yaml.lock and never regretted not committing it |
| 23:53:50 | <geekosaur> | I would hope it is recreated at need, or the name is horrid… |
| 23:54:16 | <haskellbridge> | <sm> it is |
| 23:54:48 | <haskellbridge> | <sm> I am deleting them all the time because they offend me when looking for files in a directory listing :) |
| 23:56:00 | <geekosaur> | the description earlier made it sound more like `cabal.freeze` than a lock file, tbh |
| 23:56:48 | <haskellbridge> | <sm> AFAICT it's more documentation of the build plan used than anything else, I'm not sure it has much effect |
| 23:57:40 | <geekosaur> | okay, that makes more sense. I'd never check in `cabal.plan` either |
| 23:57:50 | <haskellbridge> | <sm> you made me curious. https://docs.haskellstack.org/en/stable/lock_files/ |
| 23:58:36 | <geekosaur> | blame glguy 🙂 [04 22:09:09] <glguy> lock files give other developers information about which versions of things actually work when they try to build it themselves |
| 23:59:32 | <jackdk> | I tend to check in cabal.project.freeze for the same reason as I'd check in flake.lock - as you say, it means you know exactly what versions of things you last built with |
| 23:59:43 | × | prolic_ quits (~prolic_@181.122.138.24) (Ping timeout: 250 seconds) |
All times are in UTC on 2024-03-04.