Logs: liberachat/#haskell
| 2021-06-01 01:06:53 | <cdsmith> | Err, I should have said "can be complicated". That's probably clearer than mixing meanings of "complex" |
| 2021-06-01 01:08:16 | <tonyday> | Yes, I'm forever adding and subtracting -XStrictData or is it -XDataStrict, measuring that empirically. Help with that etc. |
| 2021-06-01 01:12:35 | × | siraben quits (~siraben@user/siraben) (Quit: node-irc says goodbye) |
| 2021-06-01 01:12:53 | → | siraben joins (~siraben@user/siraben) |
| 2021-06-01 01:16:07 | → | ddellacosta joins (~ddellacos@89.45.224.131) |
| 2021-06-01 01:16:51 | <tonyday> | If someone has designed some "strict in the spline" style, say, then performance usage should be part of the documentation, showing the implications of miss-use. |
| 2021-06-01 01:17:34 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 2021-06-01 01:20:34 | → | renzhi joins (~xp@2607:fa49:6500:bc00::e7b) |
| 2021-06-01 01:20:38 | × | ddellacosta quits (~ddellacos@89.45.224.131) (Ping timeout: 252 seconds) |
| 2021-06-01 01:20:44 | × | argento quits (~argent0@168.227.96.53) (Ping timeout: 265 seconds) |
| 2021-06-01 01:20:44 | × | ixlun quits (~user@109.249.184.235) (Read error: Connection reset by peer) |
| 2021-06-01 01:21:51 | → | ixlun joins (~user@109.249.184.235) |
| 2021-06-01 01:22:52 | <tonyday> | It would be great to direct core to the comments as well. It would be alert to core changes then. |
| 2021-06-01 01:24:26 | → | Guest86 joins (~Guest86@189.197.116.11) |
| 2021-06-01 01:24:49 | → | hylisper joins (~yaaic@111.119.208.67) |
| 2021-06-01 01:24:51 | → | argento joins (~argent0@168.227.96.53) |
| 2021-06-01 01:26:53 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Ping timeout: 272 seconds) |
| 2021-06-01 01:27:08 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 2021-06-01 01:28:46 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-01 01:28:47 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-06-01 01:30:20 | Guest86 | is now known as ram535 |
| 2021-06-01 01:32:09 | → | xff0x_ joins (~xff0x@2001:1a81:52ca:4f00:908c:1e58:afd0:4053) |
| 2021-06-01 01:34:18 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-01 01:35:45 | × | xff0x quits (~xff0x@port-92-195-46-148.dynamic.as20676.net) (Ping timeout: 272 seconds) |
| 2021-06-01 01:38:55 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-06-01 01:45:23 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 265 seconds) |
| 2021-06-01 01:48:03 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-06-01 01:48:15 | <sm[m]> | hi tonyday, it sounds very interesting. Would it be mostly useful for "small" code (tight loops..) ? Or also describing application/system performance ? |
| 2021-06-01 01:51:23 | <tonyday> | small certainly. But my Vector chains break at a certain level of compositional complexity, and it's difficult to spot where. I'd like to see fusion in the lab with some form of benchmark or standard so to speak. |
| 2021-06-01 01:51:38 | <tonyday> | just an example |
| 2021-06-01 01:55:42 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-06-01 01:55:53 | → | ddellacosta joins (~ddellacos@89.45.224.131) |
| 2021-06-01 01:59:29 | <tonyday> | I do use the same mechanisms to measure latencies in a tcp connection, though, so its pretty flexible. |
| 2021-06-01 01:59:48 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) |
| 2021-06-01 02:00:14 | × | ddellacosta quits (~ddellacos@89.45.224.131) (Ping timeout: 252 seconds) |
| 2021-06-01 02:03:45 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 2021-06-01 02:04:53 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) (Ping timeout: 272 seconds) |
| 2021-06-01 02:07:12 | × | argento quits (~argent0@168.227.96.53) (Quit: leaving) |
| 2021-06-01 02:07:23 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 252 seconds) |
| 2021-06-01 02:07:32 | → | argento joins (~argent0@168.227.96.53) |
| 2021-06-01 02:07:39 | × | hubvu quits (uid495858@id-495858.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-01 02:10:26 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-133-166.cust.tzulo.com) (Quit: Leaving) |
| 2021-06-01 02:10:29 | × | alex3 quits (~Chel@BSN-77-82-41.static.siol.net) (Ping timeout: 268 seconds) |
| 2021-06-01 02:12:54 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-06-01 02:12:54 | FinnElija | is now known as Guest2152 |
| 2021-06-01 02:12:54 | finn_elija | is now known as FinnElija |
| 2021-06-01 02:16:02 | × | Guest2152 quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2021-06-01 02:21:33 | → | ikex joins (~ash@user/ikex) |
| 2021-06-01 02:23:02 | × | chisui quits (~chisui@200116b86662dd0045dcdbf42fb73e43.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
| 2021-06-01 02:27:47 | → | ddellacosta joins (~ddellacos@86.106.121.196) |
| 2021-06-01 02:29:04 | × | lawt quits (~lawt@2601:200:8101:f140:dea6:32ff:fea1:adfa) (Quit: WeeChat 2.8) |
| 2021-06-01 02:31:29 | × | td_ quits (~td@muedsl-82-207-238-238.citykom.de) (Ping timeout: 264 seconds) |
| 2021-06-01 02:32:45 | × | ddellacosta quits (~ddellacos@86.106.121.196) (Ping timeout: 272 seconds) |
| 2021-06-01 02:33:18 | → | td_ joins (~td@94.134.91.112) |
| 2021-06-01 02:34:08 | → | falafel_ joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-01 02:34:14 | → | beka joins (~beka@104.193.170-254.PUBLIC.monkeybrains.net) |
| 2021-06-01 02:37:59 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-01 02:39:53 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 264 seconds) |
| 2021-06-01 02:41:23 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-06-01 02:42:02 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-06-01 02:42:59 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-01 02:44:23 | → | alex3 joins (~Chel@BSN-77-82-41.static.siol.net) |
| 2021-06-01 02:46:36 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-06-01 02:46:41 | × | cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2021-06-01 02:46:48 | cheater1__ | is now known as cheater |
| 2021-06-01 02:50:15 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) |
| 2021-06-01 02:50:34 | × | mustafa quits (~mustafa@rockylinux/releng/mstg) (Ping timeout: 268 seconds) |
| 2021-06-01 02:57:57 | × | boioioing quits (~boioioing@cpe-76-84-141-127.neb.res.rr.com) (Remote host closed the connection) |
| 2021-06-01 03:00:37 | × | xprlgjf quits (~gavin@60.27.93.209.dyn.plus.net) (Ping timeout: 272 seconds) |
| 2021-06-01 03:03:31 | × | boxscape quits (~boxscape@user/boxscape) (Ping timeout: 268 seconds) |
| 2021-06-01 03:04:25 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-01 03:05:22 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 268 seconds) |
| 2021-06-01 03:06:01 | × | ikex quits (~ash@user/ikex) (Ping timeout: 244 seconds) |
| 2021-06-01 03:06:53 | → | ddellacosta joins (~ddellacos@89.46.62.196) |
| 2021-06-01 03:07:02 | → | oxide joins (~lambda@user/oxide) |
| 2021-06-01 03:07:16 | → | eddiemundo[m] joins (~eddiemun_@2001:470:69fc:105::a9c) |
| 2021-06-01 03:07:46 | eddiemundo[m] | is now known as eddiemundo |
| 2021-06-01 03:08:52 | × | eddiemundo quits (~eddiemun_@2001:470:69fc:105::a9c) (Client Quit) |
| 2021-06-01 03:09:08 | → | eddiemundo joins (~eddiemund@2001:470:69fc:105::a9c) |
| 2021-06-01 03:11:54 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-06-01 03:12:01 | × | ddellacosta quits (~ddellacos@89.46.62.196) (Ping timeout: 272 seconds) |
| 2021-06-01 03:16:18 | <arahael> | What's the difference between 'set' and 'assign' with haskelll's lenses? |
| 2021-06-01 03:16:22 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-06-01 03:16:48 | → | otto_s_ joins (~user@p5de2ffe1.dip0.t-ipconnect.de) |
| 2021-06-01 03:18:17 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-06-01 03:19:45 | × | willbush quits (~user@47.183.200.14) (Remote host closed the connection) |
| 2021-06-01 03:20:11 | × | otto_s quits (~user@p5de2fbac.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-06-01 03:20:13 | <glguy> | arahael, assign uses MonadState |
| 2021-06-01 03:21:46 | <arahael> | glguy: Oooh? I've not covered MonadState as such when it comes to lenses. |
| 2021-06-01 03:22:08 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Remote host closed the connection) |
| 2021-06-01 03:23:23 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-01 03:23:53 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 2021-06-01 03:24:37 | <sm[m]> | tonyday: are these effectively performance tests ? Can't you express those with ordinary doctest ? |
| 2021-06-01 03:24:50 | → | mustafa joins (~mustafa@rockylinux/releng/mstg) |
| 2021-06-01 03:26:35 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2021-06-01 03:26:50 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-06-01 03:27:14 | → | berberman_ joins (~berberman@user/berberman) |
| 2021-06-01 03:27:41 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 252 seconds) |
| 2021-06-01 03:27:59 | → | AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-06-01 03:28:14 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
All times are in UTC.