usaar333

19 ms·

241.
by usaar333 3y ago
neeva.xyz was a spin-off. I don't think it is affected by this shut down.
242.
by usaar333 3y ago
hmm, worked here: > No, Alice was not born in Hamburg. If Hamburg is a town in Germany, and Alice was not born in Germany, then it logically follows that Alice was not born in Hamburg.
243.
by usaar333 3y ago
Ya, it doesn't really struggle with the examples in this article to the point it feels like it invalidates the article.
244.
by usaar333 3y ago
There's been research into this for over the past decade. Here's a 2017 report: https://www.cmu.edu/dietrich/news/news-stories/2017/june/bra... Of course if you want to get a lot of press,
245.
by usaar333 3y ago
Mine failed: > Based on the information you provided, "If it rains today, I will drive home," we can infer that rain is a sufficient condition for you to drive home. However, you mentioned that you did not drive home. This mean
246.
by usaar333 4y ago
Wouldn't it be suspicious for a state income tax filing to not to be linked to a listed electricity rate payer? Or are you arguing no one will ever audit?
247.
by usaar333 4y ago
It reduces it. Per kilowatt pricing still exists, they just shift fixed utility costs (e.g. transmission infrastructure) to a fixed rate. Better explained at https://www.sfchronicle.com/bayarea/article/pge-utility-
248.
by usaar333 4y ago
Households receiving power are a superset of tax households. I assume household income is the sum of all taxpayers? I hope this is done in a privacy preserving way where you don't need to tell your PGE bill paying roommate your income.
249.
by usaar333 4y ago
Isn't this just the implementation of a law that already passed?
250.
by usaar333 4y ago
My Tesla's lack of Android Auto is one of its biggest drawbacks. Even for navigation it is bad, as I'm forced to use the inferior Tesla map app (which unlike say Waze can't compute directions considering carpool lanes). You
251.
by usaar333 4y ago
hmm, maybe you got lucky? My answer is on ChatGPT4: A possible animal ordering, from front to back, would be: Elk, Dog, Moose, Cat, Rat (Which violates the moose being behind the cat) Another answer I get in a new session is: A possible ani
252.
by usaar333 4y ago
I definitely agree on the vagueness. You have to understand that the 100 is caused by emerging phenomenon, not a population limit or government restrictions - it's really not obvious. You also have to understand that for some reason
253.
by usaar333 4y ago
Ya, these questions seem too hard for an undergrad test or at least feel like they were only written in an age where you want to be adversarial to LLMs. Don't get me wrong - I can give simple tests that LLMs fail and a college kid coul
254.
by usaar333 4y ago
Aaronson's test seems to require less "fluid intelligence" to get right. Someone who has read the book and just pattern matches basically can do well on the test. A lot of tests work this way. Steve's test requires.. m
255.
by usaar333 4y ago
Looks very similar to what CodeT did with GPT3?
256.
by usaar333 4y ago
I agree there is emergent behavior and this is impressive (I'm similarly impressed how well GPT4 can generate SQL statements). That said, even playing Othello is still an example of next-token prediction via pattern recognition. Yah, i
257.
by usaar333 4y ago
> Can you give an example a prompt that shows it does not have meta-awareness and meta-reasoning Previously here: https://news.ycombinator.com/threads?id=usaar333#35275295 Similar problems with this simple prompt: > L
258.
by usaar333 4y ago
Meta-awareness and meta-reasoning are big ones. Such inabilities to self-validate its own answers largely preclude human level "reasoning". It ends up being one of the best pattern matchers and translators ever created, but solve
259.
by usaar333 4y ago
> In order to do that, it seems like you need to consider at least 1 word past the next token. Why? Any large probabilistic model in your example would also predict "an" due to the high attention on the preceding "apple&qu
260.
by usaar333 4y ago
Regulation blocking mortgage porting is unfortunate.
261.
by usaar333 4y ago
Yes, but that's a huge hint. GPT4 naively doesn't understand this. Question: > I have a chair in front of the TV and one in front of the computer. I put a watch under the chair in front of the TV. I swap the chairs. Where is th
262.
by usaar333 4y ago
Agreed GPT4 is better, but there's still simple world modeling issues: > I have a chair in front of the TV and one in front of the computer. I put a watch under the chair in front of the TV. I swap the chairs. Where is the watch? &g
263.
by usaar333 4y ago
GPT-4 is simply outstanding at writing SQL statements. I made a bunch of examples with non-trivial customer revenue metrics assessments: https://www.dropbox.com/s/hdhycf7l00d3sx8/gpt4_attempt_sql_q... It can do b
264.
by usaar333 4y ago
Pokemon Red also seems supported; haven't tried others. What I find particularly amusing is that (not surprisingly) GPT-4 doesn't really enforce rules. If I want a Pikachu as my starter pokemon, I can get one. (That said it does
265.
by usaar333 4y ago
That's a fair counter. GPT4 definitely makes mistakes though that humans would not due to over indexing on puzzles. A Theory of Mind Prompt: > Jane places her cat in a box and leaves. Billy then moves the cat to the table and leave
266.
by usaar333 4y ago
I had worried your word "safely" biased it to using conventional safety rules that goats can't be left with cabbage, but even omitting that, it fails. FWIW, full word substitution passes somewhat in GPT-4 (unlike GPT3), even
267.
by usaar333 4y ago
GPT4 seems far better at this class of ordering and puzzle problems. FWIW, it passes basic substitution.
268.
by usaar333 4y ago
It's non-Muslim fertility rate is also among the highest in Europe.
269.
by usaar333 4y ago
Interestingly, France happens to have among the highest fertility rates in Europe today. Doesn't seem to be more religious though.
270.
by usaar333 4y ago
Bart to SFO provided a valuable connection from Western SF/Daly City to Caltrain/SFO. It also provides the actual only connection between Caltrain and BART, giving better connectivity to the East Bay.

More ›