Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 603 604 605 606 607 608 609 610 611 612 613 .. 5022
— 502,152 events total
2020-10-13 00:46:19 → hyiltiz joins (~quassel@82.118.227.47)
2020-10-13 00:46:20 × hyiltiz quits (~quassel@82.118.227.47) (Changing host)
2020-10-13 00:46:20 → hyiltiz joins (~quassel@unaffiliated/hyiltiz)
2020-10-13 00:47:02 × oisdk quits (~oisdk@2001:bb6:3329:d100:7c51:293a:6844:5080) (Quit: oisdk)
2020-10-13 00:47:42 → laxask joins (~lax@unaffiliated/laxask)
2020-10-13 00:50:52 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-13 00:51:32 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2020-10-13 00:54:29 → conal joins (~conal@64.71.133.70)
2020-10-13 00:55:55 × jedws quits (~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-13 00:59:05 → blacklight joins (~blackligh@d94186.upc-d.chello.nl)
2020-10-13 00:59:19 ← blacklight parts (~blackligh@d94186.upc-d.chello.nl) ()
2020-10-13 01:00:33 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-13 01:00:41 → jedws joins (~jedws@121.209.161.98)
2020-10-13 01:01:28 × jedws quits (~jedws@121.209.161.98) (Client Quit)
2020-10-13 01:04:36 → Nolrai joins (4c1bcada@c-76-27-202-218.hsd1.or.comcast.net)
2020-10-13 01:04:58 → toorevitimirp joins (~tooreviti@117.182.180.0)
2020-10-13 01:05:35 <Nolrai> So whats the name for Functor like things where you need both `a -> b` and `b -> a` to get `f a -> f b`?
2020-10-13 01:06:18 <Nolrai> One second..I need to reboot.
2020-10-13 01:06:22 × Nolrai quits (4c1bcada@c-76-27-202-218.hsd1.or.comcast.net) (Remote host closed the connection)
2020-10-13 01:07:55 × xff0x quits (~fox@2001:1a81:52ad:5800:a0c7:cc77:f7d4:2372) (Ping timeout: 240 seconds)
2020-10-13 01:10:09 → xff0x joins (~fox@2001:1a81:52e4:2a00:a0c7:cc77:f7d4:2372)
2020-10-13 01:10:51 → wei2912 joins (~wei2912@unaffiliated/wei2912)
2020-10-13 01:10:58 → nolrai joins (4c1bcada@c-76-27-202-218.hsd1.or.comcast.net)
2020-10-13 01:10:59 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 258 seconds)
2020-10-13 01:11:08 <nolrai> Sorry about that.
2020-10-13 01:11:33 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-13 01:13:00 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
2020-10-13 01:13:46 <jackdk> nolrai: try the `invariant` package?
2020-10-13 01:18:38 × chenshen quits (~chenshen@2620:10d:c090:400::5:f7f9) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2020-10-13 01:22:51 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-13 01:23:32 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-10-13 01:25:10 × nyaomi quits (~naomi@cpe-74-75-6-125.maine.res.rr.com) (Quit: meow)
2020-10-13 01:25:38 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-upzgdjixzxbjunfz) (Quit: Connection closed for inactivity)
2020-10-13 01:26:32 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-10-13 01:27:38 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 260 seconds)
2020-10-13 01:27:58 <gentauro> justsomeguy: I guess that would be difficult to do
2020-10-13 01:28:29 <gentauro> in Axman6 example he uses four digits cos binary while I use three cos of thousand, million, billion, …
2020-10-13 01:30:56 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:842d:ee09:f1b5:9acd) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-13 01:34:36 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-10-13 01:35:43 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:842d:ee09:f1b5:9acd)
2020-10-13 01:36:46 × darjeeli1 quits (~darjeelin@122.245.210.138) (Ping timeout: 256 seconds)
2020-10-13 01:39:10 → jedws joins (~jedws@121.209.161.98)
2020-10-13 01:42:20 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-13 01:44:01 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-13 01:48:25 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-13 01:48:59 × SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Ping timeout: 240 seconds)
2020-10-13 01:52:24 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-13 01:54:28 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-13 01:57:23 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-13 01:57:25 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-13 01:58:01 → darjeeli1 joins (~darjeelin@122.245.210.138)
2020-10-13 01:58:02 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-13 01:58:38 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-13 01:58:55 <ski> @type dimap -- nolrai
2020-10-13 01:58:56 <lambdabot> Profunctor p => (a -> b) -> (c -> d) -> p b c -> p a d
2020-10-13 01:59:16 <ski> oh, i suppose that's not quite what you were looking for
2020-10-13 02:00:55 × ensyde quits (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 240 seconds)
2020-10-13 02:01:35 → falafel joins (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-13 02:01:46 × nolrai quits (4c1bcada@c-76-27-202-218.hsd1.or.comcast.net) (Quit: Ping timeout (120 seconds))
2020-10-13 02:02:43 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-13 02:04:05 → danso joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-13 02:04:28 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-13 02:04:55 <Buntspecht> It's like functor plus cofunctor
2020-10-13 02:06:29 → SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net)
2020-10-13 02:07:47 <ski> (no such thing as "cofunctor". itym "contravariant functor")
2020-10-13 02:08:06 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 258 seconds)
2020-10-13 02:08:38 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-13 02:08:38 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-13 02:08:38 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-13 02:08:46 <Buntspecht> Yeah
2020-10-13 02:09:12 <dolio> But it's also not a covariant nor contravariant functor.
2020-10-13 02:09:49 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-13 02:10:20 <dolio> Oh, well, profunctors are, but things that tie together both arguments aren't.
2020-10-13 02:10:52 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-13 02:11:55 <Buntspecht> Meh, they already left ...
2020-10-13 02:13:26 → mdunnio joins (~mdunnio@208.59.170.5)
2020-10-13 02:13:32 → fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2020-10-13 02:13:43 lagothrix is now known as Guest26381
2020-10-13 02:13:43 × Guest26381 quits (~lagothrix@unaffiliated/lagothrix) (Killed (barjavel.freenode.net (Nickname regained by services)))
2020-10-13 02:13:49 → lagothrix joins (~lagothrix@unaffiliated/lagothrix)
2020-10-13 02:13:53 ← aarvar parts (~foewfoiew@50.35.43.33) ()
2020-10-13 02:13:54 × bcmiller quits (~bm3719@66.42.95.185) (Ping timeout: 265 seconds)
2020-10-13 02:14:18 × dave_uy quits (~david@108.61.193.26) (Ping timeout: 260 seconds)
2020-10-13 02:14:23 × byorgey quits (~byorgey@155.138.238.211) (Ping timeout: 265 seconds)
2020-10-13 02:14:38 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2020-10-13 02:15:48 <fresheyeball> hey out there
2020-10-13 02:15:57 <fresheyeball> anyone know how to debug hie with vscode?
2020-10-13 02:16:06 <fresheyeball> I moved to vscode for hie, and it was working amazing
2020-10-13 02:16:11 <fresheyeball> but I still have some issues
2020-10-13 02:16:26 <fresheyeball> Failed to parse result of calling cabal
2020-10-13 02:16:28 <fresheyeball> Warning: cannot determine version of /run/user/1000/bios-wrapper29062-0 :
2020-10-13 02:16:30 <fresheyeball> ""
2020-10-13 02:16:32 <fresheyeball> cabal: The program 'ghc' version >=7.0.1 is required but the version of
2020-10-13 02:16:34 <fresheyeball> /run/user/1000/bios-wrapper29062-0 could not be determined.
2020-10-13 02:16:36 <fresheyeball> this is it right now
2020-10-13 02:17:45 × mdunnio quits (~mdunnio@208.59.170.5) (Ping timeout: 240 seconds)
2020-10-13 02:19:03 → sand_dull joins (~theuser@104.140.53.43)
2020-10-13 02:19:49 × solonarv quits (~solonarv@adijon-655-1-70-207.w90-13.abo.wanadoo.fr) (Ping timeout: 246 seconds)
2020-10-13 02:21:17 × falafel quits (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 260 seconds)
2020-10-13 02:21:47 → solonarv joins (~solonarv@anancy-651-1-202-101.w109-217.abo.wanadoo.fr)
←Prev  Next→
Page 1 .. 603 604 605 606 607 608 609 610 611 612 613 .. 5022

All times are in UTC.