« first day (111 days earlier)      last day (2383 days later) » 

Jonathan Allan
Jonathan Allan
00:05
Any reason nexus has no undo for the text boxes?
Pavel
Pavel
00:27
Hey @Dennis how does tio handle creating files?
 
1 hour later…
Dennis
Dennis
01:28
@JonathanAllan Hm, that could be handy for mobile. I'll have to look into it.
@Pavel Not sure what you mean.
Pavel
Pavel
02:05
What happens if a try to write a file in tio with bash or something? Can i then read it from the same program?
Dennis
Dennis
Yes, that works just fine. tio.run/nexus/…
 
7 hours later…
ErikGolferエリックゴルファー
ErikGolferエリックゴルファー
08:51
Note that files are deleted after execution, because sandbox.
 
10 hours later…
Martin Ender
Martin Ender
18:37
@Dennis would it be possible to leave it up to the user whether output is buffered or not?
Dennis
Dennis
I'll have to look into that. There are a few conflicts with real-time output and TIO's new features: 1. The response is compressed. 2. The response is (supposed to be) cached. 3. STDOUT and STDERR are separated.
The fact that scripts that time out currently don't generate any output at all is definitely fixable though.
Martin Ender
Martin Ender
ah well, it's less about that, but more about output for a larger set of test cases coming in as it goes along
I've just written a Retina answer where the first 6 test cases are done immediately, but then you wait for the last two results for 10 seconds
I can see that your other features have priority though
also nice, the snippet is using <pre><code> now if necessary, that will save so much work :)
Dennis
Dennis
19:07
@MartinEnder Not sure I've covered all cases, but it even preserves unprintable bytes on SE. Inside <pre><code>, &#9; for a tab actually gives you a tab.
Martin Ender
Martin Ender
that's awesome :)
Dennis
Dennis
Something could definitely be done for multiple test cases. If I use DEFLATE.js instead of the browser's decompressor, each test case could be encoded in a different stream. Will take some work though.
For now, I should probably focus on unbreaking TIO on Firefox and Safari.
All of this would be so much easier if I could just use content-editable divs, but there's no way of disabling spell checking, auto-correction and auto-capitalization for those. sighs

« first day (111 days earlier)      last day (2383 days later) »