skysight-inc/HackerNews huggingface dataset:
I've spent a good week of straight hours on primes by now, the most fun thing I've come up with was this boring sieve.

https://github.com/alexlieberman/Prime-Numbers/blob/master/S...
Pretty sure my IP+browser pairing hasn't changed in months. They know who I am.
They used their own repositories since the very beginning, so even with Debian as a base they never had to wait to use newest kernels.
> Then I stopped relying on being lucky

Oh no, you still rely on being lucky. Especially if you went from being very poor to having a college degree, so many things completely outside of your control must have gone in your favor for that to happen. That is the definition of luck.

> You say I'm lucky... I say you're entitled.

Since you know nothing about me, I'm assuming you are lashing out here because I touched on a sensitive area for you. Maybe rocked your sense of being solely responsible for all of the good things that you've been fortunate to have?

> Funny thing is we're both correct

No. I really don't have any sense of entitlement. You, however, are incredibly lucky, you've really been in the top 1% for statistics on poverty. Remember to pay it forward.
Thank you. I will dedicate all of tomorrow to this
I think there is a great business opportunity there: software that fool surveillance software.
There's a general false assumption at the very beginning of this article that users own the code they upload to Github (I can freely & legally upload some code I forked from a FOSS project elsewhere).

Pretty concerning that this fairly obvious oversight was missed by an IP lawyer consulted by a platform apparently dedicated to managing open-source code.

Github's own ToS makes explicit & careful distinction between code you upload and code you own.
Helpfull – Easiest way to get real-time feedback
The Cannabis Administration and Opportunity Act
> you could mold it cheaper

Do you mean cast? You can mold steel, but not at that scale. Per wikipedia: “Due to current equipment limitations, products must be molded using quantities of 100 grams or less per shot into the mold.”

[1] https://en.wikipedia.org/wiki/Metal_injection_molding
China is keeping its borders closed, and turning inward
I think the fact that I'm a human leads them to giving me more captcha. One day a self-driving car is going to smash into a car and they're going to present to court that 52% of "humans" in 983475283475 captcha tests couldn't see it either.
Intel could fix that. Could be an added incentive for the deal.
No Paywall: https://archive.is/dvdWQ
I guess it's a bit confusing because their Steam Runtime was based on Ubuntu.
Luckily, diarrhea is/was not a Covid symptom, else things could have been a lot worse.
> Intel, one of the last companies in the semiconductor industry that both designs and manufactures its own chips

What other companies also do this? Are Nvidia, and AMD on this list?
Hi, Lawvere pummelled your position into the ground a while ago: http://tac.mta.ca/tac/reprints/articles/15/tr15.pdf Your critique involves repeatedly crossing the boundary between the inside and outside of the system in question; Lawvere works entirely inside the system, and shows that the paradoxes of self-reference arise from our interpretations. https://arxiv.org/abs/math/0305282v1 explains with many examples.

Hi downvoters: Use your words when somebody is wrong. Your downvotes aren't helpful here for finding the truth.
From what I've seen it's 60 fps. Where did you get 30 fps from?

The only place where I've seen 30 fps being mentioned was when they said that you can switch Portal 2 into 30 fps mode to get longer battery life (which is a Portal 2 feature available on PCs from the very beginning).
The boundary between business logic and database validation logic is a fuzzy one. In one extreme everything goes in stored procedures inside an RDBMS, at the other extreme you right everything on top of a no-frills key value store.

Where exactly do you draw the line?
Well, to be fair, simply throwing Stadia at you was a bit of a strawman without further explanation.

I fully agree with you that game streaming platforms, as of now, are not usable for pro FPS players (or any players where tens of ms of latency are important). You're not elitist, that is the truth of it :-) But, if a developer would really want to, there would be options:

1. You could go for datacenters in all major cities. With this, you could probably get <10ms roundtrips for a lot of people. It would still be bad compared to local, but if you control the stack, you could easily get those ms back on other fronts. Bad keyboards and mice, for example, might add a lot of latency. Same for USB hubs and non-gaming monitors. If you supply your own optimized hardware you can easily save quite a few ms compared to a "normal" setup to counter out the network latency.

