skysight-inc/HackerNews huggingface dataset:
What is a "reasoning principle" and how might it be "encoded"?

Also are we really calling it "denial" now? Because it's a little funny to make the move of simply psychologizing away the criticism, when your actual AI argument, presumably, is that inner consciousness/rationality is black boxes all the way down anyway. Like, how can you presume to look inside the mind of your critic so confidently, to assert they are in denial, but in the same breath say that such a thing is in principal impossible? Don't you think it maybe takes away the force of your argument? Or at least goes against its spirit?
Some of it is randomness for sure. However the prompts make sense usually intuitively and there's a big deterministic component -- as which prompts work are likely a function of the training data which has a huge overlap between models.

Edit: And even if the exact same prompts don't work on different models, similar prompts often do.
"Tree of Thoughts: Deliberate Problem Solving with Large Language Models" seems better than just re-rolling the dice.
https://github.com/princeton-nlp/tree-of-thought-llm
Well, all of what I said does not apply if you're used to it I guess? ;)
Reminder that GPT-2 was considered “too dangerous” to be released at just 1.5B weights
I think the internet and social media's effects have been different than television. Like television, it encourages even shorter attention spans and even more superficial engagement with things. Unlike television, it tends towards anger and outrage (not entertainment) and encourages more fragmentation and tribalism.
That is extremely far from obvious.
Afaik, neither of those numbers legally constitute a monopoly and wouldn't qualify for antitrust action.
> There’s a very large chasm between being successful, and having $10s of billions of dollars in net worth.

Because of marginal utility, there really isn't such a large chasm. Every additional dollar has less utility than the dollar that preceded it. Capping what producers can earn or use their means/money on is a good way to stifle innovation and productivity. Also, what indication is there that the government won't squander taxes from this in the same way they have squandered taxes from so many other things?
The feature that I'm most interested in is the ios emulator that will be available through the browser. Dealing with ios development with neither a mac nor iphone is annoying at best.

So far, I'm using Flutter and codemagic to do builds, relying on web and android debugging during development, and friends' bug reports through testflight for ios dealbreakers. Being able to debug ios during development would be nice.
I've spent the last decade in the most technical parts of this industry; it is my job to expunge this credulousness.

It is indeed trivial to show that P(A|B) is a poor model of "B => A" (and B causes A, and many other relata). Software engineers, philosophers and experimental scientists seem pretty good at seeing this --- people who "convert into" engineering are totally dumbfounded by it.

P(A|B) becomes an increasingly 'useful' model of arbitrary relations as the implicit model P_m(A|B) grows to include all instances of A,B. That's what digitising all of human history and storing it in the weights of an LLM does.

This all follows from basic stats you'd be taught in an applied statistics course; one never taken by most in the ML industry.

