Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 .. 5022
— 502,152 events total
2020-11-16 04:05:27 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-11-16 04:08:02 × conal_ quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-16 04:08:35 × crdrost quits (~crdrost@c-98-207-102-156.hsd1.ca.comcast.net) (Quit: This computer has gone to sleep)
2020-11-16 04:10:52 × servo quits (~servo@41.92.97.254) (Ping timeout: 246 seconds)
2020-11-16 04:11:53 × texasmynsted quits (~texasmyns@212.102.45.112) (Ping timeout: 260 seconds)
2020-11-16 04:12:14 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-11-16 04:16:17 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 260 seconds)
2020-11-16 04:31:33 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-16 04:35:51 → tenniscp25 joins (~tenniscp2@134.196.209.118)
2020-11-16 04:36:12 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-11-16 04:38:17 × tenniscp25 quits (~tenniscp2@134.196.209.118) (Client Quit)
2020-11-16 04:38:47 → Amras joins (~Amras@unaffiliated/amras0000)
2020-11-16 04:39:02 × guest1116 quits (~user@49.5.6.87) (Ping timeout: 260 seconds)
2020-11-16 04:44:37 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-11-16 04:47:59 × berberman_ quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in)
2020-11-16 04:48:24 → berberman joins (~berberman@unaffiliated/berberman)
2020-11-16 04:53:42 × nineonine quits (~textual@S01061cabc0b095f3.vf.shawcable.net) (Read error: Connection reset by peer)
2020-11-16 04:54:58 → o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2020-11-16 04:56:02 × elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2020-11-16 04:57:33 → guest1116 joins (~user@49.5.6.87)
2020-11-16 04:58:13 × Tattletale quits (~Tattletal@unaffiliated/sundancertp) (Quit: rcirc on GNU Emacs 27.1)
2020-11-16 05:00:02 × o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 260 seconds)
2020-11-16 05:05:28 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-11-16 05:06:29 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-11-16 05:06:32 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
2020-11-16 05:07:57 × tanuki quits (~quassel@173.168.154.189) (Ping timeout: 260 seconds)
2020-11-16 05:09:45 → tanuki joins (~quassel@173.168.154.189)
2020-11-16 05:11:14 × vicfred quits (~vicfred@unaffiliated/vicfred) (Client Quit)
2020-11-16 05:15:08 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-16 05:15:28 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Client Quit)
2020-11-16 05:15:31 hackage vulkan 3.6.14 - Bindings to the Vulkan graphics API. https://hackage.haskell.org/package/vulkan-3.6.14 (jophish)
2020-11-16 05:16:31 hackage VulkanMemoryAllocator 0.3.9, vulkan-utils 0.2 (jophish): https://qbin.io/cgi-immune-lgby
2020-11-16 05:17:02 <jophish> What is this qbin thing?
2020-11-16 05:17:26 × pehjota1 quits (~pehjota@185.204.1.185) (Remote host closed the connection)
2020-11-16 05:17:59 × alx741 quits (~alx741@186.178.110.6) (Ping timeout: 256 seconds)
2020-11-16 05:18:02 <Axman6> probably a link shortening service?
2020-11-16 05:18:27 <Axman6> looks like a paste service actually
2020-11-16 05:18:54 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-11-16 05:19:39 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection)
2020-11-16 05:20:24 → gxt joins (~gxt@gateway/tor-sasl/gxt)
2020-11-16 05:21:10 × tanuki quits (~quassel@173.168.154.189) (Ping timeout: 256 seconds)
2020-11-16 05:21:45 <jophish> weird, I uploaded those three packages at the same time
2020-11-16 05:22:43 × klixto quits (~klixto@130.220.8.140) (Quit: WeeChat 2.9)
2020-11-16 05:22:51 → Sanchayan joins (~Sanchayan@171.61.102.109)
2020-11-16 05:23:51 × Amras quits (~Amras@unaffiliated/amras0000) (Remote host closed the connection)
2020-11-16 05:23:59 → Amras joins (~Amras@unaffiliated/amras0000)
2020-11-16 05:24:20 → conal joins (~conal@64.71.133.70)
2020-11-16 05:25:47 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-11-16 05:28:22 → day_ joins (~Unknown@unaffiliated/day)
2020-11-16 05:29:16 → da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-76-220.revip7.asianet.co.th)
2020-11-16 05:29:55 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-11-16 05:30:11 × livvy quits (~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2020-11-16 05:30:21 → livvy joins (~livvy@gateway/tor-sasl/livvy)
2020-11-16 05:30:24 → alx741 joins (~alx741@186.178.110.6)
2020-11-16 05:31:07 → tanuki joins (~quassel@173.168.154.189)
2020-11-16 05:31:56 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 256 seconds)
2020-11-16 05:31:56 day_ is now known as day
2020-11-16 05:34:08 × cp- quits (~cp-@b157153.ppp.asahi-net.or.jp) (Ping timeout: 260 seconds)
2020-11-16 05:36:19 → boistordu1 joins (boistordum@gateway/shell/matrix.org/x-zpdpvjbuxlhmobsh)
2020-11-16 05:38:23 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-16 05:40:14 → cp- joins (~cp-@b157153.ppp.asahi-net.or.jp)
2020-11-16 05:41:08 × heyj quits (sid171370@gateway/web/irccloud.com/x-sjxjehfsqkhmjbvz) (Read error: Connection reset by peer)
2020-11-16 05:41:19 × edwinb quits (sid69486@gateway/web/irccloud.com/x-elzwlqpwvreqnrml) (Read error: Connection reset by peer)
2020-11-16 05:41:24 × adius quits (sid321344@gateway/web/irccloud.com/x-uuhxlducjizxfavl) (Read error: Connection reset by peer)
2020-11-16 05:41:25 × mpickering quits (sid78412@gateway/web/irccloud.com/x-wtvxaywdclnnytlv) (Read error: Connection reset by peer)
2020-11-16 05:41:25 × PoliticsII______ quits (sid193551@gateway/web/irccloud.com/x-axomckqlurkcrgnc) (Read error: Connection reset by peer)
2020-11-16 05:41:36 → edwinb joins (sid69486@gateway/web/irccloud.com/x-ucpbbzlyfldprgqw)
2020-11-16 05:41:36 → mpickering joins (sid78412@gateway/web/irccloud.com/x-pmxjkbnlbuqckyae)
2020-11-16 05:41:42 → adius joins (sid321344@gateway/web/irccloud.com/x-qiqazzoasoeaazyv)
2020-11-16 05:41:42 → PoliticsII______ joins (sid193551@gateway/web/irccloud.com/x-svzvwktexytphjlp)
2020-11-16 05:43:28 → heyj joins (sid171370@gateway/web/irccloud.com/x-xrqocrtckuflwvgl)
2020-11-16 05:43:58 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-11-16 05:49:21 → o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2020-11-16 05:51:38 × cp- quits (~cp-@b157153.ppp.asahi-net.or.jp) (Ping timeout: 260 seconds)
2020-11-16 05:51:54 × ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2020-11-16 05:52:30 → ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-11-16 05:52:54 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds)
2020-11-16 05:53:58 × o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 260 seconds)
2020-11-16 05:55:07 × acidjnk_new quits (~acidjnk@p200300d0c718f605045012e87868ed0b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-16 05:56:39 → cp- joins (~cp-@b157153.ppp.asahi-net.or.jp)
2020-11-16 05:57:24 <dminuoso> % data Foo = Foo { foo, bar :: Int }
2020-11-16 05:57:24 <yahb> dminuoso:
2020-11-16 05:57:35 <dminuoso> Uh oh. This is permitted. :<
2020-11-16 05:57:40 <dminuoso> % :t foo
2020-11-16 05:57:41 <yahb> dminuoso: Foo -> Int
2020-11-16 06:00:01 × sammuel86 quits (~sammuel86@178.239.168.171) ()
2020-11-16 06:09:11 × _xor quits (~xor@74.215.46.133) (Quit: brb)
2020-11-16 06:10:42 → _xor joins (~xor@74.215.46.133)
2020-11-16 06:13:58 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-16 06:15:04 → RandIter joins (~RandIter@178.162.212.214)
2020-11-16 06:18:06 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal)
2020-11-16 06:18:21 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-16 06:29:52 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-11-16 06:31:09 <moet> is there some requirement that a typeclass have a concrete (*) type?
2020-11-16 06:31:41 <moet> >:kind! Num
2020-11-16 06:31:53 × GuerrillaMonkey quits (~Jeanne-Ka@66.115.189.224) (Ping timeout: 260 seconds)
2020-11-16 06:32:05 <moet> ok, the bot doesn't like that but it prints 'Num :: * -> Constraint' for me
2020-11-16 06:32:24 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2020-11-16 06:32:44 → pavonia_ joins (~user@unaffiliated/siracusa)
2020-11-16 06:33:16 <moet> is there any trick defining instances of standard classes over a closed set of types (lifted by datakinds) .. eg.. 'data T = A | B'
←Prev  Next→
Page 1 .. 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 .. 5022

All times are in UTC.