Host of the technical ai safety podcast https://technical-ai-safety.libsyn.com/
Streams linear algebra in coq on sundays twitch.tv/quinndougherty92
Quinn
Karma: 209
[Recruiting for a Discord Server] AI Forecasting & Threat Modeling Workshop
Aging: A Surprisingly Tractable Problem
Averting suffering with sentience throttlers (proposal)
TASP Ep 3 - Optimal Policies Tend to Seek Power
I can’t post a complete ruleset, but I can add some insight—each party had “stats” representing hard power, soft power, budget, that sort of thing. Each turn you could spend “talent” stats on research arbitrarily, and you could take two “actions” which were GM-mediated expenditures of things like soft power, budget, etc. The game board was a list of papers and products that could be unlocked, unlocking papers released new products onto the board
Takeaways from the Intelligence Rising RPG
isn’t increasing the competence of the voter akin to increasing the competence of the official, by proxy? I’m pattern matching this to yet another push-pull compromise between the ends of the spectrum, with a strong lean toward technocracy’s side.
I’m assuming I’ll have to read Brennan for his response to the criticism that it was tried in u.s. and made a lot of people very upset / is widely regarded as a bad move.
I agree with Gerald Monroe about the overall implementation problems even if you assume it wouldn’t just be a proxy for race or class war (which I think is a hefty “if”).
Just doesn’t seem like “off the spectrum” thinking to me, though it may be the case that reading Brennan will improve my appreciation of the problem.
[Question] Reading recommendations on social technology: looking for the third way between technocracy and populism
should i be subscribed to a particular youtube channel where these things get posted?
Quick Bayes Table, by alexvermeer. A simple deck of cards for internalizing conversions between percent, odds, and decibels of evidence.
link broken
Leverage the Pareto principle, get 80% of the benefit out of the key 20/30/40% of the concepts and exercises, and then move on.
This is hard to instrumentalize regarding difficulty. I find that the hardest exercises are likeliest to be skipped (after struggling with them for an hour or two), but it doesn’t follow that I can expect the easier ones (which I happened to have completed) to lie in that key 20%.
::: latex :::
:::what about this:::
:::hm?
x :: Bool -> Int -> String:::
testing latex in spoiler tag
Testing code block in spoiler tag
Quinn’s Shortform
[Question] Is it the case that when humans approximate backward induction they violate the markov property?
7p on thursday the 14th for New York, 4p in San Fransisco
I’m trying to decide if i’m going to write up a thought about longtermism I had.
I think there are two schools of thought—that the graph of a value function over time is continuous or discontinuous. The continuous school of thought suggests that you get near term evidence about long term consequences, and the discontinuous school of thought does not interpret local perturbation in this way at all.
I’m sure this is covered in one of the many posts about longtermism, and the language of continuous functions could either make it clearer or less clear depending on the audience.