sword865 has quit [Quit: Connection closed for inactivity]
orivej has joined #racket
lavaflow has joined #racket
ubLIX has joined #racket
efm has joined #racket
ziyourenxiang has quit [Ping timeout: 268 seconds]
moldybits has quit [Quit: WeeChat 2.4]
Nomenclatura has joined #racket
vraid has quit [Quit: Leaving]
<jcowan>
euhmeuh: No, it's impossible for it to run in finite time. You generate all strings in lexicographic order, then feed them to "eval". Any that succeed are put in the output.
pera has joined #racket
endformationage has joined #racket
dustyweb has quit [Remote host closed the connection]
dustyweb has joined #racket
dustyweb has quit [Ping timeout: 245 seconds]
dan_f has joined #racket
dan_f has quit [Client Quit]
efm has quit [Ping timeout: 244 seconds]
efm has joined #racket
dbmikus has joined #racket
ng0 has joined #racket
dustyweb has joined #racket
ubLIX has quit [Quit: ubLIX]
dan_f has joined #racket
dustyweb has quit [Ping timeout: 245 seconds]
dan_f has quit [Quit: dan_f]
endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dustyweb has joined #racket
dustyweb has quit [Remote host closed the connection]
dustyweb has joined #racket
FreeFull has joined #racket
dustyweb has quit [Ping timeout: 258 seconds]
sauvin has quit [Read error: Connection reset by peer]
Nomenclatura has quit [Quit: q]
ng0 has quit [Ping timeout: 260 seconds]
ng0 has joined #racket
ubLIX has joined #racket
efm has quit [Remote host closed the connection]
selimcan has joined #racket
<selimcan>
this place isn't the same without greg hender shott
orivej has quit [Ping timeout: 246 seconds]
Fernando-Basso has joined #racket
m1dnight_ has quit [Read error: Connection reset by peer]
m1dnight_ has joined #racket
<erkin>
:-(
pera has quit [Quit: leaving]
FreeFull has quit []
orivej has joined #racket
<selimcan>
like Henry from Goodfellas, people don't seem to talk much here
<selimcan>
although most are deep thinkers, I guess
<erkin>
It's a comparatively small channel, so most conversation is sporadic.
m1dnight_ has quit [Read error: Connection reset by peer]
selimcan has quit [Quit: Leaving]
m1dnight_ has joined #racket
CodeArtisan has quit [Quit: Connection closed for inactivity]
ng0 has quit [Quit: Alexa, when is the end of world?]
ziyourenxiang has joined #racket
m1dnight_ has quit [Read error: Connection reset by peer]
m1dnight_ has joined #racket
moldybits has joined #racket
ubLIX has quit [Quit: ubLIX]
<phI||Ip>
I'm just learning racket and building a simple language at same time - overall I enjoy it
<phI||Ip>
little concerned about performance though
Fernando-Basso has quit [Remote host closed the connection]
m1dnight_ has quit [Read error: Connection reset by peer]
<aeth>
Note that those are compared to best case microoptimized C/C++/Rust so in practice the performance gap won't even be that large.
<phI||Ip>
Nice. I think Dr.Racket feels slow and doing some basic integer math C++ was clearly faster but I wonder if in a large application it matters that much.