mmarx

14 ms·

91.
by mmarx 10y ago
> But at least all problems that could happen on a financial application are solved with decimal floating points (where you will only want to use rationals in finite decimal form like 0.01) You still get cancellation if the magnitudes di
92.
by mmarx 10y ago
> Please try writing an ERP system where you have a quantity of a billionth of an item price of a billion euros (or an item price of a billionth Euro and a quantity of billions) and tell me which integer type you deem sufficient for this
93.
by mmarx 10y ago
> See IEEE754 Only in the original 1985 version, however: IEEE 754-2008 actually specifies decimal floating point types; decimal arithmetic was already specified in IEEE 854-1987. Of course, the default representation is almost always on
94.
by mmarx 10y ago
> Specifically: when you have a less-than relationship "<", then !(a<b) && !(b<a) implies that a and b are equal (a==b). And if a==b and b==c then it must be the case that a==c, or the requirements of the
95.
by mmarx 10y ago
Generic procedures were already introduced in Fortran 90, i.e. in 1991.
96.
by mmarx 10y ago
Which actual security benefits do you get from blocking ICMP? Is that really worth it, considering that you break Path MTU Discovery, rendering your servers unusable for some people?
97.
by mmarx 10y ago
That's the situation in Germany as well.
98.
by mmarx 10y ago
That allows you to assume that the traffic light is defective, in which case the traffic signs would apply and require you to turn right—but that is exactly what is allowed by the green arrow even at a red light.
99.
by mmarx 10y ago
Yes. The difference is that the lighted version does not require stopping (because it's only lit when there is no cross-traffic anyway), whereas the static sign does require a stop before turning.
100.
by mmarx 10y ago
Decidability (as a property of decision problems like the halting problem) is a different notion, though: In the context of incompleteness, an undecidable statement is a statement that cannot be proven or disproved in that system. Decidabil
101.
by mmarx 10y ago
Presburger arithmetic[0] is powerful enough to describe the natural numbers with addition, yet still consistent and complete. On the other hand, Robinson arithmetic[1] lacks induction, but axiomatizes addition and multiplication, and that i
102.
by mmarx 10y ago
Regardless of contractor/employee status, there are additional requirements for commercial passenger transport besides having a Driver's License. Certainly drivers are responsible for compliance.
103.
by mmarx 10y ago
With amara, there already is a software solution for crowd-sourced transcribing (and even translating).
104.
by mmarx 10y ago
Recompilation[0] simply calls the compiler binary, though. [0] https://github.com/xmonad/xmonad/blob/master/src/XMonad/Core...
105.
by mmarx 10y ago
Ada is (usually) not garbage-collected, precisely due to the unpredictable pauses.
106.
by mmarx 10y ago
> It's distinct from docker in this way, it tries to define a line between core and app dependencies, to get the best of both worlds. I.E. critical components are updated ASAP by the disro security team, but apps are free to use a
107.
A Dichotomy for Digraph Homomorphism Problems(arxiv.org)
1 points by mmarx 10y ago|0 comments
108.
by mmarx 10y ago
> IIRC the explanation is really "this is what Intel's stuff is supporting, and we're stuck with what Intel supports" All of the available CPUs support 32 GB; the i7s in the 15" model even support 64 GB. [0] htt
109.
by mmarx 10y ago
> I agree with most of the points here, but some stuff is misleading. For example the "you have to rebuild after everything that code change" is ridiculous. Just use "COPY SRC/ /app" In your dockerfile, and
110.
by mmarx 10y ago
> Okay, so now make a serious iOS app in Objective-C in "a few hours". As in, have one by this time tomorrow. See? It's crazy. That's not how it works. But then making an iOS app requires picking up frameworks/li
111.
by mmarx 10y ago
> howp “how?” is not a predicate (i.e. something that returns a Boolean value), so it wouldn't be named howp.
112.
“Gtk 4.0 is not Gtk 4”(blogs.gnome.org)
3 points by mmarx 10y ago|0 comments
113.
by mmarx 10y ago
> This is especially true when your goal is supporting development teams: with something like Docker, normal users don't need root just to start a daemon on a privileged port or write to a couple of files. If you work in a large or
114.
by mmarx 10y ago
> And contrary to popular belief, HTML was indeed originally designed for applications. Why do you think it has the form and input elements? Why do you think HTTP has OPTIONS, POST, PUT, PATCH, and DELETE? If it were just about document
115.
Gödel Incompleteness for Startups (2013)(skibinsky.com)
1 points by mmarx 10y ago|0 comments
116.
by mmarx 10y ago
If you're looking for textbooks, Abstract and Concrete Categories—The Joy of Cats[0] by Adámek, Herrlich, and Strecker provides a nice introduction and is freely available as a PDF download. [0] http://katmat.math.uni-bremen
117.
by mmarx 10y ago
Also, back in 2008, activists published the fingerprints of another minister[0]—that one was lifted from a glass of water, though. [0] https://www.wired.com/2008/03/hackers-publish/
118.
by mmarx 10y ago
> The problem with this is that TeX cannot be described using a context-free grammar (CFG). Knuth has discussed this in the past. So, building a compiler for TeX is almost impossible. Neither can C++[0], yet there still are C++ compilers
119.
by mmarx 10y ago
> But Linux doesn't care and lets them run. No, it doesn't, at least on Fedora[0]: “When Secure Boot is enabled, the EFI operating system boot loaders, the Fedora kernel, and all kernel modules must be signed with a private key
120.
by mmarx 10y ago
> Or else what happens? In the extreme case (the empty program), there is no more code left to remove. It suffices that any proper subset of the code is insufficient to provide the needed functionality, though. > It should be consider

More ›