buff-a

10 ms·

31.
by buff-a 15y ago
OCZ Vertex 3's have been pounded for reliability problems[4], so much so that they've just started a special deal on Newegg [2]. And coincidentally, I'm sure, a jolly story about "a machine's view of time" replete with olde-worlde charm, sh
32.
High-Assurance Web Programming with Coq Rock(jaked.org)
1 points by buff-a 15y ago|0 comments
33.
by buff-a 15y ago
What computer would you rather use? A MacBook running Windows 7, or, say, a Lenovo ThinkPad running Mac OS X 10.7? I'd take the ThinkPad running 10.6 thanks. 10.7 is a total clusterfuck. It pisses me off (a seasoned developer) and it conf
34.
by buff-a 15y ago
Running on a treadmill (i.e. exertion) or running out in the open (i.e. actively using spatial reasoning not to hit things)?
35.
by buff-a 15y ago
I like being able to swap out my HD for an SSD, and later a bigger/faster SSD. My 17" MBP is a mobile workstation. A 17" Air would suck for my purposes.
36.
by buff-a 15y ago
"we’ve deleted the entire collection of user uploaded contact information from our servers" Since we're talking about a fantastic breach of trust, I'd like clarification that all copies of all uploaded contact information have been dele
37.
by buff-a 15y ago
The piece is not designed to be credible to you and me. Its simply so that Fox News can report "New evidence that global warming is a myth is being reported today by a respected newspaper."
38.
by buff-a 15y ago
The thing about the halting problem, though, is that it doesn't say "You can't write a program that can determine if another program will terminate". It says "You can't write a program that can determine if any other program will terminat
39.
by buff-a 15y ago
The fundamental problem here is not money. It is not lobbyists. It is the artificial market of privileges created by the members of the US Government. The US Government should not have the power to regulate Doctors, drugs, food, oil, impo
40.
by buff-a 15y ago
10 PRINT "<rude message here>" 20 GOTO 10 They used to sell computers in stores that you could walk up to and program. BASIC was the command prompt for some computers. The above was the inevitable result.
41.
by buff-a 15y ago
Do these programs meet the OPs definition of functional programming, or are they, in fact, a whole bunch of imperative code that use closures as a method for scheduling more imperative code?
42.
by buff-a 15y ago
Naughty Dog created their own version of lisp called GOAL to control game objects. Scripting languages are common in games, but the "heavy lifting" is done in C/C++, as is the case in Jak and Daxter and Crash Bandicoot. Naughty Dog don't us
43.
by buff-a 15y ago
Video games are all about high-throughput and low latency. Nobody writing commercial games in functional languages that I'm aware of.
44.
by buff-a 15y ago
Then show me a counter example and by that I mean name a specific, complex, in-production project written in a functional language. Also, can you define "this problem" because I'm not sure which one you are referring to.
45.
by buff-a 15y ago
"This is also why programmers who use typed functional languages frequently brag about their low bug count yet eschew methodologies like test driven development: tests pale in comparison to the power of actual models." I've written complex
46.
by buff-a 15y ago
A request to postpone a vote is not necessarily an admission that they no longer believe it the bill to be a good idea. It could be a request to move the vote till after people have forgotten about it.
47.
by buff-a 15y ago
>The use of the word "securing" is deliberate. I believe you are suggesting that like Freedom of Speech, the "right" to control a Writing or Discovery exists without the constitution. Your evidence is the use of the word "securing", to
48.
by buff-a 15y ago
FTA: The experiment was performed at low temperature: about 1 degree Kelvin, which corresponds to about -272 °C (-458 °F). The byte starts switching randomly about once a minute due to thermal energy (heat) at about 5 degrees Kelvin. "low"
49.
by buff-a 15y ago
"Sampling of UI elements from Android, iOS and Windows Phone 7." should read "Sample of UI elements from one specific version of Android, with one specific theme which is likely to be completely different from any other version of Android,
50.
by buff-a 15y ago
http://altdevblogaday.com If you haven't heard of it, Mike is the engine director at insomniac, and a regular speaker at sony dev confs. Lots of great posts from all kinds of game developers. From the about page: >What is #AltDevBlogA
51.
by buff-a 15y ago
More specifically, the problem of trying to write a binary compatible java implementation of a neatly optimized solution written in C. So, the program in question is executed, reads a whole bunch of binary data from a whole bunch of diffe
52.
by buff-a 15y ago
As soon as they have the code required to analyze your code, they aren't small, and as soon as they run that code they aren't fast. OTOH if that's the functionality you want, use eclipse, intellij (or a variant like RubyMine), and buy a bee
53.
by buff-a 15y ago
No; the issue isn’t the functionality - it’s the fact that it’s Google’s own product that is being pushed. I thought the issue was that when searching for an article it gave greater prominence to people from ones circles talking about the
54.
by buff-a 15y ago
FTA: "The traditional store-it-in-two-byte methods are called UCS-2 (because it has two bytes) or UTF-16 (because it has 16 bits), and you still have to figure out if it's high-endian UCS-2 or low-endian UCS-2." Written in 2003, 7 years aft
55.
by buff-a 15y ago
>Programming language research is a very large and deep field I agree with you. But to play devils advocate, if its so large and deep, why do I only hear about Haskell and Scala when language-geeks talk about "advanced" programming lang
56.
by buff-a 15y ago
What exactly makes these languages "advanced" (as opposed to "complicated" or "difficult")? Or does "advanced" here mean "harder" as in "advanced math"?
57.
by buff-a 15y ago
And then there are SIMD compiler intrinsics. Not technically part of the C standard, but if you want them, C/C++ is where you find'em. Failing that there's inline assembly.
58.
by buff-a 15y ago
The contract does not say, for example, "when we, at our sole discretion, toss a coin and arbitrarily decide one way or the other". I think that tossing a coin and using reason are different, and I believe that a court would uphold my expec
59.
by buff-a 15y ago
Yes, this definition of "quits" as "gets suspended" is what I have a problem with. "Quits" used to mean "terminates". I guess in the new apple world, especially given what happens on Lion, "quits" doesn't mean what I think it does.
60.
by buff-a 15y ago
You might want to add "IANAL".

More ›