2. Stadia is the concept driven to its maximum - the client is just a video player, everything is done server-side. For cheat safety, this is actually not necessary - by just sending render instructions (i.e. which object is where), you can let the client do the actual rendering, with only culling being done server side. This would not only reduce the server hardware requirements, but also drastically reduce the required bandwidth (especially at 4K) and latency (since you can skip video en-/decoding and a bit of compression). If cheat safety is the only goal (instead of not requiring hardware, which game streaming optimizes for) this would probably be a superior solution.

Stadia (and NVidia Now and the other ones) prove that the technology is close enough that this would be doable, even though they themself optimize towards other things. However, the reality of it is that this would cost an insane amount of money and still not catch everyone [0]. Cheaters do cost games something, but as long as there are reasonably few (and they're kept out of tournaments), it's fine with developers. This is far cheaper to do with client side anti-cheat right now. So you are probably even right with the prediction that we won't see this for a long time - it's just not for a technological reason.

[0] You could do [Game Console of Choice] -> HDCP Stripper -> Cheat-PC w/ HDMI capture card -> Faked gaming mouse/keyboard via USB host -> [Game Console]. This setup works with everything available on the market right now and is virtually undetectable on the client and the server, at least without analyzing user behavior.
You should not jump to conclusions, the author literally won a prize for that specific research proposal.

https://grad.berkeley.edu/news/headlines/honors-awards/clanc...
Ask HN: DIY Smart Home Resources
I've just recently bought my first house. Nerd that I am, I want to smart home it. But I don't want to use existing solutions, either because of (perceived) lock-in (google, amazon) or because of "internet of shitty things" / privacy concerns (ADT, "Unauthorized Bread"). So I'm looking for resources (code, tutorials & articles, and hardware) to make this happen.

Main categories are:

- Lighting: Both cool (colors!) and functional (remote on/off). I hear Nanoleaf makes some cool stuff.
- Gardening. The existing automation for watering is good, if not everywhere, but it's old and I want to measure soil health, moisture, etc.
- Security. I want to know which doors and windows are open, and then from there, determine security rules.
- HVAC. Ties in with the above - get more granular control over which rooms gets what, as well as, say, turning off HVAC to rooms while windows are open.
- Modeling. It'd be super cool to have everything displayed on a 3D model of the house. Plus, there's all the old dreams of augmented-reality diagrams, plans, and etc.

I appreciate any advice and links folks want to toss my way!
Don't forget bundles
defer in Zig is per-scope, so

{
var file = try std.fs.cwd().openFile(path, .{});
defer file.close();

// ... code ...
// file.close() is executed here
}

would work just fine.
Considering that AMD's flagship chips use GloFo i/o, this is a brilliant move. It will be interesting to see how the equity market absorbs these developments.
That's kind of his point. If he's able to become a billionaire on a joke coin, then that money has come out of the pockets of people buying into it.
> machines that are usually exempted from gambling laws

But that's besides the point. You don't need gambling laws to see that this is fraud, deceiving customers to pay in the expectation that the game is fair.
Do you have a source indicating that chip is on Microsoft's approved list for Win 11?
> upload your work

This only applies to work you have exclusive ownership over (and GH's ToS are explicit about this). You don't (legally can't) grant GH any rights to work you don't own. But you can still upload it (e.g. forked open-source code).
Love it. But if you are clicking an answer just as time is running out, you won't get to see your score (it starts a new game).
Hoping sanity prevails and it gets support and passes
Please no. I want work to be work and home to be home. Making work more like home is just the employer saying “why do you want to go home? Home is here!”
Blue origin has been at it for a while. While kuiper is new, blue origin is not.
Try Black Swan by Nassim Taleb
Where do you put them though? Good land is hard to come by & most of what you're describing here is already done by commodity housing developers in the outskirts of (e.g.) many big cities in Texas.

New housing creates new infrastructure problems, and our government is insanely bad at dealing with these kinds of things.

Here's my equally unlikely but also naively aspirational plan: inflate the US dollar until housing is affordable again.
The political spectrum should therefore be drawn as a circle, not a line. Far right and far left have quite a lot more in common than one might think, at least in tactics.

A solid political movement, whether left or right, cleanses populism from their own. But in the US, they won't, as there's only one side, and every body counts.
It's working for managers because in the beginning, it makes the quarterly numbers look good. They've got some MBOs or something, and they delivered, and they get a nice bonus or a raise or both. And the stock goes up, and they probably have some options. So, yeah, they make money. The bill comes later, and it comes to other people.
> If tomorrow someone discovered a closed-form equation for the nth prime, how would mathematics/the world change?

Btw, that kind of exists. There's a formula that produces nothing but prime numbers. It basically encodes sieving, and it coincidentally uses every letter of the English alphabet.

https://en.wikipedia.org/wiki/Formula_for_primes#Formula_bas...
Federal minimum wage is $7.25?! Wow, I guess I'm just too used to CA minimum wage which is roughly double that ($14).

Even with a higher federal minimum wage, the problem of "The rent is too damn high!" would persist.
Turing machines are countable. In some constructive settings, every real number is computable, as an axiom; those settings allow us to talk about the Turing machines which compute a particular real number.
"murder claims arresting police officer cant arrest them because they wrote a blog that paints murderers in a bad light"
This brings back so many memories from around 17 years ago when I would try to do a dual install of arch linux with windows XP using the GRUB bootloader. Fun times! Can't believe it's been so long!
I enjoy how fast and easy I can work with Node + a non relational db for quickly prototyping a new idea or just experimenting with implementing a new concept.

Keeping it super simple on the frontend keeps it enjoyable / fun by avoiding React. HTML with templating or Vue is great to move quickly and not get bogged down in technical detail and just create/design.
The Alexander: Why did you build such a long piano?
You do this in sophomore level Real Analysis. So as far as pure math goes, easy.
None is known. Can't be a polynomial.
the point the author is making is that if you make that exception it may well become trivial for an underage user to pretend to be those spiders therefore bypassing the age protection.

However if a user is smart enough to bypass those checks it's likely that the content they are blocking will not do them any harm (though equally i'm not sure i've seen research that suggests that exposure to adult content online is harmful specifically to those under 18)

I have however seen plenty of research that suggests that social media is harmful to just about everyone, and we're not trying to block that
> The original Zidisha concept was a marketplace based on financial incentives (including interest for the lenders), but most of our users didn't want that.

Cheers, that's really interesting.

I agree altruism is enough to get people to choose what they think are good or worthwhile projects. The fact they donate extra really surprised me. (It would be interesting to see who they invest in vs people who don't add extra, probably a publishable paper :) )

Financial incentives can be difficult because safe is not necessarily the best and networking is possibly undervalued, equally altruism is also not always the best.

I think it's all exciting stuff. It's good to see new microfinance models on the ground it's sorely needed.
No, neither manufactures chips. They both have a variety of fabs they get supply from, but Nvidia gets much of their supply from Samsung (but they do also source from TSMC and others) and AMD gets much of their supply from TSMC.
I think the battery performance will fall off a cliff rapidly. The graph over time will behave more like the nissan leaf than a Tesla.
> What other companies also do this? Are Nvidia, and AMD on this list?

No and no. IBM (for Power products) and arguably Samsung (for their mobile chips) are effectively the only ones left on their own leading edge nodes. Everyone else uses TSMC, GloFo, or SMIC.
Memories. Thanks for the post.
Basically it's excluded because many theorems become cumbersome to state.

Endlessly saying "primes other than 1" gets kind of tedious.
I wouldn't bet on the Switch dock working with any non-Switch hardware since Nintendo didn't really care about following USB specification there, but you can easily get a third-party USB-C hub that works with Switch and which should work with Deck too (and also other stuff such as laptops or phones like Librem 5 as well).
SD class UHS-I is about as fast as a SATA HDD, so it will be quite a bit slower than your SATA SSD.
There wasn't really much of a shortage though - at any given time there were warehouses full of residential toilet paper, what their wasn't was capacity to keep supermarket shelves stocked when regular customers all suddenly doubled their purchasing pattern.

A supermarket stocks maybe 150 packs but sees well over that in foot traffic per day: if a relatively small number of people simultaneously think "hmm, I might need more this week" then it's pretty easy to empty the shelves.

This of course gets compounded by the group of craven **holes who decided "this is my time to get rich!" and also realized it's not that expensive to buy out every pack in a store because toilet paper is not expensive.

The well managed supermarkets reacted to this by doing per customer day by day rationing, which smoothed shelf stock levels out a lot almost immediately: if there was a problem, it's that we don't have enough automated systems to detect and level this off: it's pretty reasonable in fact to have basic prohibitions against single purchasers buying "wholesale" level quantities out from supermarkets, and directing them to the regular supply chain system when they try.
I made a series of licenses that attempt to do that while still remaining within current legal bounds. https://yzena.com/licenses/
Nice sentiment, but it's a UK bill. Helping the government spy on people might not be treason in the UK.
> Depends on who you ask

I've asked people who lived in the former Soviet Bloc. I also know that the USSR build a wall to keep people in, and the US builds a wall to keep people out. People are also trying to swim away from Cuba.

I don't think you can wish that away.

> it's entirely possible to have big businesses without having billionaires

The two have always gone together.
That's once again a US perspective. Here in the Netherlands, Facebook is used to look at pictures of your friend whom visited a zoo. It's not used as a public debate platform, and there's very little political activity at all.
Netflix Fires Marketing Execs for Criticizing Bosses over Slack
How exactly is this memoir compatible with modern leftism
Cuttlefish Cognition
I don’t think that peak oil has been truly debunked. Conventional oil production has indeed peaked and shale has come in to fill in the gap.
However shale oil is a lot more expensive and this does propagate throughout the economy.

Right now oil prices are still at 75 dollars a barrel. That’s still much higher than before we hit peak conventional oil. It could be one reason we never really recovered from 2008.

It seems to me that we are stuck in an “oil price strait jacket”. Demand keeps rising until the price shoots up and then goes down hard but making a lot more oil isn’t feasible either. We could be in a long slow energy stagnation. This is evident in the amount oil imported into Europe for eg.

Shale oil has probably saved us from an outright disaster.
Interesting numbers. Thanks for finding them. I think they support my intuition. MindGeek, which owns Pornhub as well as RedTube, YouPorn, and others, reports only 13k instances to Facebook's 20 million. By traffic MindGeek has, we can call it, a tenth of Facebook's traffic, but they have 6 thousandths of Facebook's reports.

Of course maybe there is a different nature of the companies. Most visitors to MindGeek properties, presumably, are there to consume content rather than share it. Maybe Facebook's model enables users to connect to one another and that facilitates the exchange of CSAM.
They've already pretty much gotten all that low hanging fruit.

Modern cheats essentially can give a player inhuman reflexes. "See, aim, shoot" all mechanized, or even "see, dodge, aim, shoot". Some of them even use sound to locate other players, so it's "hear, dodge, turn, see, aim, shoot".

The cost of of infrastructure to reliably detect that on the server across thousands of players is a lot more than running some cheap process on the user's machine to look for other strange things going on (why does the user have two mice and only uses one to shoot?).
It feels like AMD was already stepping away: https://www.anandtech.com/show/16677/amd-and-globalfoundries...

> AMD will see out its existing commitment to use GlobalFoundries through 2024, with the latest amendment setting purchase targets for 2022, 2023, and 2024. Beyond those new targets, however, the agreement releases AMD from all further exclusivity commitments to GlobalFoundries. AMD is now free to use any fab on any process node that it wants.
It's almost certainly a 1200x800 screen if it's 16:10. Nobody makes displays with non square pixels anymore.
> such a system proves that various particular Turing machines halt when, []in fact[], those machines do not halt.

Er, no. The fact is that there is no fact of the matter as to whether those particular Turing machines either a: do not halt at all, or b: halt after a (colloquially) infinite number of steps. (A implication of there being no fact of the matter is that, empirically, we can't tell the difference by running them, but we can't tell the difference for a machine that halts in 2^(2^(2^256)) steps (or not at all) either, so that's not very interesting on it's own.)

(As you note, we don't actually know that (for example) a Turing machines looking for contradictions in ZFC is one of those particular machines; indeed I'm not sure offhand if we actually know of any specific example of such a machine. But that's presumably not the issue here.)
When refactoring, unit tests confirm that you did it right (or wrong).
Dunno, can you guess what will be important to the next generation? 2 generations? 3? You might play a small part of important events, people, etc that will not be realized later. Even silly things like the first robin of the season, or a picture at the pool on the hottest day of the year.
It's not a done deal! Intel is just exploring a deal to buy GlobalFoundries. This is from the WSJ article: "It isn’t guaranteed one will come together, and GlobalFoundries could proceed with a planned initial public offering."
A cursory reading of history is enough to show that civilisations collapse regularly.

It's not possible to comment on this topic credibly without being aware of this.

As for "flexible social norms" - there was an attempted coup in the US, South Africa is on fire, Brazil is literally on fire, and the UK is opening up to Delta having apparently persuaded itself that 50,000 cases and 500 hospital admissions a day aren't a problem.

And we're not even close to being done yet.
The beauty of open mathematical models is you can show your work. So show your work. Link? Study? Paper?
unfortunately, theyll suffer the same skepticism schina gets when it tries to export highly specialized technology
Do you work on slot machine software? How do you know they don't increase the odds of an early win to entice the user to keep feeding it?
This presentation from Valve on VACNet touches on this:
https://www.youtube.com/watch?v=ObhK8lUfIlc

Specfiically, at about 7:50 into this, he talks about the propensity of encountering cheaters in CS:GO. The tl;dr is that in a 5v5 multiplayer game the percentage of cheaters required to ruin 9 other players' games at once is not high. It only takes 7% of people to cheater to encounter 1 every 2nd game, and a 2% cheating rate gets you a 20% cheater-encounter rate.

I'd also touch on the point that cheating ruins an online-only game. Like, it is the #1 way a game falls apart.

Take a look at a game like Escape from Tarkov, where a cheater will ruin a good block of time for a lot of people just by existing in one game. It's especially bad in that game because the distinction between 'being caught by someone in a position you didn't check' and 'being killed by a cheater' is so unclear, and the consequences of losing are so high (and thus losing to a cheater is so much worse). It creates an environment where the players have to be absolutely 100% confident cheating doesn't exist, or it will very quickly sour people to the game.
TLDR: economies of scale
Really like that! Presumably this is because most people's sense of what feels prime is: odd numbers which don't appear in the times tables; and only 39, 51, 57, 69, 87, 91 and 93 are red herrings in that regard, all of which bar 91 are divisible by 3, which people also have a good sense of, not least by using the add the digits rule.
What? Why buy a loser?
Looking to move from SF currently. Curious if your location has a good school district. That along with great outdoors and affordable housing are my top criteria for moving.
Exactly right. The best minds are working on algorithms tricking you to click on something. This also explains why big tech products hardly ever really get new features.

That's not what the engineers are working on. They want you to click. It doesn't matter if it leads to depression, anxiety...just bloody click. Or read. Or watch that video. And then the next one.
Very interesting, thank you for the link.
no idea why ppl are downvoting, maybe don’t understand? disagree? Anyway some big companies are already working on tech that enables this implementation, so it’s not sn impossible scenario.
Because no one in Canada wants to get vaccinated with it or maybe because US is not recognizing it, so you cannot cross the border even if you are vaccinated with AZ…
Equating OS and its ecosystem to a single language is not very wise approach I think. In any ways you are obviously free to find fresh and shiny OS of your liking and use it.
I'm pretty sure the demand for a mobile computer like steam deck is way higher than any oculus quest competitor. How many of those exist right now that can play any steam game? Zero!
There are many problems. But we can be ok.