jbester

I think that has to do with feynman's time at Thinking Machines:

http://longnow.org/essays/richard-feynman-connection-machine...

Formal methods != safety-critical.

I think it'd be a hard sell to use ML in safety-critical systems due to the non-deterministic runtime of the GC and potential for memory exhaustion.

As a counter-example, C doesn't prevent formal methods - FWIW VxWorks puts out Arinc 653 and MILS products that are verified* using formal methods.

* - This is carries the following caveat, I believe the core OS is formally verified but the particular BSP/configuration needs be tested/certified by the customer or at the customer's expense.

Yes, there is no separate tool specifically for drawing shapes, but, you can stroke any selection or path.

I agree, the GP is thinking of this news story: http://www.billboard.com/news/pearl-jam-r-e-m-trent-reznor-c...

I don't think a lawsuit was ever filed. At the time there was speculations as to whether it was considered a public performance and whether it was considered US jurisdiction for copyright.

It's also used as part of the CORS handshake for cross-domain XHR calls.

They still exist in the US, they are working "embedded" now. Embedded has made a huge jump in the last 15 years from custom OSes or no-OS to now COTS RTOSes/Linux. Even the embedded guys lament the newer guys can't debug an ISR anymore...

It may be worth retrying as an experiment to see how lisp fairs now.

Perhaps he's referring to the batteries included feel of other platforms. Every other platform (i.e. .NET/java/ruby/python) have gobs of built-in functionality in the standard library - everything from parsing, to different I/O models (NIO in java), to frameworks (WSGI, WS consumption and production, etc). Lisps diverge fundamentally (e.g., the threading model) if it isn't specified in CLtL or ANSI CL. CL seem hamstrung by those documents.

Concrete Example: 7 years ago I couldn't (using available libraries) reliably parse in lisp a DB dump in XML (~8GB), select some records based on a set of calculations, and convert it to CSV. Most libraries insisted on needing the whole document in memory, some libraries leaked like a sieve and caused heap exhaustion, others couldn't handle UTF8. In the end, I could do it python (couple hours to develop and took 45-60 minutes to run), I could do it in java (several hours to develop and ran in ~8min), but I couldn't do it in LISP without writing a custom XML parser or delving into FFI. Maybe it was an abnormal case, maybe not.

I miss macros and the expressiveness; I miss the community; I don't miss the insanity.

It's anonymous assuming the mint-chip value message and the mint-chip request message are not intercepted or stored. This is a PKI-based system, so they can verify if you signed a transaction. So if you use it online - you can't guarantee it is anonymous. If you use it in-person and nothing stores the request or response then, in theory, it should be anonymous.

The giant caveat is that the documentation online does not seem to indicate whether or not a transaction log is stored in the trusted hardware.

By 1963, the PDP line was already in production, COBOL, FORTRAN and LISP were already defined, and there were military/space vehicles with custom computers around or in development.

There are a couple use cases: 1) applications where the OS is a commodity - abstraction layer to IO (disk, network). MS solution is their PAAS (which is expensive). 2) existing libraries/services that aren't available on Win32 where it is hard to justify another server license just for .NET - this factors in to where I work; some code can't be .NET as there is already a Linux server in the setup. We've ended up with 80% dotnet and 20% python 3) most companies loathe mixing server OSs; some shops have fallen into the MS camp and others the FOSS camp 4) The proof that they aren't going to cannibalize existing OS/SQL License sales is in your comment

Think you have that flipped. The median is the 50th percentile. The mean is the average.

The loan guarantee is actually against government induced project delays not default. The goal is to make the government a stakeholder. The last two built at that same site had > 10x cost overruns for that reason.

That's a 100k gross salary. I don't live in CA, but I'd guess about 30-40% overall tax rate including state tax. That leaves the earner 60k-70k overall to live on. That rent is >= 50% of their income.

Half of all teams are below the median.

Not the GP, but the general principal is to use Redis as a task queueing system. The front-end puts a task into a redis queue. One or more C++ programs are waiting on the queue(s) and execute the given task (like a large DB insert). If results are needed they can be communicated back to the front-end. The front-end can poll for the result or use pub/sub messaging.

