Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 916 917 918 919 920 921 922 923 924 925 926 .. 5022
— 502,152 events total
2020-10-28 16:18:29 <dminuoso> Im up for it
2020-10-28 16:18:42 <dminuoso> (the technical implementation should be very simple)
2020-10-28 16:18:46 <davean> We kinda got it for overlapping?
2020-10-28 16:18:49 <merijn> dminuoso: Good luck :)
2020-10-28 16:19:09 <merijn> typetetris: A made up pragma for silencing orphan instance warnings
2020-10-28 16:19:21 <dminuoso> davean: No, in case of overlapping it doesn't just suppress a warning, it affects instance resolution
2020-10-28 16:19:31 <dminuoso> ADOPT is really just about suppressing a warning
2020-10-28 16:19:39 <merijn> typetetris: Because the only current alternative is to disable *all* orphan instances, rather than specific ones
2020-10-28 16:20:18 <typetetris> merijn: Yes, a more specific pragma would be better.
2020-10-28 16:21:57 <dminuoso> typetetris: The rough argument against it was "yet another syntax change, causing more friction on libraries like haskell-src - and while we're at it, we should have an infrastructure in place where we could selectively disable any diagnostic on arbitrary code regions"
2020-10-28 16:22:06 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 2.9)
2020-10-28 16:22:09 <dminuoso> You know, just the thing that requires tremendous engineering and effort
2020-10-28 16:22:23 <dminuoso> Except, we don't really need it for anything but orphan warnings realistically.
2020-10-28 16:22:26 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-28 16:22:58 <typetetris> dminuoso: .... yeah, sounds like YAGNI
2020-10-28 16:23:23 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-28 16:23:43 <dminuoso> typetetris: To be fair, GHC has frequently suffered from ad-hoc additions to its syntax like that.
2020-10-28 16:24:27 <dminuoso> So rather than "changing the syntax with extra bits every time you come up with the new idea", it's not completely unwise to think about "if we do this, we should find a general solution once and for all"
2020-10-28 16:24:32 <typetetris> Is there a timeline for the primops to speed up effect libraries in sight?
2020-10-28 16:24:41 <typetetris> Forgot how they have been called.
2020-10-28 16:26:16 → vacm joins (~vacwm@70.23.92.191)
2020-10-28 16:26:36 koz is now known as koz_
2020-10-28 16:26:51 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-10-28 16:27:15 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-28 16:27:28 <lyxia> typetetris: you can look up the proposal and its discussion on Github https://github.com/ghc-proposals/ghc-proposals/pull/313
2020-10-28 16:28:07 <helpmeguys> Okay
2020-10-28 16:28:11 <helpmeguys> My test is up
2020-10-28 16:28:16 <helpmeguys> At-least tell me now
2020-10-28 16:28:17 <helpmeguys> :)
2020-10-28 16:28:25 <ghoulguy> helpmeguys: What test?
2020-10-28 16:28:40 <helpmeguys> FBI Cybersec Command
2020-10-28 16:28:53 ChanServ sets mode +q *!*@103.108.95.147
2020-10-28 16:29:28 × helpmeguys quits (676c5f93@103.108.95.147) (Remote host closed the connection)
2020-10-28 16:29:37 <dminuoso> Thank you whoever did that.
2020-10-28 16:29:58 × alp quits (~alp@88.126.45.36) (Ping timeout: 272 seconds)
2020-10-28 16:31:31 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-10-28 16:31:55 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-28 16:34:53 × polyrain quits (~polyrain@2001:8003:e501:6901:e039:127e:3f21:3e4c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-28 16:36:13 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-28 16:38:12 × koz_ quits (~koz@121.99.240.58) (Ping timeout: 260 seconds)
2020-10-28 16:38:16 × Maxdamantus quits (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 246 seconds)
2020-10-28 16:39:03 → alp joins (~alp@2a01:e0a:58b:4920:3dfd:5fdb:5e25:6dc1)
2020-10-28 16:40:15 <noctux> hmm, ghoulguy, is there actually a "nice" oneliner solution?
2020-10-28 16:40:22 → Maxdamantus joins (~Maxdamant@unaffiliated/maxdamantus)
2020-10-28 16:40:29 → howdoi joins (uid224@gateway/web/irccloud.com/x-npushggnkcvoclse)
2020-10-28 16:40:40 <noctux> my most (codeminimal) one was with permutations and nub
2020-10-28 16:40:45 → koz joins (~koz@121.99.240.58)
2020-10-28 16:41:09 <ghoulguy> noctux: If the goal is 'short' then using: filter and subsequences
2020-10-28 16:41:20 koz is now known as koz_
2020-10-28 16:41:32 <noctux> ah, damn it...
2020-10-28 16:41:59 <noctux> subsequences actually includes "ac" from "abc"...
2020-10-28 16:42:08 <noctux> someone should learn to read docs :P
2020-10-28 16:42:11 <noctux> ghoulguy: thanks!
2020-10-28 16:42:23 <ghoulguy> I wouldn't use that in general, though
2020-10-28 16:43:24 <noctux> sure, was just out of codegolf-interest
2020-10-28 16:43:57 hackage esqueleto 3.3.4.1 - Type-safe EDSL for SQL queries on persistent backends. https://hackage.haskell.org/package/esqueleto-3.3.4.1 (parsonsmatt)
2020-10-28 16:44:36 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-10-28 16:44:53 → is_null joins (~jpic@pdpc/supporter/professional/is-null)
2020-10-28 16:45:20 × wretchswollen quits (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds)
2020-10-28 16:45:38 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-28 16:46:31 → Aquazi joins (uid312403@gateway/web/irccloud.com/x-roarfkilnkqrlcqj)
2020-10-28 16:48:24 × thir quits (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-28 16:49:32 × alp quits (~alp@2a01:e0a:58b:4920:3dfd:5fdb:5e25:6dc1) (Ping timeout: 260 seconds)
2020-10-28 16:50:11 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-10-28 16:52:32 → shafox joins (~Srain@106.51.234.111)
2020-10-28 16:54:57 → Ariakenom joins (~Ariakenom@h-155-4-221-164.NA.cust.bahnhof.se)
2020-10-28 16:58:19 → justsomeguy joins (~justsomeg@2603:9000:960a:fc00:c4d2:5b73:c7b7:3a2b)
2020-10-28 16:58:19 × justsomeguy quits (~justsomeg@2603:9000:960a:fc00:c4d2:5b73:c7b7:3a2b) (Changing host)
2020-10-28 16:58:19 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-10-28 16:58:35 × knupfer quits (~Thunderbi@200116b82c8890009dcece03b1dbb634.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-28 16:58:46 → knupfer joins (~Thunderbi@200116b82c88900030a49d309e535b83.dip.versatel-1u1.de)
2020-10-28 16:59:02 × knupfer quits (~Thunderbi@200116b82c88900030a49d309e535b83.dip.versatel-1u1.de) (Client Quit)
2020-10-28 16:59:12 → knupfer joins (~Thunderbi@200116b82c889000692da158e2b06244.dip.versatel-1u1.de)
2020-10-28 16:59:31 × knupfer quits (~Thunderbi@200116b82c889000692da158e2b06244.dip.versatel-1u1.de) (Client Quit)
2020-10-28 16:59:48 → knupfer joins (~Thunderbi@200116b82c889000c591b125fca64e2d.dip.versatel-1u1.de)
2020-10-28 17:02:50 × kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2020-10-28 17:03:25 × is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 240 seconds)
2020-10-28 17:03:41 × chele quits (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-10-28 17:04:24 <devalot> Haskell Cafe is still using mailman 2 and it appears there are issues with SPF and DMARC. As an example, I posted a message a few weeks ago. One person responded directly to me and the list. Neither message is in the archive. Is it just me or do others have problems with the mailing list?
2020-10-28 17:07:31 → thir joins (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-28 17:11:17 → kritzefitz joins (~kritzefit@212.86.56.80)
2020-10-28 17:12:44 × thir quits (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-28 17:12:46 → aidecoe joins (~aidecoe@unaffiliated/aidecoe)
2020-10-28 17:16:04 → uhrenmacher joins (~uhrenmach@p200300ef8f06020024f0b14712d0bcf7.dip0.t-ipconnect.de)
2020-10-28 17:17:57 hackage keycloak-hs 2.0.2 - https://hackage.haskell.org/package/keycloak-hs-2.0.2 (CorentinDupont)
2020-10-28 17:18:34 <geekosaur> devalot, try in #haskell-infrastructure
2020-10-28 17:19:46 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-10-28 17:20:14 → britva joins (~britva@2a02:aa13:7240:2980:1ce4:625f:f093:45ef)
2020-10-28 17:20:54 × Franciman quits (~francesco@host-82-54-10-114.retail.telecomitalia.it) (Quit: Leaving)
2020-10-28 17:24:02 → kayvan joins (~user@52-119-115-243.PUBLIC.monkeybrains.net)
2020-10-28 17:24:39 × uhrenmacher quits (~uhrenmach@p200300ef8f06020024f0b14712d0bcf7.dip0.t-ipconnect.de) (Quit: )
2020-10-28 17:24:57 × hololeap quits (~hololeap@unaffiliated/hololeap) (Quit: KVIrc 5.0.1 Aria http://www.kvirc.net/)
2020-10-28 17:26:28 hackage cut-the-crap 2.2.0 - Cuts out uninteresting parts of videos by detecting silences. https://hackage.haskell.org/package/cut-the-crap-2.2.0 (Jappie)
2020-10-28 17:32:04 <justsomeguy> Hi there -- I'm on HPFP, chapter 8, learning about the basics of recursion. I'm writing a recursive function to multiply two numbers by repeatedly adding, and having trouble figuring out what I'm doing wrong. It works for positive inputs, but reverses the sign for negative inputs. Would someone mind taking a look at my code and giving me a hint? https://github.com/kingparra/multiply/blob/master/src/Lib.hs
2020-10-28 17:32:49 <lyxia> devalot: I've noticed that happening also a few weeks ago.
2020-10-28 17:33:48 × ransom quits (~c4264035@c-73-243-2-10.hsd1.co.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-28 17:34:06 × ggole quits (~ggole@2001:8003:8119:7200:517f:9804:f25b:eb42) (Quit: Leaving)
2020-10-28 17:35:50 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-10-28 17:36:06 <justsomeguy> Ah, ok, seems I hadn't considered the case where y is negative.
2020-10-28 17:36:37 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
←Prev  Next→
Page 1 .. 916 917 918 919 920 921 922 923 924 925 926 .. 5022

All times are in UTC.