skysight-inc/HackerNews huggingface dataset:
> The OP is claiming that they have created an accurate world model for Othello, so I think discussion of intentional mistakes and thermodynamics is outside the scope.

It's not out of scope because these all fall under the problem of induction, which is what I mentioned in my first post. There is no such thing as achieving "certainty" in such scenarios where you don't have direct access to the underlying model, there is only quantified uncertainty. This was all formalized under Solomonoff Induction.

So I'm making three points:

1. Your requirement for "knowledge" to be "100% certainty" in such scenarios is just the wrong way to look at it, because such certainty isn't possible in these scenarios, even in principle, even for humans that are capable of world models, eg. swap a human in for GPT and they'll also achieve a non-zero error rate, even if they try to build a model of the rules. There is no well-defined, quantifiable threshold at which "quantified uncertainty" can become "certainty" and thus what you define as "knowledge". Therefore "knowledge" cannot be equated with "certainty" in these domains. The kind of "knowledge" you want is only possible in cases when you have direct access to the model to begin with, like being told the rules of Othello.

2. Even if you do happen upon an accurate model, you'd never know it and so have to continuously retest it by trying to violate it, so you cannot infer the lack of a internal model from the existence of an error rate. The point I was making with this is that your argument that "a non-zero error rate entails a lack of an accurate world model" is invalid, not that GPT necessarily has an accurate world model in this case.

3. I also dispute the distinction you're trying to make between statistical "pattern matching" and "understanding". "Understanding" must have some mechanistic basis which will have something like this kind of pattern matching. I assume you agree that a formalization of Othello's rules in classical logic would qualify as a world model. Bayesian probability theory where all the probabilities are pinned to 0 or 1 reduces to classical logic. Therefore, an inferred statistical model that asymptotically approaches this classical logic model, which is all we can do in these black box scenarios, is arguably operating based on an inferred world model with some inevitable degree of uncertainty as to specifically which world it's inhabiting.
Skills. The US hoovers up the world’s skilled immigrants. Germany - like much of the non-english speaking world is left with the scraps.

Don’t take it from me, look at what the German government is doing with allowing foreigners to immigrate there. When a country throws open its doors the way Germany has, you must ask the question - why?
Also, he sounds like Todd Chavez from Bojack horseman...
> Throwing energy away is counterproductive, and Energy-to-Hydrogen-to-Energy throws away lots of it.

Energy to plants to biofuels throws away nearly all the energy. More than all of it, by some accountings.

What are the alternatives for those use cases in which batteries are infeasible?
What's weirder to me is how I can't remember even seeing them advertised within Spotify. I know there are some really need content Spotify is producing, but the ones I'm aware off I've generally found by accident somewhere on the Internet, never through their own UI.
Are you doing this automatically? or labor is doing the sculpture?
CSS uses global rules, hierarchical inheritance, is rendered differently between browser engines/mobile platforms, includes lots of hacky ways to do the same thing, and has constantly evolving standards. CSS is Hard with a capital H.
Funny you mention autocomplete. The iPhone keyboard is a beautiful ML implementation. It runs on device and it is hardware accelerated. When things work users don't notice. Look at how people type of the iPhone. Sometimes they press a few keys away and it figures it out.

Putting a LM like GPT in the autocomplete has a lot of problems. You don't want your keyboard suggest too much. It is a Pandora's box. People will complain how the keyboard is putting words in their mouth.
The trivial way is an enforced two child mandate. To be provided at 25 years of age with a selected or assigned partner.

It’s like mandatory military service, except for women.
Are you taking suggestions? WunderGraph is hiring remote engineers from anywhere in the world.

https://wundergraph.com/jobs#open-positions
Dog walkers make over $100k a year
If you want to develop a healthy counterpoint to that cynicism, you should consider reading more about Patagonia. Speaking as somebody who's generally cynical about these moves as well.