This gets you a number of benefits: separation of the front-end logic and the back-end logic, better scalability - there may be a bunch of workers on distributed among different machines, and security - the C++ programs aren't as worried about unvalidated input since their input comes from the front-end.

Wouldn't this hit anyone who linked to wikileaks-like sites?

Obsolete is a strong word. What happens in these industries is that they get split into the high-end (organic farming, small order manufacturing) and the mass-production low-end. Yes in many ways margin have fallen but overall production has gone up, way up.

That being said - retail seems to be our generation's victim. In the last decade, we've replaced media consumables with digital equivalents. This alone has mostly killed music, book, and movie rental stores. It's not just retail stores but retail services - tax prep, insurance, and financial services. Some of this took place in the 90's, but it continued in the 00's and it will continue in the 10's.

DD-WRT firmware supports it in certain firmware versions. A little start up script hacking is required, but, you can setup a ipv6 tunnel through hurricane electric or one of the other tunnel brokers.

Any reference to SCSH should make note of Olin Shiver's infamous acknowledgements page in the manual.

http://www.scsh.net/docu/html/man.html

The story goes: while Olin was working on his doctorate he had the idea to create an anti-acknowledgements page within his thesis. While the typical acknowledgements page covers those who gave lover and support during the author's effort. This page would be dedicated to everyone he got his degree despite of their efforts/encouragements. He, eventually, was talked out of this. Later, this idea re-emerged while at MIT's AI lab and ended up in the SCSH manual. It's definitely worth a read if you want a laugh.

It seems more like the string decodes to multiple base 59 numbers. The cipher is another layer on top of that.

> I would love to see inmates having the ability to pursue a trade, learn programming

Brings a whole new level to the saying "Always code as if the person who ends up maintaining your code is a violent psychopath who knows where you live."

Since it's maiden voyage I would guess not much other than a prolonged check-out, maybe some surveillance and/or mapping.

As for the overall mission mandate may directly or indirectly be related to prompt global strike, a kinetic kill system (either for satellites or for ground targets), or electronic warfare.

http://en.wikipedia.org/wiki/Prompt_Global_Strike

http://www.popsci.com/scitech/article/2004-06/rods-god

By law, information may not be classified merely because it would be embarrassing or to cover illegal activity. Information may only be classified to protect national-security objectives/interests.

I imagine this release is more contentious since it undoubtedly contains sources, methods, and likely personal opinions of the diplomatic corps and the clandestine services operating under the guise of the diplomatic corp.

A spreadsheet would have prevented the author from using floating point to represent money.

It's more a replacement for VMWare Server than VMWare ESX. I think KVM/Xen are closer to ESX. VirtualBox ships with a webservice that you can write custom front-ends against (or script against).

Most of the VM tools seems to miss an ability to branch a VM (i.e. take a snapshot and break it off as a seperate instance). This would be hugely useful for installer testing.

I've tried slicehost, linode, and mosso (now rackspace - cloud servers) they were all pretty similar. I think the new linode pricing now matches the old mosso pricing.

SoC processors have several built in controllers on the CPU. For instance, you'll typically see: a flash controller, an ethernet controller, one or more UARTs, i2c controller, DRAM controller, etc. Development boards break out all of these controllers to external interfaces.

The OMAP-L138 Processor only supports usb 1.1 and usb 2.0. In general, a fair number of low power processors in the PDA/netbook realm only support usb 1.1. It may be possible to use an external usb 3.0 controller but that would dramatically complicate your board design.

It is no doubt possible. I've done something similar to this on a single forum 3 or so years ago and had reasonably interesting results.

Basically, I scraped the site, removed formatting/spacing/dead-words, stemmed (using a modified porter), constructed a matrix of word-frequencies per post. After which I did several various analytical techniques (statical, geometric, etc). The net result from using a blended method was able to identify several most aliases of board posters However, the issue google would no doubt have is sampling size. In a small enough sampling size quirks work as identifying characteristics, in a larger dataset you would no doubt see clusters of people who have similar backgrounds (e.g. education).