abjKT26nO8

18 ms·

31.
by abjKT26nO8 6y ago
To say that a statement is undecidable relative to a set of axioms is to say that this set of axioms is satisfied by several structures and this statement is true for some of them, but false for some others. The structures which satisfy a s
32.
by abjKT26nO8 6y ago
That's not what Gödel's first theorem says. What Gödel's theorem tells us about linear algebra is that either it's inconsistent, or there are statements which are true for some models of linear algebra, but false for oth
33.
by abjKT26nO8 6y ago
The maths of today has very little to do with the maths of 500 years ago, let alone 2500 years ago. Sure, we still have the Pythagorean theorem, but in today's modern formulation it's trivial. We still have numbers, but they are n
34.
by abjKT26nO8 6y ago
What specific problems do you see with it?
35.
by abjKT26nO8 6y ago
TrueType implementations need to include an interpreter for a Turing-complete language (the hinting language). More about vulnerabilities: 1. https://security.stackexchange.com/questions/91347/how-can-a... 2. htt
36.
by abjKT26nO8 6y ago
> I think this is just a case of fighting low-quality comments rather than deliberate censoring of anti-CCP political speech. As opposed to what comments? I've never seen a non-low-quality comment on YouTube.
37.
by abjKT26nO8 6y ago
> I don't see that as any different from saying "use 19.6px text unless the user specifically overrides it." Maybe the designer just likes big text! If the designer wants to make text big, they should first set somewhere
38.
by abjKT26nO8 6y ago
>> Leave the page at its default font size and avoid using custom fonts, preferring to use vague selections like “sans-serif” and “monospace”. > Why? These are all easily customizable by the user. monospace and sans-serif a
39.
by abjKT26nO8 6y ago
A license is "GPL-compatible" when code released under its terms can be used in a GPL-licensed project. However, using any GPL-code, no matter if linked statically or dynamically, requires the author to release the combined work u
40.
by abjKT26nO8 6y ago
No Qt for BSD-licensed projects then? Great. "Creative accounting is what we want, since we didn't outlaw it."
41.
by abjKT26nO8 6y ago
I couldn't care less what's FSF-endorsed. They are not the company behind Qt. Perhaps ask the Qt company what they endorse?
42.
by abjKT26nO8 6y ago
That's just a workaround. Now I need to add *.o files to my deb packages. Or ship source code in deb packages? What is it? Gentoo?
43.
by abjKT26nO8 6y ago
I was replying to the suggestion that Qt could be released under GPL if its authors wanted to prevent the creative accounting described by OP. Also, LGPL is already problematic, because you cannot link statically with it.
44.
by abjKT26nO8 6y ago
Then you wouldn't be able to write BSD-licensed apps using Qt at all. Creative accounting is also legal per se. It doesn't make it right.
45.
by abjKT26nO8 6y ago
Are there (even non-cross-platform) toolkits that provide better developer experience than Qt?
46.
by abjKT26nO8 6y ago
That's the equivalent of creative accounting for software developers. Dick move. Such behaviour just leaves the market to big corps who can afford to release such tools for free while extracting money from elsewhere.
47.
by abjKT26nO8 6y ago
It does have them: https://doc.rust-lang.org/book/ch19-03-advanced-traits.html#...
48.
by abjKT26nO8 6y ago
https://xkcd.com/378/
49.
by abjKT26nO8 6y ago
Exactly. Just 30 minutes ago I observed delays between me typing text and the text appearing in Slack's text input box. With my bare eyes on an idle system with 32GB RAM and a quad-core i7-6700! It isn't even rare. That's jus
50.
by abjKT26nO8 6y ago
On the contrary, it's easy in our tech bubble to assume that everybody else uses a computer just for mail, netflix and spreadsheets, when in reality most people have niche needs. It's just that there are many niches. E.g. I know p
51.
by abjKT26nO8 6y ago
Correction: Hacker News is an American-founded site with international community of users. That's not a site for Americans where the rest of the world just comes to watch. Or maybe I missed a point in the guidelines... I'm not tal
52.
by abjKT26nO8 6y ago
"&" captures references, not copies. I would like it to be just syntactic sugar for "&x, &y, ..." and only include the variables that I actually used in the body of lambda. There is no performance cost to tha
53.
by abjKT26nO8 6y ago
At one job I wrote the equivalent of the following (it's just that I invoked create_lambda more times): #include <functional> #include <iostream> std::function<void()> create_lambda(const int& x, const
54.
by abjKT26nO8 6y ago
HN is not an exception. It's the most stark in threads about salaries.
55.
by abjKT26nO8 6y ago
> You will find out that minimalist Oberon is long gone and the language in a certain sense compares to C#, D in complexity, with support for generics, untraced references, exceptions, linkage models, inline Assembly. Generics is somet
56.
by abjKT26nO8 6y ago
That's not really an option for me when I debug C++ that is run on a Linux or Android TV. It also wouldn't be an option when I used to work with C++ that was used on Linux servers. That's a big chunk of C++ use. While I have
57.
by abjKT26nO8 6y ago
What graphical debuggers for C++ do you recommend?
58.
by abjKT26nO8 6y ago
This is a classic that may help you understand better why some people choose BSDs: http://www.over-yonder.net/~fullermd/rants/bsd4linux/01 Also, there are still new things being invented for BSDs (and Illumos
59.
by abjKT26nO8 6y ago
This was already posted 12 days go: https://news.ycombinator.com/item?id=23062072
60.
by abjKT26nO8 6y ago
What I would like, is Emacs/Vim-style buffers. When you don't have one open, it's completely invisible. When you want to switch to it, you perform an incremental search for its title. No need to hunt for things on the screen.

More ›