Viewing profile — tbt

Sigh, thanks for letting me know. Ok since this is the ~third time someone has said this, I'll try to figure out a convenient solution (I guess hosting images on github?). Just FYI…

Oh sorry that was a joke. (Though you could teach that in kindergarten.) When I was in undergrad I had the privilege of taking Laszlo Babai's combinatorics class. I don't recall ex…

Ohhh, oops, good point, thanks.

Yeah I use imgur, which I've heard is somehow blocked in the UK. The US should work. Maybe I'll try to figure out fallback images and double-host on github, if that's a thing.

Thanks. Yeah I'm happy it at least exists somewhere.

theoriz3r is a wrapper for Z3 in python. The idea is to use Z3's model checking to do "exploratory theorem proving": an interaction style where the computer curates a giant list of…

Regexression

Idiocracy: https://www.youtube.com/watch?v=sVyRkl5qNb8

Does anyone know any writeups that describe how someone solved a difficult problem they couldn't previously solve, using a note-taking app?

It rarely helps with learning vs. natural counterfactuals. It harms by socializing kids to not believe that their own curiosity is hopeworthy. See John Taylor Gatto's work. Instead…

School rarely helps with learning and almost always harms learning. If you're still sending your kids to school, be mindful that you're doing that for reasons other than to help th…

I had a math question that had some free parameters, making it a sort of question machine, giving one question for each setting of the parameters. It was hard to keep track of my t…

The browser could give the user a unique popup style (colored borders, etc.). As long as that info is hidden, this attack would have only a tiny chance of succeeding.

Have you seen gwern's essay on computational complexity arguments about AI? https://www.gwern.net/Complexity%20vs%20AI

>Self-trust seems like a problem on paper, but the reality is that normal mathematics uses very few universes. Self-trust (broadly construed) is interesting to me because it seems …

[ For some work formalizing a reflection principle in HOL, see https://intelligence.org/files/ProofProducingReflection.pdf ]

Yep, that's the idea :) This is in the vein of "prediction using ensembles of experts" methods such as SI, with a twist that the experts are traders, not forecasters; they don't ha…

Yeah. It's still surprising to me, though; P_n can predict extremely long-running computations, even ones with a much longer runtime than P_n, at least as well as any quickly compu…

> This allows you to state and show meta theorems "for all (small) types", by quantifying over a universe. As you say, this isn't quite self-trust. Another natural move is to relax…

This is a good point. I think it'd be pretty interesting and useful to get a better grasp on when/whether/how a system can reason about itself as embedded in the world in a sane wa…

This is right, but perhaps misleading; most of the properties are "asymptotic", meaning that they may take an extremely long time to hold, but they hold at finite times. For exampl…