I'm less read-up on OpenAI. It does feel to me like they've diluted the original non-profit/openness mission to the point of it being an interesting historical quirk, rather than an ongoing, guiding focus.
At the same time, therapy is not the failure that many people make it out to be. If it failed for you, ok, but others are not guaranteed to have the same failure.

It is a tool. It works well for people whose problems fall nicely into the toolkits that the therapy industry has evolved to treat. If this is run-of-the-mill ADHD, it can help. If it is something else, it might not.

Therapy can also peel away layers of problems. If you have a slew of problems, maybe therapy won't solve everything, but it will help you identify a few problems that you can fix, easing the burden to find other tools to solve the other problems. Some problems also have a multiplying effect on each other, so a partial solve of your concerns may make the rest livable.

I'd say if someone truly wants to improve their life, it is worth trying the tools available to them. If they work, great - if not, try something else.
"Plumbing the Death Star" is pretty good. They discuss absurd questions like "What if Professor X ran Hogwarts?" and the like. "Hello From the Magic Tavern" is an improvisational comedy show set in a fantasy world. "Mad at the Internet" is fun if you like learning about and laughing at real-life batshit insane people.
Tangentially: Even though I develop code on a computer with 16 cores and 32 threads, my IDE still lags frequently. Because I develop on windows and the best C++ IDE for windows is visual studio. And it's likely that visual studio's main thread usage (GUI thread) is suboptimal.

Anyways, IMO it's not always about the 'hardware you want'. Sometimes, it's about the software you want.
Fentanyl vaccine tested in rats
I had a 12mhz AMD 286 as a kid and played the crap out of Wolfenstein. I'm sure it was running terribly but I didn't know any better.
Sorry to not write like a sms addict. I'm old school. And yes I found in SSB a efficient tool that meet my wish in social media. And I'm a bit upset when I see closed mind critics. SSB lives with no money or so few. But I see so much people happily trade their life for no brain needed tools that I find it disappointing.
The difference is my mom uses e2e encryption to check her emails and sell jewelry on etsy.

She's never used BTC to buy anything. Outside of a few tech bros in SF or Austin no one is buying houses in BTC.

I don't know a single person on either coast or in any city that has used BTC to directly buy groceries; pretty much everyone I know has used e2e encryption to buy something off of Amazon.
There's also a bandwagon effect, which means that once someone Becomes Known they are Suddenly Everywhere.

A terrific antidote to this has been the New Books Network, an audio universe of literally hundreds of channels and many thousands of episodes on the back-catalogue. Topics, content, technical quality, interviewer quality, and recently advertising intrusiveness are all over the map, but despite all that, there are in fact many excellent episodes, a huge back catalogue, and a selection of interviewees and topics which I'd otherwise have entirely missed. There are of course some well-known (or at least known) names, but many I'd otherwise never have come across.

Note that a specific episode may appear on multiple channels, but you can also focus or diversify your interests and discovery by picking topics with which you're both familiar and unfamiliar.

<https://newbooksnetwork.com/>
“Learn Haskell by building a blog generator” is a great resource for learning
I remember a relative having an early model laptop from Japan. It had a 386 processor I think and a monochrome screen. The keyboard sounded so sublime. I want one so bad lol
The PSX "Sound Scope" was introduced a bit after halfway through the lifespan of the PSX models SCPH-7000 and up.
ChatGPT Hijacks Democracy (Sanders and Schneier)
"So while it’s impossible to predict what a future filled with A.I. lobbyists will look like, it will probably make the already influential and powerful even more so."

This article is also linked from Harvard's Berkman Klein Center [1]

> The Berkman Klein Center's mission is to explore and understand cyberspace; to study its development, dynamics, norms, and standards; and to assess the need or lack thereof for laws and sanctions.

> We are a research center, premised on the observation that what we seek to learn is not already recorded. Our method is to build out into cyberspace, record data as we go, self-study, and share. Our mode is entrepreneurial nonprofit.

