crb002

91 ms·

871.
by crb002 10y ago
Microsoft's efforts in Z3 and Lean to make IDEs interactive theorem provers is going to change how we code. I'm curious which will be the first to adopt FPGAs and Micron Automata style processors in memory.
872.
by crb002 10y ago
Prisms for wave division multiplex keep on getting more color channels while speed of light stays the same. What is the physical limit of prisms?
873.
by crb002 10y ago
Putin recalled Russian military family members. For those that don't understand Russian culture that's Defcon 3.
874.
by crb002 10y ago
This could be good for ITT going fully private. Much more control of it's product.
875.
by crb002 10y ago
Govt HPC buys.
876.
by crb002 10y ago
Or just change XIDs to 64 bit...
877.
by crb002 10y ago
I think it's time for the U.S. to erect an Armenian Genocide monument in D.C. https://en.wikipedia.org/wiki/Armenian_Genocide
878.
by crb002 10y ago
Every chip reader in Des Moines uses the same reader hardware, and every software install on them is radically different. Somebody is making bank writing the glitchy touch screen apps.
879.
by crb002 10y ago
Congrats. I have mixed feelings about Sage. I regularly shell out to Python for many of the underlying libraries, but I rarely use the Sage GUI.
880.
by crb002 10y ago
https://github.com/chadbrewbaker/endoscope is more useful.
881.
by crb002 10y ago
https://twitter.com/lambdamart Also have the LambdaMart.com domain purchased. If you need some AWS Lambda functions give us a holler. We can do C/C++/Haskell/Bash in addition to the officially supported SDKs.
882.
by crb002 10y ago
Looking to monetize a suite of AWS Lambda functions. Licensing code to larger orgs, and as a service. More focus on algos with high CPU/IO ratio, but no problem with S3 file transforms etc. Just myself and a marketing/sales guy. N
883.
by crb002 10y ago
Definitely. Most software vulnerabilities are from failure to write formal parsers on on all inputs. Is there a command line YACC for compiling simple stuff?
884.
by crb002 10y ago
I would add to that list Nokogiri, "The Chainsaw". xsltproc is ubiquitous, but writing xslt is akin to having a pack of wild monkeys compose a mural with their excrement.
885.
by crb002 11y ago
That's easy. Replacing all the hoards of other handwritten input parsers with formal parsers is the task at hand. The new bounty will be for proofs of input parser correctness, not exploits.
886.
by crb002 11y ago
Rule of the day. Ad hock parsers are the #1 infosec issue. AFL is the Killer Rabbit. The only defense is writing formal parsers on all inputs.
887.
by crb002 11y ago
How does this compare to Haxl?
888.
by crb002 11y ago
Trump plan is best. Set a tax floor of $50-$100k. Exclude millions of americans from even having to file.
889.
by crb002 11y ago
Why isn't Oracle running this on the JVM or Oracle DB?
890.
by crb002 11y ago
How about shelling out to native C/C++? I have Haskell running on AWS Lambda would be nice for Azure Functions, https://github.com/chadbrewbaker/introToAWSLambda
891.
by crb002 11y ago
I want C++ to have a built in SMT solver expressive enough that it can do concepts and a whole lot more. Maybe a new keyword constrain?
892.
by crb002 11y ago
Embryonic CRISPR is here and humanity is not only hereditary. It's the genetics debate that needs to happen. Moldbug's racist viewpoint is now irrelevant. How much should the State intervene? Wrath of Kahn and GATTACA were both dy
893.
by crb002 11y ago
The crime is the NTSB not taking these unsafe vehicles off the road. Drivetrains should be air gapped. Period. You want a multimedia display it should be read only off the CAN bus.
894.
by crb002 11y ago
Hoping John Deere buys it. https://m.youtube.com/watch?v=lYh54Qdh_5g Only farm big iron should be combines. Smaller bots for planting, weeding, and spraying are the future. Bosch is getting too far ahead. http://
895.
by crb002 11y ago
How much you want to bet that simply running Valgrind would have caught it?
896.
by crb002 11y ago
I remember taking assembler class circa 1998 on a VAX at Drake University. 8 addressing modes and that floating point that wrapped around like a snake eating it's tail. I don't want a RasPi or an Arduino. I want a VAX on USB.
897.
by crb002 11y ago
What's new is that they are using FP instead of C++ to deliver results quickly and more reliably. These aren't the quants from the 90s that were Physics PhDs applying the latest and greatest in differential equations and whatnot.
898.
by crb002 11y ago
Processors in memory like Micron's Automata http://www.micronautomata.com Von Neuman arch is dead for a lot of simple compute tasks. CISC central CPU will only be used for very specific workloads that need custom circutry l
899.
by crb002 11y ago
"For java, there is absolutely some “jvm warmup” time that was noticed when there was low activity on the lambda function. To avoid this, we increased the frequency which Fastly was pushing S3 logs and we saw a 2x decrease in run time
900.
by crb002 11y ago
IBM is failing at devops. It needs to license developer versions of DB2, MQ, and Websphere at free so devs can containerize and spin up instances for unit tests on a whim. It needs to advocate a liquibase type solution too. Fortune 500 IBM

More ›