crb002

92 ms·

901.
by crb002 11y ago
B^A counts functions from A to B. Curious if he was thinking about exponentials.
902.
by crb002 11y ago
If you want to change this, fund my story problems book. https://experiment.com/u/Uwxi7A Algebra and Functional Programming taught together in Middle School is a huge win.
903.
by crb002 11y ago
Experimented with polyphasic sleep back in grad school. Pretty sure it is bunk. Your body needs hours of sleep to raise HGH levels and conduct proper maintence.
904.
by crb002 11y ago
I've been toying around with the idea of SPL, Species Programming Language. See Brent Yorgey's thesis. Like APL, functions would be able to match where they bind within a data structure. Instead of just multidimensional arrays it
905.
by crb002 11y ago
#1 What is the complexity of boolean matrix multiplication? #2 Is there a parallel algorithm for GCD?
906.
by crb002 11y ago
Or stress methylation of their DNA passed through generations. http://www.sciencedirect.com/science/article/pii/S0028390814...
907.
by crb002 11y ago
Brilliant. Concierge drivers consume very new cars, decreasing use of older ones thus driving GM sales.
908.
by crb002 11y ago
Rand should filibuster everything until a CISA removal bill is passed.
909.
by crb002 11y ago
These days you can just run strace and see all the OS calls.
910.
by crb002 11y ago
Lemmas aside, how is this different than only checking repeated prime cycles in conjunction with one of the existing partition algorithms like NAUTY? Laci personally rejected my note submitted to Information Processing Letters saying the lo
911.
by crb002 11y ago
Cloudera came to town little over a year ago to work on an undisclosed project. Pretty sure given the Bosh Global Services want ads for a Hadoop developer it was to process drone images for the Iowa Air Guard.
912.
by crb002 11y ago
What do the power series at top have to do with the equations at bottom? McIlRoy of Unix pipe fame has a wonderful exposition on programming with power series. http://www.cs.dartmouth.edu/~doug/powser.html
913.
by crb002 11y ago
It's the Clang IR, same stuff they are making you push to the app store. Realtime software updates passed as proof carrying byte code. That's where Apple will be king, the agility to safely update.
914.
by crb002 11y ago
It's sad Iowa Governor Branstad got rid of our Air Guard and replaced the 132nd with drone pilots. Then even advertise they are manning Reapers from the DSM Airport/Camp Dodge at the top of the kill chain. http://www.13
915.
by crb002 11y ago
Isn't that what an insurance company is? Defendants pool their resources to fight off torts, share the judgements against them.
916.
by crb002 11y ago
Proof is in the version control commits.
917.
by crb002 11y ago
Also, http://www.quviq.com did a lot of CAM bus testing for EU car makers. Betting John Hughes is going to be somebody's star expert witness.
918.
by crb002 11y ago
Nah. Watch the video where they put it on a 2 wheel vs 4 wheel dyno. Lots of quirky stuff going on that is visible with lights on the dash. Proof will be in the source code and the version control history.
919.
by crb002 11y ago
The only plausible explanation of a non-criminal nature is that day to day engineers having to hunch over the exhaust of a running VW to debug quirky CAM bus stuff did it as debug mode code and it shipped with the feature toggle on.
920.
by crb002 11y ago
Bloomberg can write a one page Python flask/bottle wrapper around any of that Fortran and serve it up as a microservice. They got Pang Ko from Mathworks who is one of the top parallel computing data structure minds in the world. I&#x27
921.
by crb002 11y ago
IANAL Hold them accountable under the Hobbs Act for obstructing interstate commerce via extortion of business licenses? http://extortion.uslegal.com/anti-racketeering-act-hobbs-act... Not to mention a local "business l
922.
by crb002 11y ago
The list of .gov and State govt email accounts is public transparency. Someone should extract those and turn them over to Muckrock.
923.
by crb002 11y ago
Is there a name for the field of computer science that classifies these linkages by their topological proporties other than just general CAD stuff? It would be awesome to say I have linkage A and linkage C, what kind of linkage B can I put
924.
by crb002 11y ago
Contact any computational chemist. They will use that overnight. Make sure to get documentation for a tax write off.
925.
by crb002 11y ago
I would venture to say that Packer/Mesos is far more important than Docker. You get automated full infrastructure builds from source or trusted binaries, and full cluster management. Docker is useful when you have many layers of apps t
926.
by crb002 11y ago
No. Grab a copy of Ja Ja's book. There are some cool things you can do with a PRAM machine. http://www.amazon.com/Introduction-Parallel-Algorithms-Josep...
927.
by crb002 11y ago
Much SAT. Such generating function. Algorithm W on page 79 (WalkSAT) is the workhorse. Lemma L and Algorithm M page 82 were my favorites.
928.
by crb002 11y ago
The collected works of Richard Buchi is going for $10 on Amazon. Amazing insight into automata reseach during the 1960s.
929.
by crb002 11y ago
With LLVM as a back end this should be trival.
930.
by crb002 11y ago
It is a trespassing enhancement statute. You could still navigate public waterways or take photos from the land borders.

More ›