Quinn
Tmux allows you to set up multiple panes in your terminal that keep running in the background. Therefore, if you disconnect from a remote machine, scripts running in tmux will not be killed. We tend to run experiments across many tmux panes (especially overnight).
Does no one use suffix
& disown
which sends a command to a background process that doesn’t depend on the ssh process, or prefixnohup
which does the same thing? You have to make sure any logging that goes to stdout goes to a log file instead (and in this way tmux or screen are better)Your remark about uv: forgot to mention that it’s effectively a poetry replacement, too
Like htop: btm and btop are a little newer, nicer to look at
Also for json:
jq
.cat file.json | jq
for pretty printing json to terminal
Feels like a MATS-like Program in india is a big opportunity. When I went to EAG in Singapore a while ago there were so many people underserved by the existing community building and mentorship organizations cuz of visa issues.
November-December 2024 Progress in Guaranteed Safe AI
the story i roughly understand is that this was within Epoch’s mandate in the first place because they wanted to forecast on benchmarks but didn’t think existing benchmarks were compelling or good enough so had to take matters into their own hands. Is that roughly consensus, or true? Why is frontiermath a safety project? i haven’t seen adequate discussion on this.
Can’t relate. Don’t particularly care for her content (tho audibly laughed at a couple examples that you hated), but I have no aversion to it. I do have aversion to the way you appealed to datedness as if that matters. I generally can’t relate to people who find cringiness in the way you describe significantly problematic, really.
People like authenticity, humility, and irony now, both in the content and in its presentation.
I could literally care less, omg—but im unusually averse to irony. Authenticity is great, humility is great most of the time, why is irony even in the mix?
Tho I’m weakly with you that engagement farming leaves a bad taste in my mouth.
Update: new funding call from ARIA calls out the Safeguarded/Gatekeeper stack in a video game directly
Creating (largely) self-contained prototypes/minimal-viable-products of a Safeguarded AI workflow, similar to this example but pushing for incrementally more advanced environments (e.g. Atari games).
I tried a little myself too. Hope I didn’t misremembering.
Very anecdotally, I’ve talked to some extremely smart people who I would guess are very good at making progress on hard problems, but just didn’t think too hard about what solutions help.
A few of the dopest people i know, who id love to have on the team, fall roughly into the category of “engaged and little with lesswrong, grok the core pset better than most ‘highly involved’ people, but are working on something irrelevant and not even trying cuz they think it seems too hard”. They have some thoughtful p(doom), but assume they’re powerless.
Richard ngo tweeted recently that it was a mistake to design the agi safety fundamentals curriculum to be broadly accessible, that if he could do it over again thered be punishing problem sets that alienate most people
The upvotes and agree votes on this comment updated my perception of the rough consensus about mats and streetlighting. I previously would have expected less people to evaluate mats that way
As someone who, isolated and unfunded, went on months-long excursions into the hard version of the pset multiple times and burned out each time, I felt extremely validated when you verbally told me a fragment of this post around a fire pit at illiad. The incentives section of this post is very grim, but very true. I know naive patches to the funding ecosystem would also be bad (easy for grifters, etc), but I feel very much like I and we were failed by funders. I could’ve been stronger etc, I could’ve been in berkeley during my attempts instead of philly, but “why not just be heroically poor and work between shifts at a waged job” is… idk man, maybe fine with the right infrastructure, but i didnt have that infrastructure. (Again, I don’t know a good way to have fixed the funding ecosystem, so funders reading this shouldn’t feel too attacked).
(Epistemic status: have given up on the hard pset, but i think I have a path to adding some layers of Swiss cheese)
Ok. I’ll wear a solid black shirt instead of my bright blue shirt.
talk to friends as a half measure
When it comes to your internal track record, it is often said that finding what you wrote at time t-k beats trying to remember what you thought at t-k. However, the activation energy to keep such a journal is kinda a hurdle (which is why products like https://fatebook.io are so good!).
I find that a nice midpoint between the full and correct internal track record practices (rigorous journaling) and completely winging it (leaving yourself open to mistakes and self delusion) is talking to friends, because I think my memory of conversations that are had out loud with other people is more detailed and honest than my memory of things I’ve thought / used to think, especially when it’s a stressful and treacherous topic.[1]
- ↩︎
I may be more socially attuned than average around here(?) so this may not work for people less socially attuned than me
- ↩︎
I was at an ARIA meeting with a bunch of category theorists working on safeguarded AI and many of them didn’t know what the work had to do with AI.
epistemic status: short version of post because I never got around to doing the proper effort post I wanted to make.
A sketch I’m thinking of: asking people to consume information (a question, in this case) is asking them to do you a favor, so you should do your best to ease this burden, however, also don’t be paralyzed so budget some leeway to be less than maximally considerate in this way when you really need to.
what’s the best essay on asking for advice?
Going over etiquette and the social contract, perhaps if it’s software specific it talks about minimal reproducers, whatever else the author thinks is involved.
Rumors are that 2025 lighthaven is jam packed. If this is the case, and you need money, rudimentary economics suggests only the obvious: raise prices. I know many clients are mission aligned, and there’s a reasonable ideological reason to run the joint at or below cost, but I think it’s aligned with that spirit if profits from the campus fund the website.
I also want to say in print what I said in person a year ago: you can ask me to do chores on campus to save money, it’d be within my hufflepuff budget. There are good reasons to not go totally “by and for the community” DIY like many say community libraries or soup kitchens, but nudging a little in that direction seems right.
EDIT: I did a mostly symbolic $200 right now, may or may not do more as I do some more calculations and find out my salary at my new job
yeah last week was grim for a lot of people with r1′s implications for proliferation and the stargate fanfare after inauguration. Had a palpable sensation of it pivoting from midgame to endgame, but I would doubt that sensation is reliable or calibrated.