thanks! we asked the model to generate some synonyms and antonyms (in this case, we have "cold" and "impassive" vs "affectionate" and "sensitive")
Then, we ask the model to behave that way (with a prompt), and store the difference in activations for each pair. Then, a PCA can be used to extract the principal component, giving use the steering vector. We do most of this using the repeng library, and the author goes into a bit more detail on how it's done on her [blog](https://vgel.me/posts/representation-engineering/#How_do_we_...?)
There are actually pretty decent webIDEs for all of those things (shareLaTeX's vim mode is pretty nice, too), and I did consider switching to a chromebook. I was actually about to buy one before I decided that the max 8GB of RAM was way too little for my usual browsing habits. That, and I'm dependent on some firefox addons that just don't have good chrome equivalents, so chromeOS is sort of a no-go.
Edit: apparently there's a sizable segment of the market that agrees with both of us!
> In the third quarter of 2016, Chromebooks made up 54% of computer shipments to K-12 classrooms in the United States, says IDC analyst Linn Huang. That market share figure even factors in iPads, which themselves have been successful in education.
I don't think it's about not using the GPLv3 --- a lot of software is stuck in GPLv2 because the maintainers can't get everyone who contributed (or their estate) to sign off on a license upgrade to the better but incompatible GPLv3. Even the linux kernel is stuck!
But this isn't an "escape hatch" for breaking the GPL; there's a reason the FSF made the "cure clause" explicit in the GPLv3. The explicit language should make life easier and save on court costs not only for corporate lawyers, but even more so for the excellent folks at the Free Software Conservancy, the biggest defenders against GPL violations.
I don't think the "browser-only strawman" is condescending elitists dismissing users --- I'm a self-described GNU zealot on most days the only software I use on are apps like firefox, ssh, and vim and a few other bits like gnome/xmonad, liquid haskell, latex, and rustc.
I have no clue how the "average person" uses a computer, but for me it really is all web. Hell, if I had consistent LTE on my laptop, I could very just spend the whole day in a full-screen firefox with a web-ssh connection to my work server for development.
This course of study seems to take just as much, if not more, time than a math ugrad+master's at a typical uni. The people who could really benefit from having a path of textbooks like this fall into two categories: those who don't have access a university (due to poverty, rural location, and/or being a shift worker, for example), and high school students.
And I think the latter category is more important than people realize. When I was a high school student, I benefitted greatly from t'Hooft's theorist.html (like this, but for physics, and put together by one of the Greats of the field). It's part of what got me really interested in physics, it was a whole lot of fun, and it actually did a pretty good job of preparing me for graduate-level coursework. Eventually I left physics and math for CS (I'm in PL, so this is even less drastic of career change than one might think), but I still have warm memories of working along t'Hooft's guide and checking off topics as I finished the problems in each textbook.
>Once the type program's been compiled to a Haskell module, it becomes in essence a type-level library. You can include it in your regular Haskell programs and use the type class instances it exports in your own types to enforce whatever invariants you care about.
Cool! Is there an example of this? I poked around the repo and reddit/HN posts on it, but couldn't find anything...
> This may be especially useful for satellite-to-ground links in less than perfect atmospheric conditions.
Seems to me that the ionosphere would get in the way of this kind of technique. This relys on creating a plasma in air with controlled properties to function as a waveguide, so I imagine that having a high-energy space plasma in the way would make that sort of thing very difficult.
Mathematica is LISP, so it's really 0-based indexing, where the first element is the function you're applying. All the sugar and literals are made to hide this, but you can code like you're dealing with a real LISP.
Now you just show your mark each symbol to check if it's a part of the password, which would drastically and usefully reduce your search space (unless it a password that uses almost all ASCII characters, but those are extremely rare...).
Android ought to fall under Linux (Other), but he should still add it. He should also separate GNU/Linux (other) and BSD/Linux categories; see how many people are using BSD userlands like obase and magenta. So,
GNU/Linux (other)
BSD/Linux
Android
Linux (other userland)
stallman.org may not train you with all the skills you need to do investigative journalism and uncover conspiracy, but it _does_ cover the bare minimum you should do before you get started.
rms has been telling us for decades that hackers needed to get our act together politically, and it seems like this is the last "I told you so" he needs to finally get us to start looking.
I think you're missing the point here. pg's saying the scientist identity is useful here, not because of science, but because it reminds you not to take any other identities.
> Gödel's incompleteness theorems, which tells us about the gaps in theories we can't fill
That's mathematical, not physical, so that would mean that in the parent universe somehow _something else constitutes a formal language_, which requires changing what it means to be a subset, which requires changing set theory. So if GITs are invalid in the parent universe, it means, roughly either that you can compare something to itself, and find that it contains different things that itself (absurd), or that list comprehensions are logically impossible (not as obviously absurd, but still "whaaa?").
Then, we ask the model to behave that way (with a prompt), and store the difference in activations for each pair. Then, a PCA can be used to extract the principal component, giving use the steering vector. We do most of this using the repeng library, and the author goes into a bit more detail on how it's done on her [blog](https://vgel.me/posts/representation-engineering/#How_do_we_...?)