Logs: liberachat/#haskell
| 2021-07-28 10:24:18 | → | Core3241 joins (~agua@2804:18:4a:f76c:1:0:5e60:e39) |
| 2021-07-28 10:24:56 | × | pesada quits (~agua@2804:18:4a:f76c:1:0:5e60:e39) (Read error: Connection reset by peer) |
| 2021-07-28 10:26:53 | × | agua quits (~agua@2804:14c:8793:8e2f:8dcb:5525:982:c9ab) (Ping timeout: 252 seconds) |
| 2021-07-28 10:29:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-07-28 10:30:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-28 10:33:34 | → | agua joins (~agua@2804:14c:8793:8e2f:8dcb:5525:982:c9ab) |
| 2021-07-28 10:35:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-07-28 10:35:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-28 10:35:47 | × | Core3241 quits (~agua@2804:18:4a:f76c:1:0:5e60:e39) (Ping timeout: 252 seconds) |
| 2021-07-28 10:37:24 | → | pesada joins (~agua@2804:18:4a:f76c:1:0:5e60:e39) |
| 2021-07-28 10:39:17 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 245 seconds) |
| 2021-07-28 10:39:21 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-28 10:39:22 | → | berberman_ joins (~berberman@user/berberman) |
| 2021-07-28 10:40:11 | × | agua quits (~agua@2804:14c:8793:8e2f:8dcb:5525:982:c9ab) (Ping timeout: 252 seconds) |
| 2021-07-28 10:41:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-28 10:41:35 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-28 10:42:37 | → | agua joins (~agua@2804:14c:8793:8e2f:8dcb:5525:982:c9ab) |
| 2021-07-28 10:44:12 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-07-28 10:46:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-28 10:46:58 | × | pesada quits (~agua@2804:18:4a:f76c:1:0:5e60:e39) (Ping timeout: 272 seconds) |
| 2021-07-28 10:47:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-28 10:48:34 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-07-28 10:50:07 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-28 10:50:43 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 265 seconds) |
| 2021-07-28 10:50:43 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-28 10:52:42 | → | pesada joins (~agua@2804:18:4a:f76c:1:0:5e60:e39) |
| 2021-07-28 10:52:45 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-07-28 10:53:04 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-07-28 10:54:45 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-28 10:55:12 | × | agua quits (~agua@2804:14c:8793:8e2f:8dcb:5525:982:c9ab) (Ping timeout: 272 seconds) |
| 2021-07-28 10:55:23 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-07-28 10:57:44 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-28 10:58:18 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-28 10:58:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-28 10:59:04 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-28 11:02:12 | × | jippiedoe quits (~david@2a02-a44c-e14e-1-feff-f00d-42fa-8cf.fixed6.kpn.net) (Ping timeout: 250 seconds) |
| 2021-07-28 11:03:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-07-28 11:04:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-28 11:07:45 | → | AlexNoo_ joins (~AlexNoo@94.233.241.173) |
| 2021-07-28 11:09:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-28 11:09:56 | × | Alex_test quits (~al_test@178.34.150.234) (Ping timeout: 255 seconds) |
| 2021-07-28 11:09:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-28 11:11:17 | × | AlexNoo quits (~AlexNoo@178.34.150.234) (Ping timeout: 255 seconds) |
| 2021-07-28 11:11:59 | × | AlexZenon quits (~alzenon@178.34.150.234) (Ping timeout: 265 seconds) |
| 2021-07-28 11:13:35 | × | Aleci[m] quits (~alecilibr@2001:470:69fc:105::32e7) (Quit: You have been idle for 30+ days) |
| 2021-07-28 11:13:35 | × | gxt quits (~gxt@2001:470:69fc:105::3513) (Quit: You have been idle for 30+ days) |
| 2021-07-28 11:13:36 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-07-28 11:13:38 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:175b:918:dbee:2c2) (Ping timeout: 252 seconds) |
| 2021-07-28 11:13:39 | × | thedward[m] quits (~thedwardm@2001:470:69fc:105::f79) (Quit: You have been idle for 30+ days) |
| 2021-07-28 11:13:40 | × | cdepillabout[m] quits (~cdepillab@2001:470:69fc:105::3d3) (Quit: You have been idle for 30+ days) |
| 2021-07-28 11:13:40 | × | Artem[m] quits (~artemtype@2001:470:69fc:105::75b) (Quit: You have been idle for 30+ days) |
| 2021-07-28 11:13:49 | → | Alex_test joins (~al_test@94.233.241.173) |
| 2021-07-28 11:15:54 | → | AlexZenon joins (~alzenon@94.233.241.173) |
| 2021-07-28 11:20:55 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Read error: Connection reset by peer) |
| 2021-07-28 11:21:40 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-28 11:26:16 | → | agua joins (~agua@2804:14c:8793:8e2f:8dcb:5525:982:c9ab) |
| 2021-07-28 11:28:54 | × | pesada quits (~agua@2804:18:4a:f76c:1:0:5e60:e39) (Ping timeout: 276 seconds) |
| 2021-07-28 11:31:29 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 268 seconds) |
| 2021-07-28 11:31:45 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-28 11:33:16 | × | sergio812 quits (~sergio812@lfbn-ren-1-403-102.w2-10.abo.wanadoo.fr) (Ping timeout: 246 seconds) |
| 2021-07-28 11:34:58 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-28 11:37:32 | → | Guest60 joins (~Guest60@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) |
| 2021-07-28 11:41:03 | → | goepsilongo joins (~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) |
| 2021-07-28 11:41:45 | → | mnrmnaugh joins (~mnrmnaugh@68.162.206.56) |
| 2021-07-28 11:41:46 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-07-28 11:44:58 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 240 seconds) |
| 2021-07-28 11:48:32 | <Arahael> | That's... More than a few months old! |
| 2021-07-28 11:49:07 | <merijn> | Arahael: What is? |
| 2021-07-28 11:49:25 | <Arahael> | merijn: 10.13 |
| 2021-07-28 11:50:17 | <Arahael> | I was aluding to both that it's an old version, and that mac users are encouraged to upate to the latest all the time and often do so quite quickly. |
| 2021-07-28 11:51:29 | → | Deide[m] joins (~deidehalo@2001:470:69fc:105::c89a) |
| 2021-07-28 11:51:30 | <lechner> | Arahael: Isn't it the other way around, i.e. scripts should use the "plumbing" commands for robustness? https://git-scm.com/book/en/v2/Git-Internals-Plumbing-and-Porcelain |
| 2021-07-28 11:52:24 | <Arahael> | lechner: Apoologies, you're quite right. The trouble is the visualisation. I keep thinking that the 'porcelien' bit is the part of the toilet you don't particularly want to sit on, you want to sit on the nice cushiony seat instead. |
| 2021-07-28 11:52:51 | Arahael | notes that the correct spelling seems to be "Porcelain". |
| 2021-07-28 11:52:54 | <merijn> | The best way to use git is "don't" :p |
| 2021-07-28 11:52:58 | <Arahael> | Ha. |
| 2021-07-28 11:53:02 | <davros> | mercurial? |
| 2021-07-28 11:54:26 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-07-28 11:54:41 | → | Guest83 joins (~Guest83@217.155.19.23) |
| 2021-07-28 11:55:01 | <merijn> | Mercurial has lots of problems too, but at least it's far more userfriendly/understandable/easier for most workflows that aren't "the linux kernel workflow" (i.e., most workflows) |
| 2021-07-28 11:55:10 | <lechner> | darcs? |
| 2021-07-28 11:55:37 | <merijn> | tbh, I'd rather see things like Fossil and Pijul take off, but those don't really have the support yet, so for now I stick to Mercurial |
| 2021-07-28 11:56:12 | <merijn> | Mostly because all my coworkers are stockholmed into using git and Mercurial gives me a bidirectional git interface so at least *I* don't have to touch git :p |
| 2021-07-28 11:58:00 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 268 seconds) |
| 2021-07-28 11:58:46 | × | fabfianda quits (~fabfianda@mob-5-90-126-184.net.vodafone.it) (Quit: Quit) |
| 2021-07-28 11:59:15 | × | jespada quits (~jespada@90.254.247.46) (Ping timeout: 258 seconds) |
| 2021-07-28 11:59:24 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-07-28 11:59:33 | <Arahael> | merijn: Mercurial has perfect compatibility with git now? |
| 2021-07-28 11:59:41 | <merijn> | Define "perfect" |
| 2021-07-28 11:59:43 | → | ukari joins (~ukari@user/ukari) |
| 2021-07-28 11:59:48 | <Arahael> | merijn: Without fault. |
| 2021-07-28 12:00:11 | <merijn> | It works on every single repo without submodules that I've interacted with |
| 2021-07-28 12:00:27 | <merijn> | submodules fuck things up, but then they also do that with git :p |
| 2021-07-28 12:00:31 | <Arahael> | Ah, so doesn't work with submodules? (Which, honestly, are hacky, anyway) |
| 2021-07-28 12:00:44 | <merijn> | I dunno how it handles octomerges, but then, I've never seen an octomerge in the wild |
| 2021-07-28 12:00:59 | <Arahael> | octomerges are weird, I can't imagine doing them in the wild. Wouldn't want to. |
| 2021-07-28 12:00:59 | → | jespada joins (~jespada@90.254.247.46) |
| 2021-07-28 12:01:08 | <Arahael> | Just merge branches two at a time, like a sane person, I reckon. |
| 2021-07-28 12:04:26 | <merijn> | The 2 main reasons I haven't switched to Pijul for some of my personal projects are: 1) don't have any CI solutions yet, 2) Nest has issue tracking, but I'd rather see some format of distributed issue tracking, so I don't get locked in like with github |
| 2021-07-28 12:05:07 | → | jumper149 joins (~jumper149@80.240.31.34) |
All times are in UTC.