Logs: liberachat/#haskell
| 2021-05-31 22:56:50 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-05-31 22:57:55 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-05-31 22:58:06 | astra_ | is now known as amish |
| 2021-05-31 23:00:02 | × | amish quits (sid289983@id-289983.stonehaven.irccloud.com) () |
| 2021-05-31 23:00:10 | × | ddellacosta quits (~ddellacos@89.45.224.222) (Ping timeout: 264 seconds) |
| 2021-05-31 23:00:17 | → | amish joins (sid289983@id-289983.stonehaven.irccloud.com) |
| 2021-05-31 23:02:02 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-05-31 23:02:18 | × | amish quits (sid289983@id-289983.stonehaven.irccloud.com) (Changing host) |
| 2021-05-31 23:02:18 | → | amish joins (sid289983@user/amish) |
| 2021-05-31 23:02:55 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-05-31 23:03:02 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 2021-05-31 23:03:24 | amish | is now known as astra |
| 2021-05-31 23:03:29 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) |
| 2021-05-31 23:03:49 | → | pe200012_ joins (~pe200012@119.131.208.84) |
| 2021-05-31 23:03:57 | × | pe200012 quits (~pe200012@119.131.208.84) (Ping timeout: 265 seconds) |
| 2021-05-31 23:04:56 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-05-31 23:04:57 | × | urdh quits (~urdh@h88-129-148-132.cust.a3fiber.se) (Quit: Boom!) |
| 2021-05-31 23:06:16 | → | urdh joins (~urdh@h88-129-148-132.cust.a3fiber.se) |
| 2021-05-31 23:07:32 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Ping timeout: 252 seconds) |
| 2021-05-31 23:09:22 | → | L29Ah joins (~L29Ah@user/l29ah) |
| 2021-05-31 23:11:03 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-05-31 23:15:42 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-31 23:22:22 | → | bfrk1 joins (~Thunderbi@200116b84593d400e083e41adfb91d63.dip.versatel-1u1.de) |
| 2021-05-31 23:24:22 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-31 23:24:39 | × | bfrk quits (~Thunderbi@200116b84534a60005aeadf137ee420f.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
| 2021-05-31 23:24:39 | bfrk1 | is now known as bfrk |
| 2021-05-31 23:27:04 | × | dpl_ quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 268 seconds) |
| 2021-05-31 23:27:28 | × | shapr quits (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2021-05-31 23:29:50 | → | ddellacosta joins (~ddellacos@86.106.143.222) |
| 2021-05-31 23:33:56 | × | alex3 quits (~Chel@BSN-77-82-41.static.siol.net) (Ping timeout: 252 seconds) |
| 2021-05-31 23:34:53 | × | ddellacosta quits (~ddellacos@86.106.143.222) (Ping timeout: 265 seconds) |
| 2021-05-31 23:35:36 | × | Scotty_Trees quits (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving) |
| 2021-05-31 23:37:38 | → | eldritch_ joins (~eldritch@134.209.221.71) |
| 2021-05-31 23:37:59 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-05-31 23:39:47 | → | alex3 joins (~Chel@BSN-77-82-41.static.siol.net) |
| 2021-05-31 23:43:01 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 2021-05-31 23:46:45 | → | mustafa joins (~mustafa@rockylinux/releng/mstg) |
| 2021-05-31 23:47:21 | → | willbush joins (~user@47.183.200.14) |
| 2021-05-31 23:49:29 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 264 seconds) |
| 2021-05-31 23:53:13 | → | Scotty_Trees joins (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
| 2021-05-31 23:56:42 | × | cheater quits (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2021-05-31 23:56:58 | → | cheater joins (~Username@user/cheater) |
| 2021-06-01 00:04:09 | → | ddellacosta joins (~ddellacos@86.106.143.157) |
| 2021-06-01 00:06:00 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 2021-06-01 00:06:56 | × | tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2021-06-01 00:07:28 | → | Heffalump joins (~ganesh@urchin.earth.li) |
| 2021-06-01 00:07:34 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-06-01 00:08:31 | → | jsilver joins (~jonathan@2601:282:300:aa0:e0bc:bc4e:7821:4001) |
| 2021-06-01 00:08:35 | × | ddellacosta quits (~ddellacos@86.106.143.157) (Ping timeout: 252 seconds) |
| 2021-06-01 00:08:42 | ← | Heffalump parts (~ganesh@urchin.earth.li) () |
| 2021-06-01 00:09:37 | × | waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 272 seconds) |
| 2021-06-01 00:12:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-01 00:13:03 | × | jsilver quits (~jonathan@2601:282:300:aa0:e0bc:bc4e:7821:4001) (Quit: Leaving) |
| 2021-06-01 00:16:58 | × | Cubic quits (~hannesste@ip5f5be453.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2021-06-01 00:17:37 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-06-01 00:17:37 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-06-01 00:18:12 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-06-01 00:24:05 | → | steeps joins (~steeps@cpc121168-oxfd27-2-0-cust161.4-3.cable.virginm.net) |
| 2021-06-01 00:24:32 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-06-01 00:24:53 | → | cheater joins (~Username@user/cheater) |
| 2021-06-01 00:30:03 | → | hmmmas joins (~chenqisu1@183.217.202.217) |
| 2021-06-01 00:31:41 | × | argento quits (~argent0@168.227.96.53) (Ping timeout: 252 seconds) |
| 2021-06-01 00:34:47 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 2021-06-01 00:34:55 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-06-01 00:39:18 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Ping timeout: 264 seconds) |
| 2021-06-01 00:40:45 | × | hmmmas quits (~chenqisu1@183.217.202.217) (Quit: Leaving.) |
| 2021-06-01 00:41:17 | × | sm2n quits (~sm2n@user/sm2n) (Ping timeout: 272 seconds) |
| 2021-06-01 00:41:30 | → | ddellacosta joins (~ddellacos@89.45.224.40) |
| 2021-06-01 00:41:43 | → | hmmmas joins (~chenqisu1@183.217.202.217) |
| 2021-06-01 00:42:10 | × | steeps quits (~steeps@cpc121168-oxfd27-2-0-cust161.4-3.cable.virginm.net) (Quit: Leaving) |
| 2021-06-01 00:42:15 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-133-166.cust.tzulo.com) |
| 2021-06-01 00:44:05 | × | boioioing quits (~boioioing@cpe-76-84-141-127.neb.res.rr.com) (Ping timeout: 264 seconds) |
| 2021-06-01 00:45:21 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-01 00:46:25 | × | ddellacosta quits (~ddellacos@89.45.224.40) (Ping timeout: 265 seconds) |
| 2021-06-01 00:46:32 | × | bfrk quits (~Thunderbi@200116b84593d400e083e41adfb91d63.dip.versatel-1u1.de) (Ping timeout: 252 seconds) |
| 2021-06-01 00:46:59 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-01 00:49:00 | → | argento joins (~argent0@168.227.96.53) |
| 2021-06-01 00:49:50 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-06-01 00:50:56 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 268 seconds) |
| 2021-06-01 00:51:33 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-01 00:51:41 | → | oxide joins (~lambda@user/oxide) |
| 2021-06-01 00:52:20 | → | pe200012 joins (~pe200012@120.236.162.14) |
| 2021-06-01 00:52:29 | × | pe200012_ quits (~pe200012@119.131.208.84) (Ping timeout: 272 seconds) |
| 2021-06-01 00:53:42 | × | cheater quits (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2021-06-01 00:53:49 | → | cheater joins (~Username@user/cheater) |
| 2021-06-01 00:53:50 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-06-01 00:54:16 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 244 seconds) |
| 2021-06-01 00:54:16 | × | hylisper2 quits (~yaaic@111.119.208.67) (Ping timeout: 244 seconds) |
| 2021-06-01 00:56:06 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-06-01 00:59:22 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) (Remote host closed the connection) |
| 2021-06-01 01:01:30 | → | tonyday joins (~user@202-65-93-249.ip4.superloop.com) |
| 2021-06-01 01:02:57 | → | chisui joins (~chisui@200116b86662dd0045dcdbf42fb73e43.dip.versatel-1u1.de) |
| 2021-06-01 01:03:29 | <tonyday> | I was wondering if anyone would be interested in a project I'm calling docperf, like doctest except for performance benchmarking? |
| 2021-06-01 01:03:33 | × | wenzel quits (~wenzel@user/wenzel) (Read error: Connection reset by peer) |
| 2021-06-01 01:03:57 | → | wenzel joins (~wenzel@user/wenzel) |
| 2021-06-01 01:04:24 | <tonyday> | Covering the basics, like checking the Order claim of a function, and documenting the expected factor. |
| 2021-06-01 01:04:34 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-01 01:05:24 | <tonyday> | The design ethic would be that performance, like tests, are very useful when they're right next to the code. |
| 2021-06-01 01:05:32 | → | boioioing joins (~boioioing@cpe-76-84-141-127.neb.res.rr.com) |
| 2021-06-01 01:05:57 | <cdsmith> | It sounds intriguing. Off-hand, my thoughts are (a) I care about performance claims for only a tiny number of packages, but for that tiny package set, it's very important. Not sure if that argues for or against. And (b) complexity claims in Haskell can be complex, since they depend on how much of the result is evaluated. |
All times are in UTC.