Viewing profile — ArtixFox

I am pretty sure serious projects like tigerbeetle freeze a version [most probably latest release] and use it. nightly is for experimental stuff.

Only backend has been swapped out. The tests will be fast too yes. There is no real need to add an interpreter. Having custom backend s means that while currently it is being used …

theres a long way to go but its better than nothing!

my bad for using the word "parse", "working with the language" is better to explain my intent, the language is minimal [unfortunately it follows llvm's semantics but its planned to…

it doesnt catch temporal memory errors, but what it offers currently is still better than most of its competitors [defer, explicit allocators, custom allocators with integrated sup…

I guess formal verification tools? That is the peak that even rust is trying to reach with creusot and friends. Ada has support for it using Spark subset [which can use why3 or hav…

Im pretty sure valgrind and friends can be used in zig. Zig is still not 1.0, theres not much stability guarantees, making something like Frama-C, even tho it is possible is simply…

thank you!

Hello can you point me to more information about zig's and rust's io-uring implementations

You can have a debug time check.

bruh, zig's VP called rust users safety coomers. Its internet shitposting who cares. source: I was there when it happened and it was GLORIOUS.

yea thats life. Congrats to the Raya Cash team, its cool. But thats life, even rust projects can get no light. happens, life moves on.

[dead]

I am pretty sure india is taking more steps than USA. you cannot blame them anymore. They are even pushing more money into nuclear and created a breeder reactor.

god seL4 everywhere would be awesome.

YAY!!! are we gonna have more formal verification???? woohoo!! oh its about memory safety.

hey, if you just wanna hate a language and feel superior, you are free to. But the things you are saying are stupid.

Wait just 20% thats a low number damn. You said a lot and i was expecting...idk, 50%? If Ada was used in domains where rust is used, like desktop applications, servers, high perf s…

you said you use Ada, if you use it, you should know that Ada is fundamentally unsafe language with a safe subset called spark. It could not verify dynamic allocations thats why it…

Common Lisp is an amalgamation of every lisp they could find, they slammed it all in. Calling it well designed is funny because every single CL developer openly accepts that its a …

how does that matter? calling 70% ALL is a very funny thing that i can only see on hn

who is saying all? pls show me the people who are bruh. its always 70% of the cve's are cuz of things that rust fixes blah blah cmon, lets not lie.