Posts

Comments

Comment by qvalq (qv^!q) on The Goldbach conjecture is probably correct; so was Fermat's last theorem · 2024-12-14T23:47:13.913Z · LW · GW

Sin(floor(2pi*10^n)) is never positive, for integer n.
Too simple, though.

Comment by qvalq (qv^!q) on [Intuitive self-models] 1. Preliminaries · 2024-10-16T19:45:08.742Z · LW · GW

I can see the dancers spinning in different directions.

Comment by qvalq (qv^!q) on Why I’m not a Bayesian · 2024-10-07T18:08:25.892Z · LW · GW
Comment by qvalq (qv^!q) on My Kind of Reflection · 2024-10-06T22:58:21.939Z · LW · GW

https://www.lesswrong.com/s/9bvAELWc8y2gYjRav/p/C8nEXTcjZb9oauTCW

 

?

Comment by qvalq (qv^!q) on Superexponential Conceptspace, and Simple Words · 2024-09-30T19:35:11.806Z · LW · GW

The best way to draw a boundary around the high-probability things, without worrying about simplicity, is to just write down all your observations; they have probability 1 of having been observed, and everything else has probability 0.
This boundary is way too complicated; you've seen many things.

Comment by qvalq (qv^!q) on The Second Law of Thermodynamics, and Engines of Cognition · 2024-09-30T18:55:59.095Z · LW · GW

A finite-sized fractal in n_space still has measurable n_volume.
Its surface (n-1)_volume might be infinite, but we don't care about that.

Does that make sense?

Comment by qvalq (qv^!q) on Decision Theory in Space · 2024-08-19T18:56:38.352Z · LW · GW

Haha.

Comment by qvalq (qv^!q) on Turning Your Back On Traffic · 2024-07-17T18:38:16.584Z · LW · GW

Thank you.

Comment by qvalq (qv^!q) on Corrigibility = Tool-ness? · 2024-07-05T19:41:49.107Z · LW · GW

Cognition -> Convergence -> Corroboration

Now they've written the post on this.

https://www.lesswrong.com/posts/fEvCxNte6FKSRNFvN/3c-s-a-recipe-for-mathing-concepts

Comment by qvalq (qv^!q) on I'm from a parallel Earth with much higher coordination: AMA · 2024-06-04T08:27:50.858Z · LW · GW

Hyperidealized art wouldn't be banned. There'd be much less of it, but not none.
It'd also be produced by much better artists.

I think you'd probably end up consuming hyperidealized art, too.
You'd notice that you preferred the more idealized art, among what you consumed, then you'd talk to a psychologist or something and they'd tell you that you'd probably be fine with the cognitohazardous stuff.

Comment by qvalq (qv^!q) on LessWrong's (first) album: I Have Been A Good Bing · 2024-05-05T09:26:01.805Z · LW · GW

Why has my comment been given so much karma?

Comment by qvalq (qv^!q) on Voting Theory Introduction · 2024-04-28T03:01:09.484Z · LW · GW

To get more comfortable with this formalism, we will translate three important voting criteria. 

You translated four criteria.

Comment by qvalq (qv^!q) on LessWrong's (first) album: I Have Been A Good Bing · 2024-04-02T02:43:00.594Z · LW · GW

Scott Alexander wrote some rationalish music a decade ago. 
youtube.com/qraikoth

 

CronoDAS has uploaded a song, though it's not much rationalist.
youtube.com/CronoDAS

Comment by qvalq (qv^!q) on LessWrong's (first) album: I Have Been A Good Bing · 2024-04-02T00:45:17.614Z · LW · GW

Was over two years ago.

Comment by qvalq (qv^!q) on LessWrong's (first) album: I Have Been A Good Bing · 2024-04-02T00:42:17.469Z · LW · GW

Scott Alexander wrote some music a decade ago.

youtube.com/qraikoth

 

"Mary's Room" and "Somewhere Prior To The Rainbow" are most likely to make you cry again. 
"Mathematical Pirate Shanty", if you can cry laughing.

Comment by qvalq (qv^!q) on Using axis lines for good or evil · 2024-03-21T02:42:52.167Z · LW · GW

Here, I'd plot difference from gravitation at sea level.

