A partial list of people whose art I've loved, and who I might have liked to be friends with, but who I think would not like me very much (all for different reasons):
- Ursula K. LeGuin (I'm not MtG Green enough)
- Ayn Rand (I'm too MtG Green)
- Ezra Koenig (I'm too MtG Blue)
I'm not really sure how or why I generated this list. It feels related to the thing about wanting to get stronger, and deleting my facebook last month. It's kind of an "edge-y" question: I don't know how to emotionally deal with the existence of people in this category, but they go on existing.
like this
I feel like I'm living on the internet these days, since my health is too bad for in-person stuff. So it sucks that the internet is so much more aggro.
> My strategy so far in life has just been to avoid being the kind of person who attracts "sharp" / "angry" critics, and also to filter my social bubble to exclude them. But this doesn't scale if you're trying to do the things I'm trying to do.
What are you doing that is incompatible with filtering your social bubble?
Ben Millwood likes this.
kip likes this.
Re: method "c": I'm wondering if you could intentionally give yourself exposure to critics in a way that's less vulnerable. The most obvious ways to do this might be too insincere for your taste, but idk, maybe there's still something you can do?
Like if I were trying to do this, I might create an anonymous account and intentionally share my most controversial (yet unimportant) thoughts/opinions, in places where some people will probably get mad at me. (Hopefully not in a way that, like, antagonizes people? I'd want it to be net good.) Then I'd try to lean into a mindset that getting criticism is a necessary/normal part of getting noticed.
Ben Weinstein-Raun likes this.
Idle thought: I wonder if we'll start seeing "training@home" training runs for open-source LLMs. Anyone care to run some numbers or sanity checks on whether this is possible in principle?
The folding@home project has been hugely successful, reaching at least exaFLOPS of compute.
"Training@home" would have to efficiently do partial gradient updates on extremely heterogeneous hardware with widely varying network properties; I'm not sure if this has any chance of producing base models competitive with e.g. Llama. In terms of ops alone, a 1 exaFLOPS network would have taken 10^7 seconds = ~half a year to train Llama 70b, and I imagine the costs of distributing jobs to such a network and coordinating on weight updates would make this much more expensive. So, probably not going to be competitive?
JP Addison likes this.
Ben Weinstein-Raun likes this.
I would guess that there will be reasons to at least want an LLM trained on an open corpus, whether it's community-trained or not.
Example reasons include ensuring that the model isn't secretly trying to get you to buy McDonalds, and the possibility that companies start releasing un-fine-tunable models.
Happy new year superstims!
like this
Ben Weinstein-Raun reshared this.
I am probably being too problem-solvey right now and I hereby to resolve to stop after this round, but in my experience, arborists are willing to produce documentation of their findings that can later be shown to landlords!
You just sound sad about your antenna and I wanna fix it.
Ben Weinstein-Raun likes this.
I've been meaning to start donating blood and/or plasma for a few years now, partly because it's a good thing to do, but also as a way to shed accumulating substances (PFASs have been studied, but also background heavy metals in the case of whole blood donation), but I use topical finasteride for hair loss, which I'd have to stop for a month before donating.
So, say I took a month off from finasteride, and then spent a month donating: whole blood once, and plasma 7 times. If my math is right, I'd have donated / regenerated 1 - 0.92^8 = ~half my blood volume; and ~10% of my body weight. Then maybe back to finasteride for two months, another month of no finasteride, and another donation month?
like this
I'm finding it really hard to make #hamradio contacts in Delaware. Weirdly hard, given that the five states with smaller populations than Delaware were all much easier, even though some of them are further from me, and I've had no trouble making contacts in its neighboring states.
A few days ago I decided to try to be more strategic about contacting every US state since I was really close, and I've now spent probably twice the time trying to contact Delaware, as trying to contact all four of the other stragglers combined.
like this
Ben Weinstein-Raun likes this.
Ben Weinstein-Raun likes this.
Today I was inspired to ask ChatGPT for help with my health issues for the first time since o1 was released. It suggested that I might have Cushing's Syndrome, which actually makes a lot of sense. I don't think any doctors ever suggested this directly, but I do have a recollection of a doctor asking me if I was extremely thirsty or urinating a lot (I wasn't), which might have been a question for a relevant differential.
So hopefully tomorrow I'm going to wake up and go get a cortisol test.
like this
like this
Ben Weinstein-Raun reshared this.
A big chunk of my current best-guess political philosophy is somewhat libertarian, the rough intuition being that in many important respects, things very often go better when people make their own choices, especially about how much things are worth to them.
This is a helpful framework when the agents in your economy / political system are relatively static entities. But as far as I know it doesn't really have anything to say about cases where one agent might mold another agent's preferences, or decide which agents to bring into existence.
Some examples include:
- having children
- many aspects of how children are raised
- building AI agents
like this
Ben Weinstein-Raun likes this.
Ben Weinstein-Raun likes this.
Ben Weinstein-Raun likes this.
Ben Weinstein-Raun likes this.
Population ethics is the ~one area where my moral intuitions bottom out at "there is no actual answer here". Most questions of morality intuitively feel like there is a right answer but thinking about population ethics consistently leaves me with no solid foundations and nowhere to get foundations.
(Related: how should we think about farming animals for meat, given that mostly they wouldn't exist otherwise?)
Ben Weinstein-Raun likes this.
Proposed fun / slightly edgy party game: Perzendo
Materials: index cards and a pencil, or a google doc.
One player is the perzendo master. This perzendo master writes the names of two people in the room, in a list sorted by some secret property.
The other players take turns. On each turn, a player either proposes a name (of any human, living or dead), or tries to guess the property. The perzendo master puts these names on the list, wherever they fall according to the secret property.
The first player to guess the rule correctly wins.
like this
TIL that an experience that I've had ~once every month or so for my whole life, and assumed was near-universal, is actually relatively rare, and correlated with various bad things that I'm not aware of experiencing in relation to it (EBV infection, migraines, head trauma).
Basically, as I experience it (typically right as I'm falling asleep) everything visually starts to feel very small and far away, except that my tongue feels large and cumbersome in my mouth.
It's called Alice in Wonderland Syndrome; other people experience similar size distortions though the details vary a lot.
like this
Ben Weinstein-Raun likes this.
like this
kip doesn't like this.
like this
Ben Millwood likes this.
like this
Ben Millwood likes this.
Pascal's Wager doesn't go far enough:
Granted, the Christian God offers infinite rewards, but as far as I can find this is always in terms of "eternal" life or "eternal" communion with him, and so we can be confident that he is offering rewards only as large as the cardinality of the continuum.
So come on down to Crazy Georg's Omega Plus First Church of G...d: If you can conceive of a God advertising any size of infinite reward, G...d will match it.
like this
Granted, the Christian God offers infinite rewards, but as far as I can find this is always in terms of "eternal" life or "eternal" communion with him, and so we can be confident that he is offering rewards only as large as the cardinality of the continuum.
FWIW I think it's plausible that the Greek words used in the NT doesn't have this sort of connotation.
like this
like this
like this
I found this relevant and interesting chapter from Unsong by thinking "hmm, but Omega is an ancient word in some sense, and it's been more recently used in the context of infinities... and Jesus also referred to 'alpha and omega' to represent something like infinitude. So I can probably make a joke about kabbalah. Oh, but Scott Alexander will have already done that."
like this
On Friday I tried to show @Daniel Filan how FT8 works, but I was having a really hard time getting QSOs. I was worried something was wrong with my #hamradio antenna setup, since the internet claimed that band conditions should be good. But this afternoon and evening I had a great time and got 17 QSOs across 5 different bands! So I think Friday must have been something transient rather than my (very janky) setup degrading.
I now have confirmed QSOs in 40 states, and unconfirmed ones in all but 3! (North Dakota, Delaware, and Vermont. Almost managed to get one in Delaware today, but wasn't quite able to complete the protocol) Plus 28 "DX entities" (mostly countries, but includes e.g. Alaska and Hawaii separately) on 6 continents!
Map of listening stations that heard me this afternoon:
like this
W0AMT Jon reshared this.
Ended up deactivating my facebook yesterday. I wish I could have emotionally handled whatever was going on, but the only way I know how to productively deal with expressions of anger at that depth, apparently doesn't scale past one or two people at a time.
Last night I felt really conflicted about it. Like, I had just been trying to get people to give me harsh feedback, hadn't I? Doesn't this undermine that, or feel like a petty table-flipping move?
I still have some of those worries, but today I'm feeling like it was obviously the right move. Like if I had a gangrenous limb or something and had cut it off: It's pretty awful that I lost a limb, but it's way better than losing my whole self. Plus in this case I can reattach it if I figure out how to get rid of the gangrene.
like this
like this
Daniel Filan doesn't like this.
like this
if $3000 is too much to ask them to pay you back, surely they should at least pay you the maximal amount that isn't too much :P
minimally you could be like "I don't think it's fair for me to charge you the full amount but if you could think about what seems affordable / reasonable to you and pay me that I would be grateful"
although tbh I think it kind of is fair to at least suggest they might pay the full amount, even if you don't want to insist on it
like this
like this
like this
Ben Weinstein-Raun likes this.
like this
The other downside:
the delimited continuations in OCaml must be used linearly – every captured continuation must be resumed either with a continue or discontinue exactly once. Attempting to use a continuation more than once raises a Continuation_already_resumed exception.
It is left to the user to ensure that the captured continuations are resumed at least once. Not resuming continuations will leak the memory allocated for the fibers as well as any resources that the suspended computation may hold.
whereas I think Koka ensures things don't leak and also lets you resume multiple times, so you can do things like this: github.com/koka-lang/koka/blob…
like this
Apparently I was wrong about the standard library not having a sort function - it's just undocumented AFAICT! github.com/TimWhiting/advent-2…
Oh, I see, it's in the community std library: github.com/koka-community/std/…
advent-2024/day1.kk at main · TimWhiting/advent-2024
Contribute to TimWhiting/advent-2024 development by creating an account on GitHub.GitHub
Ben Weinstein-Raun likes this.
:o
However, I should mention that I may be hallucinating these specific book titles and dates since I don't have access to a current book database.
- Claude Sonnet 3.6
like this
Ben Weinstein-Raun likes this.
I think web-of-trust is underused for spam and abuse prevention.
e.g. there could be a pretty simple "endorse" button for each account, which is basically saying "I vouch that this person is a real human and not a troll/spammer". Webs/chains of endorsement could be used to prove that someone ought to be able to interact with you. And for any given active interaction attempt ("react", "friend request", "tag"), there could be an opportunity to mark it as "spam", and accounts with lots of spam could become untrusted, and accounts that endorse lots of spam accounts could become untrusted as well.
In principle you could even implement this in an entirely decentralized way with some public-key crypto, though it might be too expensive in practice.
like this
:o vlang looks... very very cool to me. I am surprised that it's more than 5 years old, since it seems to offer many things that I've been wanting from a programming language and periodically searching for without luck:
- Sum types
- interfaces/traits/similar
- generics
- Reasonably fast at runtime (roughly on par with e.g. Go, from what I can tell)
- optional GC
- cares about development time (e.g. compilation times are fast)
- cares about various kinds of safety (not as much as Rust, more than Zig). I think there are some substantial tradeoffs here around what happens if you avoid using the GC, since I think there's no borrow checking; e.g. does the stdlib have types that grow and invalidate your references?
- extremely good cross-platform support (cross-compile GUI libraries for ~any platform including mobile, except that you can only build for macOS from macOS)
Basically it seems like they've added the ~3 features whose lack has made Go unpleasant for me when I've tried to use it.
Daniel Ziegler likes this.
I think one of the key helpful things about my OCaml experience was learning about how much typeclass stuff can or can't be replaced with other mechanisms (e.g. making it convenient to locally control namespaces so that you can easily specify "I want X from module Y" instead of having it be type-driven).
It both lets you notice when you shouldn't (or at least needn't) be using ad-hoc polymorphism but also when you really do need it (e.g. OCaml I think would struggle to properly replicate Traversable and some other higher-order-polymorphism things).
Ben Weinstein-Raun likes this.
@Daniel Filan apparently the "learning ancient Latin and Greek involves example texts about daily life heavily involving slaves" thing dates at least back to ancient Roman schools for learning Greek.
Daniel Filan likes this.
Ben Weinstein-Raun likes this.
like this
like this
don't like this
Jeez 😢.
A few days ago we found an open duffel bag with a bunch of clothes strewn around it in front of our door (also in Berkeley). My assumption is that it was stolen and everything valuable was removed before it was discarded. Sadly I couldn't find any info about the owner, so we couldn't even return the remaining clothes.
Ben Weinstein-Raun likes this.
Ben Weinstein-Raun doesn't like this.
Ahhh wow. That sucks. I'm sorry you have to buy all your clothing again, that sounds really annoying.
A few years ago I went to a clothing swap. Someone brought a unique red and black scarf from overseas. It was lightweight and really pretty. I gave it to my partner (at the time) as soon as I got it. They had it in their backpack, and they left that backpack in their car for a few minutes while grabbing food from Butcher's Son. That was enough time for it to get stolen. Memorably disappointing.
Ben Weinstein-Raun likes this.
Ben Weinstein-Raun doesn't like this.
Does anyone know how to productively/supportively receive "venting"-shaped communication, when you don't want to reinforce or implicitly endorse the frame or set or assumptions that the venting is based in?
I feel like I have this dilemma a lot of the time: like, someone wants to share something that they're angry or upset or annoyed about, and clearly wants me to be entirely on their side about the thing, and I want to emotionally support them, understand where they're coming from, and help them process and/or strategize.
But honestly about 80% of the time, especially if it's someone who I'm not extremely close to, I find it really hard to straightforwardly do those things because I feel triggered about the context somehow, either because it seems like it's assuming things I don't believe, or because I feel attacked in some way, e.g. because I often have substantial sympathy toward the target of the anger or annoyance, as well as toward my friend.
I wish I knew what to do in these situations.
like this
Ben Weinstein-Raun likes this.
Ben Weinstein-Raun likes this.
like this
like this
like this
Ben Weinstein-Raun likes this.
HomeAssistant. Wow. How had I not heard of this before this year?
It's allegedly an open source home automation system, but I keep running into ways that it's actually way better than that. You can connect it to just about anything: Sure, air conditioning and lighting and smart locks and all the other home automation stuff. But also fitbit, mattress coolers, various internet data sources; you can use it to set up a custom ChatGPT-powered Google Home replacement (finally!).
And it's all so polished! Like, yes you need to be a level-1 technical person to set it up, and to use the more advanced features, but the flows are so reasonable and reliable. I'm genuinely kinda shocked.
like this
Alex Altair likes this.
Ben Weinstein-Raun
in reply to Ben Weinstein-Raun • •Daniel Ziegler
in reply to Ben Weinstein-Raun • • •Ben Weinstein-Raun likes this.