skysight-inc/HackerNews huggingface dataset:
That depends on what you mean by "assigns uniquely", "rule" and "doesn't work", which is why this question is deeply entangled with philosophical issues that cannot be settled purely mathematically.

It is obvious that all expressions in the English language can be ordered from smallest to largest and lexicographically, which makes these expressions trivially countable. We can thus assign natural numbers to real numbers by assigning numbers to their expressions in a natural or formal language, which will of course include infinitely many expressions that are just nonsense descriptions and infinitely many expressions that map to the same real number. These expressions will also include any possible expressions of Cantor's or other diagonalized numbers. In such a sense then, we can trivially "count" the real numbers unless we hold the philosophical view that there are real numbers that are not expressible. This is where it becomes a question of philosophy of mathematics, not mathematics proper.

You can of course object that what you meant by "assigns uniquely" is an unambiguous 1:1 mapping and that including any number of nonsense descriptions misses the point. In that case giving a "rule doesn't work" because the diagonalized number always escapes the proposed system of counting the numbers, but only because the diagonalized number is allowed to 'parasitically' depend on the totality of the system, but is excluded from the system (or else it would diagonalize itself and become ambiguous at that particular decimal place). This particular viewpoint is tied to a particular philosophical position, however, and not all positions in the philosophy of mathematics will agree with it.

This all might seem trivial or even nonsensical (as philosophy of mathematics so often appears), but I merely want to point out that the 'uncountability' of the real numbers is not a consequence of the set of the natural numbers being 'too small' to hold all the real numbers, because they are 'large enough' to assign numbers to all possible descriptions all real numbers that will ever be expressed in language. Uncountability is a consequence of a view that restricts Cantor's diagonalized number from the set of the countable number but still considers this diagonalized number to be a real number (which again is only unambiguously defined if it is not allowed to diagonalize itself). There are however other possible philosophical viewpoints which either include the diagonalized number in the set of countable numbers (at the cost of including ambiguous or paradoxical numbers) or reject the view that Cantor's diagonalized number should be considered to be a real number in the first place.

tl;dr: Yeah, you can always name a real number for which a particular counting rule does not work, but only as long as there is agreement regarding the philosophical underpinnings. Most mathematicians can probably be considered platonists and from their standpoint the real numbers are obviously uncountable, but that is by no means true for all positions in the philosophy of mathematics.
Well, they're the position of the most vocal and nutty segment of the right wing. Trying to paint the entire right with it is dishonest (whether accidentally or deliberately).

