Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
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.