Attempt This Online

« first day (457 days earlier) ← previous day next day → last day (910 days later) »

pxeger

13:23

@mousetail It automatically resizes vertically, and you can make it wider horizontally if you go to preferences -> full-width mode. Do you mean something different to that?

mousetail

For some specific sizes it scales to 1.5 line heights

pxeger

hmm, I thought I'd fixed that

@pxeger @graffe ato.pxeger.com/… is more correct

mousetail

(Sorry I didn't realize it auto scaled and just thought it was stuck, but ofc it scales since I've used the python version too and there you normally need multiple lines)

pxeger

I did indeed fix that, but it wasn't included in v0.1.16 so it's not been deployed

mousetail

Hyped for 0.1.17

pxeger

13:32

I can deploy it without needing to release v0.1.17

1.17 has to be delayed, of course

mousetail

Why?

pxeger

minecraft joke

mousetail

Oh ok

I would really like to copy snippets with proper class for syntax highlighting

pxeger

I have already deployed that

mousetail

Oh nice

pxeger

13:37

@mousetail ok, done now

you may need to hard-refresh (ctrl+shift+R)

mousetail

Unfortunatly it seems like language highlighting still doesn't work. In fact any html tag with a class attribute is simply ignored on SE

pxeger

hmm

I'll have to change the way the code formatting is generated then

mousetail

Is there any specific reason you chose to generate html tags instead of standard markdown?

pxeger

because HTML is more consistent than markdown

mousetail

Not when run through a sanitizer

pxeger

13:44

if someone wrote code containing three backticks, it would break markdown

mousetail

Only when the backticks appear on their own line

pxeger

yes

mousetail

You can use the 4-spaces version then, I don't think it can be ambiguous

maybe if you have multiple blank lines in a row

pxeger

that doesn't work for leading and trailing blank lines I think

TIO has fairly complicated logic for this already, which I could just copy/reimplement

mousetail

Ok fair enough every method sucks

pxeger

13:47

github.com/TryItOnline/tryitonline/blob/master/usr/share/…

mousetail

That except with a extra case for trailing blank lines

I could probably submit a PR for that

pxeger

I'd prefer backticks where possible rather than indented code

and they can handle leading/trailing blank lines, which means <pre><code> is less often needed

mousetail

I can do that. Check if there is a line with backticks, then generate backticks, else if there are no leading or trailing double line breaks use spaces, else use <pre><code>

This could be a challenge on main lol

pxeger

I think certain unprintable characters would also require <pre><code> to be used

mousetail

True

Might require some iteration to find which those are

pxeger

13:55

tab is the one I just tested, I suspect most others get ignored by SE anyway

and tab is definitely the most important one to get right

mousetail

TIO has a list, I can probably just copy it

pxeger

basically all it probably needs to do is check for /^```$/m or /\t/

mousetail

14:08

Is there a way to test the frontend without building the entire app?

pxeger

npm run dev

inside the frontend directory

and create a file called .env.development.local with the content NEXT_PUBLIC_ATO_BASE_URL="https://ato.pxeger.com"

mousetail

@pxeger In frontend or in the root?

pxeger

in frontend

mousetail

ok thanks it works

mousetail

14:28

@pxeger github.com/attempt-this-online/attempt-this-online/pull/77

pxeger

It seems the  comments work on <pre><code> formats too.

mousetail

Oh that's a lot simpler lol

I still like the readability benefits of using the indent and backtick formats though

pxeger

yeah, I'm just adding to your PR

mousetail

:thumbsup:

pxeger

← 60 messages moved from The Nineteenth Byte

mousetail

14:43

@pxeger I see you are rewriting the backend in rust. As you know I love rust, but it seems like a lot of efort. What is the reason behind that decision?

pxeger

I started under the mistaken belief that Rust would be able to both run an asynchronous web server and still be fork-safe (which Go is not)

now it turns out Rust can't do that safely either (actually, no language can if it uses more than one thread), but I've come up with a workaround

and now the only reason I'm carrying on is that I'm enjoying it

it may never get merged

mousetail

Yea rust has great thread safety but fork safety is really hard to guarentee

pxeger

Realistically, my program would only do a little bit of stuff between fork and exec, but I haven't thought through if any of that could still cause unsafety

mousetail

What type of stuff do you need to do?

pxeger

@pxeger (I mean - do that, all in one executable. My workaround was just to use a new executable that doesn't do anything after fork)

@mousetail set up a container

I really haven't enjoyed having my entire container logic written in Zsh

things like creating cgroups, namespaces, then entering them

mousetail

14:49

I understand how that would be simple enough that you think you should be able to write it safely but still complex enough that you can't really trust any implementation to actually be safe

pxeger

yup

@Deadcode Can you write a container manager in .NET regex for me? lol

mousetail

Is regex fork safe? Guess we'll find out

Deadcode

@pxeger lol

How much disk space does ATO take up total?

pxeger

[root@atovps ~]# df -h /
Filesystem      Size  Used Avail Use% Mounted on
/dev/sda1        19G   15G  3.2G  82% /

some of that will be the base OS, not ATO, though

about 11GB is the language images

Deadcode

Ah :-) interesting.

I wonder how much is taken up on TIO by the program-run-result cache.

pxeger

15:00

the rest is about 10MB

« first day (457 days earlier) ← previous day next day → last day (910 days later) »

all rooms

Transcript for

Jul3

Jul '226

Jul7

(ask in The Ninteenth Byte to unfreeze!) - Discussion and feed...

join this room
about this room

00:00

06:00

12:00

18:00

all times are UTC