Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4684 4685 4686 4687 4688 4689 4690 4691 4692 4693 4694 .. 5022
— 502,152 events total
2021-05-01 09:44:01 × codedmart quits (codedmart@2600:3c01::f03c:92ff:fefe:8511) (Max SendQ exceeded)
2021-05-01 09:44:39 → codedmart joins (~codedmart@li335-49.members.linode.com)
2021-05-01 09:45:32 × poljar quits (~poljar@93-143-176-203.adsl.net.t-com.hr) (Ping timeout: 240 seconds)
2021-05-01 09:46:58 → kritzefitz joins (~kritzefit@212.86.56.80)
2021-05-01 09:48:47 → nineonine joins (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5)
2021-05-01 09:51:21 → __monty__ joins (~toonn@unaffiliated/toonn)
2021-05-01 09:53:37 × plutoniix quits (~q@node-upe.pool-125-24.dynamic.totinternet.net) (Remote host closed the connection)
2021-05-01 09:57:11 × nineonine quits (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Ping timeout: 260 seconds)
2021-05-01 09:59:18 → cinimod joins (~user@cpc112689-nmal22-2-0-cust419.19-2.cable.virginm.net)
2021-05-01 10:00:59 → ADG1089 joins (~aditya@223.226.237.158)
2021-05-01 10:01:23 → todda7 joins (~torstein@178-147-206-209.haap.dm.cosmote.net)
2021-05-01 10:01:43 <ADG1089> i'm using brittany as a formatter; I want to wrap every argument on a new line if line length > say 80 or 120. Can I do in brittany or do I need another formatter?
2021-05-01 10:02:46 × nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-05-01 10:04:27 × HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Remote host closed the connection)
2021-05-01 10:04:51 → HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06)
2021-05-01 10:06:37 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-01 10:10:41 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-01 10:12:10 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds)
2021-05-01 10:13:48 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-05-01 10:16:06 × ram19890_ quits (~ram@49.205.84.15) (Quit: Konversation terminated!)
2021-05-01 10:17:34 → chargen joins (~chargen@D964062A.static.ziggozakelijk.nl)
2021-05-01 10:21:22 → pavonia joins (~user@unaffiliated/siracusa)
2021-05-01 10:22:19 × random quits (~random@46.254.129.126) (Ping timeout: 252 seconds)
2021-05-01 10:23:26 → nineonine joins (~nineonine@2604:3d08:7783:f200:30af:4068:d497:ff92)
2021-05-01 10:23:32 × todda7 quits (~torstein@178-147-206-209.haap.dm.cosmote.net) (Ping timeout: 240 seconds)
2021-05-01 10:25:40 → jijimofo joins (~cmo@S010610561191f5d6.lb.shawcable.net)
2021-05-01 10:27:58 × nineonine quits (~nineonine@2604:3d08:7783:f200:30af:4068:d497:ff92) (Ping timeout: 276 seconds)
2021-05-01 10:28:28 → nineonine joins (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30)
2021-05-01 10:29:46 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2021-05-01 10:32:56 → mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-01 10:33:10 × nineonine quits (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Ping timeout: 276 seconds)
2021-05-01 10:33:54 × aidecoe quits (~aidecoe@unaffiliated/aidecoe) (Remote host closed the connection)
2021-05-01 10:35:22 → aidecoe joins (~aidecoe@unaffiliated/aidecoe)
2021-05-01 10:35:25 → nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-01 10:36:55 × chargen quits (~chargen@D964062A.static.ziggozakelijk.nl) (Quit: Leaving)
2021-05-01 10:37:38 → constrixor joins (~chargen@D964062A.static.ziggozakelijk.nl)
2021-05-01 10:37:40 <__monty__> ADG1089: Afaict that's what brittany does by default?
2021-05-01 10:37:47 → ddellacosta joins (~ddellacos@86.106.143.73)
2021-05-01 10:38:09 <merijn> I say: Cast of your chains, free yourself from laziness and machine tyranny!
2021-05-01 10:38:21 <merijn> Say no to auto-formatting: https://twitter.com/comerijn/status/1257804634833420292
2021-05-01 10:42:06 × ddellacosta quits (~ddellacos@86.106.143.73) (Ping timeout: 240 seconds)
2021-05-01 10:44:26 × whatisRT quits (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2021-05-01 10:44:34 <ADG1089> automation is the future
2021-05-01 10:44:53 sm2n_ is now known as sm2n
2021-05-01 10:44:59 <ADG1089> __monty__: yeah I'll have to play with it's config. AFAIK dev didn't bother to document the config
2021-05-01 10:45:19 → whatisRT joins (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de)
2021-05-01 10:45:52 × ADG1089 quits (~aditya@223.226.237.158) (Remote host closed the connection)
2021-05-01 10:45:56 × kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 246 seconds)
2021-05-01 10:46:47 <merijn> ADG1089: Yes, but also no. Auto-formatting code is abdicating your responsibility to make code readable for other people
2021-05-01 10:46:54 <maerwald> no one's got time for manual formatting
2021-05-01 10:47:03 <merijn> maerwald: I don't buy that
2021-05-01 10:47:12 <maerwald> merijn: deadlines
2021-05-01 10:47:43 <merijn> maerwald: That only makes sense if all time until the deadline is spent typing code
2021-05-01 10:47:57 <maerwald> Yes
2021-05-01 10:48:03 <merijn> Which is bs, I spend like a third of my time writing code at best
2021-05-01 10:48:22 <merijn> Most time goes into thinking, reading, testing
2021-05-01 10:48:32 <maerwald> So you know how much time other ppl spend on typing code at their workplace? :p
2021-05-01 10:49:06 <merijn> If you're typing more than that, there are much bigger problems, like: Stop writing so much damn code >.<
2021-05-01 10:49:16 <maerwald> The two things that wasted most of my time were: 1. hlint, 2. formatting discussions/fixes
2021-05-01 10:49:16 → HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de)
2021-05-01 10:49:39 <maerwald> merijn: yeah, that's why I ended up with RSI lol
2021-05-01 10:50:19 <maerwald> manual code formatting is gonna make it worse
2021-05-01 10:50:32 <maerwald> I say f*** that
2021-05-01 10:50:39 <merijn> @quote hours.of.coding
2021-05-01 10:50:39 <lambdabot> * says: | shapr remembers that hours of coding can save minutes of thinking
2021-05-01 10:51:32 × jijimofo quits (~cmo@S010610561191f5d6.lb.shawcable.net) (Ping timeout: 240 seconds)
2021-05-01 10:52:49 <merijn> maerwald: tbh, I don't spend that much time on formatting manually to begin with
2021-05-01 10:53:30 <maerwald> there are just too many ways to format
2021-05-01 10:53:59 <maerwald> and the difference in eye tracking whatever is gonna be so low that you can't even scientifically gain evidence about advantages for anything
2021-05-01 10:54:12 <merijn> Anyway, I should go back to writing, rather than procrastinating on IRC :p
2021-05-01 10:54:24 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: writing)
2021-05-01 10:57:23 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-05-01 10:58:25 × Benzi-Junior quits (~BenziJuni@dsl-149-64-251.hive.is) (Ping timeout: 252 seconds)
2021-05-01 10:59:06 → vv8 joins (~egp_@128-71-13-3.broadband.corbina.ru)
2021-05-01 11:00:54 → Benzi-Junior joins (~BenziJuni@88-149-64-251.du.xdsl.is)
2021-05-01 11:01:11 → waleee-cl joins (uid373333@gateway/web/irccloud.com/x-acomrlmtwzzmslun)
2021-05-01 11:01:46 × jpe90 quits (~user@pool-108-31-85-19.washdc.fios.verizon.net) (Ping timeout: 268 seconds)
2021-05-01 11:05:05 <__minoru__shirae> maerwald: I thought people care more about their subjective preferences rather than about scientifically measurable differences
2021-05-01 11:05:51 → Pickchea joins (~private@unaffiliated/pickchea)
2021-05-01 11:06:13 <maerwald> hmm, subjective preferences yes, but many I think it's also the consistency obsession... so if it's not your own preference, you want at least consistency
2021-05-01 11:06:21 <maerwald> I also don't believe in consistency wrt style
2021-05-01 11:07:55 <maerwald> Code is a huge mess of different thoughts from very different people. Style doesn't really solve the problem
2021-05-01 11:08:45 <__minoru__shirae> I think at some point in the future people are going to create a tool that allows to code your formatting preferences as a config and automatically convert from your formatting to common standard and back
2021-05-01 11:09:18 → cfricke joins (~cfricke@unaffiliated/cfricke)
2021-05-01 11:12:24 → malumore_ joins (~malumore@151.62.121.94)
2021-05-01 11:12:57 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-01 11:13:21 <__minoru__shirae> but people sometimes diverge from their own preferences, so there should be a way of making exceptions
2021-05-01 11:14:26 <__minoru__shirae> something like a hint to the auto-formatter in the comments
2021-05-01 11:15:26 → malumore__ joins (~malumore@151.62.121.94)
2021-05-01 11:15:37 × stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-05-01 11:15:44 → oish joins (~charlie@228.25.169.217.in-addr.arpa)
2021-05-01 11:15:59 vv8 is now known as undecidedvisrain
2021-05-01 11:16:12 undecidedvisrain is now known as undvrainbowvital
2021-05-01 11:16:15 undvrainbowvital is now known as undvrainbowvita8
2021-05-01 11:17:11 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-01 11:17:11 × Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 240 seconds)
2021-05-01 11:17:31 → nicholasbulka joins (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184)
2021-05-01 11:17:33 × malumore_ quits (~malumore@151.62.121.94) (Read error: Connection reset by peer)
2021-05-01 11:17:57 <maerwald> I don't think formatting is really about "what's the right formatting". It's about what is bad formatting. You just avoid bad formatting (e.g. lines that are 500 chars long) and the rest doesn't significantly improve readability anymore
2021-05-01 11:18:54 <maerwald> so you actually want a formatter that is NOT opinionated and avoids changing code as much as possible
←Prev  Next→
Page 1 .. 4684 4685 4686 4687 4688 4689 4690 4691 4692 4693 4694 .. 5022

All times are in UTC.