[00:10:34] * zolk3ri [zolk3ri!~zolk3ri@gateway/tor-sasl/zolk3ri] has joined the channel.
[01:14:08] * craigo [craigo!~craigo@144.136.206.168] has joined the channel.
[01:16:02] * neuro_sys [neuro_sys!~neuro_sys@unaffiliated/neurosys/x-283974] has quit (Quit: -).
[01:16:39] * neuro_sys [neuro_sys!~neuro_sys@unaffiliated/neurosys/x-283974] has joined the channel.
[01:23:23] * FreeFull [FreeFull!~freefull@defocus/sausage-lover] has quit.
[02:08:37] * df1111 [df1111!df1matrixo@gateway/shell/matrix.org/x-ocvlwrecejnhcsao] has joined the channel.
[02:19:34] * craigo_ [craigo_!~craigo@144.136.206.168] has joined the channel.
[02:21:13] * duncanm_ [duncanm_!sid287146@gateway/web/irccloud.com/x-zoxvgpwdmiabsgiv] has joined the channel.
[02:21:41] * duncanm [duncanm!sid287146@gateway/web/irccloud.com/x-shbpkcpoeoyejfjb] has quit (Ping timeout: 256 seconds).
[02:21:41] * duncanm_ is now known as duncanm
[02:22:06] * craigo [craigo!~craigo@144.136.206.168] has quit (Ping timeout: 256 seconds).
[03:23:40] * zolk3ri [zolk3ri!~zolk3ri@gateway/tor-sasl/zolk3ri] has quit (Quit: leaving).
[04:24:43] * darrenks [darrenks!43a4adba@gateway/web/cgi-irc/kiwiirc.com/ip.67.164.173.186] has quit (Ping timeout: 272 seconds).
[05:45:00] * MDude [MDude!~MDude@71.50.47.112] has quit (Quit: Going offline, see ya! (www.adiirc.com)).
[06:01:37] * Sgeo_ [Sgeo_!~Sgeo@ool-18b98aa4.dyn.optonline.net] has joined the channel.
[06:04:50] * Sgeo [Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net] has quit (Ping timeout: 265 seconds).
[07:32:16] * Sgeo_ [Sgeo_!~Sgeo@ool-18b98aa4.dyn.optonline.net] has quit (Read error: Connection reset by peer).
[07:41:15] * grobe0ba [grobe0ba!grobe0ba@unaffiliated/grobe0ba] has quit (Ping timeout: 260 seconds).
[09:59:44] * imode [imode!~imode@unaffiliated/imode] has quit (Ping timeout: 265 seconds).
[10:08:33] * craigo_ [craigo_!~craigo@144.136.206.168] has quit (Ping timeout: 256 seconds).
[10:19:56] * grobe0ba [grobe0ba!grobe0ba@unaffiliated/grobe0ba] has joined the channel.
[11:35:57] * popr [popr!~popr-bot@2001:19f0:ac01:1008:5400:2ff:fec1:6ea4] has quit (Ping timeout: 260 seconds).
[11:36:44] * m_hackerfoo [m_hackerfoo!~matrixirc@2001:19f0:ac01:1008:5400:2ff:fec1:6ea4] has quit (Ping timeout: 246 seconds).
[11:37:00] * HackerFoo [HackerFoo!~hackerfoo@144.202.105.23] has quit (Ping timeout: 256 seconds).
[11:41:24] * m_hackerfoo [m_hackerfoo!~matrixirc@2001:19f0:ac01:1008:5400:2ff:fec1:6ea4] has joined the channel.
[11:44:22] * HackerFoo [HackerFoo!~hackerfoo@144.202.105.23] has joined the channel.
[12:08:15] * craigo_ [craigo_!~craigo@144.136.206.168] has joined the channel.
[12:28:24] * tgunr_ doesn't hear any bells
[13:35:22] * zolk3ri [zolk3ri!~zolk3ri@gateway/tor-sasl/zolk3ri] has joined the channel.
[13:45:45] * grobe0ba_ [grobe0ba_!grobe0ba@unaffiliated/grobe0ba] has joined the channel.
[13:45:47] * MDude [MDude!~MDude@71.50.47.112] has joined the channel.
[13:45:55] * grobe0ba [grobe0ba!grobe0ba@unaffiliated/grobe0ba] has quit (Ping timeout: 256 seconds).
[13:46:14] * grobe0ba_ is now known as grobe0ba
[15:05:04] * zolk3ri [zolk3ri!~zolk3ri@gateway/tor-sasl/zolk3ri] has quit (Remote host closed the connection).
[15:05:25] * Sgeo [Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net] has joined the channel.
[15:18:58] * zolk3ri [zolk3ri!~zolk3ri@gateway/tor-sasl/zolk3ri] has joined the channel.
[16:02:32] * imode [imode!~imode@unaffiliated/imode] has joined the channel.
[16:23:14] <HackerFoo> I've thought a type-directed REPL for entering code on a phone would be useful. You could type most of the code by selecting from the suggestions, and it would aid discovery, like Hoogle.
[16:25:41] <HackerFoo> I used to have autocompletion, but it just matched on the text and wasn't that useful.
[16:43:23] * craigo_ [craigo_!~craigo@144.136.206.168] has quit (Quit: Leaving).
[23:12:27] * zolk3ri [zolk3ri!~zolk3ri@gateway/tor-sasl/zolk3ri] has quit (Remote host closed the connection).