Daniel Reeves
@dreev
Followers
933
Following
213
Media
15
Statuses
628
Co-founder of Beeminder (@bmndr). http://t.co/gwrSQVPlNe
Portland, OR
Joined March 2007
Oh yeah, I started a weekly newsletter about AGI timelines called AGI Friday.
1
0
1
First-world problem: dozens of people are suddenly signing up for AGI Friday, seemingly largely from Twitter, and I can't figure out how to find the tweet that's doing it 😭
1
0
1
The word "the" in phrases like "the faster we go, the sooner we'll get there" is not the word "the" as we know it. It's a homophone! It used to be spelled "tha" or "þa" and is basically used for if-then statements. "Tha more tha merrier" is "more ⟹ merrier" or "more ∝ merrier".
1
0
8
6 years later and I think Tesla is predicting 1 more year? Still over-optimistic but Waymo can now do this at least in Phoenix. We're getting there!
0
0
2
Last week we fixed an issue that was causing our feedback pop up to pop up too often! 😅 On the brightside we did get some feedback from a customer that our "user support is stunning and second only to beeminder"! #buildinpublic
1
2
6
New paper with R. Freeman, @pennockd, @dreev, B. Waggoner https://t.co/NrKyOq4SGL "Towards a Theory of Confidence in Market-Based Predictions": can you create a margin-of-error for a probability? How does that relate to volatility? Paper asks as many questions as it solves!
1
2
8
one little fact about the world that makes me sad about once a month is when people who are really doing fine and could raise a great family but are much too aware of all their sundry emotional issues tell me they never plan to have kids
one big fact about the world that makes me sad is that every day, thousands of ppl with deep emotional issues, who are likely not aware they have deep issues and will never resolve those issues in their lifetime, announce that they're pregnant
4
2
143
We're looking for someone to help out with our user support. Let us know if you're interested or know someone who might be good for the role!
0
2
2
What's the principle called where penalties have to be multiplied by the reciprocal of the probability of getting caught, otherwise technically-rational agents just take the calculated risk of committing the crime?
2
0
3
I feel like coding is like: You keep adding duct tape & chewing gum to satisfy different requirements & bugs that come up, then you gradually whittle it back down and end up with a few simple lines and it's bewildering how you were too dumb to've just written that from the start
2
2
18
I have a new appreciation for how the Axiom of Choice is kind of a wild leap of faith that leads to preposterosities like Banach-Tarski:
0
0
1
If you had a million dollars, would it be better to (a) deposit $.01 in 100M random people's bank accounts, (b) deposit it in 1 random person's bank account, or (c) literally set it on fire? No "none of the above" option. HT @ciphergoth
2
0
1
Which is down from the 99% I started at before learning that the characters “[]()!+” are Turing-compete in javascript! But it’s fine, right?
0
0
0
Ie, is it safe to do, eg, eval(“2*(3+4)”) on the server if the “2*(3+4)” came from a possibly malicious user? I’m 95% sure it’s fine…
1
0
0
In javascript or ruby or python, can you execute arbitrary code with just digits, the 4 basic arithmetic operators, and parens?
1
0
0
Fun fact: In javascript you can execute arbitrary code using nothing but the 6 characters )(][!+ https://t.co/HvxvGJVgOT Related question:
en.wikipedia.org
1
0
1