Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 656 657 658 659 660 661 662 663 664 665 666 .. 5022
— 502,152 events total
2020-10-15 19:04:19 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds)
2020-10-15 19:04:25 × max__ quits (~max@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 264 seconds)
2020-10-15 19:04:54 → taurux joins (~taurux@net-93-144-64-237.cust.vodafonedsl.it)
2020-10-15 19:05:08 → SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net)
2020-10-15 19:06:09 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-10-15 19:06:43 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-10-15 19:08:35 → proofofme joins (~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-15 19:08:57 hackage git-brunch 1.4.2.0 - git checkout command-line tool https://hackage.haskell.org/package/git-brunch-1.4.2.0 (andys8)
2020-10-15 19:09:48 → conal joins (~conal@64.71.133.70)
2020-10-15 19:10:26 <larou> anyway, having all the tails as different Let instances seems basically impossible to write!
2020-10-15 19:10:46 <larou> i guess there is some reflection/local instances magic that could take care of that
2020-10-15 19:11:06 <larou> but i dont think you can use implicit params in the same way as actual classes
2020-10-15 19:11:17 <larou> seems like a total madness tbh
2020-10-15 19:11:43 → whatisRT joins (~whatisRT@2002:5b41:6a33:0:68f3:8b8f:f492:c19a)
2020-10-15 19:11:54 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-10-15 19:13:31 × Lowl3v3l quits (~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de) (Remote host closed the connection)
2020-10-15 19:13:49 × geekosaur quits (ac3a3b82@172.58.59.130) (Ping timeout: 245 seconds)
2020-10-15 19:14:02 → Lowl3v3l joins (~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de)
2020-10-15 19:14:38 × Lowl3v3l quits (~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de) (Remote host closed the connection)
2020-10-15 19:14:52 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-15 19:14:56 → Lowl3v3l joins (~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de)
2020-10-15 19:14:56 → dhil joins (~dhil@78.156.97.38)
2020-10-15 19:15:01 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-15 19:15:03 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2020-10-15 19:15:40 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Client Quit)
2020-10-15 19:17:15 × Guest47732 quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-15 19:18:12 → DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-10-15 19:18:28 → kritzefitz joins (~kritzefit@212.86.56.80)
2020-10-15 19:18:55 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-15 19:19:04 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-15 19:19:45 → chris joins (~chris@81.96.113.213)
2020-10-15 19:20:10 chris is now known as Guest1848
2020-10-15 19:21:56 × knupfer quits (~Thunderbi@mue-88-130-61-082.dsl.tropolys.de) (Quit: knupfer)
2020-10-15 19:21:59 → knupfer1 joins (~Thunderbi@200116b82c60f700a5f8893018fc9251.dip.versatel-1u1.de)
2020-10-15 19:23:32 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-15 19:24:23 knupfer1 is now known as knupfer
2020-10-15 19:25:03 → geekosaur joins (ac3a3b82@172.58.59.130)
2020-10-15 19:26:24 → thir joins (~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de)
2020-10-15 19:27:34 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-10-15 19:27:38 → c0c0 joins (~coco@212-51-137-149.fiber7.init7.net)
2020-10-15 19:28:05 × Zetagon quits (~leo@c151-177-52-233.bredband.comhem.se) (Remote host closed the connection)
2020-10-15 19:28:30 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-10-15 19:29:21 × oisdk quits (~oisdk@2001:bb6:3329:d100:11d5:8dc1:169a:e187) (Quit: oisdk)
2020-10-15 19:30:37 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-10-15 19:31:51 × Guest1848 quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-15 19:32:41 × s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 244 seconds)
2020-10-15 19:34:22 → s00pcan joins (~chris@075-133-056-178.res.spectrum.com)
2020-10-15 19:35:37 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 264 seconds)
2020-10-15 19:35:47 × thir quits (~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-15 19:36:42 → Amras joins (~Amras@unaffiliated/amras0000)
2020-10-15 19:38:03 × raichoo quits (~raichoo@dslb-088-077-024-025.088.077.pools.vodafone-ip.de) (Quit: Lost terminal)
2020-10-15 19:38:39 × sdx23 quits (~sdx23@unaffiliated/sdx23) (Quit: Lost terminal)
2020-10-15 19:38:58 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-15 19:39:08 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-10-15 19:39:38 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-15 19:39:53 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-15 19:41:33 × Lowl3v3l quits (~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de) (Remote host closed the connection)
2020-10-15 19:41:51 → Lowl3v3l joins (~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de)
2020-10-15 19:43:25 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-15 19:43:43 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-15 19:44:00 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-15 19:44:13 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-10-15 19:44:38 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-15 19:46:45 → kipras joins (~Kipras@78-56-235-39.static.zebra.lt)
2020-10-15 19:47:24 × zacts quits (~zacts@dragora/developer/zacts) (Quit: leaving)
2020-10-15 19:48:27 × oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 260 seconds)
2020-10-15 19:50:06 × kori quits (~kori@arrowheads/kori) (Read error: Connection reset by peer)
2020-10-15 19:50:15 → oxide joins (~lambda@unaffiliated/mclaren)
2020-10-15 19:51:50 × plast1k_ quits (~plast1k_@196.207.181.246) (Quit: Leaving)
2020-10-15 19:54:44 × knupfer quits (~Thunderbi@200116b82c60f700a5f8893018fc9251.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-15 19:55:23 → knupfer joins (~Thunderbi@200116b82c60f7000129fdd9bc9ee5fc.dip.versatel-1u1.de)
2020-10-15 19:56:28 <monochrom> I solved the keyboard-mouse dilemma by Logitech K400 Plus: keyboard - numpad + touchpad
2020-10-15 19:57:29 <monochrom> Actually to a large extent, even a real mouse is much closer to the keyboard if you just get rid of the numpad.
2020-10-15 19:58:32 <monochrom> I also have a friend who put the mouse on the left and trained himself to use his left hand for the mouse. Because again it is then close to the keyboard.
2020-10-15 19:58:43 <dminuoso> monochrom: I know some people like to use it for their apple tv
2020-10-15 19:59:02 <larou> monochrom: was he in a really cramped cubicle or something?
2020-10-15 19:59:08 <monochrom> Numpad standing in the way is the #1 cause of programmer hand injuries.
2020-10-15 19:59:14 × whatisRT quits (~whatisRT@2002:5b41:6a33:0:68f3:8b8f:f492:c19a) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-15 19:59:21 <monochrom> No.
2020-10-15 19:59:28 hackage mattermost-api 50200.9.0 - Client API for Mattermost chat system https://hackage.haskell.org/package/mattermost-api-50200.9.0 (JonathanDaugherty)
2020-10-15 20:00:27 hackage mattermost-api-qc 50200.9.0 - QuickCheck instances for the Mattermost client API library https://hackage.haskell.org/package/mattermost-api-qc-50200.9.0 (JonathanDaugherty)
2020-10-15 20:00:49 × oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 264 seconds)
2020-10-15 20:00:57 <larou> anyone want to try to see if this idea of Let bound reification for cycles?
2020-10-15 20:01:06 <monochrom> No.
2020-10-15 20:01:20 <larou> literally, nobody
2020-10-15 20:01:28 hackage matterhorn 50200.11.0 - Terminal client for the Mattermost chat system https://hackage.haskell.org/package/matterhorn-50200.11.0 (JonathanDaugherty)
2020-10-15 20:01:28 hackage citeproc 0.1.0.2 - Generates citations and bibliography from CSL styles. https://hackage.haskell.org/package/citeproc-0.1.0.2 (JohnMacFarlane)
2020-10-15 20:01:50 → rprije joins (~rprije@14-203-72-60.tpgi.com.au)
2020-10-15 20:02:15 × ystael quits (~ystael@209.6.50.55) (Read error: Connection reset by peer)
2020-10-15 20:02:27 <larou> *and all the programmers did become woefull, and the sky did fall*
2020-10-15 20:02:53 <monochrom> Yeah dminuoso, K400 really had smart TV browsing in mind, the design and the marketting shows.
2020-10-15 20:03:56 <larou> voice activated?
2020-10-15 20:04:31 <monochrom> I decided that I am not picky with key tactile or how big the backspace is etc, so I took it for PC and laptop-when-at-home. And I also caught it at a discounted price. This was like 10-15 years ago.
2020-10-15 20:04:41 <larou> "hey TV - motivate finance"
2020-10-15 20:05:50 × zwarag quits (~zwarag@2a02:8388:a80:d380:a0f0:b686:a197:d627) (Quit: Leaving)
2020-10-15 20:05:51 <larou> monochrom: this is the problem... at least when people are commuting, they have such a distressing morning that they are happy to be in their offices
2020-10-15 20:05:58 <monochrom> Anyway, obHaskell, I have been reading "practical type inference for arbitrary-rank types" recently. It's pretty neat. (in preparation for reading "a quick look at impredicativity".)
2020-10-15 20:06:19 × juri_ quits (~juri@178.63.35.222) (Ping timeout: 256 seconds)
2020-10-15 20:06:55 <geekosaur> "motivate finance"? that sounds more like an hledger-motivate package than a keyboard feature to me
2020-10-15 20:07:01 <larou> do any other languages even have arbitrary rank types?
←Prev  Next→
Page 1 .. 656 657 658 659 660 661 662 663 664 665 666 .. 5022

All times are in UTC.