thealistra

no profile record

comments

30 giorni fadiscuss

Exactly - so far seems like a windows vista “are you sure?” Modal. Are we missing something here?

Seems like somebody is not accepting that every successful project will grow and become unwieldy like this. This is all legacy backwards compatibility of all iterated ideas that now you have to support.

thealistra

3 mesi fadiscuss

The ocr example says it recognizes Chinese, but output ignores it - maybe just AI bug in generated examples

thealistra

3 mesi fadiscuss

You should be happy that you have such a financially aware IT dept. The machines are truly expensive and after managing a farm of 150 Mac minis at work I can tell why.

It is like 3 days running the EC2 buys you a Mac mini? And you can only rent the machine in day increments

thealistra

3 mesi fadiscuss

Can’t really see it nicely on mobile

thealistra

5 mesi fadiscuss

US only it seems?

thealistra

6 mesi fadiscuss

My point is can you write a json deserializer with this, where allocation of every child is defacto optional, depending on input JSON?

thealistra

6 mesi fadiscuss

Isn’t this a very restrictive way to write? Hard for me to imagine as never wrote with such annotations so no idea how viable it is for a large codebase to have this constraint.

thealistra

6 mesi fadiscuss

I understand how this works in general. I had static analyzers at Uni, I know lattice theory and all this - I am just wondering how Xr0 handles it.

thealistra

6 mesi fadiscuss

What happens if a function allocates not deterministically, like

if (turing_machine_halts(tm)) return malloc(1); else return NULL;

How is this handled?

thealistra

6 mesi fadiscuss

For the bootstrap c lexer and parser was hand rolling really necessary? Lex and yacc exist for a reason

thealistra

8 mesi fadiscuss

Bro no one will use a web service and trust it is 100% private. This is an unprovable claim. Maybe it is private now, but you sell this in 5 years and it stops being so.

Maybe a JavaScript ad jailbreaks an iframe and reads this.

There is no beating a locally running program

thealistra

8 mesi fadiscuss

But most CIs allow flaky tests :)

thealistra

10 mesi fadiscuss

Isn’t this like argparse from Python for typescript?