radarsat1

141 ms·

1381.
by radarsat1 15y ago
> given any formal system F that we might want to take as a foundation for mathematics (for example, Peano Arithmetic or Zermelo-Fraenkel set theory), Gödel tells us that there are Turing machines that run forever, but that can’t be pro
1382.
by radarsat1 15y ago
I would guess that the only real advantage is that you can use git tools to manually explore the object store. So it's highly transparent from a debugging point of view for example.
1383.
by radarsat1 15y ago
What's with the tendency to assume that people chose the GPL by accident or by default? What if they chose it explicitly to ensure that any published changes are contributed back to the community?
1384.
by radarsat1 15y ago
It's a myth that malloc/free is constant-time in a reference-counting scheme. If you are doing real-time programming, malloc/free should be avoided as much as garbage collection.
1385.
by radarsat1 15y ago
> by compiling and running code during the build process They don't do that when used in cross-compiling mode.
1386.
by radarsat1 15y ago
This works in many markets. Look at clothing labels for instance. Take a fairly plain shirt or something, put a tiny logo on it, double the price. It works. My personal example is that I have several music recordings downloadable for fre
1387.
by radarsat1 15y ago
> In a year, the average iOS app will automatically sync data across devices using iCloud, while there is no simple knob you can switch to store it in Dropbox instead. Which is, frankly, scary: imho, you should be able to easily switch
1388.
by radarsat1 15y ago
I sometimes start writing papers in markdown using Pandoc too, but usually I eventually switch over to Latex when the formatting needs get more complicated. Still, it's a nice way to write. I love that Pandoc allows you to throw in arbitr
1389.
by radarsat1 15y ago
> As an Australian, hypothetically our US counterparts are often viewing and discussing brand new popular television as it comes out in America. I have heard that this could also happen, hypothetically, in the reverse direction for popu
1390.
by radarsat1 15y ago
I use this all the time for running web pages (often blogs, as well as Project Gutenberg books and wikipedia pages) through LaTeX to convert them into a format more palatable on my ereader.
1391.
by radarsat1 15y ago
I'm not sure I understand the attraction of writing a fast interpreter, as opposed to writing a JIT or ahead-of-time compiler. If you're going to the trouble of optimizing the hell out of your interpreter, yet compiling will always result