thealistra

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 ay öncediscuss

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

thealistra

3 ay öncediscuss

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 ay öncediscuss

Can’t really see it nicely on mobile

thealistra

5 ay öncediscuss

US only it seems?

thealistra

6 ay öncediscuss

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 ay öncediscuss

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 ay öncediscuss

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 ay öncediscuss

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 ay öncediscuss

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

thealistra

8 ay öncediscuss

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 ay öncediscuss

But most CIs allow flaky tests :)

thealistra

10 ay öncediscuss

Isn’t this like argparse from Python for typescript?

thealistra

geçen yıldiscuss

Is this a replacement for a huge corpo botnet like access control?

If I am a huge corpo, don’t I want to have another huge corpo provide me the software with a support package to have some asssurance and not go with the open source option?

Not sure if your project solves any issue of a singular dev.

comments