skysight-inc/HackerNews huggingface dataset:
Even if we grant all of this -- that humans are good "axiom generators", that AIs are not, and that this is important -- it is totally unconvincing because it conflates current AI tech in practice with computers in principle. It's always important to remember that humans aren't made of fundamentally different stuff; we're just very strangely-implemented computers, and that if it's possible for us, it would be astounding if it wasn't, at least in principle, possible for an AI. There's no ethereal module for second-order logic bestowed by the universe only on biological creatures. Whether that's a hard thing to build and why isn't a topic given any space in the article; it's just sort of conclusory.

In fact, in the five years since this article was written, many of the specific supporting details have become questionable, or would now at least need to be more precisely stated and argued. Is AI really so obviously bad at metacognitive thinking? Doesn't seem like it: I bet GPT can generate fresh and interesting axioms given the right prompt about axioms, which is how humans do this kind of thing too. Second-order statements are just...statements, so there's no reason to expect AI to be bad at working with them. And here we're arguing that computers are incapable of this kind of thing in principle?

Just feels like copium for dualists.
Nothing to see here. China and Russia are the real danger, especially TikTok.
> their paper should not have got past peer review

As far as I can tell its not published anywhere nor received any peer review.

https://xkcd.com/2304/
It would completely depend on the survey design and sampling process. If both of those are well considered N=2,000 is a large enough sample size.
And from what I can tell, Censuswide is a credible market researcher.
Sorry to hear that. That's weird, because we tested on a Pixel 3 and had decent performance.
I just looked at your plugin-template. This sounds good actually. Writing asdf plugins can be quite nasty. I like the approach of adding a lua dsl for plugin generation, not sure I like the dsl itself.
reminded me of the minuteman blast door: https://www.nps.gov/teachers/classrooms/military-morale-art....
Everyone should know Godbolt. (I don't know Ghidra; I probably should.)

First, Godbolt is a useful tool for understanding what a particular compiler will do with your code with different switch set.

Second, it's a useful tool for communicating because you can enter source, set some switch and see some output. You can (and we do) get a persistent shortened url to submit on StackExchange, HN, … so that people concretely know what you're complaining about.

Godbolt should get the ACM System Software Award.
Tremendous comments in this thread that exemplify something I enjoy about HN, generative consumption. That's a fancy way of saying certain posts and comments get my mental wheels spinning, which I can transfer to whatever else I'm doing for the day.

Five minutes here for the blog, your comments, this reply, then I'm out and likely more productive than I was 6 minutes ago.
Surely 1/2 = 0.5 is what a statistician would expect? Whereas 1/2 = 0 is what happens in C, C++, Ruby, Java, C#, F#, Rust... Essentially most of the popular programming languages with the exception of Python and JS/Typescript.

Anyway. Maybe my original comment was poorly phrased, but I was not implying that Python succeeded because of this form of catering. Rather, the designers took note of Python becoming popular in that field and made changes (see also the matrix multiplication operator @) that accommodate those users rather than the more "typical" CompSci crowd.
How did America become the nation of credit cards? Essays
That’s the opposite of how a real life joystick works, so some people don’t find it intuitive.
> Well yeah, smartphones lose most of their functionality without the existence of the internet

Well no, pocket computers - which is what smartphones are - don't need an internet to be useful. Here's what they can do for you without an internet connection:

- phone
- SMS
- mapping and navigation
- media player
- photo and video cameras
- electronic book reader
- calculator
- torch
- basic computing applications
- sensor platform for audio/acceleration/gyro/barometric/temperature measurements
- portable monitor for borescope
- ODB scanner for cars etc.
- ...and thousands of similar applications
I've had good managers. They always get outplayed and outmaneuvered and ultimately fired and replaced by sociopaths who spend all their time successfully playing politics and never doing anything significant.
If you know how the sausage is made you don’t want to eat the sausage.
I don't use an ad blocker at work because I have had it affect my work and lose time trying to figure out why something isn't working right.
Yeah, it's not due to poor rendering performance. I can see it running at full frame rate between stutters. It may be some kind of timing issue? Here's a video of the problem: https://x.com/modeless/status/1782432663649087917
American politics has infected investing
Yeah, no. Well, perhaps if the role is just to manage it becomes somewhat relevant, but I have personally never experienced this in any interview (and have been in people manager roles for the past twenty years, at companies including F500 industrial, FAANG, and consulting).
> I don't know that advancing technology is the credible threat here

The thing most people don't realize is that the robots in question aren't really even taking jobs that existed prior to the ecommerce model, and the work the robots are doing used to be handled by the consumer.

Details:

1-The robots are taking over the job of moving goods from the storage shelf to the packer.

2-This is pure "walking" time when humans do it, 10 miles per day in a typical DC, not value add.

3-Before ecommerce, with brick and mortar, the goods were picked in bulk and shipped to stores and placed on the racks, and the consumer was the person that walked to get the item and bring it to the packer (cashier). Some of the walking was done in the DC, but not nearly to the same extent.

4-There are multiple different ways to solve this problem of humans walking all over the DC to pick one+two piece orders in a way that is efficient. "Robots" in the form of moving shelves (Amazon), or conveyors+sorters with bulk pick then sort by order, or etc.
> That's cool but by that argument can't i just fold a Mercator map in half and also have no boundary cut?

You need to both fold it in half and glue the ends together, basically creating a torus (or two-sided cylinder) shape
AI companies believe copyright doesn't apply and all this is fair use or transformative enough. If copyright doesn't apply they are not bound by license terms either.
I'm guessing you're asking if there's a way to prevent recording private windows?

It's possible to not record specific window IDs (at the code level) - so you'd need to be able to detect whether the window is "private". I am not familiar with such a flag.

Alternatively you might be able to just have a lookup or regex of all the most popular private browsing / applications...

Or let a user specify a pattern to look for and skip.

But at the same time, it's your private data and it's not going anywhere. There's no telemetry or network access of any kind.

Anyway- doesn't exist as a feature today. Maybe someone (you?) will build it!
Don't mistake the crap they make without any quality control then sell on Aliexpress by shady shops with the serious stuff their industry is perfectly capable of design and produce.
Now we could debate that millions of people buying the former contributed also to the latter, that is probably the case, but one sure fact is that they can make extremely advanced stuff at very convenient prices. Denying that because of one's nationalistic views won't change anything, unfortunately. We need to understand how to counter that in a positive way, that is, being better, not blocking their products.
Now, how do you develop an industry compared to the Chinese without transforming workers into underpaid drones with no civil liberties? That's likely the one question no western politician would like to hear, because they'd have no answer.
Oh come on. I’m a pilot, or at least I spent a good deal of time in flight training when I was younger. I’d rather not mix systems, that’s all.
"Personalized" ads do move the needle. It just depends on the audience. eCommerce brand, for example, and DTC companies use them on the regular to drive consumers to action and complete that purchase.

For more technical audiences, cookie based personalization doesn't really work, and contextual advertising has higher conversions.
Second time makes the process a lot easier!
> The parent comment is clearly by an optimistic youngster

My only objection is when the "youngster" had his viewpoint questioned, his response was "no I totally know it's in ascent". Objective evidence points in the opposite direction.
I can think of 3 different occasions.

First was when the menu bar would show a bezel when you hovered over it, which didn't happen normally in Windows.

The second was when the menu bar became detachable like a tool bar. That also wasn't supported by public Windows APIs.

The third was Ribbon. That I can at least forgive a little more because it's a massive shift in UI/UX. But the first two instances were so subtle that most people wouldn't have noticed, which then begs the question, why even waste resources literally reinventing their own APIs?
> you have to maintain the ship for the entire duration of the journey. Making sacrifices in power and computing ability to resolve problems that occur throughout the ship.

There's a multiplayer game where you get in a match and play tiny minigames where you fix the issues of the ship, and once you fix them all, you win.

The twist is, there is an assasin among all players, and his goal is to sabotage your ship even more and to kill everyone, without getting caught. So the duration of the journey is only based on how quick you either fix the ship, find the impostor or die.

Wish I could remember the name, it was pretty popular during the pandemic.
Imagine you land from another planet, and you discover that humans come in two major varieties.

How many of the 8 billion people would you need to survey to discover that roughly half were male?

It actually doesn't depend on the population. You could have landed 1000 years ago when the population was much smaller, and carry out a survey with the same number of samples, coming to the same conclusion.
Open as in open standards, not open source.
Probably not, since this seems to be about on-device computer vision.

Maybe Siri will be able to see that users are pissed off at it though?
That modem sound!
But it's not a 1-by-1 mapping. The FOR-loops of FORTRAN, ALGOL, and Pascal have 1-to-1 mapping to the sigma notation because the increment part is either a) omitted entirely and forced to be +1; b) allowed to be some other integer constant, but definitely not an integer expression.

FOR i := 1 TO 10 DO ...

FOR i := 20 STEP -2 UNTIL 0 DO ...

for (i=0, j=10; s[i]; t[j--] = s[i++]); // huh?
There are a number of issues with that stat.

It contains a huge ton of boring not that dangerous highway miles. Highways are a separated environment that solves most of the issue with US infrastructure planning.

Second, this also doesn't take into account speed reduction because of concession. So basically, the infrastructure is terrible designed but because there is just to many cars, that often masks the potential issues.

Third, this also doesn't take into account the effect, that this was partly achieved by simply removing pedestrians. The US has way less walking.

If you talk a more narrow look situation where there is mixed use of space, the US comes of much worse.

Also this ends before the pandemic, the pandemic partly showed what US infrastructure leads to when your remove some of the congestion.

This stat also doesn't show things like property damage, its funny how much car driving into buildings is a thing in US media.
It's not even that, it's also the iceberg effect of all our personal knowledge-bases; I'd rather experiment on my machine figuring out how I want to do something rather than read endless documentation.

Documentation is a good starter/unblocker but once I've got the basics down then I'll run wild in a REPL or something figuring out exactly how I want to do something.

Pure thinking planning is a good way to end up with all sorts of things that weren't factored in, imo. We should always encourage play during the planning process.
Very polished throughout. I wouldn't mind playing a full length puzzle adventure like this in the browser.
It's told to be not like that and a bad example, but then we learn how it is exactly like that and how it is great example... Intriguing.
Could make sense if they're trying to see what methods make it past blockers. I probably would do that if I were in that industry.
Cookies are as good as dead already, and have mostly been replaced with:

- native apps with device-level Mobile Advertising ID exposed

- login walls (e.g. Twitter)

- browser fingerprinting
"use" is a funny word here, because the experience of using an ad blocker is very passive. It's not like you need to click a button to enable ad blocking on each page. Once you install the extension, it just happens.

I wager a lot of adblock users are non-technical people who don't even know they're using adblocking, but just had it installed by the local techie in their life to make both their lives easier.
2000 is 0.0007% of 260M adults living in the USA.

“Majority of Americans” is a bit off the rails, imo.
Just to note - this already addressed my basic use case that it failed - figure out how to get from Newark Airport to 2 WTC. For whatever reason, I could never get a single system to show me the Airtran (to Penn Station Newark) to Path to Oculus to the building.

Now if I can just get to a single ticket for this trip.
See, all of those sound "derivative" to me. Absolutely nothing against Japanese yacht rock/soft funk, but it's silly to blame musicians for using genre conventions when those are inherently part of the musical language IMO. Particularly given Cindy Lee works with 1940s-60s pop genre conventions of girl groups and also performs in drag, it's inherently a kind of music that repurposes familiar elements to say something new.

I've been a fan of Cindy Lee's work since before they started the project and were in the band Women, who're a sort of your favourites' favourite artist. Part of the hype around Diamond Jubilee is the context of that band, and the development of successor bands since.

But part of the hype is also that it comes from a very sincere place - it's a full-on auteurist work, the antithesis of "lo fi chill hip hop beats to study/relax to". It can aesthetically or artistically be your thing or not (it very much is mine), but it's a breath of fresh air to have such a fully-realized artistic statement that isn't a focus-grouped, try-hard Event get the acclaim it deserves.
I think you're thinking of Among Us.

https://en.wikipedia.org/wiki/Among_Us
Food delivery driver the most dangerous job.
I always found it really interesting at Google that OKRs generally seemed to make sense at the CEO & PA level, but massively broke down somewhere between VP->Dir->Team level, to the extent that for the majority of teams it was nearly impossible to identify clear OKRs for themselves that trickled down (or flowed up) to the OKRs that should have been inheritable by their management chain. Some orgs manage to get to the Director level, but in others the break happened at the VP level, which just meant that entire large groups of Type A, highly productive people were mostly rudderless -- not to mention being at risk of poor performance reviews if their management chain weren't able to provide adequate air cover.
Open standards, not open source.
Any favorites?
Asteroid Kamo'oalewa's journey from the lunar Giordano Bruno crater
I can't get over the idea that this is a bunch of people who were angry their favorite proprietary systems got killed by open standards and, ultimately, open source. Compatibility and not being dependent on a single company are good things!
ACID, I presume
The best and worst thing to happen to the album. It fully deserves the acclaim, but now loads of people are only going to listen to it through the prism of the hype rather than hear it for what it is
> Sounds reasonable.

Cool.

> There's nothing here about "the earth is round" needing to be conceived by someone.

Yes, there is. You can't talk about a proposition without conceiving of it. The instant you wrote “"The earth is round"” (note the nested quotes) you conceived of the proposition "the earth is round" and brought it into being. This is impossible to avoid. So this:

> There's nothing here about "the earth is round" needing to be conceived by someone.

is false.

> Propositions don't just exist insofar as they are conceived. Representations of propositions, sure, but not propositions themselves.

I already gave you the answer to this in the parent comment but you ignored it.

"Ideas are not made of atoms, they are made of information. Just like material objects, ideas do not come into existence until some information that encodes that idea arranges itself in a particular way, i.e. until they are thought of."

etc.

So that is (still) my answer: you are simply mistaken when you say that "Propositions don't just exist insofar as they are conceived."

(You're in good company. Plato got this wrong too, and he was no dummy. But he didn't have Alan Turing's shoulders to stand on.)

BTW, note that the converse is not true. You can conceive of an idea without rendering it into a representation. Indeed, you can conceive of an idea without even being able to render it into a representation. (This is actually quite common!) But what you can't do is produce a rendering of an idea into a representation without conceiving of the idea being represented. (BTW, that is not quite true. There is a tiny loophole, but I'm going to leave it as an exercise for you to figure out what it is.)
>> Obviously you'd want to leave before your kids went to school

> We tried this, and the kid refused.

That also works the other way.

An American colleague left Denmark so his children could grow up in the USA, but after about 3 months came back because the children missed their personal freedom. (Freedom to walk/cycle home from school, see friends without needing parents to drive them, etc.)
Subversion was a major improvement over CVS, in that it actually had sane branching and atomic commits. (In CVS, if you commit multiple files, they're not actually committed in a single action - they're individual file-level transactions that are generally grouped together based on commit message and similar (but not identical!) timestamps.) Some weirdness like using paths for branching, but that's not a big deal.

I actually migrated my company from CVS to SVN in part so we could do branchy development effectively, and also so I personally could use git-svn to interact with the repo. We ended up eventually moving Mercurial since Git didn't have a good Windows story at the time. Mercurial and Git are pretty much equivalent in my experience, just they decided to give things confusing names. (git fetch / pull and hg fetch / pull have their meanings swapped)
Why, if there's proven to be no benefit?
Most browsers now do not allow 3rd parties to set cookies when you visit a first-party site. By end of 2024, Google Chrome will block all 3rd party cookies completely.

https://developers.google.com/privacy-sandbox/3pcd
Should we break up Google DeepMind?
If you have a Pixel, here's the process, should be similar for other Android devices:
https://9to5google.com/2022/03/08/how-to-enable-lockdown-mod...
This isn't about privacy, this is about influence. CCP having direct chain of authority to control what Americans watch isn't a thing many want.
2000 is a pretty generous sample size if it's a well constructed poll, and of course entirely useless otherwise.
Both GNU awk and "one true awk" added --csv last year, so as the README note mentions you probably don't need frawk for this (any more).
First party audiencing has indeed been used for a long time now. It works... to an extent. But it requires significant opt-in and will never replace what cross-site cookies could do. Same for fingerprinting.
What hasn't that been foundational towards? I think that goes back all the way to god-emperors of the first cities.
The license in your repo is entirely meaningless when you grant an exclusive license to places like GitLab and GitHub to "display" your code.
I do not understand the usecase for dotnet, since the dotnet SDK self select the correct version to run the project.
You never need to change the version yourself.
On my current machine:

PS C:\Users\username> dotnet --list-sdks
7.0.408 [C:\Program Files\dotnet\sdk]
8.0.101 [C:\Program Files\dotnet\sdk]
8.0.104 [C:\Program Files\dotnet\sdk]
8.0.204 [C:\Program Files\dotnet\sdk]
8.0.300-preview.24118.4 [C:\Program Files\dotnet\sdk]

IMO it's a better way to handle this sort of problem: the SDK self select which version should run, according to your project config.