00:04
aeth has quit [Ping timeout: 246 seconds]
00:04
cantstanya has quit [Remote host closed the connection]
00:05
cantstanya has joined #racket
00:05
aeth has joined #racket
00:05
badkins has joined #racket
01:24
aquijoule_ has joined #racket
01:26
richbridger has quit [Ping timeout: 256 seconds]
01:46
nshp is now known as rsp
01:47
rsp is now known as rip
02:24
badkins has quit [Remote host closed the connection]
02:29
badkins has joined #racket
02:33
badkins has quit [Ping timeout: 240 seconds]
02:34
badkins has joined #racket
02:37
badkins has quit [Remote host closed the connection]
02:37
badkins has joined #racket
02:43
phillbush has joined #racket
03:04
Urchin[emacs] has quit [Ping timeout: 260 seconds]
03:17
badkins has quit [Remote host closed the connection]
03:18
badkins has joined #racket
03:22
badkins has quit [Ping timeout: 256 seconds]
03:44
mirrorbird has quit [Ping timeout: 272 seconds]
03:59
orivej has quit [Ping timeout: 246 seconds]
04:00
orivej has joined #racket
04:10
Codaraxis_ has joined #racket
04:10
Codaraxis has quit [Ping timeout: 246 seconds]
04:12
orivej has quit [Ping timeout: 256 seconds]
04:23
caente has quit [Ping timeout: 246 seconds]
04:31
mirrorbird has joined #racket
04:50
phillbush has quit [Quit: Leaving]
05:02
endformationage has quit [Quit: WeeChat 2.9]
05:27
orivej has joined #racket
05:37
badkins has joined #racket
05:41
badkins has quit [Ping timeout: 260 seconds]
05:56
mirrorbird has quit [Quit: Leaving]
06:00
orivej has quit [Ping timeout: 260 seconds]
06:48
aeth has quit [Ping timeout: 246 seconds]
06:50
rgherdt_ has joined #racket
06:51
aeth has joined #racket
07:01
andreyorst` has joined #racket
07:13
narimiran has joined #racket
07:29
rgherdt__ has joined #racket
07:29
aquijoule__ has joined #racket
07:30
Sgeo has quit [Read error: Connection reset by peer]
07:31
rgherdt_ has quit [Ping timeout: 256 seconds]
07:32
aquijoule_ has quit [Ping timeout: 256 seconds]
07:58
nperez_ has quit [Read error: Connection reset by peer]
08:10
evdubs has quit [Remote host closed the connection]
08:11
evdubs has joined #racket
08:12
dustyweb has quit [Remote host closed the connection]
08:12
dustyweb has joined #racket
08:30
rgherdt__ has quit [Remote host closed the connection]
08:30
rgherdt__ has joined #racket
09:05
orivej has joined #racket
09:50
Urchin[emacs] has joined #racket
10:06
aeth has quit [Ping timeout: 260 seconds]
10:08
aeth has joined #racket
10:27
_whitelogger has joined #racket
10:28
Codaraxis has joined #racket
10:50
YuGiOhJCJ has joined #racket
11:42
mirrorbird has joined #racket
11:57
narimiran has quit [*.net *.split]
11:57
casaca has quit [*.net *.split]
11:57
`micro has quit [*.net *.split]
11:57
cky has quit [*.net *.split]
11:58
cky has joined #racket
11:58
`micro has joined #racket
11:58
casaca has joined #racket
11:58
rgherdt__ has quit [Read error: Connection reset by peer]
11:58
rgherdt_ has joined #racket
11:58
narimiran has joined #racket
12:08
phillbush has joined #racket
12:58
caente has joined #racket
13:12
mirrorbird has quit [Remote host closed the connection]
13:13
mirrorbird has joined #racket
14:13
badkins has joined #racket
14:13
badkins has quit [Remote host closed the connection]
14:13
badkins has joined #racket
14:23
mirrorbird has quit [Ping timeout: 272 seconds]
14:32
badkins has quit [Remote host closed the connection]
14:33
badkins has joined #racket
14:33
badkins has quit [Remote host closed the connection]
14:33
badkins has joined #racket
14:49
caente has joined #racket
15:02
Sgeo has joined #racket
15:26
emacsoma1 has quit [Quit: WeeChat 3.0]
15:28
emacsomancer has joined #racket
15:44
andreyorst` has quit [Quit: andreyorst`]
15:45
andreyorst` has joined #racket
15:46
andreyorst` has quit [Client Quit]
16:12
rj_ has joined #racket
16:15
dataangel has quit [Quit: Asta la vista]
16:16
dataangel has joined #racket
16:48
NieDzejkob has quit [Ping timeout: 256 seconds]
16:48
NieDzejkob has joined #racket
16:48
nperez_ has joined #racket
16:49
narimiran has quit [Ping timeout: 256 seconds]
16:49
narimiran has joined #racket
17:03
nperez_ has quit [Remote host closed the connection]
17:06
nperez has joined #racket
17:09
rj_ has quit [Ping timeout: 246 seconds]
17:11
rj_ has joined #racket
17:24
nullman has quit [Remote host closed the connection]
17:37
badkins has quit [Remote host closed the connection]
17:38
badkins has joined #racket
17:42
badkins has quit [Ping timeout: 260 seconds]
17:47
rj_ has quit [Ping timeout: 272 seconds]
17:49
rj_ has joined #racket
17:50
nullman has joined #racket
18:21
evdubs has quit [Quit: Leaving]
18:33
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
18:48
badkins has joined #racket
18:53
badkins has quit [Ping timeout: 240 seconds]
19:02
dbmikus has joined #racket
19:19
Finishx has joined #racket
20:01
deeglaze has quit [Quit: leaving]
20:04
<
samth >
tonyg: ping
20:09
dbmikus has quit [Read error: Connection reset by peer]
20:10
dbmikus has joined #racket
20:20
badkins has joined #racket
20:37
<
dzoe >
samth: two things - 1) is it possible to try SCV-CR right now? 2) I'm working on the reply about my TR issues, but I'd like to present reasonable MWEs for everything so it might take a few more days
20:38
<
samth >
dzoe: no rush, thanks for doing that
20:39
<
dzoe >
samth: thanks, I'll try it - gradual typing of medium-sized project is not an easy task :)
20:50
<
samth >
dzoe: note that it is very definitely research software, and not something people have used in practice
20:50
<
samth >
but you're welcome to try
20:50
<
samth >
also, as a first step, you might look at the contract profiler if you haven't yet
20:55
vraid has quit [Ping timeout: 260 seconds]
20:57
phillbush has quit [Quit: Leaving]
20:58
<
dzoe >
samth: not that I am still looking for interesting research ;)
21:20
Finishx has quit [Ping timeout: 256 seconds]
21:21
narimiran has quit [Ping timeout: 265 seconds]
21:24
badkins has quit [Remote host closed the connection]
21:25
badkins has joined #racket
21:30
badkins has quit [Ping timeout: 256 seconds]
21:31
badkins has joined #racket
21:44
vraid has joined #racket
22:03
tilpner_ has joined #racket
22:04
tilpner has quit [Ping timeout: 240 seconds]
22:04
tilpner_ is now known as tilpner
22:30
mirrorbird has joined #racket
22:40
libertyprime has quit [Ping timeout: 240 seconds]
23:01
badkins has quit [Remote host closed the connection]
23:02
badkins has joined #racket
23:07
badkins has quit [Ping timeout: 264 seconds]
23:18
mirrorbird has quit [Ping timeout: 272 seconds]
23:25
badkins has joined #racket
23:27
epony has quit [Ping timeout: 240 seconds]
23:44
gpanders has joined #racket