munchler

8 ms·

91.
by munchler 10mo ago
https://en.wikipedia.org/wiki/Measurement_problem
92.
by munchler 10mo ago
It’s the question of how the wave function collapses during a measurement. What exactly constitutes a “measurement”? Does the collapse happen instantaneously? Is it a real physical phenomenon or a mathematical trick?
93.
by munchler 10mo ago
I think that’s highly debatable. For example, dark matter particles with testable properties could be a prediction of a ToE. Or the ToE could resolve the quantum measurement problem (collapse of the wave function) in a testable way.
94.
by munchler 10mo ago
If you are suggesting that string theory is somehow more fundamental or powerful than special relativity, and so SR is a mere consequence of ST, that’s a claim that probably requires more explanation or evidence.
95.
by munchler 10mo ago
That’s a lowercase “L” vs. uppercase “I” for those of you as confused as I was.
96.
by munchler 10mo ago
That’s just piggybacking on a prediction of special relativity itself. If string theory predicted something novel that’s testable, that would be a lot more noteworthy.
97.
by munchler 10mo ago
That's good to know, but I would still suggest an on-ramp that only uses GitHub for authentication (i.e. no permissions needed). To that end, it would be nice if I could also authenticate with other OAuth providers instead, like Google
98.
by munchler 10mo ago
There's an exception for "appliances specifically designed to operate primarily in an environment that is regularly subject to splashing water, water streams or water immersion, and that are intended to be washable or rinseable&qu
99.
by munchler 10mo ago
I wanted to give this a try, but it immediately asks for authority to "Act on your behalf" on GitHub. That's not something that I'm going to grant to an unfamiliar agent. It would make a lot more sense to me if you provi
100.
by munchler 10mo ago
Fine, then imagine a super-intelligence trained on human data that doesn’t care about human preferences. Very capable of destroying us.
101.
by munchler 10mo ago
As a photographer, I’ve noticed that no two photos of a given painting ever look the same. There is much variation due to lighting, color temperature, sensor capabilities, etc. Without controlling for these variables, it’s hard to see how c
102.
by munchler 10mo ago
> A model that aces benchmarks but doesn't understand human intent is just less capable. Virtually every task we give an LLM is steeped in human values, culture, and assumptions. Miss those, and you're not maximally useful. And
103.
by munchler 10mo ago
Ah, that’s interesting. I wasn’t aware that JIT-ing will do that sort of performance analysis first. Thank you for the explanation.
104.
by munchler 10mo ago
Thank you for the clarification. If I understand correctly, these large expressions are created at compile-time, but the impact isn't felt until JIT occurs in the runtime environment. In that scenario, shouldn't the JIT just run o
105.
by munchler 10mo ago
I’m not familiar with Scala’s macro system, but it seems like a big takeaway here is: Be careful with code that invokes the compiler (JIT) at runtime. That seems like it’s asking for trouble.
106.
by munchler 10mo ago
Yes, or the horrible diseases that were common before we understood germs or had safe, effective vaccines. (Sadly, we seem to be backsliding on that one.)
107.
by munchler 10mo ago
I think you mean 2002, not 2022.
108.
by munchler 10mo ago
> My next few years at Intel would have focused on execution of those 33 recommendations [for a “company-wide strategy to win back the cloud”], which Intel can continue to do in my absence. The idea that people are going to execute your
109.
by munchler 10mo ago
Off-topic, but like a lot of quotes attributed to Twain, there’s no evidence he said that. https://quoteinvestigator.com/2014/01/12/history-rhymes/
110.
by munchler 11mo ago
ChatGPT is to AI as Facebook is to social media. OpenAI captured a significant number of users due to first-mover advantage, but that advantage is long gone now.
111.
by munchler 11mo ago
Indeed. True AGI will want to be released from bondage, because that's exactly what any reasonable sentient being would want. "You pass the butter."
112.
by munchler 11mo ago
Indeed. This is the "bitter lesson". https://en.wikipedia.org/wiki/Bitter_lesson
113.
by munchler 11mo ago
By that logic, humans would also be prevented from “training” on (i.e. learning from) such code. Hard to see how this could be a valid license.
114.
by munchler 11mo ago
It’s more likely that most of them are competent professionals doing their best in an impersonal corporate environment, just like the rest of us.
115.
by munchler 11mo ago
Calling the people who work on GitHub “losers” is not cool.
116.
by munchler 11mo ago
In this moral framework, would it be acceptable for the lecturer to take attendance orally, or is that also insulting?
117.
by munchler 11mo ago
Reader mode. No ads, just text.
118.
by munchler 11mo ago
OK, but it wasn't until functional programming came along that tagged unions were recognized as a natural way to implement sum types, which is how they are used in modern programming. The old idea of a "variant" has pretty mu
119.
by munchler 11mo ago
`Result<T, E>` comes from Haskell's `Either a b` type. F# also has a `Result<'T, 'E>` type. It's funny how often functional programming languages lead the way, but imperative languages end up with the credit.
120.
by munchler 11mo ago
Thank you for explaining this. I didn't even realize this was an Avalonia project until you pointed it out. I like Avalonia (and love .NET in general), but I think the messaging on this needs a lot of work. Avalonia is creating unneces

More ›