I will admit that the nutty ones get all the media attention at the moment. (You can decide whether or not you believe that's the media trying to paint the entire right that way...)
Assuming that Valve does a decent job with integrating the inputs, and they show up correctly with the HTML5 GamePad APIs, it ought to just work.
Yes and the comment I replied to vaguely suggested that it didn't make python and js comfortable to learn and everyone focused on the fact that in these languages not everything is an object.
My point is that new games can need new libraries, so they're not really factoring in your use case.
Youtube Premium (paid) is well worth the price of admission, to not have to watch ads. Don't think I'd pay for Facebook
This 2004 World Bank report on the issue outlines cattle ranching as the main driver of deforestation:

https://documents1.worldbank.org/curated/en/7581714687688288...
>minimal refurbishment

Is there any information available on the activities they actually plan on doing in terms of quality checks and refurbishment? I'm a big fan of SpaceX but I also feel like people talk about this point without actually knowing what goes into aerospace refurbishment regarding the level of quality assurance typically required.

I remember back when they had a Falcon 9 failure attributed to a faulty material spec on a strut and the response was they would perform quality checks on future material.[1] As someone who worked in the industry, my initial question was "Why weren't they already doing this?" as it's a commonplace within industry on safety critical or flight hardware.

I've also been involved in rocket rebuilds and to say they need "minimal refurbishment" is a understatement. Even if none of the components actually need rebuilt, the quality inspections still take a lot of time and money. And there's always the chance you find an issue that warrants a legitimate rebuild.

So, while I'm pulling for SpaceX to succeed, my worry is that every failure or close-call like the strut issue will layer additional quality checks that gradually erode that "minimal refurbishment" claim.

[1]https://arstechnica.com/science/2015/07/spacex-says-faulty-s...
Exactly, used Steam Controllers cost more than retail now. There is a small number of extremely hardcore fans of it.
Overview of process automation engagement trends in the Fortune 1000
Steam is the only place I ever actually pay for software. They earned my trust where so many others have lost it.
I think it's more enlightening to view it from the other side.

If desktop and mobile advertising didn't have a material impact, why would profit-maximizing companies do it?

If profit-maximizing companies are interested in this type of advertising, what is it about Facebook and Google that captures almost all their spend?
They are working with BattlEye and EAC to add anti-cheat support to Proton before launch.

https://partner.steamgames.com/doc/steamdeck/faq
Lightly steamed (retaining crunch, flavour and nutrients), plus melted butter (in moderation) and salt is my go-to as well. For instant pots, there is even a table on how many minutes each type of vegetable should be correctly steamed. That makes all the difference.
> the NVIDIA Shield, for one. Pretty cool piece of tech, but didn’t exactly start a revolution

Other than emulators, Android is a barren land for good controller based games. Specially compared to Steam.
What do you mean? Isn’t your database precisely where you ought to put your business logic?
Usually when someone asks me for a recommendation, I ask them what kind of skills they are looking for and their preferred contact info, and then if I have a friend who might be interested I send my friend the contact info of the person hiring.

So maybe you might want to consider flipping your process. Make it so I can see what skills the companies are looking for and then make it easy to send a message to my friend with their contact info, in a way where you can trace the recommendation back to me.
I pay for a bunch of services (Caltopo for topographic maps, bazqux for RSS feeds, google drive for storage space, streaming services, Garmin inReach for satcom). The ones that I don't pay for, I probably wouldn't pay for if they changed models and wouldn't be terribly upset if they went away (Strava, Instagram, Facebook). Some I would miss and might pay for in some form or another (Reddit).
Postgres (>11) also implements the SQL/JSON path language that lets you extract table data from JSON.
The fee is paid by the entrepreneurs as a percentage of each project funded. It covers the cost of transferring funds (credit card and other payment transfer fees, Fx margin we pay when transferring funds internationally) and administering the platform (web hosting, phone and SMS communications with entrepreneurs, etc). At our current scale we are just breaking even with our operating costs covered by the 5% fee.

The 5% fee does not take away from the loan funds, which are kept separate from operating costs and fees.

For comparison, most traditional microlending programs charge over 20% in fees and interest, and comparable unsecured small business loans in the markets we serve are much more expensive, or not available at all. Since the entrepreneurs are acquiring assets and operating capital they could not otherwise afford and which continue to generate profits after the loan is repaid, the value to them is normally far higher than the 5% cost of the loan.

Here is an aggregator of project updates posted by the entrepreneurs, which gives an idea of the impact of the loans: https://www.zidisha.org/project-updates
> Louis would be first to tell you that it is all related.

Would he, though? He seems more than happy that people think Apple seized a bunch of parts shipments because they don't "like" that he does repairs, as redditors are oft to repeat.

The real reason they seized the shipment of batteries was because he bought from a manufacturer who copied the battery packaging, right down to the Apple logos. The manufacturer passed them off as OEM parts and Rossman was happy to do the same.

Meanwhile iFixit doesn't sell new parts with Apple logos on them and somehow Apple has never even glanced at them...and they very, very clearly help more people actually repair their Apple shit by means of their very well written and illustrated guides.

I like him pushing on the R2R movement but the man is almost pathologically narcissistic and sometimes borders on con-man. He's like the RMS of R2R.
Yes, that's correct. It launches as part of the game.
It’s undeniable, though, that such a limitation would shut off access for people who can’t afford it. You see it today with newspaper paywalls and the like.

I suspect the vast majority of us in HN would have no problem paying for most of these services but I’m not sure how I feel about us making those choices on behalf of those that can’t.
That's kind of beside the point. Classic aimbots work by reading the game's memory, which means that you can aim at things that are on the other side of walls, or behind you, or obscured by smoke or darkness, or so far away that they don't even render. "Only" being able to aim at things that are actually visible is a significant step down from what we have today, which is the tradeoff for being almost impossible to detect.
You definitely can, that's how I got into sysadmin jobs :)
Did not see that coming! I’ve been saying for a while that the nintendo switch is one of the best idea of the decade and the poor quality leaves a lot of room for competition. My first guess at a successful competitor would have been Apple, who I think has a lot to win in entering the market with a switch-like console.
$/sqft glosses over local labor costs, level of finish, landscaping, etc., which is why you see people suggesting 1-2% of value per year, though you're right that it would be an improvement to separate out the value of labor/materials from the value of a the bare lot.
No point in a higher resolution display if you can't get above 30 fps.
its been there since VCD (MPEG), DVD (MPEG2) & HDDVD/BR MPEG4-10 or H.264. its a very old idea. In fact it has been used in implementing a temporal filter to create a cleaner content for a bit too. I know because I worked on it all.
Why is he being given a platform by the BBC though
Honest question. Is there a gaming platform where I can play only free games? Or atleast where I don't have to put a credit card number before giving it to my kids?
Exactly - this is actually pretty established already in SSH land.
You might want to check out https://github.com/asottile/all-repos :)
What? That’s false. Oculus quest 2 is hands down the best consumer VR headset available. It’s not even comparable.
> Ask me about Rhapsody sometime

I'd actually love to hear what you think about rhapsody, a quick google search doesn't tell me too much about it
Tech Workers Who Swore Off the Bay Area Are Coming Back
> YouTube will still make money from it for some time (selling ads, luring customers in, ...), then the copyright holder asks YouTube to take it down, and then they take it down.

YouTube isn't publishing derivative work from the videos it hosts, though, like Microsoft is doing with Copilot and GitHub.

If Copilot was trained on material it doesn't have the license to, it can potentially output that unlicensed code it was trained on, like in this example[1].

Copilot could serve up copyrighted work in the same way YouTube does, but the analogy isn't complete, because YouTube itself isn't a derivative work in the same way the Copilot's model is a derivative of the data it was trained on.

[1] https://twitter.com/mitsuhiko/status/1410886329924194309
To be fair, many Quest games are very small (1gb-5gb). In contrast, GTA V on Steam is 72gb.
With respect to aviation, the O-level maintenance activity you would have encountered is largely unapplicable here. You'd have to step into the depot bowels of e.g. Corpus Christi, Tobyhanna, etc. to get a feel for the real behind-the-scenes clusterfuck.
Finally, someone thinking outside the box! :D
If you are using Rails and ActiveModelSerializers, I wrote a gem to take your serializer definition and build the whole JSON result in Postgres: [0] It hasn't gotten much use, but I know at least one company that has used it to get 100x performance boosts on #index endpoints.

It generates jsonapi right now, since that is standard for Ember projects, but it'd be pretty easy to add an adapter for some other format.

[0] https://github.com/pjungwir/active_model_serializers_pg
This is entirely reductive.

I have written a substantial enough C codebase used in the real world that uses C string handling functions. I did that because the codebase needed zero dependencies other than libc. Yet as far as anyone who's looked at the code can tell, there are no vulnerabilities because I learned how to use realloc() and grow the allocation if needed before calling the string handling functions. It's not hard; it's just busywork.
Finally, the year of Linux on the Desk.
This!! I've wanted to drop down to 18-20 hours TOPS for years. Being in tech, I haven't seen a single opportunity for this being a possibility. When I talk to my managers about it (mostly in large orgs, but even in smaller 12-people shops) they look at me like I'm out of my fucking mind. Response always is "no, you can't be productive enough in 18 hours to contribute meaningfully to the product".
Israeli and UK gov numbers show that more than 50% of the delta variant covid deaths are vaccinated people. Which could make sense since more than 50% are of the population is vaccinated, but it might show that the vaccine is not that effective
Non-computer-experts were sold computers and the internet as tools that would help them run their business.

I find it hard to blame them too much for unexpected unadvertised technical problems.

I propose something simpler: disconnect most computers from the internet, and don't put them places strangers can access them. Then build out the tools that work in that environment.

I don't actually think it would work in practice, though, because it's a race to the bottom. The company continuing to do all their shit over the public internet with commodity PCs is going to be doing things more quickly and more cheaply initially, and may thoroughly beat the competition before getting hit by an attack.
No, GW -- as in the pumped storage facilities can deliver 4 GW of power continuously.

The amount of energy that can be stored in California's pumped storage projects is enormous, measured in hundreds, if not thousands, of GWh, but that's mostly irrelevant to this discussion.
But that's -not- trivially true.

My politics are idiosyncratic and lean far enough to the left that I have a hard time explaining them to my centrist liberal friends.

At the same time, I read a lot of far-right sources; I do not find them at all compelling, but in addition to the fact that I like to know what the people who think I am a literal baby-blood-drinking demon might be up to, I have an MA in rhetoric and find the discourse to be as engaging as stuff like William Burroughs or The Illuminatus Trilogy...

And I am not alone in that. You simply can't divine much of anything based on their search history and reading list, and that's made even more difficult by the compartmentalization that some of us are using in0-browser to work against tracking.
It's not really a mobile chip, it's a full laptop-grade Zen 2 processor.
Non-gamer here: what’s the point of these bots? Is there money as stake? Or just a leader chart? But if you get your bot to #1, but you’re not able to do anything with it and it’s a bot, what’s the incentive?
Is this a joke? SPs and SQL Functions are far less maintainable than .NET/Java/Node/Python.
Not eventually: https://arstechnica.com/gaming/2021/07/cheat-maker-brags-of-...
> The AlphaFold parameters are made available for non-commercial use only, under the terms of the Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0) license. You can find details at: https://creativecommons.org/licenses/by-nc/4.0/legalcode

