skysight-inc/HackerNews huggingface dataset:
This is not unsound in the usual sense of "logical soundness" (which applies to logical systems such as first-order logic, rather than specific theories in the system such as ZFC).

This is unsound in that it runs counter to certain philosophical commitments, namely that there should be some tangible, physical realization of all the natural numbers (although if you really go far in that direction you end up with ultrafinitism, which most set theorists would find unpalatable, so the philosophical implications of all this are rather tricky).
The “services” is that which is provided by GitHub. “GitHub” is defined to include all of its affiliates, including Microsoft.
Yeah, probably. Kinda like a Xbox Series/PS5 CPU lite.
fedora will also patch stuff from upstream to include in their distro. for better or worse arch will try to upstream the patch and if they don't like it just keep an older version around if they don't accept it
Comparison of recent privacy laws in three US states
Sorry, it's from [0] linked further down in the comments. I didn't notice that when posting, or I would have made my comment a reply to that post [1].

[0] https://github.com/google/security-research/security/advisor...

[1] https://news.ycombinator.com/item?id=27842381
How many arrows to the knee must I take?!?!?!
Matter of taste. A pc gamer will hate a mobile control scheme but I can play Cyberpunk fine on my S10 with the touch controller and if it had even the level of customization that CoD Mobile or Pubg Mobile offer the player I'd go so far as to say I could be happily comfortable. Imo, people underestimate both how poor the quality offerings are on mobile and how far ui control design has come (in the few top tier offerings that exist). Cloud gaming kills two birds with one stone in that it suddenly adds a plethora of games to mobile that are good in the real way while simultaneously mitigating the mounting costs of being a pc gamer (maybe consoles too but I can't speak to them) by letting me run high-end games on average hardware so long as I have a good internet connection.
I have a lot of doubt about it supporting the Valve Index. Mainly because it's a 15W CPU. Sure, you can optimize for it, but VR is extremely performance heavy as far as I can understand.
> yeah i can't play MMOs, yay

> i can't play most multiplayer games, yay

> i can't play most AAA titles because of DRMs, yay

That's on the developers and publishers.

> proton is a waste of time

It works well enough for a lot of people.

> most of the time you have to fiddle with weird settings, portable console appeal more to casual people, majority of them are tech illiterates, if something bug or doesn't work properly and requires tweaks, it'll backfire at both the devs (they bought the game after all), and valve (they bought the console)

That sounds like PC gaming in general. If you're talking about Proton messing up, there's lots of warnings that things might not work right.

> if they don't push native builds, it'll flop due to lack of proper NATIVE ecosystem

Way to miss my point. There's lots of games with native Linux versions: https://store.steampowered.com/search/?&os=linux <-- AFAIK, Steam's "os=linux" means without Proton.
" PC library available"

That's the problem proton does not run all the games.
I’m super excited to see that they’ve chosen Arch as a base for SteamOS. I understand fully why they originally chose Ubuntu, but I feel like Arch actually hits a lot of sweet spots for consumer use cases and could be adapted for such use quite effectively. (To be fair, I feel similarly about Gentoo, which was similarly adapted for ChromeOS quite successfully.)
Now we're coming full-circle back to the start-up posted on HN the other day that was going to send "expert" applicants in to evangelize specific products and technologies in interviews.
Both Debian and Arch are very fine distributions. Your other three options aren't really good for what Valve is going for.

Gentoo is source based, and while distribution of binary packages is possible with it, why would they do that?

NixOs ignores FHS, and while it is possible to install a steam compatible runtime, why would they do that?

And Fedora belongs to RedHat, and why would they do that, when they actually try to switch away from a OS distribution controlled by one company?

I am not saying those distributions aren't good, just that it would not make sense for Valve to use any of those.