[1] https://cyber.harvard.edu/story/2023-01/how-chatgpt-hijacks-...
When you say "Any number can easily be described by x" aren't you already using Choice? And doesn't "let x be one of those numbers from the set of numbers that cannot be described with finite symbols" seem a bit like a paradox?
Go through the motions of Scrum and just reduce the amount of stuff in the sprint to compensate for the lack of work. If they are looking for points consistency, fiddle with the estimates to get the right numbers.

Scrum is an accounting tool. Apply all the shenanigans that one might find in financial reports to it.

At my first job, we just edited estimates after the fact to hit the velocity target management wanted.
The closest I've found to doing this is Mosaic. I paid for it because it was so useful. You can bind keyboard shortcuts and make any selected window snap to a particular screen and size. With the introduction of Ventura's Stage Manager (which is a poorly disguised Task Bar that should be at the bottom of the screen occupying all the unused real estate next to/around the dock), I can use Mosaic to snap my windows to the fullest size possible while still being able to see Stage Manager and this gives me a window management experience on Mac that is almost as good as Windows.
Your original claim was that

> the entire concept of a pull request is foreign to git

which is incorrect, since the the concept already existed, but was simply

> designed for email workflows

Indeed, GitHub-specific pull-requests didn't exist before GitHub, but that's a tautology, isn't it?
This confused me as well. A better user experience would leave the ssh tab, and explain why it may not work for a particular user?
Yes & No.

GPT <> ChatGPT: probably not. It's not hard for other big players to enter this space. It's mostly egg-on-face for Google that they haven't given that Google basically invented the model that OpenAI uses and has big versions internally. There's nothing fundamental stopping Google Docs from adding ChatGPT to their UI and getting way more consumer training data than OpenAI can get without a similar play, or for Apple to do something. Similar to what happened with mapping software, google/microsoft/azure & chinese equivs will all offer with similar competitiveness, and then complements like facebook/salesforce will do more OSS to compete against. That's already begun.

Copilot: The interesting proprietary advantage IMO is program synthesis. It's really enabled by Microsoft VSCode <> Github <> OpenAI. Without even doing any AI investments, the winner of this fight might be Gitlab, as Google/AWS/Saleforce/etc decide what to do. Before gitlab might have been a nice vehicle for shift-left sales (cloud hosting, security scans, ..), but program synthesis UIs can make Software 2.0 real.
re: using `git commit --allow-empty` for initializing new repositories - I used to do that for the same reason (being able to rebase), but eventually I started checking in a LICENSE file and skeleton README.md file (name of project + LICENSE blurb) as the first commit instead.
I finally made an HN account just for this comment. Feel free to look up the username, it's not a throwaway.
I hope we can keep companies like original Spotify around, where I can find almost all the music I want to listen to. I wish companies could keep a limited scope for their offerings and just be really good at just that.

Spotify's focus on pod cast is kind of crap. It's like TV eras cheap production value reality shows from late 1990ths all over.

I guess the capitalist mantra of perpetual growth is leading them down another path.

Netflix used to be my go to site for film, now there are so many to streaming services choose from I don't know where to start. And they mainly focus on making series, which I'm not a big fan of.

Looks like Spotify will follow the money and hollow out their original service to be another junk site for vapid entertainment and easy money.
Split the team and have a few members dedicated to support tickets on a rotating basis. Or just abandon Scrum sprint planning cycles and run Kanban. You may have to escalate the issue with management. In most organizations if you go up high enough you'll eventually find someone willing to make an exception based on proper justification.
> In contrast, Hitler made Germans feel like they were heading for a better place so he garnered support

