Ar-Curunir

5 ms·

31.
by Ar-Curunir 2mo ago
What does one have to do with the other?
32.
by Ar-Curunir 2mo ago
The problems from CS (CVP and circuit complexity) are very important problems that have been worked on by top researchers for 30-40 years. Some of these researchers include Turing Award winners. A solution to them would be a best-paper awar
33.
by Ar-Curunir 2mo ago
Some of the problems solved here, at least in CS, have been open for decades, and have been worked on by very smart leading researchers in the field, including Turing Award winners. Like, these would be best-paper awards at many top CS conf
34.
by Ar-Curunir 3mo ago
It does help for logic errors too, with, eg, sum types and traits and abstraction. Also better defaults.
35.
by Ar-Curunir 3mo ago
It is, of course, meant to be taken in a humorous tone here, despite the morbid subject.
36.
by Ar-Curunir 3mo ago
There a constructive way to leave feedback you know
37.
by Ar-Curunir 3mo ago
As if the social norms only flow one way (gypsies excluding themselves) and not the other way (white Europeans excluding them).
38.
by Ar-Curunir 3mo ago
And people all over the world use it, not just Germans
39.
by Ar-Curunir 3mo ago
Every engineering student in the US takes those courses. I did too. That doesn’t make us top 2-3% of college grads. The stuff you mentioned is first year business for most math undergraduates. You should not expect to know most things in se
40.
by Ar-Curunir 3mo ago
We don't call those bots grandmasters and have them compete in championships, nor do we laud them for beating human grandmasters.
41.
by Ar-Curunir 3mo ago
Did your 7 semesters of calculus include any courses that a math major would take? For example, a single upper-division undergrad level course on probability will expose you to measure theory. Similarly, harmonic analysis is something that
42.
by Ar-Curunir 3mo ago
I mean, unfortunately being completely explicit and pedantic does not scale. Imagine that instead of being able to use high-level programming languages, you had to write in assembly everywhere, all the time. That's what software engine
43.
by Ar-Curunir 3mo ago
Possibly, but coming up with algorithms is difficult! And people have been searching for faster DLP algorithms for 50 years
44.
by Ar-Curunir 3mo ago
Re 1: that doesn't help with Zig code that doesn't use your annotations. In contrast, Rust forces all code to use annotations. Re 2: that still looks to me to be a runtime check.
45.
by Ar-Curunir 3mo ago
Yes clearly that is what is meant here.
46.
by Ar-Curunir 3mo ago
the architecture doesn't make sense. MIRI doesn't perform static analysis on MIR. It is, as the name says, an interpreter. The borrow checker is entirely different from miri. Rust's borrow checker requires lifetime annotation
47.
by Ar-Curunir 3mo ago
No, it would fundamentally change how Zig works.
48.
by Ar-Curunir 3mo ago
Why so? Having more time in the evening after work is way better. Getting out of work and it already being dark is depressing.
49.
by Ar-Curunir 3mo ago
No, underpaid nerds have built modern civilization.
50.
by Ar-Curunir 3mo ago
You think OpenAI didn’t encourage, or even tell them to steal apple IP? Like yes, the employees are not bastions of morality, but they didn’t do it out of insecurity, but because they were recruited to steal IP
51.
by Ar-Curunir 3mo ago
The link from Odin to Noah and Adam is only made by explicitly Christian writers. From what we know, the Germanic gods far predate Christianity and even Judaism.
52.
by Ar-Curunir 3mo ago
There are flood myths across the entire world.
53.
by Ar-Curunir 3mo ago
Clearly Kelley was not saying this from a place of love or caring.
54.
by Ar-Curunir 3mo ago
How do these statements read to you: You’re a shitty programmer! Vs “your code is bad”. Who is the subject of these sentences?
55.
by Ar-Curunir 3mo ago
Ok, then call out those aspects. Don’t call the lead a stinky manager who wrote shitty code. Criticize the project and methodology, not the person.
56.
by Ar-Curunir 3mo ago
Yeah, and the kind of contributors you attract with this kind of writing are just assholes
57.
by Ar-Curunir 3mo ago
What a petty article. Does not reflect well on the Zig community at all.
58.
by Ar-Curunir 3mo ago
Won't somebody think of the Nazis...
59.
by Ar-Curunir 3mo ago
Competition is good, but this company and its owner have not demonstrated anything to indicate that they would make for good competition, neither economically nor morally. Also, yes, a company whose products produce CSAM is just morally bad
60.
by Ar-Curunir 3mo ago
That’s a good thing, yes?

More ›