mmarx

14 ms·

121.
by mmarx 10y ago
> The easier it is to remove code from someone else's program, the "cleaner" the code. But then, contrary to intuition, a program becomes less clean by actually removing code (since now there is less code to remove, hence
122.
by mmarx 10y ago
That might suffice for solving real-world problems, but not for doing mathematics itself: Intuition will get you a long way, but for working out some of the finer details, you'll have to resort to rigour. Furthermore, without having go
123.
by mmarx 10y ago
It's one of the shells in the NetBSD base system. bash, for example, is not guaranteed to be installed.
124.
by mmarx 10y ago
> I'm really confused by this data. How could the average cost of the most expensive model be less than the cost of the most expensive brand? It's because the brand estimates are not based on actual costs, but only on oil chang
125.
by mmarx 10y ago
> Why is the most expensive BMW listed less than the average cost of BMW? “In order to estimate annual maintenance costs, we found the amount spent on every two oil changes (as oil changes are generally done every six months).” The oil c
126.
by mmarx 11y ago
>> writing programs is actually equivalent to doing a mathematical proof > Only in the sense that writing in brainfuck is equivalent to writing in Python... Actually, in the very concrete sense that a program is a proof for the for
127.
How will fiber optics save the world?(beyondtech.us)
3 points by mmarx 11y ago|0 comments
128.
by mmarx 11y ago
> Because init is common to several UNIXes and ip=dhcp is a Linux specific feature? And yet the author seems to be comfortable using those linux-specific features: “Also, the kernel paremeters must have the rw flag or you have to remount
129.
by mmarx 11y ago
The kernel already supports acquiring a DHCP lease via the “ip=dhcp” boot option. Why does this need to be a feature of init?
130.
by mmarx 11y ago
But this is also true if the file does not exist, and the could would then fail anyways.
131.
by mmarx 11y ago
> Specifically, now every caller to this function has to pass in a mode value, even if the file exists, even if they don’t really care and are happy with a default file mode. Wouldn't this be solved by allowing for optional argument
132.
by mmarx 11y ago
First-year students in our maths curriculum here are still taught Fortran 95. > not having to deal with pointers There are pointers in Fortran, though. It's the absence of things like pointer arithmetic that makes them much safer to
133.
by mmarx 11y ago
> - HDD and network activity indicator lights Also, a battery and power supply LED that is not _on the back of the device_, so I can actually see them while using the device.
134.
by mmarx 11y ago
> I guess the concept of a cap seems odd, when one could let the market decide. Keep in mind that, like busses and trams, taxis are considered part of the public transport infrastructure in Germany. One particular consequence is that tax
135.
by mmarx 11y ago
> high-performance Haskell ends up being full of '!' characters for strictness. The upcoming GHC 8 provides the Strict extensions which makes everything strict by default on a per-module level. That should greatly reduce the nu
136.
by mmarx 11y ago
The papers on Inter-universal Teichmueller theory span over 500 pages alone, and they build on material developed earlier that needs to be understood too. Those papers were published a little over 3 years ago, so claiming that they can&#x27
137.
FBI director says companies should ditch encryption(wired.co.uk)
83 points by mmarx 11y ago|52 comments
138.
by mmarx 11y ago
> "Language-specific"? It clearly targets two languages: C and C++. So it's specific to C and C++ (and, apparently, also Go). How is that not Language-specific?
139.
by mmarx 11y ago
The formally-verified Odd Order Theorem[0] using Coq was quite an acomplishment (though probably not what you had in mind). [0] https://hal.inria.fr/hal-00816699/file/main.pdf
140.
by mmarx 11y ago
> No, because his english is horrible, and then he said, during a press conference "we’re here in Germany, we talk Deutsch!". You're confusing Westerwelle with Öttinger.
141.
by mmarx 11y ago
> Stopped reading after author considered IDE's to be a code smell. That's not what the article claims, however. The author critizes languages that _require_ an IDE, not the availability of IDEs.
142.
by mmarx 11y ago
> If the USB stick accidentally contains private keys for signing, that might be of concern. That would still be a problem if the updates were only distributed to repair shops, however (you'd need someone on the inside, but given th
143.
by mmarx 11y ago
> Relatively common even outside Haskell? It's common throughout mathematics. So common, in fact, that there's even a wikipedia article on the phenomenon[0]. “Common examples occur when speaking of compound mathematical object
144.
by mmarx 11y ago
> What I meant was something different. The difference is that saying that "IO is a monad" is wrong in the mathematical sense too. It's relatively common to refer to the underlying set as a monoid (or whatever structure yo
145.
by mmarx 11y ago
BER is a german project[0], and so is the Elbe Philharmonic Hall[1]. Both are long overdue and over budget. “Putting the Germans in charge” may very well not help to avoid delays. [0] https://en.wikipedia.org/wiki/Berli
146.
by mmarx 11y ago
> It’s long fixed, and only a tiny set of cars (only high-end models with keyless entry) were even affected at all. Some of the models on the list feature neither keyless entry, nor are high-end (the Audi A2, for example). While the Audi
147.
by mmarx 11y ago
> All European cars since 1998 will have both, because immobilizers are required by law in most of Western Europe. So will some cars produced before 1998. The Audi S2 (listed in the article) is one of those, and was built from 1990 to 19
148.
by mmarx 11y ago
> Run the various apps e.g XBox, monitor your firewall and simply block the requisite URLs. How do you guarantee that you've blocked all the URLs accessed by the application, and that they're not going to change with the next u
149.
by mmarx 11y ago
That's an unfair comparison, however, print "%(when)s remember to %(what)s in %(room)s but never %(dont)s" % dict_with_explicit_keys was supported back in at least 2.4.
150.
by mmarx 11y ago
Yes. That document is from 2007, which is three years after Fortran 2003 was standardized.

More ›