Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 994 995 996 997 998 999 1000 1001 1002 1003 1004 .. 5022
— 502,152 events total
2020-11-01 19:34:13 hekkaidekapus is trying to increase participation to the survey from IRC folks. That way, the survey’s results might be less biased towards fellows who have loud-speakers on Twitter/Reddit/…
2020-11-01 19:34:29 <tomsmeding> maerwald: "I think it's since I learned touch typing" -- assuming you mean the home-row-centric qwerty typing style, interesting, I never learned that and have my own homebrew kind of finger movement which is somewhat less static
2020-11-01 19:34:36 <tomsmeding> I wonder how I will fare
2020-11-01 19:35:00 hackage cut-the-crap 2.3.0 - Cuts out uninteresting parts of videos by detecting silences. https://hackage.haskell.org/package/cut-the-crap-2.3.0 (Jappie)
2020-11-01 19:35:04 × mlugg quits (522733ea@cpc95124-newt39-2-0-cust489.19-3.cable.virginm.net) (Ping timeout: 245 seconds)
2020-11-01 19:35:10 tomsmeding already filled in the survey from the haskell-cafe announcement :p
2020-11-01 19:35:14 <MarcelineVQ> I still look at my fingers even though I don't need to, habits are weird
2020-11-01 19:36:28 <Rembane> Maybe you have really pretty fingers?
2020-11-01 19:36:33 × dcoutts_ quits (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 258 seconds)
2020-11-01 19:36:42 <MarcelineVQ> it's possible
2020-11-01 19:38:00 <yushyin> having blank keycaps helps, it took my about a month to get used to my redox keyboard
2020-11-01 19:39:23 → nkly joins (~nkly@ip5b403944.dynamic.kabel-deutschland.de)
2020-11-01 19:40:26 <yushyin> a long and very frustrating month that was
2020-11-01 19:41:33 → christo joins (~chris@81.96.113.213)
2020-11-01 19:41:42 <MarcelineVQ> a qong ang frusttating momfh
2020-11-01 19:42:09 <tomsmeding> as for the IRC topic, does #haskell-offtopic even exist?
2020-11-01 19:42:43 <Rembane> tomsmeding: Yes
2020-11-01 19:42:50 → idhugo joins (~idhugo@80-62-116-101-mobile.dk.customer.tdc.net)
2020-11-01 19:43:02 <tomsmeding> alis doesn't know about it
2020-11-01 19:43:44 <gobbleguy> tomsmeding, channels set +s (secret) don't show up in alis
2020-11-01 19:44:00 <tomsmeding> ah
2020-11-01 19:44:54 <gobbleguy> I would guess that's because it's intended for #haskell regulars to have a place to be offtopic, not a place for people looking to be offtopic to go in general
2020-11-01 19:45:07 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2020-11-01 19:47:24 × mmohammadi9812 quits (~mmohammad@188.210.118.100) (Read error: Connection reset by peer)
2020-11-01 19:47:34 → mmohammadi9812 joins (~mmohammad@188.210.118.100)
2020-11-01 19:47:50 <juri_> ourvey completed.
2020-11-01 19:48:00 <juri_> survey, even.
2020-11-01 19:48:13 <tomsmeding> both?
2020-11-01 19:48:37 <juri_> there are two?
2020-11-01 19:48:46 <tomsmeding> no, was just joking about the typo :p
2020-11-01 19:49:55 × coot quits (~coot@37.30.60.135.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-11-01 19:50:04 <juri_> :)
2020-11-01 19:50:34 × ggole quits (~ggole@2001:8003:8119:7200:a168:686a:1da3:cf46) (Quit: Leaving)
2020-11-01 19:52:28 → Franciman joins (~francesco@host-79-36-167-172.retail.telecomitalia.it)
2020-11-01 19:52:39 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-01 19:53:42 × conal quits (~conal@ip-66-115-176-132.creativelink.net) (Quit: Computer has gone to sleep.)
2020-11-01 19:54:39 → perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2020-11-01 19:55:03 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-01 19:55:04 <hekkaidekapus> MarcelineVQ: Yeah, I am not really fond of the survey but it has gained oversized importance in various places, so better to icrease its inclusiveness than to ignore it and still get indirectly impacted by its results.
2020-11-01 19:55:17 <hekkaidekapus> Viz: <https://mail.haskell.org/pipermail/ghc-steering-committee/2020-October/001822.html>
2020-11-01 19:55:25 × michael92342 quits (~{mikey}@79.140.120.95) (Ping timeout: 264 seconds)
2020-11-01 19:56:00 <MarcelineVQ> sure, it's a useul thing to have to guage user metrics if nothing else
2020-11-01 19:56:18 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-01 19:57:32 <juri_> I am disappointed there's not a selection for more than 30 years programming experience.
2020-11-01 19:57:34 <MarcelineVQ> fwiw I'm not a big fan of OverloadedStrings on by default and find it interestings it's sitting right at the top
2020-11-01 19:58:08 <ski> MarcelineVQ : i used to only look at the keyboard, when typing, only glacing up at the screen now and then to check for mistakes
2020-11-01 19:59:18 <dminuoso> OverloadedStrings has caught me by surprise a few times.
2020-11-01 19:59:57 → PerseusPlease joins (~{mikey}@79.140.120.95)
2020-11-01 20:00:02 <dminuoso> For Text I'd love it, but sadly there's illplaced instances like `IsString ByteString` or `(a ~ Tokens s, IsString a, Eq a, Stream s, Ord e) => IsString (ParsecT e s m a)`
2020-11-01 20:00:14 → conal joins (~conal@64.71.133.70)
2020-11-01 20:00:32 <ski> (and i never learned the "proper touch typing", either. but i use more fingers than two, although pinkies not that often)
2020-11-01 20:00:33 <tomsmeding> how does "Other" have 212% of the votes
2020-11-01 20:00:33 × brettgilio quits (~brettgili@brettgilio.com) (Remote host closed the connection)
2020-11-01 20:00:57 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-11-01 20:01:07 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-01 20:01:39 → mokulus_ joins (~mat@176.111.230.96)
2020-11-01 20:02:12 <maerwald> tomsmeding: I don't have qwerty, I use workman, which is a modification of colemak, focussing on "finger roll" (same hand use during typing a word)
2020-11-01 20:02:41 <koz_> tomsmeding: Russia-style voting?
2020-11-01 20:02:48 × mokulus_ quits (~mat@176.111.230.96) (Read error: Connection reset by peer)
2020-11-01 20:02:58 × mokulus quits (~mat@176.111.230.96) (Ping timeout: 246 seconds)
2020-11-01 20:02:58 → mgalese joins (60e67243@pool-96-230-114-67.bstnma.fios.verizon.net)
2020-11-01 20:03:09 × notnatebtw quits (~nate@125.161.131.30) (Quit: WeeChat 2.9)
2020-11-01 20:03:11 → rprije joins (~rprije@194-193-168-77.tpgi.com.au)
2020-11-01 20:03:16 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds)
2020-11-01 20:03:29 <MarcelineVQ> vote bald, vote not-bald, vote bald, vote not-bald?
2020-11-01 20:03:53 <koz_> MarcelineVQ: LOL, that, and winning elections with 110% of the vote.
2020-11-01 20:04:00 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-01 20:04:09 <dminuoso> koz_: Oh that sounds more like an US election then.
2020-11-01 20:04:15 <MarcelineVQ> Oh, that's everywhere :>
2020-11-01 20:04:26 <koz_> dminuoso: No, that's winning elections with _10%_ of the vote instead.
2020-11-01 20:04:55 <dminuoso> I wonder, has someone does the math what the lowest popular vote is one could have but still win the electoral college in the US?
2020-11-01 20:05:17 <koz_> dminuoso: Nate Silver might have?
2020-11-01 20:05:22 <koz_> It sounds on-brand for him.
2020-11-01 20:05:26 → alp joins (~alp@2a01:e0a:58b:4920:e0bd:5b09:72db:411d)
2020-11-01 20:05:36 <mgalese> https://www.npr.org/2016/11/02/500112248/how-to-win-the-presidency-with-27-percent-of-the-popular-vote
2020-11-01 20:05:57 <mgalese> Despite the slug, it's 23 percent
2020-11-01 20:05:58 <MarcelineVQ> y'all be trippin, this is a channel for talking about typing
2020-11-01 20:06:41 → chaosmasttter joins (~chaosmast@p200300c4a72dee01c4c235ce0df4f033.dip0.t-ipconnect.de)
2020-11-01 20:06:50 <dminuoso> mgalese: Well and thats assuming faithful electors!
2020-11-01 20:06:53 <tomsmeding> typing on workman, evidently
2020-11-01 20:07:02 <koz_> MarcelineVQ: Yes.
2020-11-01 20:07:04 <dminuoso> Presumably you could get near 0% of the popular vote and still become president.
2020-11-01 20:07:10 <koz_> For more than one definition of 'typing'.
2020-11-01 20:07:13 <dminuoso> If all the electors were faithless
2020-11-01 20:07:16 <mgalese> And more on topic, --- is there a way to use Deriving Via with a specific member of a record?
2020-11-01 20:07:17 <tomsmeding> maybe I should switch to a better layout at some point but I probably won't
2020-11-01 20:07:17 → sawebb_ joins (~sawebb@75.115.195.184)
2020-11-01 20:07:35 <koz_> tomsmeding: I already needed almost a month to adjust to the layout differences of the ErgoDox EZ.
2020-11-01 20:07:45 <koz_> And that's only a _minor_ deviation from qwerty.
2020-11-01 20:07:50 <mgalese> As in, if I had a record with a member "seqNo :: SequenceNo", deriving an Ord instance based on the SequenceNo type
2020-11-01 20:07:55 <koz_> So I totally get why switching is hard.
2020-11-01 20:07:56 → mokulus_ joins (~mat@176.111.230.96)
2020-11-01 20:08:08 <dminuoso> mgalese: No, you derive via a different type that can be coerced to
2020-11-01 20:08:19 → ransom joins (c4264035@gateway/vpn/protonvpn/c4264035)
2020-11-01 20:08:28 <dminuoso> mgalese: So if there no Coercible between the two, then you cant have deriving via
2020-11-01 20:08:58 <dminuoso> And a field of a data does not have the same runtime representation as the struct holding it, unless it was the only member
2020-11-01 20:09:09 <dminuoso> s/struct/data/
2020-11-01 20:09:35 <dminuoso> So you'd have to write out that instance by hand
2020-11-01 20:10:01 hackage haskell-gi-base 0.24.4 - Foundation for libraries generated by haskell-gi https://hackage.haskell.org/package/haskell-gi-base-0.24.4 (inaki)
2020-11-01 20:10:25 × idhugo quits (~idhugo@80-62-116-101-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
←Prev  Next→
Page 1 .. 994 995 996 997 998 999 1000 1001 1002 1003 1004 .. 5022

All times are in UTC.