Does CC BY-NC actually do this? As far as I can tell it only really talks about sharing/reproducing, not using.

Or is the only thing prohibiting other commercial use the words "available for non-commercial use only"?
> If you are putting up code on GitHub to which you don’t have all the rights you’re actually in violation of their TOS and you are violating the rights of other copyright holders.

I can't find where in the TOS it says that you must "have all the rights [to the code]". It just says that you must not violate copyright nor other laws.[1] FOSS licenses by definition permit redistribution, so uploading to GitHub seems to be in-line with the license granted by the copyright holders.

What are the violations you mention?

> Contributors who add to existing GitHub projects are providing the same license to GitHub as the project maintainer though per the TOS.

Sure, but that's not the only way. If you contribute to a FOSS project elsewhere, those changes go under the same license of the project. Whoever you pass those changes to has liberty to redistribute per the terms of the license. The TOS is unneeded to legally redistribute FOSS-licensed projects with GitHub.

The TOS saying that you must grant GitHub these permissions is only to protect GitHub in cases where people upload projects without licenses.

[1] in addition to content restrictions, like no porn.
The main perverse incentive I see here is that it encourages companies to hide the fact that they've had a breach so they could pay the ransom w/o consequence.

I do think regulation making ransoms hard/impossible to collect is the way to stopping the immediate problems posed by ransomware.