Debian (via Ubuntu) and Arch are probably the most well tested Linux distributions by gamers, that do not belong to a single company.
I just hit the site on my desktop. Like the steam controller before, it's got a lot of back buttons that you can likely remap (R1 to R4 and L1 to L4). So yes, the front buttons are backups.
Not a chance in hell that this runs SteamVR with acceptable performance, though. I'm not convinced that this will work as a VR rig at all.
Ahh, never mind. I see you can add multiple incomes.

And the "Other Assests" form has a "Purchase Year" input.

Thanks, very cool tool.
It's a fully fledged PC. You can install anything you want. So if you can run the emulator on linux, you can do it on here.
I have a buddy who interviewed at a company in the Valley back in around 1998. They also refused to tell him what his daily responsibilities would be like. He said to himself, "I'm not going to waste my time parsing f'in Apache log files!", and turned them down.

That company? Google. He would've been employee # < 100, and comfortably retired in 10 years.
They could just use something else, instead of using Facebook while complaining about it all the time how they don't want to use it because it monetizes their eyeballs.

Seems to me like using something else would be easier, or at least make for a happier life.

Like if I don't like spinnach but I really need to get some fiber, it seems like the simpler option is to find another way to get fiber, rather than eating spinnach while constantly moaning to the whole world how spinnach is just the worst.
I gain/lose nothing for being right/wrong, it's just the status quo.

I'm waiting to buy a laptop I want for some months now, still not available.

Unless this custom APU for Steam Deck is made in a special foundry with a special process, then they will be in line just like everyone else.

Plus scalpers love this shortage to make easy money.
Maybe we should turn the premise around. I agree that most recruiters and hiring manages won't look at your side projects.

But as a prospective employee, I'd want to work at a place where those count. I want colleagues who are passionate about their tools and tech. Not just people who churn out "solutions" and "applications" for someone else's problem in a Blub language. I want to work at a place where people appreciate open source contributions, because that's not a place where people violate the GPL or do the minimum neccessary to appease the lawyers. I want to work at a place where people appreciate design taste and are happy that I put in a mere half day more work to make the product polished, instead of rushing it to the door prematurely (in chase of profit now, but detrimentally long term).

So, as a picky job searcher, I would totally put up a portfolio and clean up my GitHub. Even if only to see if they notice.
Your assessment is pretty much correct; it boils down to a constrained optimization problem (a la linear programming or SAT). And this is a family of problem-solving techniques for which we already have decently powerful algorithms.

Historically, elements of constrained optimization have been considered AI--most intro to AI courses will probably cover some variant of backtracking solver or various hill-climbing techniques--but it doesn't really mesh with what modern AI tends to focus on. Deep learning isn't likely to provide any wowza-level results in such a space.
No information where they are going to make the hardware. I hope it's not China.
Clickbait-y as hell. Three paragraphs in they say they blame the FSC, and that IKEA and other manufacturers rely on green certifications to insure their wood come from sustainable sources. Kind of scummy to call it "IKEA's House of Terrors".
Switch is 390ish-500 GFlops (higher is when docked)

It’s about perf/watts
That seals it - gotta get one of these. Hackable console!
> The 64GB version is almost a made-for-landfill device.

I felt that way about the Quest 2, and opted for the maxxed-out version. As it turns out, I use it a few times per week and have ~40GB of storage in use.

I originally used Virtual Desktop to remote in to my desktop, mostly from across the house but also over 5G. Now that Airlink is available in beta I use it exclusively at home, and mostly play "PCVR" titles wirelessly.

The Steam Deck seems to be taking the same approach. I see myself using it to play games from my desktop library while in bed or sitting outside. Few if any games will actually get installed on the device, because I won't want to use the on-board processing and drain my battery anyhow.
Say it takes a $5,000 machine 24 hours to break the code. Clearly it's much more attractive to an attacker if they can break a weeks worth of messages than 10 seconds worth.
The real title of the article is:

Privacy Law Update: Colorado Privacy Bill Becomes Law: How Does it Stack Up Against California and Virginia?

It is good to see that some states are taking action about privacy.
No, the junkies did not die out. What happened is that we enacted a bunch of legislation that made it possible to help people get treatment and replacement drugs instead of having to steal bikes or car radios.

