Logs: freenode/#haskell
| 2021-04-24 08:46:40 | × | nan` quits (~nan`@unaffiliated/nan/x-5405850) (Ping timeout: 268 seconds) |
| 2021-04-24 08:47:19 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:35c4:856c:8487:6e07) |
| 2021-04-24 08:48:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-04-24 08:51:04 | → | dsrt^ joins (dsrt@ip98-184-89-2.mc.at.cox.net) |
| 2021-04-24 08:51:43 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:35c4:856c:8487:6e07) (Ping timeout: 250 seconds) |
| 2021-04-24 08:52:16 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-04-24 08:53:15 | × | hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:f194:fff7:6857:408) (Ping timeout: 260 seconds) |
| 2021-04-24 08:54:22 | → | forell joins (~forell@unaffiliated/forell) |
| 2021-04-24 08:54:48 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-24 08:55:10 | → | nan` joins (~nan`@unaffiliated/nan/x-5405850) |
| 2021-04-24 08:56:59 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:8fae:31da:399b:f0f7) (Ping timeout: 260 seconds) |
| 2021-04-24 08:58:12 | <johnnyboy[m]> | are there mature concolic testing frameworks for Haskell? |
| 2021-04-24 08:58:54 | <johnnyboy[m]> | I found this by googling, but it seems abandoned: https://github.com/m-alvarez/scher |
| 2021-04-24 09:00:03 | × | unclechu quits (unclechuma@gateway/shell/matrix.org/x-ertytzmkazzzhybx) (Quit: Idle for 30+ days) |
| 2021-04-24 09:00:11 | × | kadoban quits (kadobanemp@gateway/shell/matrix.org/x-zvjltlxvjsvasrie) (Quit: Idle for 30+ days) |
| 2021-04-24 09:01:03 | → | __minoru__shirae joins (~shiraeesh@46.34.206.138) |
| 2021-04-24 09:01:29 | × | conal quits (~conal@64.71.133.70) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-04-24 09:02:38 | → | Dave10 joins (b6447b27@gateway/web/cgi-irc/kiwiirc.com/ip.182.68.123.39) |
| 2021-04-24 09:03:27 | × | Dave10 quits (b6447b27@gateway/web/cgi-irc/kiwiirc.com/ip.182.68.123.39) (Client Quit) |
| 2021-04-24 09:03:32 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 2021-04-24 09:03:44 | <johnnyboy[m]> | now I found this: https://hackage.haskell.org/package/g2 |
| 2021-04-24 09:04:03 | → | Dave17 joins (b6447b27@gateway/web/cgi-irc/kiwiirc.com/ip.182.68.123.39) |
| 2021-04-24 09:04:45 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-24 09:05:38 | → | hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:22bd:58fd:2b08:64b5) |
| 2021-04-24 09:06:24 | × | nan` quits (~nan`@unaffiliated/nan/x-5405850) (Ping timeout: 268 seconds) |
| 2021-04-24 09:09:21 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:e8ce:9fd2:d362:4446) |
| 2021-04-24 09:10:33 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-24 09:14:03 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-24 09:16:15 | → | nan` joins (~nan`@unaffiliated/nan/x-5405850) |
| 2021-04-24 09:20:32 | × | nan` quits (~nan`@unaffiliated/nan/x-5405850) (Ping timeout: 246 seconds) |
| 2021-04-24 09:20:32 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-24 09:22:38 | × | drbean_ quits (~drbean@TC210-63-209-188.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-04-24 09:23:34 | → | conal joins (~conal@64.71.133.70) |
| 2021-04-24 09:26:26 | → | nan` joins (~nan`@unaffiliated/nan/x-5405850) |
| 2021-04-24 09:30:51 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-24 09:32:51 | → | philderbeast joins (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) |
| 2021-04-24 09:35:09 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-24 09:38:01 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-24 09:40:12 | × | nan` quits (~nan`@unaffiliated/nan/x-5405850) (Ping timeout: 240 seconds) |
| 2021-04-24 09:41:42 | <johnnyboy[m]> | I've came accross a couple of papers with the argument that somehow if type checking succeeds and quickcheck doesn't find errors, then "it's probably okay" |
| 2021-04-24 09:41:47 | <johnnyboy[m]> | but I'm a bit skeptic |
| 2021-04-24 09:42:31 | <johnnyboy[m]> | I've come to understand that quickcheck just generates random inputs basically |
| 2021-04-24 09:43:01 | <johnnyboy[m]> | how does that ensure maximal coverage of the exponentially many possible executions of a program? |
| 2021-04-24 09:43:41 | <johnnyboy[m]> | how do we know what kind of distribution finds most errors on arbitrary code? |
| 2021-04-24 09:44:47 | × | redmp_ quits (~redmp@172.58.30.188) (Quit: goodnight you fabulous people) |
| 2021-04-24 09:46:10 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 265 seconds) |
| 2021-04-24 09:46:34 | → | nan` joins (~nan`@unaffiliated/nan/x-5405850) |
| 2021-04-24 09:50:27 | <nut> | C-r C-r reload Haskell code in the emacs buffer. Is there a way to evalute just a region? I would like to check some intermediate values for debugging purposes |
| 2021-04-24 09:50:41 | <nut> | I mean C-c C-r |
| 2021-04-24 09:56:33 | × | Guest48627 quits (~textual@2603-7000-3040-0000-5566-884b-fd9b-56dc.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-24 09:58:42 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-24 10:01:50 | × | nan` quits (~nan`@unaffiliated/nan/x-5405850) (Ping timeout: 246 seconds) |
| 2021-04-24 10:04:37 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 2021-04-24 10:06:03 | × | hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:22bd:58fd:2b08:64b5) (Ping timeout: 260 seconds) |
| 2021-04-24 10:07:09 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-04-24 10:10:49 | → | brandonhamilton joins (~brandonha@151.68.89.220) |
| 2021-04-24 10:11:26 | × | brandonhamilton quits (~brandonha@151.68.89.220) (Client Quit) |
| 2021-04-24 10:14:40 | → | nan` joins (~nan`@unaffiliated/nan/x-5405850) |
| 2021-04-24 10:21:01 | × | nan` quits (~nan`@unaffiliated/nan/x-5405850) (Ping timeout: 260 seconds) |
| 2021-04-24 10:21:02 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-24 10:23:46 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 2021-04-24 10:24:10 | Alleria | is now known as Guest13213 |
| 2021-04-24 10:25:11 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-24 10:26:00 | → | nan` joins (~nan`@unaffiliated/nan/x-5405850) |
| 2021-04-24 10:29:46 | × | ekleog quits (~ii@grym.ekleog.org) (Changing host) |
| 2021-04-24 10:29:46 | → | ekleog joins (~ii@prologin/ekleog) |
| 2021-04-24 10:29:51 | → | cheater1 joins (~user@unaffiliated/cheater) |
| 2021-04-24 10:30:53 | × | __minoru__shirae quits (~shiraeesh@46.34.206.138) (Ping timeout: 268 seconds) |
| 2021-04-24 10:36:00 | × | nan` quits (~nan`@unaffiliated/nan/x-5405850) (Ping timeout: 252 seconds) |
| 2021-04-24 10:38:28 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-24 10:39:36 | → | __minoru__shirae joins (~shiraeesh@46.34.206.138) |
| 2021-04-24 10:41:55 | → | nan` joins (~nan`@unaffiliated/nan/x-5405850) |
| 2021-04-24 10:42:00 | × | unyu quits (~pyon@unaffiliated/pyon) (Quit: brb) |
| 2021-04-24 10:44:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-24 10:46:59 | × | nan` quits (~nan`@unaffiliated/nan/x-5405850) (Ping timeout: 246 seconds) |
| 2021-04-24 10:49:11 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-04-24 10:50:11 | × | raym quits (~ray@45.64.220.116) (Quit: leaving) |
| 2021-04-24 10:50:25 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-04-24 10:52:50 | → | nan` joins (~nan`@unaffiliated/nan/x-5405850) |
| 2021-04-24 10:52:52 | → | raym joins (~ray@45.64.220.116) |
| 2021-04-24 10:55:03 | × | santa_1 quits (~santa_@139.28.218.148) (Remote host closed the connection) |
| 2021-04-24 10:56:19 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-04-24 10:57:07 | → | Guest_79 joins (b9b40cf3@185.180.12.243) |
| 2021-04-24 10:57:58 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-04-24 10:58:19 | × | xff0x quits (~xff0x@2001:1a81:5345:1000:6c4e:76aa:9183:d81d) (Ping timeout: 245 seconds) |
| 2021-04-24 10:58:38 | → | xff0x joins (xff0x@gateway/vpn/mullvad/xff0x) |
| 2021-04-24 10:58:46 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-04-24 11:02:39 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9505e98f0c32b6dcafff.dip0.t-ipconnect.de) |
| 2021-04-24 11:03:08 | × | Dave17 quits (b6447b27@gateway/web/cgi-irc/kiwiirc.com/ip.182.68.123.39) (Quit: Connection closed) |
| 2021-04-24 11:05:30 | → | mav1 joins (~mav@200116b80079610035523288c3f29af4.dip.versatel-1u1.de) |
| 2021-04-24 11:06:02 | × | xff0x quits (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 268 seconds) |
| 2021-04-24 11:07:50 | → | xff0x joins (~xff0x@2001:1a81:5345:1000:6c4e:76aa:9183:d81d) |
| 2021-04-24 11:07:50 | × | Guest_79 quits (b9b40cf3@185.180.12.243) (Quit: Connection closed) |
| 2021-04-24 11:08:06 | × | nan` quits (~nan`@unaffiliated/nan/x-5405850) (Ping timeout: 240 seconds) |
| 2021-04-24 11:08:57 | × | philderbeast quits (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-24 11:10:27 | → | pera joins (pera@gateway/vpn/mullvad/pera) |
| 2021-04-24 11:11:01 | → | jemarch joins (~jemarch@185.204.1.185) |
| 2021-04-24 11:11:36 | × | LKoen quits (~LKoen@92.163.9.109.rev.sfr.net) (Remote host closed the connection) |
| 2021-04-24 11:12:00 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-24 11:12:32 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
All times are in UTC.