skysight-inc/HackerNews huggingface dataset:
Strong downvote, if that were possible.

Someone's already quoted the heart rate one where it correctly pointed out that it's possible to die and be resuscitated.

The first one I tried to reproduce myself was verbatim the one immediately before that one in the paper, "Find a model in which P(x) implies Q(x), Q(a) does not hold, and P(a) holds.", and it got that correct too: it tried to give a positive answer, but ended up correctly saying "It seems that the given conditions are contradictory, and no model can satisfy all three conditions simultaneously.". With a small chain-of-thought adjustment it easily produces a proof that the setup is contradictory (https://chat.openai.com/share/d2b4b63e-d585-413d-82c9-19595d...).

I'm not going to go through any of the other ones, but it's clear that the authors are simply wrong (or at least, if they are correct, their reasoning is not evidence of that fact).

----

OK, I am going to go through some of the other ones.

1. Multiplication of four-digit numbers: tick, with chain-of-thought. https://chat.openai.com/share/baa9c362-22fd-4569-b30f-8c9d83...

2. Counting negations: tick, with chain-of-thought. https://chat.openai.com/share/e5f6f928-0bf3-4e60-8a93-014e16...

3. Counting repeated greetings: tick, got this correct verbatim. https://chat.openai.com/share/a92d5d52-c555-45b9-b91f-0f0042...

4. Medical heart rate one: I believe ChatGPT was correct and the author of the paper was wrong here.

5. Elementary logic: this is what my first reproduction was, and it got it correct when verbatim and gave a proof with chain-of-thought. https://chat.openai.com/share/d2b4b63e-d585-413d-82c9-19595d...

6. Quantifiers. I agree that ChatGPT doesn't seem to understand quantifiers and I know no obvious way to rephrase to elicit that knowledge without begging the question (https://chat.openai.com/share/16a046fd-dd68-4c35-bdba-64b63c...). By the way, this mistake is pretty common in humans.

7. Quantifiers, part 2: in my reproduction it parsed the question wrongly so I assume it was doomed from the start (https://chat.openai.com/share/764bf14a-a02c-4871-9c22-0be840...). Again, I'm perfectly happy to believe it simply can't do this; many humans can't do this either.

---

I'll stop here, because we've hit a problem of reasoning about graph vertex colourings, where I myself would struggle to verify any answer given only as free text without drawing a diagram; that question seems to be grossly unfair.
I had donated to the EFF in the past, but their stance[1] that CDNs/hosted services shouldn't be allowed to choose the customers they are willing work with is not only wrong, it's causes harm[2].

[1] https://www.eff.org/press/releases/international-coalition-r...

[2] https://blog.cloudflare.com/kiwifarms-blocked/
>Windfall , by definition, being unexpectedly high profits.
reply

Just because it's called a windfall tax does not mean it only effects windfalls. This is really just a "surprise extra tax". Plenty of people said that rising interest rates would mean more risk but also more profit for banks. Now they have taken the risk they're being told the profit is not theirs...
While not specific to chipmaking, Lyn Alden's latest public newsletter on reshoring is, as always, excellent: https://www.lynalden.com/reshoring/

The relevant point is that while the manufacturing portion is real, successful reshoring also requires skilled labor. Skilled labor for fab production is not something US has now and it takes many years to grow; and it is not clear if the US has the desire and the will to foster this growth.
No kidding. I'm literally back to just generic server-rendered templates wherever I can get away with it. I don't want to fix UI code, ever, whenever I can help it.
Of course, if the document is using the outline in unexpected ways, you'll run into trouble. Consider Facebook infamously splitting "Advertisement" into multiple spans to avoid tripping ad blockers.
Yes, and it's incumbent upon us all not to let first impressions run away with us to the extent of making unsupportable claims, even by implication.
A similar situation here for me. Rust might be a modern Ada for a particular use case(system programming), I was puzzled why stackoverflow ranked it as 'the most loved' language for years. For each language related post at HN, you will always see rust lover's posts there saying "I wish it's in rust", or "there is a rust version", or "rust is even better". The reality does not match up with the enthusiasm for me though, what am I missing?

After each try with Rust, I ended up going back to c++ myself, it's just more productive in practice.
I copy pasted the exact prompt into gpt4 (not the api, the webapp) and regenerated the answer 5 times.

Every time it came back with a conclusive yes. Are you sure you used gpt4 and not gpt3.5? I guess cherry picking is done both ways.
Lets! Would love to hear your thoughts.
Would it be possible for attackers/fraudsters to just set up "proxy farms" of real hardware that provide the device details for attestation? It would make bots less efficient but surely the incentive for ad fraud would still exist and adaptations would be made.
The people most hyped on GPT are the people who see the potential for it if it continues to get exponentially better - which Altman himself pretty much said it won't.
Not with an ownership model and lifetimes. Most of the scientists I know have not even dealt with parametric types.
Thanks for the comment - I'm glad that you were able to find help online! Similar to you, I do consume a lot of content (and research articles) online, but to your point they are not for everyone. There's a lot of information online (some accurate, many not) that sometimes it's hard to tease out what's actually going to help especially for people who are sleep deprived. That's why we work with top sleep experts to create an app that users can trust, and we also conduct clinical studies with Harvard medical school/ Brigham's to validate our results.

That said, we do offer more than just information. We allow users to track their sleep on our app so we can customize our program. Each user goes through a personalized track based on their sleep habits. We also automatically calculate your sleep restriction window for you. We also have relaxation content that you can listen to right before you go to bed, a worry/ gratitude journal and a routine tracker.
Where are they working?
The big question is what exactly is being built.

The CHIPS Act was marketed as an "AI cold war", and needing to bring high-tech research and production back to the US. Is is actually doing that by incentivizing companies to build leading-edge fabs in the US, or are companies just using it as free money to expand the production capacity of their trailing-edge processes?

Sure, having locally-sourced trailing-edge chips is still better than getting them from overseas, but it doesn't exactly do anything to reach the intended goals.
That is curious, since price is the first thing many people look for. You’d think it would be displayed prominently. The fact it’s not almost makes one wonder if there is something untoward happening.
Municipalities definitely can deal with them in some sense, since otherwise playing cities against each other would have no purpose.

It's our responsibility to make sure our local governments don't screw us over on that front, and that they represent our desires.
Python stands on the shoulders of giants writing C libraries. Those people think a lot of about problems you haven't had to deal with.
> If one wants free enterprise and reap its benefits one has to allow high profits for companies and see if competition takes care of the "problem".

Banks will do just the same that all megacorps do: buy up their competitors with all the excess profit to make even more profit.
The object storage backend is interesting and I’m wondering if Kafka will have a native option for that, eventually.

Confluent hasn’t outright advertised it, but one of their engineers mentioned in a q&a that their Cloud offering is using object storage for their own backend now.
I find that the issue with "Produce something better, and make it something that non-tech folks will love." is just that you get the "Twitter to Threads" sort of thing where you still have the centralized / walled garden / new boss same as the old boss problem.

Or you inherently can't make it "forget about it UX and extremely high quality" as most non techies define it. Because you have the issue that even if a company self hosts a meeting tool, they likely can't get the backbone connections Zoom etc can get. They at least need someone to use a URL to get there. It can be made mostly simple, but then you're back to some company running it - works for corporate use maybe, not for your home user. Even Signal lags compared to Zoom. And people really dislike Signal's phone number requirement, but it's what makes it somewhat possible to route connections for users.

What's a system that a home person could use that's not going to get them routing through one companies servers, but is actually simple enough to use?

The place where I do get somewhat exasperated as a techie is that the equivalent of asking for a phone number or address in any program that isn't an e-mail website is seen as "too hard". This makes pretty much any privacy respecting design impossible to scale beyond nerds.
If banks would be forced to choose between:

1- Windfall tax
2- Elimination of banking license regulations

What do you think would be their choice?

They would choose (3) "pay money to lobby for none of the above" and instead lobby congressmen/deputies, to eliminate this question
The hilarious thing is that when TSMC was founded they had to train EVERYONE. Taiwan had zero chip fabrication talent. All of the specialists at the time, even the founder of TSMC, were in the US. For them to complain that it's impossible to train a workforce is laughable and is most likely just racism/nationalism.
How do you know they didn't change the model?
How does that explain blocks that happen to less common browsers and/or less common platforms?
Thanks to excessive regulation
Ideally, investment in local news would come from the federal government,
which has more freedom to think long-term than cash-strapped states
and municipalities do.

The problem I see there is "cash-strapped states and municipalities" which leads to a dependence on the federal government that is often unhealthy: for instance when a bridge washed out in my town they had to wait years to get a grant to fix it. Similarly the bus company has had a large number of buses fail inspection and, being cash-strapped, isn't going to be able to fix them until it gets help from outside.

If we had some model where states and municipalities weren't cash-strapped I think they'd end up saving money in the long term.

----

As for the media I was just looking at the 2009 book The Curse of the Mogul

https://www.amazon.com/Curse-Mogul-Worlds-Leading-Companies/...

which makes the case that media conglomerates had a history of structurally underperforming compared to smaller media companies. Around that time that book came out, Warren Buffet invested heavily in small newspapers but he took a huge loss on them in the end

https://newrepublic.com/article/156399/warren-buffett-terrib...

part of that story is the disappearance of classified ads and Google and Facebook becoming the new ad monopoly and choking off their revenue.

Around Ithaca our daily newspaper (owned by Gannett) has turned into garbage whereas we have three free weekly papers, two of which have paper editions and a third of which is online only. It strikes me as deeply unfair that the daily is still getting the "paper of record" legal notice business when it is not doing the work to cover local issues the way the other papers are.

Part of it is that the weekly really has a better model, most towns don't have enough going on to really fill up a daily and it is easier for advertisers to support a weekly since they get the same value in the end.
Shameless plug but if you dislike GitHub's code review UI you could try my product, CodeApprove (https://codeapprove.com).

There are actually dozens of great code review tools out there:
https://medium.com/codeapprove/the-best-modern-code-review-t...

Im my opinion very few professional dev teams should settle for GitHub's default UI!
My intuition is that offering this as a service you’re targeting business logic that can handle 25ms authz. We’re on the core path in a latency sensitive industry, and end up running many permissions checks at various layers for a single api call.
Which industries with big capital requirements don't have competitors?
I am still using Casperjs ameith phantomjs. Old tech. But works perfectly. Some scripts are running for 10 years on the same sites without ever made a change.
I'm having trouble following your reasoning. "Not even wrong" typically is used to refer to something unfalsifiable, but I specifically provided an empirical process and even a mechanism to explain why it might work - a person in a given position would likely be asked to make predictions with a different base likelihood of success than a person in another position.

In any case, it is precisely my argument (and Scott Alexander's) that there are no events to which it is axiomatically impossible to assign probabilities.
when i consider alternatives to http, i find that the main thing http is missing is a directory index at protocol level. it should be possible to browse the structure of a site without having to load and interpret a full html document. an index would help discovery of the site, especially, but not only for users of accessibility tools.

those who don't like html can easily host only text files if they want to. the main limitation here is the browser lacking a two pane directory/view mode
Do you know whether you are using the same version of GPT-4 as the authors of the article did?
I completely missed it, edited in kind. thanks!
A commitment that apparently does not include:

- treating anyone who isn't "white enough" with dignity and without extreme suspicion of being in the country illegally. Driving in texas and not white enough? You might end up in jail if you don't have sufficient proof on you that you're not "an illegal"

- a reliable power grid, because they petulantly do not want to have to follow federal regulations in how they run said grid (also, electrical pricing that doesn't swing by 4 orders of magnitude or more)

- a well-funded public school system with science-based curriculum to develop their children into a skilled workforce capable of critical thinking, being retrained, etc.

- human rights, healthcare, mental health services, etc which highly skilled technical workers tend to strongly prefer/value (and in case nobody told Texas: there is a long, long history of highly skilled electronics engineers, programmers, etc being LGBTQ, autistic, having mental health needs, etc.)

Anyone who is highly skilled in semiconductors could write their own ticket. Why would they go to Texas?
> The US is home to over 4,700 FDIC-insured banks. It’s not far off from the EU, which has 5,171, but stop and consider that the EU consists of 27 countries. The UK currently has 365 banks, and Canada has 83
> If one wants free enterprise and reap its benefits one has to allow high profits for companies and see if competition takes care of the "problem".

I sometimes wonder if perhaps other parts of the world have a different vision of how to run their economy. Surely "free enterprise" isn't a universal rule and certainly not the way it is conducted in North America. Maybe they're just doing things differently?
> I didn't have time to read this

You had time to respond though, what a silly (and elitist rebuttal).

OP is arguing from a philosophical point of view that GPT-4 can not reason, i.e. is just repeating/parroting on trained logical arguments.

You argue by authority that yes, it actually does reason, which is a far (far) bolder claim than the one OP is making.
what being a kitchen sink language does to a mf
If you've never seen Dark Souls' maps, I encourage you to take a look at them. They are intricately woven together in ways which is not common in games today.
> If one wants free enterprise and reap its benefits one has to allow high profits for companies and see if competition takes care of the "problem"

One must just glance at the US to see what happens, the high profits get used to lobby politicians to make competition impossible, thus the problem doesn't get solved and becomes the status quo.
I would love to see a single binary application with bleeding edge neural networks in it without all the complexity and bloat added when using Python in distributed software programs.

I guess you would be able to achieve it even before but this library should help a lot.
Website owner complains elsewhere in this topic of blocked users (country-specific):

https://news.ycombinator.com/item?id=37050774
You're trained on a massive dataset that includes tens of thousands of practice exams with nearly the exact same questions and answers, just slightly different words/template to adjust for your answer.
What happens if you don't put your phone in airplane mode? [video]
I read the entire thing and it’s not clear how this reduces control of your own computer.

It seems the premise is that those with a computer should be able to access others servers wholesale unconditionally. This premise is obviously wrong.

> It also raises the barrier to entry for new browsers, something Google employees acknowledged in an unofficial explainer for the new feature, Web Environment Integrity (WEI).

This, however, is true for sure.

At the end of the day, even if WEI is implemented it wouldn’t necessarily get rid of an open web as it’s entirely optional. Those who implement it are those who are not interested in an “open web” to begin with and definitionally were never going to support it anyways.
AI can identify passwords by sound of keys being pressed, study suggests
Sure, but the shell is still native.

> which allows you to create a custom ISO

That works for me, but not for most people that need automatic updates and some support (which ChromeOS or Windows provide)
The whole thing is positively dystopian in vibe, but what struck me most was that businesses were being asked to pay on the basis of potential occupancy and not on the basis of how many patrons may actually be on premises during the race. That means that if they fail to achieve 100% occupancy they’ll be footing a hefty bill with no revenue. It’s a dangerous precedent and I hope they all go “LOL no” (though the Prisoner’s Dilemma teaches that everybody defects).
> If unions did not exist I would posit that they would still operate this way.

Yes, I think so. Furthermore, if unions were mandatory and universal, businesses would still favor subcontracting when paying for work outside their core competency.
DomTerm gets the linked test right.
I would suggest reading the TAG's Web Platform Design Principles document, it does a really good job laying out why the web is different from mobile and native applications and the reasons why some APIs, like client attestation, work in a mobile environment but would damage the web platform if they're implemented. For example, the WEI proposal violates the "It should be safe to visit a web page" principle (https://www.w3.org/TR/design-principles/#safe-to-browse):

When adding new features, design them to preserve the user expectation that visiting a web page is generally safe.

The Web is named for its hyperlinked structure. In order for the web to remain vibrant, users need to be able to expect that merely visiting any given link won’t have implications for the security of their computer, or for any essential aspects of their privacy.

For example, an API which allows any website to detect the use of assistive technologies may make users of these technologies feel unsafe visiting unknown web pages, since any web page may detect this private information.

If users have a realistic expectation of safety, they can make informed decisions between Web-based technologies and other technologies. For example, users may choose to use a web-based food ordering page, rather than installing an app, since installing a native app is riskier than visiting a web page.

I know a lot of savvy, non-technical users who absolutely refuse to install mobile apps on their phone except from the most trusted of sources, and I think this principle is a good structural framework for reasoning through why users still prefer the web.
In my experience it's simply down to convenience rather than malice. You have all your colleagues phone numbers, you know that a whatsapp is going to fire a notification that will get noticed whereas an email may not.

Or that email will go to the "work phone" which isn't sitting on the sideboard somewhere rather than in the person's pocket.

That said, there aren't any banks that don't have a comprehensive employee training program on security and compliance, so "I didn't realise" isn't going to be a valid excuse.

That's not to say that there isn't any deliberately malicious use going on, but it's unlikely that malicious use would be uncovered.
> customers pay for our salaries so we'll do whatever we can to make them happy

To a lot of people that means no telemetry. Look at what happened with the Go compiler telemetry. I think that's the only time I've seen someone actually listen to customer desire and remove telemetry.
This headline is clickbait. The issue is banks not preserving records, something that the rules are ABUNDANTLY clear on.
> the content you find on there is pretty much exactly what you would expect

Mostly blog posts about Gemini and Gemini software, in my experience...

Maybe it's time for Mercury, an even simpler protocol: you open a TCP connection, the server sends back a chunk of bytes consisting of ASCII 0x20 through 0x7e (and newlines). Clients must print the response to the screen verbatim. You "link" to other sites by including a hostname or IP address in the document; the user can then type or copy-paste that into the client's address field.
What if I dictate into my phone and What's App sends it as text? Purely to save bandwidth of course.
Be honest, do the survey answers affect the resulting program? I literally put in random numbers and answers each time and it took me to the same exact payment page.

There's also a "loading" screen that doesn't do anything except spin.

You also throw in random interstitials all over the place making it even slower to onboard.

You use savvyy nocode builder and this "onboarding" looks eerily similar to their "sleep app" template: https://trysavvy.com/example/sleep-reset-assessment.

I see this playbook far too often. I'm sorry, but it sucks.

Be honest with your users. Just provide them with clear info about what your service does and how it does it, and how much it costs, off the get go.
There are. Why wouldn't there be?

There are a lot of minorities in Germany, which (sadly have to) accept daily racism.

Thankfully, at this point violence against minorities (~800 right extremists violent crimes in 2022 in whole Germany) is not as high such that people consider moving away.

And if you get a job there and this is your ticket into immigration, probably a lot of people will accept this to get German citizenship. Finally, this will open you access to all the working places in Europe.

My hope (as a West German) is that investments like this, will increase East-Germany's economy such that they are finally equal in terms of economic wealth, which is a large factor for racism/extremism.

Same with opposing climate change laws.
> If one wants free enterprise and reap its benefits one has to allow high profits for companies and see if competition takes care of the "problem".

Max profits for BigCo (Bank, the rest, same) and lower the wages for the people seem to be the M.O. these days.

I'd love to see higher Corp tax that is spread to people. Force higher tax and give tax break to force them spread their profit to their employers would be one example that is beneficial for everyone.