ameixaseca

26 ms·

91.
by ameixaseca 7y ago
I laughed way too furiously at this.
92.
by ameixaseca 7y ago
That is one of the very important points a lot of people are missing here, and a key argument of the article: a fast rendering engine was a requirement for quake to be as popular as it was and it was a product of a brilliant engineer doing
93.
by ameixaseca 7y ago
Async adds a runtime requirement, so Rust cannot just take the same approach as Go. You only have a scheduler if you instantiate one. And having a runtime or not has nothing to do with the C abstract machine, but with precise control on wha
94.
by ameixaseca 7y ago
This happens way more often with many other pages as well. It just doesn't get the spotlight of media attention all the time.
95.
by ameixaseca 7y ago
Most languages in the ML-family are statically typed and have a REPL.
96.
by ameixaseca 7y ago
Dependently typed languages are one example, but there are popular languages with modern type systems and various degrees of popularity. The ML-family comes to mind. Rust is one gaining traction as well. Keep in mind Python was considered
97.
by ameixaseca 7y ago
I considered writing "prove any property that is provable" but it is a tautology and doesn't convey the meaning I was trying to give it. "Essentially any" can be better stated indeed as it is too broad, but I can&#x
98.
by ameixaseca 7y ago
> Bad point. Type checkers only check fairly simple properties of your program. Bad bad point. There are statically-typed languages with fairly complex type systems. There are even dependently typed languages which check essentially any
99.
by ameixaseca 7y ago
There is a fundamental difference in your example in the fact that it calls for action/violence. If he had said, for instance, that every child needs to be molested, that would be more in line with your example. And that would no longe
100.
by ameixaseca 7y ago
> Instead of considering the pain of a young person treated in such a manner [...] I find it really odd this myoptic view: he is defending a coworker, which is not alive anymore to defend himself. He did not say the victim is lying, he i
101.
by ameixaseca 7y ago
It worked for me, but colours were a bit off.
102.
by ameixaseca 7y ago
Stallman was questioning an absolute statement by using some logic and common sense, building a most-likely scenario for what happened - which could maybe better reflect the situation based on knowledge he had about the deceased. He did not
103.
by ameixaseca 7y ago
Good points, but I'd like to point out that nothing on this post is Rust-specific. You can have the same issue if programming in any other language, including C: excessive indirections, inefficient algorithms, bad abstractions, excessi
104.
by ameixaseca 7y ago
Given there are no infinite resources, one has to choose where to focus. Rust team seems to be focusing on the language and solving hard-to-deal-with but relevant problems - and on evolving the language, which is truly a remarkable feat whe
105.
by ameixaseca 7y ago
> "I live here, so what do I know." And how do you know I don't? Are you going to tell me you didn't notice my username? > Your link is basically saying things are getting better, but who knows, they can get worse
106.
by ameixaseca 7y ago
I don't see myself subscribing to any newspaper and paying $15+ per month for having a single source of news, usually with a single point of view and/or bias. I would much rather pay a fair amount (more or less $15-$30 per year, w
107.
by ameixaseca 7y ago
The proposal for `try` made my eyes bleed. It combines a number of features from metaprogramming and generic types but in a hard-coded manner and doing a number of assumptions about functions signatures, etc. I guess that's the idea of
108.
by ameixaseca 8y ago
First time I saw a presentation on Zig by its creator it left a bad taste in my mouth: I looked like a "simplified Rust", with a lot of suspiciously similar names on the standard libraries and default types, yet there were zero re
109.
by ameixaseca 8y ago
*in the US.
110.
by ameixaseca 8y ago
I heard similar arguments from a co-worker when talking about L4/QNX and OS research in general. "Nobody uses them / they don't work / where are they?" were the answers, all which have good replies if you googl
111.
by ameixaseca 8y ago
I suggest to anyone considering M4 seriously to have a look at its substitution behaviour and syntax rules. Not only the default newline handling causes rules to become cluttered the more complex your macros get but the resubstitution of al
112.
by ameixaseca 8y ago
It's not a question of being harmless but sustainable. Everything you do will harm or imbalance the environment somehow, the question is how much the environment can recover or if it can at all. There are a ton of lines I could go to d
113.
by ameixaseca 8y ago
Except the alternative - ie, relying on annuals for food production - destroys top soil and relies on fossil-based fertilizers. It's the epitome of nonsusteinability and environment destruction. Perennials combined with animals can be
114.
by ameixaseca 8y ago
Tracking what you eat is important, counting calories not necessarily. The calories-in/calories-out model misses a number of important factors like the effect of insulin on weight and lowering of BMR on non-fasted caloric restriction.
115.
by ameixaseca 8y ago
Beauty lies on the eyes of the observer. Also, there's nothing obfuscated here, and everything is explicit if you know the syntax. The alternative is not caring and leaving everything for a GC and/or validating values with runtime
116.
by ameixaseca 8y ago
It's the same argument again and again but nobody that defends this really think this through. For the ones that still want "fake news" completely banned, I have a question: who is going to decide what is true and what is not
117.
by ameixaseca 8y ago
Likely or likely not? More recent evidence points to high carb - not high fat - as the real cause. Mcmuffins are higher in carbs than fats, by the way. Also, infant/child mortality was much higher at that time - if you count people tha
118.
by ameixaseca 8y ago
I'm eager to hear the alternative.