I mean, the Nazi's cap'd out at 37% [1] when they initially became the largest party and that dropped to 33% by the next vote. The average German never felt that he would lead them to a better place (otherwise it'd be 50+% not 37%) and more Germans felt Nazis were doing a poor job once they started governing.

Also, this is a First-Past-The-Poll situation so parties's popularity will be inflated in the voting results. i.e. more than 10x people voted for Nazi Party than were registered members; presumably the vast majority of Germans thought a different party would do better but between the Nazis or the Communists they picked the Nazis.

[1]: https://en.wikipedia.org/wiki/Adolf_Hitler%27s_rise_to_power...
This is precisely what reflog shows you btw, i.e. all the things that HEAD has pointed to.

Running it after a rebase it's very informative, for example it helps clarify things like "ours" and "theirs".
I think this episode of Tides of History includes effectively a good review:

https://art19.com/shows/tides-of-history/episodes/cb335af3-e...

Wyman evaluates it with both sympathy and criticism.
The work done in the constructor is to ensure you have a working object, so that calls to any of its methods can never end with a null pointer exception or any other exception that can reasonably be prevented/thrown in the constructor.

Opening a file and truncating it sounds totally unexpected and I never do such things like touching the filesystem or running queries in a constructor.
No. Its all spin. The only uniqueness is the discount and preferential treatment they would get. Azure gets a nice callout in return.
More likely to ~steal~ copy.
> It depends on what you think a number is.

Let’s not mix up teminology and semantics. What a number here is is quite clear, we’re all talking about relatively standard math, the standard axiom of choice, and not some opinion on numbers. Sure, you can also say a planet is a mammal »depending on what you think a mammal is«, but that doesn’t lead to any sort of fruitful discussion.
What does laying off 600 people do to their net revenue/gross margins?
Hey those 90 million will help pay for Joe Rogan's 200 million.
> It is tragic to me that a person can't see culture as anything but a marketable good.

with respect, thats not what I am saying, I'm saying it has a cost. If people do not have the means to spend that money on making culture, then it is not created.

Juvenal was a client of someone, and complained about it

Tallis, Allegri, Purcell, Bach, Mozart were all professional composers

The great seats of learning (Ashurbanipal's libary, Venice, Alexandria) are all paid for by a ruler wanting to show off how good they were

Wilde, byron were all rich people wafting around bored and making art on the way.

In the 60s-80s it was possible to live in NYC working at a bar or something, and still have time and money to create art. Where can you do that now?

Now you need to be rich, or have time, or get patrons. The internet is a great way to either lower the cost of entry (see music) or get support to create (see Patreon)

> This is just deeply wrong. Culture existed before money

Culture existed when we had time, food and resources to stop worrying about being cold wet and hungry.
Ever spent any time answering questions on Stack Overflow?
Rentokil is using AI rat recognition to analyze populations
National Girl Security Strategy [pdf]
That's not what I said, though. China and Germany have massive coal supplies, and oil pipelines at their disposal. They don't have to literally ship (with actual ships from other countries) anything in just to keep the cars going vroom. They'd benefit way more from real batteries rather than using hydrogen as the battery of choice.
One of the reasons is sanctions.

Might want to be careful entering into an employment contract if the other party is located in a country your government doesnt legally allow doing business with.
It is also naive to think layoffs effectively target dead weight. As more extensive layoffs are often decided by senior management rather than team leaders, such releases have a high signal-to-noise ratio.

Natural attrition will also not be close to 0 in the next year or 2. Even if the markets stay stagnant, there will be the usual musical chairs turnover (a Facebook employee joining Google replacing a Google employee who joined Facebook).
I commented above, whether the salary is 150k, 250k, 500k... the impact doesn't change 0.1%, 0.2%, 0.33%. Not sure it really matters. Again I'm not defending lazy employees or saying employers are bad for doing this. I feel there is a hidden cost of layoffs from my own experience of being at a company doing round after round of layoffs.
27% of professionals use chatGPT for work already

what planet do you live on? I work in midtown manhattan, I bet if I walked down the street, 75% wouldn't even know what chatGPT is, let alone that the other 25% actually use it.
It looks like something someone threw together with placeholder images in a day.
The one I remember was alot more boring though:
https://www.youtube.com/watch?v=0jZ0DxwRm-0

(I had an EU PS1 bought ~1997)
One of the requirements for book approval:

> Appropriate for the grade level and age group for which the materials are used or made available

If I was in grade school when this happened, this would have hampered my ability to learn. I was generally reading above the standard level and loved reading in class.

Reading this post just makes me sad. Kids aren't getting the same opportunities I got to nurture my curiosity.
> It's not "proprietary"

Fair. It is non-standard, published via Microsoft, and even named after the single product that it supports, but if we're splitting hairs it does technically have an open-source license. So I removed the term "proprietary."
https://archive.is/Cyaac
It wasn't just incremental. It was a massive improvement! I still remember how floored I was with the quality of results compared to AltaVista which was my main search engine at the time
Artist revenues on streaming have been dropping substantially over the years, not increasing as the companies get larger. There is no shortage of artists talking about what a joke the payments have become.

If Spotify can't make money after cutting royalties 50% over the last 3-4 years how can that possibly work?

Realistically Spotify is a whole bunch of people making a lot of money as middlemen, but they can't seem to figure out how to actually make money.
May I interest you the most potent dopamine kick for us with adhd?

Build it, run it.

For iOS development, that means rubbing the ink off of Cmd+R, Python in PyCharm is Ctrl+R, bash is uparrow+enter…

The feeling of extreme frustration when things don’t compile and run, met quickly behind a rush of “hell yeah!” dopamine when things work - is an adhd brain’s white powder.

However, keep in mind that over time, business success will mean not finding the next thing to battle with or to learn - it will be implementing what you know quickly towards a customer aim. There’s a pit of despair if one doesn’t keep an eye out for that.
I mean can’t you still have ads based on the response?
I agree that vaccinating young and healthy people with the bivalent vaccine doesn't have much data supporting it.

The rest of your claims are dubious at best. Yes COVID deaths are going down, but that's because the most vulnerable are already dead and most everybody has a prior infection now. All the vaccine studies up to the bivalent booster used clinical outcomes. Most COVID deaths are "from" COVID, not with COVID, so this distinction is not particularly meaningful... Nobody is arguing that 100% of deaths are attributed perfectly.

Basically the vaccine recommendations up to the bivalent booster (ie 3 shots of the original vaccine for all age groups) were obviously correct and have overwhelmed data supporting them. The bivalent booster is a bit more complicated, but don't pretend that invalidates everything from the past 1.5 years.
Bless you noble stranger!
>Fossil fuel transport is fundamentally carbonized.

Exactly, and I wish I understood why people thought this was a smart point.

EVs are a link in the chain that in and of themselves have no fundamental energy dependence on fossil fuels. They have an incidental reliance on fossil fuels to the extent that electricity is generated from fossil fuels. But they're a piece of the infrastructure puzzle that in and of themselves is fully solved and compatible with decarbonized infrastructure. I would like to think that one goal in advancing public understanding of EVS should be educating people to the point that this particular talking point never gets used ever again.
Hey America, is everything okay down there?

Y'all have some truly dystopian stuff going on there. Felony prosecution for showing kids books that the Governor didn't approve of?

Yikes.
How about binding with Carbon and getting methane (CH4)?
> productivity has been lower the last few years

Any statistics to back that up? I've read both narratives (this one and the one that conflicts it) countless times over the Internet the past few years. I have no idea what is true.

A lot of people defend work from home and say it makes people more productive/work more overall. If that were the case, why are some of the brightest companies like Google/Apple against it?
I appreciate Lex because of this.

He throws in extremely open ended questions. And the guests can answer any way they like.

I like the freedom Lex offers his guests, as opposed to traditional media interviewers. Lex does open ended questions and the guest can answer it anyway they like- any depth they are comfortable at speaking.

Traditional media is not only narrow in scopes but questions, and hence, answers are bound by the intelligence level of the host and the audience.
Here is a nice infographic of one years mining output for perspective

https://elements.visualcapitalist.com/wp-content/uploads/202...