The added benefit is that if you are using a playground you no longer have to be overly concerned about stepping into needles.
Speeding Up Reinforcement Learning with a New Physics Simulation Engine
I think others addressed the "why proof not empirical data" question well, but one additional point. A logical proof is only as solid as its weakest component. In mathematics any result that has been proven may be used in a component of another proof. If you have a result that is based on empirical evidence, then every result proven based on that also inherits that empirical evidence as part of its foundation. The reason we don't do this is that if, by some weird chance, the original result that used empirical data instead of proof is shown to be false, then every result built upon it is invalidated and needs to be revisited. That would be a mess. Sticking to requiring formal proofs at least reduces that possibility - although it is still entirely possible for a proof to have a subtle mistake as well, which would have a similar cascading effect on results built upon it.
> Elon has said that the second stage is approximately 20% of the cost of a Falcon 9 launch.

20% of the cost of the whole rocket. With no reuse. Now that reuse has cut the cost of launch way down, the second stage is much more than that of the cost.
it has a microSD card slot: https://www.steamdeck.com/en/tech
I don't know a ton about this, but I thought their major issue was games needing new versions of some random libraries. Being more up to date than Debian would still put you (presumably) years behind.

Mesa and the kernel would be less important, as all the hardware needs to be supported by them on release.
Tingly feelings in your body are almost always nerve related. Sounds like its pressure on a specific nerve thats causing this issue for you. Hopefully nothing to be alarmed about but that you are putting a strange pressure on a specific nerve.
Having a screen resolution of only 1280x800 helps a lot. Steam Deck specs say up to 1.6 TFlops from the GPU.

That's half as many pixels as the 1080p screens that people in 2014 were playing on. Keeping "rendering quality" fixed, pixels and flops aren't necessarily linearly correlated, but half the pixels does mean approximately half the flops to hit the same quality targets, ignoring the new upscaling tech that will almost certainly be used to close the gap. So 1.6 TFlops today vs. approximately 2.5-equivalent 2014 TFlops is probably not that dramatic of a gap.

And running on a battery. That's actually really damn impressive.
With those specs and that price, this would make a wonderful portable linux machine if someone can build a case with a keyboard fold-out
I might have one or two packages from AUR, but mostly I don't touch it. I've had a number of discussions in meetups about stability and Arch over the years and have encountered plenty of people who switched from Arch to Debian or Ubuntu because of stability problems with Arch. I have a hard time imagining that it's mostly down to AUR.

Maybe the people using lots of AUR are complaining a lot, and the people who don't just quietly switch distros?
The switch is widely used as a portable game console. The switch lite can't even connect to the dock
Hello, Video Codec
Why couldn't you use this with Stadia?

The price isn't out of line even if you consider it as a "thin client" gaming device.
Anyone else getting some Atari Lynx vibes?
It's weird to think of Facebook as the reasonable people in the room.

