I was about to start arguing why I don't agree but then I thought it was better not to :P
Yes, but logic gates with constant fan-in, crucially, otherwise that's called AC.
That's true for two `rectangle` paths, but for two nodes that's what I would expect as a user. Anyway, not an easy problem for sure.
I've tried it now a little. The UI looks very cool, and generally the project is cool so congrats! However, the generated TikZ code is not good in my opinion. Everything uses absolute coordinates, which in TikZ is…
Indeed! Not scientifically controversial at all, but politically controversial, unfortunately.
We all should feel sad and angry. That said, this was never about saving money. This is about keeping scientists under tight control by the government, in order to suppress research on climate change and other…
Afaik std::span does not need anything that was not in C++98 already, or am I missing something?
> It seems that some people are really losing the taste for good readable code. It seems that some people never had taste for good reliable code. Use `void ` and now any error whatsoever is a direct undefined behavior.…
Too bad HN nicknames cannot be put for sale :)
So LLMs are destroying the economy and the environment but at least “catastrophic risk” is still low. Ok then…
Off topic, but I sincerely ask: am I the only one that is disturbed by the use of the term "Mac OS X" to refer to modern versions of the OS that is currently called "macOS"? (and not MacOS either) I mean, the name was…
Is it really worth? YMMV, but yes if you ask me.
For reasons, I used to go to Rome quite frequently in the 2010s, and the construction of Metro C was already a meme. But now some of the stations are quite interesting indeed.
Thanks! The arXiv submission says the paper is submitted to SAT26, did it get accepted?
Positively surprised to see stuff like these on HN first page! If any author is around, do you have an implementation that can be compared with CUDD and similar BDD libraries?
I know about reproductive pressure and I’ve read The Selfish Gene. What you say is correct but does not explain that “if evolution did not, better not do it” attitude of the original comment, which I think is wrong for…
The problem is implying that “if evolution did not do it there must be a reason”, because 1) it makes evolution look like an engineer evaluating trade offs, which is not and 2) it considers the current state of affairs…
> Running Windows 3.1 in True Color Full HD People from the time would be astonished by the hardware we have now yet bloated software globs up every ounce of performance. What a waste! </granny mode=off>
Evolution is not a process toward better quality of life and life expectancy of individuals. As long as enough individuals can reach the age to procreate in their environment evolution is done. Evolution didn’t train…
Until you need to do more than all-or-nothing parsing :) see tree-sitter for example, or any other efficient LSP implementation of incremental parsing.
I don’t know if someone said it already, but when Steve Jobs said this famous quote (“reports of my death are greatly exaggerated”) he then died maybe just a couple of years later. Hope this does not happen to code :)
Your statement contradicts itself. It was unusable hard before non-lexical lifetimes, but they vastly increased the complexity? Then maybe what’s complex for compiler writers to implement can make the user’s life easier…
I'm not sure it shows that. Even basic features of Rust we take from granted come from concepts common users do not need to understand. Borrowing of lifetime draws from affine types, but nobody cares when writing Rust…
Well, Rust as well has been around for more than 10 years now. I don't imply Rust invented the approach. Surely academia knew about it decades before. I was rather commenting on how one's mental model of things can…
I think the misunderstanding here is that the article was not intended to users but to other language designers. As a user, using a feature such as pattern types will be natural if you know the rest of the language. Do…
I was about to start arguing why I don't agree but then I thought it was better not to :P
Yes, but logic gates with constant fan-in, crucially, otherwise that's called AC.
That's true for two `rectangle` paths, but for two nodes that's what I would expect as a user. Anyway, not an easy problem for sure.
I've tried it now a little. The UI looks very cool, and generally the project is cool so congrats! However, the generated TikZ code is not good in my opinion. Everything uses absolute coordinates, which in TikZ is…
Indeed! Not scientifically controversial at all, but politically controversial, unfortunately.
We all should feel sad and angry. That said, this was never about saving money. This is about keeping scientists under tight control by the government, in order to suppress research on climate change and other…
Afaik std::span does not need anything that was not in C++98 already, or am I missing something?
> It seems that some people are really losing the taste for good readable code. It seems that some people never had taste for good reliable code. Use `void ` and now any error whatsoever is a direct undefined behavior.…
Too bad HN nicknames cannot be put for sale :)
So LLMs are destroying the economy and the environment but at least “catastrophic risk” is still low. Ok then…
Off topic, but I sincerely ask: am I the only one that is disturbed by the use of the term "Mac OS X" to refer to modern versions of the OS that is currently called "macOS"? (and not MacOS either) I mean, the name was…
Is it really worth? YMMV, but yes if you ask me.
For reasons, I used to go to Rome quite frequently in the 2010s, and the construction of Metro C was already a meme. But now some of the stations are quite interesting indeed.
Thanks! The arXiv submission says the paper is submitted to SAT26, did it get accepted?
Positively surprised to see stuff like these on HN first page! If any author is around, do you have an implementation that can be compared with CUDD and similar BDD libraries?
I know about reproductive pressure and I’ve read The Selfish Gene. What you say is correct but does not explain that “if evolution did not, better not do it” attitude of the original comment, which I think is wrong for…
The problem is implying that “if evolution did not do it there must be a reason”, because 1) it makes evolution look like an engineer evaluating trade offs, which is not and 2) it considers the current state of affairs…
> Running Windows 3.1 in True Color Full HD People from the time would be astonished by the hardware we have now yet bloated software globs up every ounce of performance. What a waste! </granny mode=off>
Evolution is not a process toward better quality of life and life expectancy of individuals. As long as enough individuals can reach the age to procreate in their environment evolution is done. Evolution didn’t train…
Until you need to do more than all-or-nothing parsing :) see tree-sitter for example, or any other efficient LSP implementation of incremental parsing.
I don’t know if someone said it already, but when Steve Jobs said this famous quote (“reports of my death are greatly exaggerated”) he then died maybe just a couple of years later. Hope this does not happen to code :)
Your statement contradicts itself. It was unusable hard before non-lexical lifetimes, but they vastly increased the complexity? Then maybe what’s complex for compiler writers to implement can make the user’s life easier…
I'm not sure it shows that. Even basic features of Rust we take from granted come from concepts common users do not need to understand. Borrowing of lifetime draws from affine types, but nobody cares when writing Rust…
Well, Rust as well has been around for more than 10 years now. I don't imply Rust invented the approach. Surely academia knew about it decades before. I was rather commenting on how one's mental model of things can…
I think the misunderstanding here is that the article was not intended to users but to other language designers. As a user, using a feature such as pattern types will be natural if you know the rest of the language. Do…