tgflynn

50 ms·

511.
by tgflynn 6y ago
> ... to pay the Debts and provide for the common defence and general Welfare of the United States Right after "common defence" comes "general warfare" but for some reason that's something most Americans (or at l
512.
by tgflynn 6y ago
Yes, I just saw this myself about an hour ago with some other ad.
513.
by tgflynn 6y ago
Makes sense. That announcement certainly surprised me, especially so soon after they took over IBM's chip fab business.
514.
by tgflynn 6y ago
https://www.ibm.com/products/power-system-s922/pricing
515.
by tgflynn 6y ago
> They don’t want to maintain a sales force. Wow, I didn't realize their culture had changed that much. They were a sales oriented company since the days of Thomas Watson Sr.
516.
by tgflynn 6y ago
That seems a bit disappointing. It might suggest that IBM is backtracking on their openPOWER approach.
517.
by tgflynn 6y ago
The last time I checked (which was quite a while ago) you could configure and price at least some categories of POWER servers on IBM's website much like you can with Dell or any other x86 vendor. The big difference though was in the a
518.
by tgflynn 6y ago
They've made huge changes since those days, getting rid first of x86 laptops and desktops then servers then chip fab. None of those decisions ever seemed particularly wise to me, especially the last.
519.
by tgflynn 6y ago
Thanks, I missed that, didn't read the PR all the way to the end. I wonder how they got out of their deal with Global Foundries.
520.
by tgflynn 6y ago
So who is going to actually fabricate these chips, Samsung ? IBM transferred its own chip fab business to Global Foundries several years ago and it was my understanding that they were tied to them for the following 10 years. But Global Fou
521.
by tgflynn 6y ago
I don't know what the plan is for POWER10 but POWER9 systems are available from other vendors than IBM. Notably this company: https://www.raptorcs.com/ . The systems are still quite expensive, but likely within the bud
522.
by tgflynn 6y ago
One might argue that stoicism would be one such case, though I don't think it developed techniques anywhere near as sophisticated as those of Eastern traditions. As for Buddhism, which is at the root of what most people mean by "m
523.
by tgflynn 6y ago
The title is very strange because it fits the Haber process which was discovered over 100 years ago. It turns out the article is about applications considerably narrower than just "nitrogen products" in general.
524.
by tgflynn 6y ago
How would I go about confirming that your statement is accurate ? I see several comments on the article saying it looks like it might have been written by GPT-3, but there's no confirmation. There's also a comment on the article i
525.
by tgflynn 6y ago
I'm pretty sure that Alsace-Lorraine was far more prominent in the consciousness of most French (certainly) and German (probably) citizens in 1914 than were any extra-European colonies. As for the Nazis, their primary target was Europe
526.
by tgflynn 6y ago
> Keep in mind that inter-imperial conflict arguably led to two world wars I'm not an historian but my impression is that WWI was primarily the result of intra-European conflicts between the great powers with any colonial issues bei
527.
by tgflynn 6y ago
I suspect that the ideal language (at least for human use) is one that is just shy of Turing completeness. Once a program compiles and an initial configuration phase has passed all loops would be bounded and all recursions would be guarant
528.
by tgflynn 6y ago
(2) sounds very similar to the way I have typically handled db access in C++. However the kind of state I was referring to is more about the internal computational data used by the program than about external resources.
529.
by tgflynn 6y ago
My understanding is that Clojure is basically lisp implemented inside the Java ecosystem. I'm not sure how that makes it "modern" given that the only higher level language older than lisp is the original version of Fortran.
530.
by tgflynn 6y ago
So what is your preferred solution for programs that intrinsically need to deal with a lot of state ? Global variables ? I used to see that type of approach in some complex Fortran simulation programs where every function referenced a huge
531.
by tgflynn 6y ago
I don't think the cost of the reduction is usually the problem. Most reductions to 3-SAT I've seen are either linear or can be made linear with a little work. For example any boolean circuit can be reduced to a <=3-SAT instan
532.
by tgflynn 6y ago
The idea is that for many problem instances the heuristic solvers can find a solution far more quickly than by exhaustive search, but maybe that wasn't the case for your particular problem.
533.
by tgflynn 6y ago
> I don't know if there's an established formalised terminology for this type of conversion Technically they're polynomial-time many-one reductions. https://en.wikipedia.org/wiki/Many-one_reduction Bu
534.
by tgflynn 6y ago
> As of yet this hunt has not been successful. How current is your information ? I think I've seen random instances in some of the more recent SAT competitions with only a few thousand variables that have not been solved. That said
535.
by tgflynn 6y ago
OK, but it still looks like N7+ has been shipping for almost a year so I think my main point still stands.
536.
by tgflynn 6y ago
> It's widely accepted that TSMC 7FF "7nm" is the peer to Intel P1274 "10nm" I think there's one huge difference there though. As I understand it TSMC 7nm is an EUV process while Intel's 10nm is not. S
537.
by tgflynn 6y ago
Well that's odd. I've been scanning the front page quite frequently since I heard about this on Friday and yet somehow missed this.
538.
by tgflynn 6y ago
But there's already been a process slip. > Intel’s current best technology, known as 10 nanometer in the industry, was scheduled to appear in 2017 and is only now making it into high-volume production. And when the company reported
539.
by tgflynn 6y ago
I agree with you. The software culture is full of general and conflicting claims like "functional programming is better", "object orientation is bad", etc. Most of that is just useless noise.
540.
by tgflynn 6y ago
This topic seems to be of prime importance to the US tech industry. I'm very surprised no post on this has yet made it to the front page.

More ›