ArtixFox

6 ms·

1.
ChatGPT May Be Eroding Critical Thinking Skills, According to a New MIT Study(time.com)
22 points by ArtixFox 1y ago|2 comments
2.
by ArtixFox 1y ago
I am pretty sure serious projects like tigerbeetle freeze a version [most probably latest release] and use it. nightly is for experimental stuff.
3.
by ArtixFox 1y ago
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 for debug, far in future it might be able to compete with l
4.
by ArtixFox 1y ago
theres a long way to go but its better than nothing!
5.
by ArtixFox 1y ago
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 change]. Comptime cannot affect r
6.
by ArtixFox 1y ago
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 support for valgrind and friends,etc]. Due to how easy to parse
7.
by ArtixFox 1y ago
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 have you write the proofs in coq] Frama-C exists for C. Astree
8.
by ArtixFox 1y ago
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 going to be soo much pain due to constant breakages as comp
9.
by ArtixFox 1y ago
thank you!
10.
by ArtixFox 1y ago
Hello can you point me to more information about zig's and rust's io-uring implementations
11.
by ArtixFox 1y ago
You can have a debug time check.
12.
by ArtixFox 2y ago
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.
13.
by ArtixFox 2y ago
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.
14.
by ArtixFox 2y ago
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.
15.
by ArtixFox 2y ago
god seL4 everywhere would be awesome.
16.
by ArtixFox 2y ago
YAY!!! are we gonna have more formal verification???? woohoo!! oh its about memory safety.
17.
by ArtixFox 2y ago
hey, if you just wanna hate a language and feel superior, you are free to. But the things you are saying are stupid.
18.
by ArtixFox 2y ago
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 stuff, it would also do unsafe stuff you could never verify u
19.
by ArtixFox 2y ago
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 has such a huge toolset for working with static allocations
20.
by ArtixFox 2y ago
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 fucking weird language with hell lot of warts that cannot be
21.
by ArtixFox 2y ago
how does that matter? calling 70% ALL is a very funny thing that i can only see on hn
22.
by ArtixFox 2y ago
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.
23.
by ArtixFox 2y ago
No? In india 2019, there was a terrorist attack where the jihadist organisation jaish-e-mohammad blew up a bus carrying soldiers via ramming a car filled with IEDs into the bus killing 40 people. In response, india did the balakot airstrik
24.
by ArtixFox 2y ago
With C, you are not 100% sure that ur code will work. You have to verify and extensively test it. With C++ you have some very vague guarantees about ur code but you can easily transition from C and even have some interesting type safety lik
25.
by ArtixFox 2y ago
yes, better airstrike policy as a first. Eliminating hamas is important, but instead of letting israel run wild, deploy a coalition so that you can chain israel while also eliminating hamas.
26.
by ArtixFox 2y ago
How will removing Benjamin change anything?
27.
by ArtixFox 2y ago
Self defense is not seen based on how many skulls you collected. Hamas needs to go and that's how Israel will do it's self defense. Proportionality has nothing to do with self defense. Hamas the org was involved, and the other one
28.
by ArtixFox 2y ago
sooo prolong the problem so that when you are dead, your descendants have to deal with it and you will be free of the responsibility? Do we forgive oct 7? what precedent would it set for other groups? that you can just go kill and rape peop
29.
by ArtixFox 2y ago
sooo israel should use time travel? the situation right now is a fucked up war between two bloodthirsty groups. I dont think this is the right time to think of inventing time machines...
30.
by ArtixFox 2y ago
What is the other solution? create a separate state for palestine under the control of hamas would only legitimise them, allow them to easily get more weapons and go on another oct 7, which will again lead to the bombings currently happenin

More ›