I completely agree with that
The Linux kernel is generally much larger than OpenBSD which is quite minimal.
Snide remarks, both of you :) My point was not that Meta has the best AI researchers/engineers. My point was it should not matter if Zuck is a PHP developer or whatever, instead of an AI researcher, as he employs a lot…
> He's not an AI scientist or an AI researcher Perhaps he employs some, you know, to inform him on the topic?
> Transistors form an efficient, single element, universal digital basis But transistors can be N or P-channel, so it’s not a single logical primitive, like e.g. NAND-gates.
The Panama and Suez Canals charge fees because they are artificial passageways, created by the blood and sweat of thousands. Both were huge investments. The Panama Canal had cost 400-500 million USD and 25-30k lives to…
My experience is that most of these are slipups, completely unintended, and that a kind reminder is actually appreciated. Cutomers are mid-sized companies (60-600 employees, give or take) all based in Europe FWIW.
> There is nothing special about roman concrete compared to moderns concrete. Modern concrete is much better Roman concrete is special because it is much more self-healing than modern concrete, and thus more durable.…
Yeah I know, but still.. IMO it doesn’t exactly smell like roses :D I think you have to be Swedish or have grown up eating such stuff to think otherwise.
> Surströmming That smell though! You can evacuate a small town by opening a can of this.
> I think organisms also come with a partial built in understanding of nature at birth I agree. Most organisms are quite pre-trained: they have “instincts” and natural behaviors. E.g. newly hatched turtles know to crawl…
Z3 is capable (it’s an SMT solver, not just SAT), but it’s not very fast at boolean satifiability and not at all competitive with modern SOTA SAT solvers. Try comparing it to Chaff or Glucose e.g.
Interesting point! Is this an Americanism? I’m from northern Europe. I might use the micro to heat up leftovers or a cup of water for tea or whatever in a pinch, but in this household (and at all my friends’), the stove…
Very much is. "Software programs, as such" are exempt in the EPC article 52. However if the software program interacts with the world - if it has a "further technical effect" - it is patentable.…
Wow okay. Maybe my club is “gentle”, I’ve never had a single injury from BJJ. I’ve had some from lifting weights. I see your point about solo sports. > Also how on earth are you managing not to get bruises at BJJ Oh I…
> Consider Brazilian jiu-jitsu, which is certainly not safe but is very grounding What :D? I would say BJJ is an exceptionally safe martial art in that you can spar at 90-95% and not get hurt at all. Muay Thai or boxing…
It sounds quite plausible. Almost all equity ETFs do their balancing against dark pools or directly with market makers to avoid arbitrage and to ensure enough liquidity. Since index ETFs have more AUM than the…
Depends A LOT on what exactly you need for day to day usage. E.g. some have higher requirements than others.
AFAIK there are about ~100 companies in the world with more employees than Alphabet/Google.
Yes Sweden has non-trivial mineral resources, but nothing like e.g. China, Russia or Australia though. The Scandinavian social programs are funded by high taxation. It is mostly a result of political prioritization, and…
> People talk about how socially progressive Scandinavia is but they have a shitload of petroleum resources and that money goes into social programs Of all the Scandinavian countries, only Norway has any oil resources…
> I don't know what it is, but your average employee seemingly sees themselves as wholly separate from the work they're paid to do. Hannah Arendt coined the term “the banality of evil”. Many people think they are just…
Agree, competition is healthy.
> Well Tesla just launched their robotaxi 6 months ago whereas Waymo has been going for a decade? Just looking at a point in time is a bit silly, look at the change over time. I am only refuting the claim that Tesla has…
> And given that in Austin they just reached parity with Waymo Tesla is far behind Waymo on all meaningful measures. Waymo sells more than 450k rides every week. Tesla is nowhere near that number. Waymo offers rides in…
I completely agree with that
The Linux kernel is generally much larger than OpenBSD which is quite minimal.
Snide remarks, both of you :) My point was not that Meta has the best AI researchers/engineers. My point was it should not matter if Zuck is a PHP developer or whatever, instead of an AI researcher, as he employs a lot…
> He's not an AI scientist or an AI researcher Perhaps he employs some, you know, to inform him on the topic?
> Transistors form an efficient, single element, universal digital basis But transistors can be N or P-channel, so it’s not a single logical primitive, like e.g. NAND-gates.
The Panama and Suez Canals charge fees because they are artificial passageways, created by the blood and sweat of thousands. Both were huge investments. The Panama Canal had cost 400-500 million USD and 25-30k lives to…
My experience is that most of these are slipups, completely unintended, and that a kind reminder is actually appreciated. Cutomers are mid-sized companies (60-600 employees, give or take) all based in Europe FWIW.
> There is nothing special about roman concrete compared to moderns concrete. Modern concrete is much better Roman concrete is special because it is much more self-healing than modern concrete, and thus more durable.…
Yeah I know, but still.. IMO it doesn’t exactly smell like roses :D I think you have to be Swedish or have grown up eating such stuff to think otherwise.
> Surströmming That smell though! You can evacuate a small town by opening a can of this.
> I think organisms also come with a partial built in understanding of nature at birth I agree. Most organisms are quite pre-trained: they have “instincts” and natural behaviors. E.g. newly hatched turtles know to crawl…
Z3 is capable (it’s an SMT solver, not just SAT), but it’s not very fast at boolean satifiability and not at all competitive with modern SOTA SAT solvers. Try comparing it to Chaff or Glucose e.g.
Interesting point! Is this an Americanism? I’m from northern Europe. I might use the micro to heat up leftovers or a cup of water for tea or whatever in a pinch, but in this household (and at all my friends’), the stove…
Very much is. "Software programs, as such" are exempt in the EPC article 52. However if the software program interacts with the world - if it has a "further technical effect" - it is patentable.…
Wow okay. Maybe my club is “gentle”, I’ve never had a single injury from BJJ. I’ve had some from lifting weights. I see your point about solo sports. > Also how on earth are you managing not to get bruises at BJJ Oh I…
> Consider Brazilian jiu-jitsu, which is certainly not safe but is very grounding What :D? I would say BJJ is an exceptionally safe martial art in that you can spar at 90-95% and not get hurt at all. Muay Thai or boxing…
It sounds quite plausible. Almost all equity ETFs do their balancing against dark pools or directly with market makers to avoid arbitrage and to ensure enough liquidity. Since index ETFs have more AUM than the…
Depends A LOT on what exactly you need for day to day usage. E.g. some have higher requirements than others.
AFAIK there are about ~100 companies in the world with more employees than Alphabet/Google.
Yes Sweden has non-trivial mineral resources, but nothing like e.g. China, Russia or Australia though. The Scandinavian social programs are funded by high taxation. It is mostly a result of political prioritization, and…
> People talk about how socially progressive Scandinavia is but they have a shitload of petroleum resources and that money goes into social programs Of all the Scandinavian countries, only Norway has any oil resources…
> I don't know what it is, but your average employee seemingly sees themselves as wholly separate from the work they're paid to do. Hannah Arendt coined the term “the banality of evil”. Many people think they are just…
Agree, competition is healthy.
> Well Tesla just launched their robotaxi 6 months ago whereas Waymo has been going for a decade? Just looking at a point in time is a bit silly, look at the change over time. I am only refuting the claim that Tesla has…
> And given that in Austin they just reached parity with Waymo Tesla is far behind Waymo on all meaningful measures. Waymo sells more than 450k rides every week. Tesla is nowhere near that number. Waymo offers rides in…