More disturbingly, however, is that such hacks just underpin how vital infrastructure is exposed to nation states. When the motivation isn't collecting a ransom but rather to disable a country's vital infrastructure, such regulation would do little.
> In time of full scale war (or potentially whenever they want) the gov't can do whatever they want including changing the deal.

Nothing quite says 'military preparedness' like, "In the event of an actual real conflict, we can always just scramble to change everything."
So... The problem with the VAERS data is anyone can submit a "report", see here https://vaers.hhs.gov/esub/index.jsp.

I find it hard to believe that the antivax nut jobs aren't flooding the system with made up horror stories to further reinforce their "vaccines are deadly" delusion.
And "and to use your code to improve their products and features,” does not explicitly include "or to create new products and features".

CoPilot is a NEW product, not an existing product (Github itself) that the ToS gives permission to improve.
Can confirm. Basically did just that. :)

Not necessarily on Arch specifically, mind you, but a ton of the experience I had that led to me getting my first tech job was breaking stuff and then figuring out how I broke it. It's a great learning experience.
I’m ignorant ! Had seen the diy decks and just tried googling for the etymology
Hah good point! I think something like https://tokentax.co/ can still help you do it quite easily because you can export all the transactions from the exchange.
They're not only getting all the media attention at the moment but they are holding all the power in the GOP at the moment. Especially in places like Florida.
Hmm, in that case your comparison should be from MW to GW, not GW to GWh, right?
That’s what I keep saying. The switch is amazing but the quality is truly bad. Apple launching a switch-like console would be amazing.
> (it's NP-complete after all)

Protein folding is a physical/biological phenomenon. AFAIK we don't currently have a proper exact mathematical formulation of the problem that would let one determine its complexity.

You may be referring to this paper [1]. It only claims that one particular optimization problem, believed to give a solution to protein folding problems, is NP-hard. So, even if a suitable exact formulation exists, it is not yet proven that protein folding is hard, although it for sure seems plausible.

By the way, it is perfectly possible today to solve some very large-scale NP-hard problems (think millions of variables and constraints) in reasonable amounts of time (think minutes or hours). Examples are knapsack problems, SAT problems [2], the Traveling Salesman Problem [3] or more generally Mixed Integer Programming [4].

[1] "Complexity of protein folding", 1993, by Aviezri S. Fraenkel

[2] http://www.satcompetition.org

[3] http://www.math.uwaterloo.ca/tsp/

[4] http://plato.asu.edu/bench.html
> The US always claims to have the best cyber-warfare capability on the planet, so presumably they could do ransomware better and faster than gangs like REvil. The US should use this capability to mount ransomware attacks against US companies as fast as they can.

As ridiculous as this sounds, a private sector version could work. Imagine 'hacking' companies that audit municipal services and private companies. The hackers would have to be motivated to win, by payment, not just go through a security checklist. Insurance and law could demand this sort of active and ongoing security check. This would also create diversity in hacking systems instead of one governmental set of tools and strategies.
ah ok. Yes, that's how they act when they believe to be untouchable. I spent some years in South America and that's exactly what happens in countries like Brazil, Colombia and etc. I'm kind of apprehensive to see what the answer will be.
I don't think that they used the chip that Pete did for Apple
The reason they don’t allow repair as such is twofold: competence and liability. Both increase the risk of the equipment malfunctioning in the field. This leads to dead people fairly quickly.

Repair is one of those things where the Dunning–Kruger effect is very real.

Source: the guy who used to work at the contractor doing the repair or disposal evaluation of things which had been attempted to be repaired.
I do as well in SF. And it’s 1gbps SYMMETRIC.
https://archive.is/YvWju
Facebook abandoning silent speech BCI to focus on handsfree virtual reality