mmarx

11 ms·

61.
by mmarx 9y ago
IEEE compliance only gives you guarantees on individual arithmetic operations. Vector machines take away control over the order in which operations are performed, but floating-point addition is not associative. Changing the order in which t
62.
by mmarx 9y ago
Vector engines really suffer from numerical stability problems, so for certain kinds of problems, you'll get wrong answers (but at least you'll get them fast).
63.
by mmarx 9y ago
Homomorphisms are structure-preserving mappings between different types (called “category” in the post, in usual terminology, these would be »objects« in a »category«, though). Endomorphisms are special homomorphisms, mapping from a single
64.
by mmarx 9y ago
> Why use a platform specific tool and restrict yourself to Linux? Make predates Linux by 15 years. It's not platform specific (indeed it is part of POSIX), and it is most certainly not restricted to linux.
65.
by mmarx 9y ago
It is what `lscpu`is for Linux (which provides output quite similar, but not identical to `cat /proc/cpuinfo`).
66.
by mmarx 9y ago
> But "modeling non-terminating loops in a computer program" is NOT the motivation for real numbers Indeed Turing himself proved that there are non-computable real numbers.
67.
by mmarx 9y ago
> Sure, that's true, but you can still ask questions like "does this #P problem have a polynomial reduction to an NP problem." That's an ill-posed question though. NP is not closed under polynomial Turing reductions (
68.
by mmarx 9y ago
> However, strict mode is on my default since MySQL 5.7 (released in 2015) and MariaDB 10.2 (which is also the version he was using). So he changed that, but didn't explicitly state it. From the comments of the original article, the
69.
by mmarx 9y ago
> Do you mean that it's #P and not a priori NP? Counting problems can sometimes be in NP by deciding whether the count is the correct one (with the right encoding, function problems can be thought of as a subset of decision problems
70.
by mmarx 9y ago
That's just a good heuristic, though, it does not guarantee finding a solution. Also note that NP is a class of decision problems, and finding a solution for the n-Queens problem is not. None of the two decision problems that arise nat
71.
by mmarx 9y ago
Counting solutions is not a decision problem, so it can't be in NP. The corresponding counting complexity class is #P.
72.
by mmarx 9y ago
> A career-ending disaster He is a tenured professor in Germany, there is very little that could end his career (essentially refusing to honour his teaching obligations or being convicted of a felony). At worst, this will be immensely em
73.
by mmarx 9y ago
> I've had this theory that Thimbleweed Park is secretely played in the Monkey Island universe. I wish that was true, but alas the in my opinion a bit too Gilbertesque ending kinda disqualifies it for that. Consider the two brothers
74.
by mmarx 9y ago
> That change is at least 2 years out if you're running Testing on your servers or 4 years with Stable. I think that's a reasonable goal. That's not how the Debian release process works. If everything goes well, that packa
75.
by mmarx 9y ago
> There's only one problem with this thing: all the characters are on one hand with a qwerty keyboard! They are also all on the left hand in both Dvorak and Neo.
76.
by mmarx 9y ago
That's exactly what got Skype banned on our university's network back when it still used to do that, because otherwise supernode traffic would have taken a significant portion of the uplink bandwdith.
77.
by mmarx 9y ago
Monotonicity is a property of functions that is relative to some ordering relation (e.g., f(x) = x + 42 as a function on natural numbers is monotone with respect to the natural ordering). In this case, that ordering relation is <:, and c
78.
by mmarx 9y ago
HP/HPE/Aruba switches have shipped with DHCP enabled in the factory config for at least the last seven years, so you very much don't need a serial console to configure those. The Cisco WLAN controller I came across last week,
79.
by mmarx 9y ago
Fixed-format FORTRAN isn't actually that rigid. The first six columns have special semantics, but apart from that, the compiler is not going to enforce a certain style.
80.
by mmarx 9y ago
The gnat Ada compiler has style warnings, which, together with -Werror, ensure that you don't write non-conforming code.
81.
by mmarx 9y ago
Which is still ~32k GBP, so almost double the UK threshold.
82.
by mmarx 9y ago
Hannover itself may be centrally located and quite reachable, the Messegelaende in Hannover is not. There is, for example, no tram service going from Messegelaende to the city center between 2130—0400. With the last talks of the day usually
83.
by mmarx 9y ago
There's also RDFox[0] and VLog[1], both of which are implemented in C++. [0] https://www.cs.ox.ac.uk/isg/tools/RDFox/ [1] https://github.com/jrbn/vlog
84.
by mmarx 9y ago
> science requires reproducing. Opening the code is literally enabling reproduction. When researchers refuse to do that, they refuse to be scientists. Yet refusing to open the code is not refusing to enable reproduction.
85.
by mmarx 9y ago
> Do you disagree that people use Hochdeutsch at home? I assume he disagrees with your claim that almost nobody speaks Hochdeutsch at home (which you even seem to contradict yourself).
86.
by mmarx 9y ago
> Karlsruhe, Aachen, Darmstadt are also worth considering albeit less attractive places to live in. They are also considerably less expensive places to live in.
87.
by mmarx 10y ago
Prolog is a turing-complete programming language suitable for general programming tasks. Datalog is a subset of Prolog that is suitable for use as a database/query system. The main difference between datalog and Neo4J is that datalog a
88.
by mmarx 10y ago
> - There is also datalog, with pydatalog it's python equivalent. Datalog is a strict subset of Prolog that guarantees termination (over finite sets), i.e., it's not turing-complete. This makes it more suitable for knowledge re
89.
by mmarx 10y ago
> If they want you to stay up-to-date, they'll provide a piece of PHP/Node that emits the latest URL/SRI tag. Then how do you verify the integrity the integrity for the tag?
90.
by mmarx 10y ago
Especially so for DNS servers, and since long before the google nameservers[0]. [0] https://tools.ietf.org/html/rfc3258

More ›