kd0amg

7 ms·

31.
by kd0amg 5y ago
My sarcastic internal monologue while loading the article: "If multiple players use systems thinking, which one wins every time?"
32.
by kd0amg 5y ago
> The only way to define non-computable things is to use excluded middle or choice. There is no other way. At least not in the underlying type theories of proof assistants such as NuPrl, Coq, Agda and Lean. Meanwhile, ACL2 has the excl
33.
by kd0amg 5y ago
That comparison would fit even better if we acquired Cu/Ni/Zn at the same rate no matter how much energy we spent on mining it.
34.
by kd0amg 5y ago
You definitely are an edge case if you were already paying your utility bills in cryptocurrency. Otherwise, you spent fiat currency to bootstrap your use of Etherium.
35.
by kd0amg 5y ago
I've found KSP to have a lot less "one more thing" than Factorio. There's not as much opportunity for "I set out to do this, but first, I need this other thing, which I can almost get if I just add one machine over
36.
by kd0amg 5y ago
Quantity of ads seems more like a decision for web site operators to make, balancing the wishes of viewers and clients. If a site's ads drown out the content I go there for, I'd give up on the place, but if a site's ads are &
37.
by kd0amg 6y ago
My guess would be their system decided OP's measurements were unrealistic and adjusted them towards their more "typical" body shape.
38.
by kd0amg 6y ago
> I wonder why multiple people read his comment as pro Pinkertons (pro AMZN etc.) Because "this is common practice" is often used as an argument that "this is reasonable."
39.
by kd0amg 6y ago
And as a follow-up, what of that "else" is taught to a majority of university students?
40.
by kd0amg 6y ago
> Clearly I'm missing something in my logic Sampling methodology. Every ad impression in your sample was shown to the same person, but the ad industry is interested in billions of people.
41.
by kd0amg 6y ago
> Or, in the market, bet on it, and you'll see who wins out. This is a fine way to settle debates about the health/viability of a publicly traded company, but it doesn't help much when the point of contention is a question
42.
by kd0amg 6y ago
Writing a lisp interpreter in J won't really do more to help explore J's syntax than writing anything else in J. It might be a good way to explore how J handles tree-like data, but that's not really something J is designed to
43.
by kd0amg 6y ago
They are right to be frustrated about not seeing the abstract material connected to concrete applications if your course's title is "Differential Equations for Electrical Engineers."
44.
by kd0amg 6y ago
After trying this flaxseed thing, I could get an egg to skate around in the pan while frying in a small amount of oil. In the long term, it's still more hassle than I want with all the flaking.
45.
by kd0amg 6y ago
It is: https://about.fb.com/news/2021/01/responding-to-the-violence...
46.
by kd0amg 6y ago
When you take away someone's right to pursue legal remedy for violations of their rights, they effectively have no rights left.
47.
by kd0amg 6y ago
Having had it explained to me later, yes, but when I first heard the term I thought it was a rebranding of standalone desktop applications rather than something that involves servers.
48.
by kd0amg 6y ago
This entire thread is about how to use a BB oracle to solve halting (and why that means BB is uncomputable).
49.
by kd0amg 6y ago
You probably shouldn't try to use Messenger over a shortwave connection.
50.
by kd0amg 6y ago
I've been blacksmithing long enough to have arguably too many knives.
51.
by kd0amg 6y ago
> My main contra-point to Lisp is that with all the meta programming powers you get, you write yourself into your own little corner where no-one but you and your friends live. You want advanced syntax highlighting, linting, automatic ref
52.
by kd0amg 6y ago
I'd push that a step further and say the problem is about data that's been rendered into a different form for human readability. The plain serial text of a magazine article exists in principle and likely wasn't written with
53.
by kd0amg 6y ago
How about that the format strongly encourages use of 2D representation even for fundamentally 1D data?
54.
by kd0amg 6y ago
I got the sense that they did try to put in that minimum but misjudged how high the bar would be. They sent in their "we hired enough people so give us the money" message, but then (unexpected, I suspect) scrutiny by some civil
55.
by kd0amg 6y ago
RPG is substantially more chill than this in person, so I'm inclined to file it alongside the scsh acknowledgments.
56.
by kd0amg 6y ago
Shallow knowledge isn't a moral failing either. Most things I do for fun benefit from shallow knowledge of something else that I don't find intrinsically interesting enough to study deeply.
57.
by kd0amg 6y ago
This is stated directly in the episode that introduced them.
58.
by kd0amg 6y ago
What would it take for you to care about politics? What sort of issue would have to be up for debate?
59.
by kd0amg 6y ago
Slightly pejorative in that it suggests a result that's less effective/streamlined/economical/whatever than had the new part been included (or at least accounted for as a possible extension) in the original design.
60.
by kd0amg 6y ago
Yes, the active parties in the fight are two HFTs jockeying for latency advantage, but the scope of the fight goes beyond HFT: they are fighting over use of a scarce public resource.

More ›