Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 186 187 188 189 190 191 192 193 194 195 196 .. 17911
— 1,791,018 events total
2021-05-30 12:19:26 <nonzen_> whoops
2021-05-30 12:19:48 nonzen_ is now known as nonzen
2021-05-30 12:20:05 × ddellacosta quits (~ddellacos@86.106.121.189) (Ping timeout: 272 seconds)
2021-05-30 12:21:01 → ddellacosta joins (~ddellacos@86.106.121.24)
2021-05-30 12:21:58 × m_shiraeeshi quits (~shiraeesh@109.166.58.176) (Read error: Connection reset by peer)
2021-05-30 12:22:06 ← nonzen parts (~sajith@user/nonzen) ()
2021-05-30 12:23:28 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-05-30 12:23:50 × Dynom quits (~niels@80-114-12-206.cable.dynamic.v4.ziggo.nl) (Quit: WeeChat 3.1)
2021-05-30 12:25:48 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:f131:7ff:d61f:7340)
2021-05-30 12:26:06 × ddellacosta quits (~ddellacos@86.106.121.24) (Ping timeout: 268 seconds)
2021-05-30 12:28:58 → smitop joins (uid328768@user/smitop)
2021-05-30 12:29:12 → bfrk joins (~Thunderbi@200116b845d00f006a2925a261e5e856.dip.versatel-1u1.de)
2021-05-30 12:30:11 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:f131:7ff:d61f:7340) (Ping timeout: 252 seconds)
2021-05-30 12:34:11 × holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection)
2021-05-30 12:34:45 → holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-30 12:35:12 × reumeth quits (~reumeth@user/reumeth) (Quit: reumeth)
2021-05-30 12:35:13 → hmmmas joins (~chenqisu1@183.217.202.217)
2021-05-30 12:35:33 → reumeth joins (~reumeth@user/reumeth)
2021-05-30 12:37:22 → a6a45081-2b83 joins (~aditya@106.212.79.20)
2021-05-30 12:37:23 × a6a45081-2b83 quits (~aditya@106.212.79.20) (Client Quit)
2021-05-30 12:38:02 → nonzen joins (~sajith@user/nonzen)
2021-05-30 12:39:00 → ddellacosta joins (~ddellacos@86.106.121.100)
2021-05-30 12:40:28 × img quits (~img@2405:6580:b1c0:2500:bbf0:3eb3:9fd0:16dd) (Quit: ZNC 1.8.1 - https://znc.in)
2021-05-30 12:42:05 → img joins (~img@2405:6580:b1c0:2500:21aa:3e11:692:b75f)
2021-05-30 12:43:11 × img quits (~img@2405:6580:b1c0:2500:21aa:3e11:692:b75f) (Client Quit)
2021-05-30 12:43:57 × nonzen quits (~sajith@user/nonzen) (Quit: Gone)
2021-05-30 12:43:59 × ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds)
2021-05-30 12:44:19 → nonzen joins (~nonzen@user/nonzen)
2021-05-30 12:44:45 × nonzen quits (~nonzen@user/nonzen) (Client Quit)
2021-05-30 12:44:48 → img joins (~img@2405:6580:b1c0:2500:6e7d:8e78:8e4a:aa23)
2021-05-30 12:45:01 → nonzen joins (~nonzen@user/nonzen)
2021-05-30 12:46:04 × nonzen quits (~nonzen@user/nonzen) (Client Quit)
2021-05-30 12:46:38 → nonzen joins (~nonzen@user/nonzen)
2021-05-30 12:48:12 → ddellacosta joins (~ddellacos@89.45.224.33)
2021-05-30 12:48:18 × holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 268 seconds)
2021-05-30 12:49:14 <Philonous> I'm trying to look at the TH splices of a module, so I'm calling cabal like this: »cabal build --ghc-options="-ddump-splices -ddump-to-file" <target>« but after it finishes I'm not finding the dumped output. What am I doing wrong?
2021-05-30 12:49:34 × coot quits (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-30 12:50:30 <Philonous> As in, »find . -iname '*.dump*'« doesn't find anything
2021-05-30 12:52:37 × dhil quits (~dhil@195.213.192.85) (Ping timeout: 268 seconds)
2021-05-30 12:53:06 × ddellacosta quits (~ddellacos@89.45.224.33) (Ping timeout: 264 seconds)
2021-05-30 12:55:40 → ddellacosta joins (~ddellacos@89.46.62.116)
2021-05-30 12:55:52 → dunham joins (~dunham@97-113-35-16.tukw.qwest.net)
2021-05-30 12:56:24 × img quits (~img@2405:6580:b1c0:2500:6e7d:8e78:8e4a:aa23) (Quit: ZNC 1.8.1 - https://znc.in)
2021-05-30 12:58:03 → img joins (~img@2405:6580:b1c0:2500:43d1:94bf:adb9:8dcf)
2021-05-30 12:59:11 × hmmmas quits (~chenqisu1@183.217.202.217) (Quit: Leaving.)
2021-05-30 13:00:00 × oxide quits (~lambda@user/oxide) (Ping timeout: 268 seconds)
2021-05-30 13:00:37 × dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 268 seconds)
2021-05-30 13:00:37 × ddellacosta quits (~ddellacos@89.46.62.116) (Ping timeout: 268 seconds)
2021-05-30 13:05:35 → ircbrowse_tom joins (~ircbrowse@2a01:4f8:1c1c:9319::1)
2021-05-30 13:05:36 Server sets mode +Cnt
2021-05-30 13:06:17 → esclear joins (~esclear@phobos.esclear.de)
2021-05-30 13:07:31 → imdoor joins (~imdoor@balticom-142-78-50.balticom.lv)
2021-05-30 13:10:17 → shiraeeshi joins (~shiraeesh@109.166.58.176)
2021-05-30 13:10:48 → pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-05-30 13:11:57 → ruomad joins (~ruomad@82-64-17-144.subs.proxad.net)
2021-05-30 13:12:05 → ddellacosta joins (~ddellacos@89.46.62.69)
2021-05-30 13:16:23 × ddellacosta quits (~ddellacos@89.46.62.69) (Ping timeout: 252 seconds)
2021-05-30 13:18:08 × ruomad quits (~ruomad@82-64-17-144.subs.proxad.net) (Quit: leaving)
2021-05-30 13:18:30 × dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 268 seconds)
2021-05-30 13:18:33 → holy_ joins (~h01y_b4z0@103.244.176.36)
2021-05-30 13:19:08 → jco_ joins (~jco@c83-248-173-38.bredband.tele2.se)
2021-05-30 13:19:09 → geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com)
2021-05-30 13:19:23 → oxide joins (~lambda@user/oxide)
2021-05-30 13:20:17 → nonzen_ joins (~nonzen@user/nonzen)
2021-05-30 13:20:37 × farn quits (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Remote host closed the connection)
2021-05-30 13:20:47 → farn joins (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505)
2021-05-30 13:20:50 × nonzen quits (~nonzen@user/nonzen) (Quit: Gone)
2021-05-30 13:20:50 × nonzen_ quits (~nonzen@user/nonzen) (Client Quit)
2021-05-30 13:21:05 → nonzen joins (~nonzen@user/nonzen)
2021-05-30 13:21:37 → nonzen_ joins (~nonzen@user/nonzen)
2021-05-30 13:23:25 → ddellacosta joins (~ddellacos@89.45.224.124)
2021-05-30 13:25:29 × arrowd_ quits (~arr@2.94.203.147) ()
2021-05-30 13:27:28 → fabfianda joins (~fabfianda@net-93-148-125-174.cust.dsl.teletu.it)
2021-05-30 13:28:18 → ruomad joins (~ruomad@82-64-17-144.subs.proxad.net)
2021-05-30 13:28:23 × ddellacosta quits (~ddellacos@89.45.224.124) (Ping timeout: 268 seconds)
2021-05-30 13:29:53 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-30 13:30:04 → ddellacosta joins (~ddellacos@86.106.121.89)
2021-05-30 13:31:09 → larkfisherman joins (~larkfishe@178.77.33.190)
2021-05-30 13:34:16 × ruomad quits (~ruomad@82-64-17-144.subs.proxad.net) (Quit: leaving)
2021-05-30 13:34:51 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-05-30 13:35:05 × ddellacosta quits (~ddellacos@86.106.121.89) (Ping timeout: 264 seconds)
2021-05-30 13:35:10 × holy_ quits (~h01y_b4z0@103.244.176.36) (Ping timeout: 268 seconds)
2021-05-30 13:35:55 → ruomad joins (~ruomad@82-64-17-144.subs.proxad.net)
2021-05-30 13:36:49 × GIANTWORLDKEEPER quits (~pjetcetal@2.95.204.25) (Read error: Connection reset by peer)
2021-05-30 13:36:57 × ruomad quits (~ruomad@82-64-17-144.subs.proxad.net) (Client Quit)
2021-05-30 13:37:48 × rk04 quits (~rk04@user/rajk) (Ping timeout: 250 seconds)
2021-05-30 13:38:06 <jco_> Hi, I'm going through the CIS 194 course, and I'm currently trying to use QuickCheck to do some property-based testing. So far, I've got a QuickCheck generator working for the expression type `data ExprT = Lit Integer | Add ExprT ExprT | Mul ExprT ExprT`. But then the exercise makes you also implement an interpreter of arithmetic expressions for a stack-based VM. So my current idea is to add a QuickCheck
2021-05-30 13:38:12 <jco_> property that verifies that all programs, interpreted and evaluated by the stack-based VM, give the same result as if interpreted as an "immediate" expression. One approach would be to pretty-print an ExprT-expression, then parse the resulting string as a `StackVM` program, and finally use /that/ to evaluate the program and verify that the result is the same as the result of immediately evaluating the
2021-05-30 13:38:18 <jco_> ExprT-expression. But maybe there are simpler/better ways of achieving this goal?
2021-05-30 13:39:13 → ruomad joins (~ruomad@82-64-17-144.subs.proxad.net)
2021-05-30 13:39:34 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 265 seconds)
2021-05-30 13:40:27 → satai joins (~satai@static-84-42-172-253.net.upcbroadband.cz)
2021-05-30 13:41:01 × mikoto-c1 quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Quit: mikoto-c1)
2021-05-30 13:41:16 → mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-05-30 13:41:53 → dpl joins (~dpl@77-121-78-163.chn.volia.net)
2021-05-30 13:42:28 × ruomad quits (~ruomad@82-64-17-144.subs.proxad.net) (Client Quit)
2021-05-30 13:43:47 × ubert quits (~Thunderbi@p548c937f.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-05-30 13:44:50 → holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-30 13:46:13 → ddellacosta joins (~ddellacos@86.106.121.34)
2021-05-30 13:46:15 → lavaman joins (~lavaman@98.38.249.169)
←Prev  Next→
Page 1 .. 186 187 188 189 190 191 192 193 194 195 196 .. 17911

All times are in UTC.