Comment by qvalq (qv^!q) on The Worst Form Of Government (Except For Everything Else We've Tried) · 2024-03-18T18:52:07.549Z · LW · GW

I've never heard the US civil war described this way.
Thank you.

Comment by qvalq (qv^!q) on Locating My Eyes (Part 3 of "The Sense of Physical Necessity") · 2024-03-13T23:17:30.268Z · LW · GW

=

Should be '≠'.

Comment by qvalq (qv^!q) on The Parable Of The Fallen Pendulum - Part 2 · 2024-03-13T18:41:12.605Z · LW · GW

taught

Should be 'taut'.

Comment by qvalq (qv^!q) on An Actually Intuitive Explanation of the Oberth Effect · 2024-01-17T15:25:09.296Z · LW · GW

I've learned the maths before.

 

I think maybe I have no idea what kinetic energy is.

Comment by qvalq (qv^!q) on An Actually Intuitive Explanation of the Oberth Effect · 2024-01-11T19:43:03.874Z · LW · GW

kinetic energy scales with the square of the speed

Why is this?

Comment by qvalq (qv^!q) on Is being sexy for your homies? · 2023-12-19T23:26:27.687Z · LW · GW

Ideally you'd try to have a separate bakery with reversed gender-roles.

Comment by qvalq (qv^!q) on Ann Arbor, Michigan, USA – ACX Meetups Everywhere Fall 2023 · 2023-10-05T03:29:42.904Z · LW · GW

I probably can't go to the October meetup, due to coincidence. How do I unRSVP on Meetup?

Unrelated, I still think I have a good chance of making it next time.

Comment by qvalq (qv^!q) on Aumann-agreement is common · 2023-09-28T08:06:58.600Z · LW · GW

Thank you. I was probably wrong.

In most examples, there's no common knowledge. In most examples, information is only transmitted one way. This does not allow for Aumann agreement. One side makes one update, then stops.
If someone tells me their assigned probability for something, that turns my probability very close to theirs, if I think they've seen nearly strictly better evidence about it than I have. I think this explains most of your examples, without referencing Aumann.

I think I don't understand what you mean. What's Aumann agreement? How's it a useful concept?

Comment by qvalq (qv^!q) on Aumann-agreement is common · 2023-09-28T07:29:59.951Z · LW · GW

I thought the surprising thing about Aumann agreement was that ideal agents with shared priors will come to agree even if they can't intentionally exchange information, and can see only the other's assigned probability. [I checked Wikipedia; with common knowledge of each other's probabilistic belief about something, ideal agents with shared priors have the same belief. There's something about dialogues, but Aumann didn't prove that. I was wrong.]

Your post seems mostly about exchange of information. It doesn't matter which order you find your evidence, so ideal agents with shared priors that can exchange everything they've seen will always come to agree.
I don't think this requires understanding Aumann's theorem.

 

Is this wrong, or otherwise unimportant?

Comment by qvalq (qv^!q) on Hertford, Sourbut (rationality lessons from University Challenge) · 2023-09-17T06:18:06.599Z · LW · GW

Thank you for responding.

It's possible for your team to lose five points, thereby giving the other team five points.
If the other team loses five points, then you gain five points.
Why is it not possible for the other team to lose five points without anything else happening? Where does the asymmetry come from?

It's
-25 -20 -5 0 20 25.
Why isn't it
-25 -20 -5 0 5 20 25?

Comment by qvalq (qv^!q) on Hertford, Sourbut (rationality lessons from University Challenge) · 2023-09-12T01:19:52.650Z · LW · GW
  • (-25) lose points and other team gains points
  • (-20) other team gains points
  • (-5) lose points and other team gets nothing
  • (0) nobody gets anything
  • (20) gain points
  • (25) other team loses points and you gain points

Why no (+5)?

Comment by qvalq (qv^!q) on Hard Questions Are Language Bugs · 2023-09-11T23:45:40.710Z · LW · GW

Maths is incomplete. Inconsistency isn't proven.

Is this wrong?

Comment by qvalq (qv^!q) on Hard Questions Are Language Bugs · 2023-09-11T23:41:03.464Z · LW · GW

X is not a thing that can be other things

Y is not actually a thing that another thing can be

Why the "actually"?

Comment by qvalq (qv^!q) on Ann Arbor, Michigan, USA – ACX Meetups Everywhere Fall 2023 · 2023-09-11T03:44:27.421Z · LW · GW

I probably won't go to this.
I probably will go to the October 21st version. Is there some way I should formally communicate that?

Probably there should be a way to be more specific than "MAYBE".
I had to Google "RSVP".
Where should I complain these to?

Comment by qvalq (qv^!q) on Mistakes with Conservation of Expected Evidence · 2023-09-11T03:08:08.697Z · LW · GW

I no longer think it makes sense to clam up when you can't figure out how you originally came around to the view which you now hold

Either you can say "I came to this conclusion at some point, and I trust myself", or you should abandon the belief.

You don't need to know how or why your brain happened to contain the belief; you just need to know your own justification for believing it now. If you can't sufficiently justify your belief to yourself (even through things like "My-memory-of-myself-from-a-few-minutes-ago thinks it's likely" or "First-order intuition thinks it's likely"), you should abandon it (unless you're bad at this, which is probably not the case for most people who might try it).

From my perspective, I just had an original thought. If there's any writing about something related, or if someone else has something to add or subtract, I would probably very much like to read it.

Comment by qvalq (qv^!q) on Eliezer Yudkowsky Is Frequently, Confidently, Egregiously Wrong · 2023-08-30T02:24:57.474Z · LW · GW

by far the best impact-to-community health ratio ever

What does this mean?

Comment by qvalq (qv^!q) on Shared reality: a key driver of human behavior · 2023-08-29T13:23:08.906Z · LW · GW

When I read "Extravert", I felt happy related to the uncommon spelling, which I also prefer.

Is this shared reality?

Comment by qvalq (qv^!q) on Newcomb Variant · 2023-08-29T10:12:57.982Z · LW · GW

One-box only occurs in simulations, while two-box occurs in and out of simulations. 

If I one-box in simulations, then Omega puts $0 in the first box, and I can't one-box.

If I two-box in simulations, then Omega puts $100 in the first box, so I may be in a simulation or not.

One-boxing kills me, so I two-box.

 

Either I've made a mistake, or you have. Where is it?

Comment by qvalq (qv^!q) on Mnestics · 2023-08-08T13:16:09.907Z · LW · GW

Thank you for the comparison.

Comment by qvalq (qv^!q) on "Is There Anything That's Worth More" · 2023-08-07T14:53:07.315Z · LW · GW

Thank you.

Comment by qvalq (qv^!q) on Say Wrong Things · 2023-08-03T08:29:40.327Z · LW · GW

Paul Graham says Robert Morris is never wrong.

He does this by qualifying statements (ex. "I think"), not by saying less things.

Comment by qvalq (qv^!q) on Lack of Social Grace Is an Epistemic Virtue · 2023-08-03T08:15:10.857Z · LW · GW

"Your loved one has passed on"

I'm not sure I've ever used a euphemism (I don't know what a euphemism is).

When should I?

Comment by qvalq (qv^!q) on Lack of Social Grace Is an Epistemic Virtue · 2023-08-03T08:12:17.195Z · LW · GW

Pretend-obfuscation prevents common knowledge.

Comment by qvalq (qv^!q) on "Is There Anything That's Worth More" · 2023-08-03T07:48:06.904Z · LW · GW

I don't understand.

Comment by qvalq (qv^!q) on Underwater Torture Chambers: The Horror Of Fish Farming · 2023-07-27T17:37:52.125Z · LW · GW

I dislike when fish suffer because I feel sad, and because other people want fish to not suffer for moral reasons.

Comment by qvalq (qv^!q) on GPT-2's positional embedding matrix is a helix · 2023-07-27T17:13:24.277Z · LW · GW

A line is just a helix that doesn't curve. It works the same for any helix; it would be a great coincidence, to get a line.

Comment by qvalq (qv^!q) on Childhoods of exceptional people · 2023-07-27T14:40:16.828Z · LW · GW

So we can't have less geniuses. More people means more people above 5 standard deviations (by definition?).

Comment by qvalq (qv^!q) on What Are You Tracking In Your Head? · 2023-07-05T13:19:13.822Z · LW · GW

I tried to solve (n+1)^4 visually. I spent about five minutes, and was unable to visualise well enough.

Comment by qvalq (qv^!q) on The "Adults in the Room" · 2023-05-10T17:32:33.289Z · LW · GW

You might not survive as yourself, if you could see yourself.

Those who say "That which can be destroyed by the truth should be" may continue to walk the Path from there.

That's wonderful.

Comment by qvalq (qv^!q) on Crazy Ideas Thread · 2023-05-10T16:23:18.548Z · LW · GW

Adult IQ scores do too, I think.

Comment by qvalq (qv^!q) on Crazy Ideas Thread · 2023-05-10T16:19:51.333Z · LW · GW

You worded this badly, but I agree. 

It is possible to read "you robbed a bank" without imagining robbing a bank. Just very hard, and maybe impossible if you're not readied.

Comment by qvalq (qv^!q) on Geoff Hinton Quits Google · 2023-05-10T12:35:53.093Z · LW · GW

No; I agree with you.

Comment by qvalq (qv^!q) on Geoff Hinton Quits Google · 2023-05-03T14:00:53.275Z · LW · GW

"it might be ten"

Comment by qvalq (qv^!q) on Mini thoughts on mintheism · 2023-04-29T22:24:42.932Z · LW · GW

diary

should be "dairy".