Logs: freenode/#haskell
| 2021-04-08 19:04:14 | <davean> | I can see how you don't see that if you don't git hard, but if you git ... |
| 2021-04-08 19:06:43 | zyeri- | is now known as zyeri |
| 2021-04-08 19:06:44 | × | zyeri quits (zyeri@gateway/shell/tilde.team/x-oxjvkgeanxdxtgws) (Changing host) |
| 2021-04-08 19:06:44 | → | zyeri joins (zyeri@tilde.team/users/zyeri) |
| 2021-04-08 19:07:42 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-04-08 19:09:55 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-08 19:11:08 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:4d74:8eef:fc60:8feb) (Remote host closed the connection) |
| 2021-04-08 19:11:23 | × | cub3s_ quits (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: Leaving) |
| 2021-04-08 19:11:29 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:ea09:d4ec:d157:6a0d) (Ping timeout: 250 seconds) |
| 2021-04-08 19:11:37 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-08 19:13:59 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-04-08 19:15:42 | <monochrom> | If you own the repo, you push all the time, I know I do. |
| 2021-04-08 19:17:24 | <monochrom> | I push from my computer to my github repo. |
| 2021-04-08 19:17:59 | <maerwald> | the only time you don't push is when you work directly on the bare git repo, which you probably shouldn't |
| 2021-04-08 19:18:11 | × | jjhoo quits (jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) (Ping timeout: 248 seconds) |
| 2021-04-08 19:18:17 | → | jjhoo_ joins (jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) |
| 2021-04-08 19:18:57 | <maerwald> | the only plague that github introduces is the merge button in the UI |
| 2021-04-08 19:18:58 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-08 19:19:25 | <maerwald> | that's what breaks all the original workflow (and also other things like proper gpg signatures) |
| 2021-04-08 19:19:50 | <sm[m]> | I push from my machine to my github repo too. Does that make github push based ? I thought we were talking more about the collaboration flow |
| 2021-04-08 19:20:01 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-08 19:20:57 | <monochrom> | Alright, my workflow is push-based, and it's a very personal repo. |
| 2021-04-08 19:22:07 | <maerwald> | though Linus said that github isn't radical enough with their usability UI... he wants a better online editor |
| 2021-04-08 19:22:21 | <maerwald> | because that's the only reason he uses that website anyway |
| 2021-04-08 19:22:36 | <yushyin> | haha |
| 2021-04-08 19:22:49 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-08 19:23:08 | <monochrom> | Yeah sounds like an oversimplified merge button is a sorry excuse for a merge-and-resolve-conflict editor. |
| 2021-04-08 19:23:29 | <monochrom> | But let me have some fun here. |
| 2021-04-08 19:23:43 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:889c:8645:b190:195f) |
| 2021-04-08 19:23:52 | <monochrom> | Back then I used RCS and then CVS. It was ci-based, and it was ci both ways. |
| 2021-04-08 19:24:07 | <monochrom> | And back then "ci" meant "check in". And it was always snowing. |
| 2021-04-08 19:24:51 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-08 19:25:11 | <maerwald> | doing rebases against remote branches in git with large local branches is an insane task... you have to fix conflicts for every single commit and it's easy to lose track what's going on, what commit you're on etc |
| 2021-04-08 19:25:21 | <maerwald> | the cli doesn't help much here |
| 2021-04-08 19:25:33 | <maerwald> | github failed to do anything about that |
| 2021-04-08 19:26:04 | <maerwald> | but these days everyone just does merges, including reverse merges |
| 2021-04-08 19:26:29 | <monochrom> | Only a 60-inch 4K screen helps. So that you can see all of the mess on your table. |
| 2021-04-08 19:26:50 | <maerwald> | That's when I go home and eat Ramen instead |
| 2021-04-08 19:27:17 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-04-08 19:27:19 | <maerwald> | or dream what if darcs had won the VCS race |
| 2021-04-08 19:28:05 | → | cansis joins (uid90033@gateway/web/irccloud.com/x-ntyzgjywyljhqpqt) |
| 2021-04-08 19:28:06 | <maerwald> | also: https://github.com/mhagger/git-imerge |
| 2021-04-08 19:28:13 | <maerwald> | good example why git can be too hard :) |
| 2021-04-08 19:29:20 | → | solvr joins (57e3c46d@87.227.196.109) |
| 2021-04-08 19:31:07 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-08 19:38:35 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-04-08 19:39:13 | <hololeap> | git-cola's pretty nice |
| 2021-04-08 19:39:23 | × | jacks2 quits (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 2021-04-08 19:39:35 | <hololeap> | not sure if it would help in that case |
| 2021-04-08 19:41:22 | → | Sornaensis joins (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) |
| 2021-04-08 19:42:41 | <maerwald> | one thing is: whenever I run `git mergetool`, I have to figure out which of those 3 sides is what exactly |
| 2021-04-08 19:43:06 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 2.8) |
| 2021-04-08 19:44:45 | × | Sorny quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 268 seconds) |
| 2021-04-08 19:44:52 | <sm[m]> | maerwald: if you want to feel better about git merge conflicts, try darcs' for a bit! |
| 2021-04-08 19:45:16 | <maerwald> | I don't even understand the concepts of darcs :) |
| 2021-04-08 19:45:25 | <sm[m]> | darcs just has no idea which side is which :) |
| 2021-04-08 19:46:32 | <maerwald> | https://shafiul.github.io/gitbook/1_the_git_object_model.html this is the only thing you need to know about git |
| 2021-04-08 19:47:04 | <maerwald> | with darcs, I don't know where to start |
| 2021-04-08 19:47:11 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-08 19:48:44 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-08 19:49:45 | <sm[m]> | Oh darcs is pretty easy - just "it'll munge my text edits together in any order as long as they don't overlap" |
| 2021-04-08 19:50:19 | <haskellstudent> | fresheyeball: i finished my miso vs reflex vs shpadoinkle evaluation. i spent the last week learning the basics and reading the todomvc code in all 3 and implemented the same small program (this https://i.imgur.com/YbTvJoB.png) in each. its the same in miso and shpadoinkle, but in reflex i could not figure out how to do the add/remove page buttons which add and remove "pages" and buttons at runtime even after an entire day. i am |
| 2021-04-08 19:50:19 | <haskellstudent> | most pleased with spadoinkle, it seems like the most elegant and straightforward way to do it and i had a great experience with it so far so thank you for creating it and recommending it to me! |
| 2021-04-08 19:50:21 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-04-08 19:50:43 | <sm[m]> | and I can push/pull those around to other repos. All you need to know |
| 2021-04-08 19:50:43 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 248 seconds) |
| 2021-04-08 19:50:43 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-04-08 19:50:46 | <haskellstudent> | if anyone is interested, this is the code for the same thing (minus add/remove page) in reflex for the 3 libs: |
| 2021-04-08 19:50:47 | <haskellstudent> | shpadoinkle https://pastebin.com/Z9dkdw3e |
| 2021-04-08 19:50:47 | <haskellstudent> | miso https://pastebin.com/HA225uWC |
| 2021-04-08 19:50:47 | <haskellstudent> | reflex https://pastebin.com/HLRM5RMA |
| 2021-04-08 19:52:05 | → | gproto023 joins (~gproto23@unaffiliated/gproto23) |
| 2021-04-08 19:55:02 | × | gproto023 quits (~gproto23@unaffiliated/gproto23) (Client Quit) |
| 2021-04-08 19:58:12 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-04-08 19:59:00 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-04-08 19:59:47 | → | mkDoku joins (~TheMule@aftr-37-201-195-134.unity-media.net) |
| 2021-04-08 20:00:35 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-08 20:00:40 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-04-08 20:00:41 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-08 20:04:20 | siers | is now known as ij |
| 2021-04-08 20:05:05 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 246 seconds) |
| 2021-04-08 20:05:39 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 248 seconds) |
| 2021-04-08 20:06:50 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-08 20:07:21 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-04-08 20:09:21 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-04-08 20:10:59 | × | srk quits (~sorki@unaffiliated/srk) (Ping timeout: 248 seconds) |
| 2021-04-08 20:12:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-08 20:13:50 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-08 20:14:38 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 2021-04-08 20:14:38 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 2021-04-08 20:14:38 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 2021-04-08 20:14:43 | × | mkDoku quits (~TheMule@aftr-37-201-195-134.unity-media.net) (Ping timeout: 248 seconds) |
| 2021-04-08 20:16:17 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-04-08 20:16:40 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-08 20:18:08 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 2021-04-08 20:18:30 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-08 20:19:28 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:4552:1533:b307:c3a6) |
| 2021-04-08 20:20:27 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-08 20:20:31 | × | dinciorip quits (~dincio@5.170.122.95) (Read error: Connection reset by peer) |
| 2021-04-08 20:21:03 | <dcbdan> | is there a debugger / program stepper? i.e. walk through the values of variables in a program step by step? Kinda like gdb, but with haskell values? Right now I make a lot of print statements, is that un-advisable? |
All times are in UTC.