(Note its still a broken model because there's an infinite number of novel instances of (A,B) pairs in most cases that cannot be modelled with this sort of inductive learning).

Engineering at its heart, is a kind of pseudoscience (or, if you prefer: a magic trick). You find some heuristic which behaves as-if its the target under fragile but engineering-stable conditions.

The problem with engineers who only have magic tricks in their toolkit is this credulousness. Homeopathy worked: you put people in beds and give them water and they recover (indeed, better than leaching them).
Being forced to use it.

Nothing else worked for me
I have no expertise, but this is my sleep. It turns out I have sleep apnea. I can "sleep" for 8 hours, but it does very little good. With apnea, you wake up as much as a few times an hour, getting very little REM. It took me years to consider apnea because I'm thin and somewhat fit. But all sorts can have it.
I wish my bugs were mostly preventable via static typing and memory safety checks. For most ML and data work algorithm design and logic errors are the primary source of bugs. Type errors are usually the trivial things you fix in minutes.
It’s not just Mars, but there are nuances and exceptions. There’s a ton of history on why we do this and what the limitations are:

https://en.wikipedia.org/wiki/Planetary_protection
> Instead of flushing the entire branch predictor state, AMD proposed a different mitigation for the Linux kernel. By reducing all returns in the kernel to a single one, it becomes possible to ensure a safe (but still incorrect) branch predictor state each time this return is executed. Keeping previous mitigations in mind, this effectively means that AMD opted to have all indirect branches forcibly mispredict to a benign location, preventing Inception attacks.

So, There will be no decrease in performance or any other performance impact if you are running Linux kernel.
But isnt this news?
That would be excellent.
Russia's military is being decimated, just not at the line of contact currently. You're watching a protracted battle play out all across the world right now between Russian interests and Western interests. Some of these include:

1. Russian/Wagner (now admitted to be the same) neocolonialism in African states, most recently Niger. Within days Niger stopped trading Uranium to France. Conveniently, France is the least dependent on Russia for energy and will force the French to buy outside of Niger and then refocus on Russia.

2. The latest naval drone hit on a Russian oil tanker in the Black Sea took place well beyond the expected range of Ukrainian capability, which likely means someone else (Turkey?) helped at least get it into launch range. This coupled with the Ukrainian position that all russian ships, and all ships trading with russia are now targets in the Black Sea is also big for the area.

Currently Russians may not be dying in droves defending their positions. However, the knock on effects for russian military capacity, industrial capacity, and naval capacity are incredible. The longer they flounder and the more they commit to Ukraine, the more their traditional enemies are able to take advantage of their weakness.

If russian gas and oil cannot flow out of the black sea safely, their PMC backed interests in Africa and South American become less effective, and the corresponding governments will look elsewhere for influence/protection/trade.
Private equity plunderers want to buy Simon and Schuster
Private jets are not just used to transport rich people, they are used for all the same reasons one uses other aviation. For example suppose a factory has a major equipment failure and replacement parts are all the way across the country--and it is costing many thousands of dollars an hour with the factory down. One might well use a private jet to get the replacement equipment there as quickly as possible.
Selling ads is one thing. Selling my Internet connection, which violates the ToS of most ISPs, is a vastly different situation.
But that would be fuel for another antitrust case.
> Ignoring whether it's bad or not, if Americans want mostly unbiased news, they have easy access to it on the web:

I don't think any news is truly unbiased. There is always some form of bias and it's up to the consumer to be able to determine what that bias is and the impact of it and seek altering sources.

It's a skill on its own, but there is always bias.
Hmm I thought it was ChaiGPT. People were calling the API ChatGPT so they changed the name to that of a beloved beverage and JavaScript assertion library.
This option wasn't available in 2018, when NightOwl was released. I had to test our application's Dark Mode implementation and NightOwl was super-useful then. I'm glad Apple made it easier to toggle dark mode in the interim.
There isn't even a single screenshot of what it looks like, either on the linked page or the idx.dev site.
If the developer is well paid, probably not? Why would they throw away what they built for a lump sum if they have decent side-business and recurrent revenues?
Thanks, that makes sense. Intel is also getting out of NUC market. But there are still lots of NUCs out there that could be used as a light gaming server.
The sizing charts give the shirt manufacturer: https://supporters.eff.org/t-shirt-size-chart#watcheru
Never used one, but with a Trackball mouse you rest your hand on top of the mouse body, and its really mainly your thumb vs your wrist being moved.
My grandparents managed to maintain this way of watching news. The TV was off the entire day. They would turn it on at 8pm after dinner for the local/national news report, and turn it off when it finished. It's possible to do but it takes discipline and intention.
I don’t usually experience motion sickness from webpages, but this gave me a massive headache. Lots of moving pieces at different speeds made my stomach turn.
I have been wondering... does ESPN do ads in the middle of the race?

F1TV really is the best view, IMO. It's like $80/yr, you can watch any in-car camera at any time, and get multiple feeds and a real-time data feed. There are some 3rd party F1TV clients that will open up an array of windows so you can see simultaneous streams. And the web site works great in a browser and works on Linux. I've had a couple F1 parties at my house and it's been great.
> if I may ask for an addition in go 1.22: encoding/yaml

FYI, encoding/yaml was recently requested, and was declined in https://github.com/golang/go/issues/61023#issuecomment-16106..., for reasons I largely agree with.

(I work for Google but not on Go)
Complexity of object-oriented programming (book chapter one, 2022)
That gist I linked definitely doesn’t smell like a fart to me.
I'll do my best.

Mozart was one of the top Classical period (1750-1830) composers, and is certainly the most famous. He was a genius, he was prolific, he was famous during his day, and among classical composers he is often considered the best. To this day he is a household name, and his operas, symphonies, and chamber music are commonly performed.

Bach died (1750) before Mozart was born (1756). He composed in Baroque (1600-1750) counterpoint. He produced an inhuman amount of music, as in he had to be writing constantly. While he lived he was not famous, but he was known in smaller musical circles. After his death, his music was mostly forgotten, and baroque counterpoint in general was outdated and not often used in the classical style. It wasn't until the 19th century that he was rediscovered, having his works re-published and performed. His music is subtle and complex, maybe I can describe it as a crystalline mathematical profoundness.

Among many Bach is considered the GOAT. I could believe that a super-intelligent former human AI musician would find his music interesting. Whereas Mozart was merely the greatest Classical composer. But of course, Sterling is also lobbing a grenade into an infinite flame war about which music is better. So that's a fun way to rile up the Mozart stans.
Why do countries fine so little for egregious problems. But then fine poor people a relatively insane amount for forgetting to put some change in a parking meter after it expires?
I think you should use your cat to selectively reproduce a breed of ecofriendly cats.
Disney AI task force aims to cut costs, enhance experiences across the company
Democrats worry young people souring on party
You can create workers at runtime. Take the fact that it is not straightforward, and hence you need to be asking this question, as a hint that it’s almost certainly the wrong thing to do for your library—unless it is specifically about something like worker management, in which case you would not be asking this question. Don’t mess with the environment, users (and future you) will thank you for it.
And their values are what exactly? They offer something for free with no reasonable expectation of compensation then rug pull by selling out. It’s hard to be sympathetic. If you want to get paid to write code then get a job writing code.
Funny I'm currently using a Kensington one, I didnt like that it felt smaller, but I just realized this today, I got used to it already.
KIA and Hyundai have built and are building more in Georgia as well.
YouTube will now show a blank homepage if you don’t have watch history on
The revenues of the tax are redistributed to everyone with a regular payment. For example a weekly or monthly check. Americans buy roughly 1 gallon of motor fuel per day per capita, so a $5/gallon (example) tax would result in a household of 4 people receiving a $600 check every month. For people who use less than the average amount of fuel, it's free money.
Is this a common slang in infosec? I've never seen it used like this and it has highly insensitive connotations for me in other contexts.
The site is still being updated:

> Reports of the demise of this Web site are greatly exaggerated! We at sheldonbrown.com thank Harris Cyclery for its support over the years. Harris Cyclery has closed, but we keep going. Keep visiting the site for new and updated articles, and news about possible new affilations.

Also:

https://sheldonbrown.com/blog/
I would say that consumer products and physical products are similar in that the bar is very high for UX and innovation so an expert with a point of view is the best option.

Enterprise product features are best off led by sales. What helps sell? What are customers complaining about? The UX bar is low for enterprise so the "too many cooks in the kitchen" model is passable there as long as the functionality matches the market.
Yup; the fact that humans can't be expected to be ready to intervene at a moment's notice is a well-known problem in human factors engineering.

GP's assertion that Tesla's strategy is good is consequently laughable.
That's all motorsports. Ever watch Spec Miata and wonder how that car out front is so much faster than everybody else? Every race series is full of cheaters.
If you do I’d love to see the results
I feel like the various readme and the landing pages do a good job of explaining the CBT-I psychology.

What parts of the learn more sections or pages didn’t make sense to you?
A Gentle Introduction to IMAP
Also not a lawyer. I'd think there's a level of interpretation to the enforceability of a given clause if it's not adequately exposed or is unconscionable in fairness. I'm guessing it's not so easy as clickwrap = rock solid contract.
Oh no! The wealthy won't be able to fly private anymore? Why even continue to live, right?
Very possibly a mercury vapor[0], or low-pressure sodium lamp. Mercury vapor lamps have effectively been banned in the U. S., but that was around 2008 and your lamp would still be within that range. And, yeah, my experience says that mercury lights last effectively forever. I don't remember ever changing an existing bulb (not that my experience with mercury lights is all that extensive).

[0] https://en.wikipedia.org/wiki/Mercury-vapor_lamp
In 2016 (for likely obvious reasons) I broke the habit of watching the evening news, and I'm much happier for it.

And I'm still well-informed. I peek at TV news occasionally, and glimpse at online news too. But I avoid editorials and sources that add a lot of spin. Give me the as-raw-as-possible news so that I can decide if/how I feel about it on my own.
> Ignoring whether it's bad or not, if Americans want mostly unbiased news, they have easy access to it on the web:

Those might be better than, say, the New York Times or Fox News, but they're hardly unbiased.
I have heard good things about Vertial Mice but I've fallen in love with Trackballs once I embraced my first one, I don't know if I can appreciate normal mice since.
I'm just curious but what about it is a big win?
Yes, that's the whole point of being rich... you can afford luxurious things...
theres a stereotype about the british inventor in his shed too, right? maybe he went to new zealand where there's space for a bigger shed.
Why do I care about reducing Google's ad fraud and helping Google's ad business? This is their problem and should never involve relaying my personal computer's information to third party so Google can make more money.
Agreed.

Lex's done some of my favorite geek interviews. Just from memory: Stephen Kotkin, Roger Penrose, Lisa Feldman Barrett, Everyday Astronaut, Jim Keller, his own father. Many more I'm sure, if I consulted Lex's archive.

I skip over the episodes with culture warriors. I've already had my fill, thank you very much.
I'd really like to see smaller models trained on only one specific language, with it's own language specific tokenizer. I imagine the reduction in vocab size would translate to handling more context easier?
What makes other solutions not GDPR compliant?
Air Force finds carcinogens at nuclear missile sites hundreds cancers surface
I don't think so. This vulnerability is leaking data from a load-buffer, not directly from registers. It affects data that is loaded in bulk or to vector registers.

However, general purpose registers are also loaded passing through this buffer during context switches.
That’s a surprisingly deep question.

The point of the economy is to maximize benefits while minimizing downside.

Burning fossil fuels cases problems such as respiratory issues, but it also has major benefits for the people doing it like being able to travel quickly. We don’t want to ban it, but you want your personal benefit while convincing other people to burn less because it harms you. Further you don’t want the overheated of a complex system because that’s expensive.

Enter a flat carbon tax where people can decide to keep doing everything the same way at the cost of paying more, but they also get cleaner air from the people who did cut their emissions. While the people who cut back get both cleaner air and the benefits from other peoples carbon taxes.

You do need to pick a reasonable tax rate, but you avoid the planned economy issues from say cap and trade or company specific EV subsidies.

Finally, the real benefit is when building new infrastructure. A 1 cent or even 10 cent per gallon carbon tax might not change your driving behavior but it’s going to convince many people to get more expensive but also more energy efficient systems because the ROI increases. Which then increases R&D and economy of scale for such systems, you basically get the benefit of a subsidy without spending taxpayers money.
I think you are right, my wish involves living in a slightly different universe where the web has taken a slightly less silly direction of development.
Great description.
Thanks for those links
> It's incredibly unlikely that millions of innocent users have been blocked

Is there a 'town square' where we can talk about being presented captchas and similar things from 3rd party intermediates.

I think it's incredibly likely that millions of hours have been wasted on such challenges.
This is MacOS specific: once I learned you can drag & drop folders from the Finder into the terminal window to get the full directory path, that changed everything.

If there was one thing I was guaranteed to mess up, it was directory paths. That made me 100% more comfortable with using the terminal and now I don't have any qualms when I'm on my Linux boxes.
If we're lucky they won't add them until they have some halfway decent fusion working in the compiler.
The important thing for discussing this is that this kind of reproduction is irrelevant.

Does homeopathy work? Well *I* went to a local hospital and saw people recovering by drinking water and resting.

Well, yes, of course you did. That doesnt count as a reply. It misses the claim.

The claim isnt that there arent an infinite number of Q/A prompts where A is correct. Of course there are, rather trivially just from the nature of a generative model.

The claim is that the reason A is generated from Q is because of the co-occurant frequency of Q,A in a corpus, and that this is not a model of eg., logical inference, causal reasoning, abduction, etc.

It's trivial to show that with a handful of cases of failure. Success is irrelevant, it always is.

These arent claims about the engineering rigour of chatgpt, theyre claims about how it obtains A from Q.

Which, if the GPT had remembered all useful Q,As for all of humanity so far, wouldn't be detectable by prompting. Indeed, even if this is so, the reason we care is when there are novel Qs.

Eg., "what is the local post office's telephone number?" isnt answerable with all of human history up til 1900.
And even when it doesn't block you completely, it delays website loading, makes you jump through frustrating captchas, etc.

It's probably third in the list of frustrating web behaviors in the past couple of years (behind GDPR popups and registration/paywalls that seem to have gotten much worse recently).

And somehow there are some sites that I get CF delay walls on every time I visit.

This feature is utterly broken for a good web experience; it pushes users away from sites which use it.

Every time that "checking your browser" page comes up for a legitimate user should be considered a failure. Sure, it can maybe happen a few times in a thousand, but the feature is utterly broken if it comes up every time I visit the same site from the same browser not in private mode.
Phrasing a question poorly yields poor answers from humans. Does rephrasing the question mean re rolling dice until you get a form of question they understand?
Is there such a thing nowadays? There's too much incentive to post polarizing, rage-inducing content. I'd love to see what sites you're getting information from.
Is that poem where the saying is from? It seems to be a 3rd category, separate from the two in the parent comment.

Saying: For the set of all things that glitter, none of it is gold.

Implied meaning: For the set of all things that glitter, not all of it is gold.

Poem: For the set of all gold, none of it glitters.
If I already have a Stadia subscription, can I bundle this with it for some savings?
I just have my PC in my living room boot Straight to Steam Big Picture Mode. It's great.
> Isn't this sort of what the web is for? Service providers give you shiny objects for free and in exchange you give them complete access to your digital life.

If you made it clear you were being sarcastic, you wouldn't be getting downvoted.

Yes this is what many businesses want you to think. The web isn't for anything in particular besides general communication bound only by the laws beyond the first amendment.
> do we do client attestation in a browser or pretend remote attestation doesn't exist

Neither. The issue is that this is being framed as a "client attestation" problem, when the actual problem that needs to be solved (as opposed to a "problem" that certain companies would like to "solve" to benefit themselves at users' expense) is a user attestation problem.

My bank has no reason to care what client I am using to access their online services. They do have a reason to care about correctly identifying who I am. But there are already ways to do that that are just as good as anything WEI will provide.

Companies that do care what client I am using don't care for my benefit. They care for their benefit. But as long as they can't get the law to tilt the playing field in their favor, I can just refuse to use their services if they refuse to accept my client. As soon as "client attestation" becomes a legal requirement, though, then it's not just those particular companies that will use it; everybody will have to, including my bank, even though my bank has no reason to do so other than the law if such a law passes.
If someone created a way for WASM to talk to an SDL equivalent, it'd probably end use of HTML & CSS
Military recruiters skipped steps to screen out extremist enlistees
Thanks! I didn't know there were commercial interests behind LK99.