The left wants to own online political discussion in the US, and they are very bothered that the right finds a ready audience when they are allowed to compete.
Three questions that can help you decide when to terminate a side project
Yeah, it's not that hard to hold updates back a bit.
Have you tried openSUSE Tumbleweed? It is a well tested rolling release (https://openbuildservice.org/), with snapshots on update via btrfs.

With the opi package you can install: chrome, codecs, dotnet, msedge, msteams, plex, skype, signal, slack, teamviewer, vivaldi, vscode, vscodium, zoom and more.

Brave is app i am missing so far, but having the newest version KDE and other software that required a PPA on Ubuntu is pretty nice.

And it feels much snappier installed on a SATA SSD than Mint from a NVME SSD on the same machine!
Can the 64GB version be upgraded DIY with a NVMe SSD?

It claims to be a eMMC but goes on to clarify it is a PCIe Gen2 x1 connection. Does this mean it is just a m.2 card?
You are talking about Dan Rasky. Link to this interview: https://www.youtube.com/watch?v=MxIiiwD9C0E
The courts being slow to change, respecting precedent is a feature. It should be on congress to change the law and ammend the copyright act
The only tool from the article that I can speak about with any sense of "authority" (and that only as an end-user) is Blender itself, but my personal experiences with it make me very much want to explore their other software offerings now that I've read this article. Nothin' but pure gold comin' out of the Blender foundation these days. Fantastic tool for all manner of fun 3D and video production. :)

Anyone interested in tryin'a actually learn how to use Blender should run a search for "Blender 3D tutorials" on YouTube and start watchin' and playin' along. Totally too much fun! :)
The article doesn't seem to claim that ikea had knowledge of these practices, did anything wrong, or was involved in any way other than being a victim of fraudulent sustainablity certifications.

And yet they still seem to want to blame ikea for this. The way this is presented just seems incredibly dishonest.
Moon’s Wobbly Orbit, Rising Sea Levels Will Cause Record Flooding in the 2030s
Oh yea - some people have a hard time adjusting to the life they're able to live, but for a while I subletted a bedroom for 250/mo in a party house and that period of my life was utterly miserable. I got absolutely terrible sleep and the bathroom frequently with a sink full of rotting limes encouraged me to spend as much time as possible loitering on campus. I would've had a hard time working during that period as my schedule was constantly in flux around when parties were happening and my ability to have a shower was sometimes limited by puke or passed out folks.

You're mostly coming from an angle of personal choice but relocating yourself a significant distance costs a lot of money, it can be a financial burden to move across country or even across state. There are people who can voluntarily escape their situation (like your buddy) but there are a big portion that are just stuck there involuntarily.

I'd add that it's also a bit unfair to judge people whose solutions seem solvable but are in tough spots. I don't know if you've ever lived through a period of high stress (I was a game developer for a while and worked a lot of overtime while suffering from OSA) but when you don't have room to breathe it can be hard to puzzle a way out of your situation. You're just focusing on surviving with what you've got and all your energy is going into it, you don't have the presence of mind to logically consider your options and decide to cut your losses and run.
Steam is the platform for games on non locked computers
Indeed, though newer circuits perform well.
So this will run on Methane and Liquid Oxygen, right? Is it possible to source this CO2 neutral? Maybe it's not economical right now, but I wonder whether it's realistic to use renewables to produce the fuel in the near future. The massive cost reduction will probably result in far more flights, so I wonder about the environmental impact.

Edit: And would this even be the solution? Methane is a greenhouse-gas after all...
Although this is a pretty niche case - this might be a godsend to those who have too many little indie games piled up in their library and actually want to finish some of those in commute.

The hardware doesn't seem to be apt for the latest AAA games, but that's maybe fine - the majority of Steam games aren't really that taxing in terms of hardware.
It depends one's lifestyle. I have my own company and work from home for 20 years already. So the PCs with the big 4K screens are always around. When I go to my summer's office it is the same thing. So I read/watch videos from the PC.

Yes there were few situations when I knew I'd sit in a car and wait for someone for quite a while. So I downloaded book on laptop and read it. I tried reading from a smartphone but my brain simply can not digest properly from this size of a screen. When I read I follow the line but I also glance at the whole page. Not sure why but this is how it works for me.
Because everyone gave me such good and well meaning answers perhaps you’ll permit me a follow up.

As I understand it we can say the cardinality of the reals is 2^aleph_0. Why is it cheating to create a bijection thusly:

0 -> 0
1 -> 1/(2^aleph_0)
2 -> 2/(2^aleph_0)

etc?
Maybe they consider Starlink to be a customer of SpaceX? NASA would still be the largest customer though, with 36 launches versus Starlink's 33. That would probably change by the end of the year though.
Good luck getting a dev kit. I had a relatively successful game/app on the Wii U, wanted to make a sequel, and have been rejected 3 times without reason.
Has there ever been an analysis to see what is most likely to break on a rolling distribution? I have been using Arch for years, and have only had a couple of hardware related issues. If that is typical, rolling distributions may not even be an issue when the vendor has tight control over the product and can isolate hardware related packages in their own repository.
> Why is any company having more USB-2 slots than USB-3 these days?

Almost certainly has to do with cost and PCI-E bandwidth. Mobile chips like this only have so much bandwidth, and USB3 requires more dedicated bandwidth than USB2, not to mention more complicated circuitry that drives up price. And when your expected use case is attaching keyboards and mice, which generally are USB2 only anyways, it reduces the cost and bandwidth needed to support that many ports.
A $400 dev machine running Arch?
> And yet it looks like you cannot use the Steam Deck without logging into a Steam account. Looks like we are trading in one lock-in for another.

valve so far has been miles better than any other big DRM platform. i would almost bet valve will let you have root on these and do whatever you want with the hardware without any jailbreaks. It may not be supported, but I really cannot imagine them locking this down. That would be very much unlike valve.

iirc steam machines back in the day did also let you go into a bash shell?

full disclosure: i may contain traces of a valve fanboy.
I feel like that might be a hard sell among the FIRE crowd. FIRE is almost synonymous with ultra-frugal.
The thing about Valve's record with hardware is that the products aren't bad, just extremely niche. If this thing really can play most of most people's Steam games in a Switch-like form factor with a standard gamepad layout, I think it stands to be a hit in a way their past hardware attempts weren't.

It's also an interesting counterpoint to all the streaming services popping up these days. PC game streaming to mobile has major downsides, even more so when you're away from stable and fast internet. Until 5G is everywhere and mobile bandwidth [soft] caps aren't a thing anymore, a mobile device that can play games locally will be a much more attractive option for a lot of people.
Yep. I do so much less work now that I am out of high school. I work fewer hours. Deadlines are less strict. Protocol is less strict.

Granted, I went to a pressure filled high school, but nothing came close to being as demanding as that, even engineering school.
I might be the target audience for this. I have a steam account for years but I barely touch it. I don't feel like building a PC, and games for MacOS were limited last time I checked. I've been happy playing my Switch and PS4.

My first thought when I saw this was that it better be able to connect to an external screen, and it does! An added bonus would be if I could hook up external controllers to it as well.

I've heard of Valve's Proton[1] but not sure how stable it is and if it can support any Windows game on their platform. If so, then that would be pretty amazing to have access to some Windows-only games without building a PC.

I'm definitely interested but I'm in no rush. I'd rather upgrade to a PS5 first but I'm gonna keep my eye on this. If the reviews in the long term are good maybe I'll get the 2nd generation of it.

Wonder if they'll release a Oculus-Quest-like all-in-one VR system next.

1. https://github.com/ValveSoftware/Proton
This I think is the ultimate problem that will lead to facebooks downfall as a successful platform. Say what you will about the right wing echo chamber on facebook but the bottom line is that 70% of the GDP of this country was in "blue counties" won by Biden. If facebook continues going down this engagement path they're going to end up right where Yahoo ended up. With a bunch of poor losers using their platform and not the wealthy consumers of America.
I will fully cede questionable ROI on this whole exercise. But, I will argue that cuts both directions.

That is, I would not push to move from one form to the other. I do like multiple projects being as independent as I can make them, though.
I don't think this is a case of short term vs long term. Due to marketing the value of surveillance products seem obvious whereas the downsides sound like techno babble to the average user.
I really need to get around to beating Darkest Dungeon some year.
App Store Review Day
Well, it’s something that needs to be said about a lot of things. Life is a balance and now days in tech I see the pendulum swinging way too far to the other side.
When will programmers grow up? (2014)
Does constructivism rule out uncountability because induction is always indexable?
There's a relatively niche segment of the PC gaming population that really wants to push the envelope in graphics. I think most PC gamers like gaming on their PC because it is a very open platform that allows them to play games they bought the 90s, all sorts of mods, games from random nobodies on the internet, the latest games, and also emulate a wide variety of game systems and computers.