skysight-inc/HackerNews huggingface dataset:
I cant help but observe that the "Power law" is more or less +1-2 SDs above mean... The network effect is leveraging those in the top (say) 5%ile across all people.

Anyone with internet can use the software of the top 5% of programmers.
Anyone with youtube can view the top 5% of Skateboarders (or whatever content)
Etc.

This concentrates all the wealth onto them.

If we want to combat this concentrating force we need to also work on dispersion forces. We can ensure that those near the mean participate in the wins. For many this looks like equity.

across society we need to be bringing this equity to the public markets sooner. If I were the SEC I'd be working on rules that say companies cannot block sale/liquidity of shares (it is one's property after all). This would help create liquidity for the lower&middle folks who get equity in small businesses and allow large institutions to bring this opportunity to all (via index ETFs). Then instead of holding shares in some small startup you could, for example, sell some and hold an entire pool of startups (VC style) and spread your time investment in a single company across many, without job hopping.
Honestly I'd much rather have Hardware Innovation and Linux Gaming Enthusiast Valve than Made Yet Another AAA Shooter Valve.
They'll surely host their own repository rather than use Arch's directly. There's no reason to question stability when they're in control of both ends, and Arch is light with excellent tooling.

It's a good fit.
Yeah everyone, he was really just saying people should have free speech, the way it was understood in civilized countries before crypto-commies who secretly love authority decided they know everything! It's all just a big misunderstanding!
CPU: AMD APU Zen 2 4c/8t, 2.4-3.5GHz (up to 448 GFlops FP32)

GPU: 8 RDNA 2 CUs, 1.0-1.6GHz (up to 1.6 TFlops FP32)

RAM: 16GB LPDDR5

Display: 7", 1280x800, 60Hz

OS: SteamOS 3.0 (Arch-based), KDE Plasma desktop

Storage: Onboard 64GB eMMC/256GB NVMe/512GB NVMe, microSD slot
> Perhaps she’d say: ‘Let me get back to you tomorrow about that,’ or: ‘Ask me again in a week.’

I think that example isn't strong enough to register as assertiveness.

Assertiveness looks something like this:

Someone asked me once if I'd be interested in being the musical director at a church. My response was something like:

"I have zero interest in doing that. You know, before Phyllis died she'd seen me politely brushing off an offer to 'fill in' for the organist for an unspecified number of Sundays, for an unspecified amount of money. Phyllis pulled me aside after that and said, 'Don't you ever take a position with a church. The politics are vicious. They will eat you alive.' It was hilarious at the time but she was absolutely serious and I've taken it to heart."

That typically works because most people in life have been tasked by either circumstances or other people to suggest a course of action or sell you on something. Your assertion actually gives them some relief because they can stop selling. In this case, we immediately switched to gossiping about vicious church politics for the next few minutes.

The difficult thing is to do something like that for the first time. It may feel a bit like jumping out of the plane when skydiving because you have no frame of reference for what will happen next. The key is to reflect ahead of time on a few key preferences you have-- when the time comes, just barrel through and force yourself to make a decision based on that preference. Once done, notice in the aftermath and days after that nothing bad actually happened. It's revelatory-- future moments of low willpower feel like momentary slip ups (or perhaps just reasonable compromises) rather than a complete lack of agency.

Edit: clarification
Thanks

Overall, I am optimistic about the future. I don't expect developing solo will make financial sense anytime soon, but I imagine the scales have to start turning at some point

The current treatment we get from Apple and Google is beyond belief. We add value to their respective platforms almost for free, and what little we make they take a fee from it. To top it off, Apple even charges us to be able to work for them. And then we get shown "our place" when they do things like what they just did to me

But as a collective, developers have a lot to gain if we get organized
He’s not saying society “should” be structured this way.

It is more about that it “already is” and “will be even more so.”
Happy index/steam controller customer here, had to RMA one of the index controllers for a weird resetting issue but they handled that really well so I feel I’ve got my money’s worth. I may be biased though because valve is actually the company I have been a customer of the longest in my life
It's Iran's requirement.[0]

[0]https://travel.state.gov/content/travel/en/international-tra...
The Shield was Android with GameStream. This will run games directly on x86 Linux which, with all their Proton work, will result in a much bigger game library out of the box. There have been more niche handheld x86 devices, but they were even more money, and different form factors. Steam being as big as it is, I think this has way more potential than anything done before.
That was a problem before copilot though. And copyright holders have and will continue to have the right to send DMCA take-down notices if they like.
why is that "unsound"?
what's wrong with an unwritable natural?
Almost all reals are unwritable.
Hope there are enough chips to support this in today's supply chain mayhem...
On switch it isn’t an issue for 12gb games. But I couldn’t imagine trying to load an 80gb game. Especially if you needed to load stuff while playing.
Maybe the 800p thing only refers to the console's display, as it's in the "Display" section, and it could output more resolution when plugged to an external display?

If it can't do at least 1080p on a bigger screen, it would be a deal breaker for me, to be honest. I'm considering reserving one but it would see plenty of big screen use.
This is different than the NVidia Shield handheld in that hardware has come a loooong way since 2013 and it’s actually possible to run modern AAA games at 1200x800 using what is effectively a mobile chipset. No streaming from a PC required.

If I played more games I would absolutely buy one of these. I already own the NVidia Shield that plugs into your TV because it’s a great streaming box even if you ignore the gaming aspect.
The resolution, the weight, the battery life and potentially the cooling are all sub-par. There's also the fact that this can't compete with the Switch due to the simple fact that games are optimized to run at a stable framerate by the developers or subcontracted companies for the Switch, while this will just run games from Steam at a low-res and hope for the best.
legacy is difficult to overcome. let's call it the granddaddy of all tech debt
As a long-time user of Big Picture Mode, I am pretty skeptical how happy I would be long term with one of these. When it comes to things like basic controller support or options for unusual resolutions, it's still the wild west in the Steam library.
I wouldn't count on the Switch going anywhere. PC gaming is a fairly small market compared to consoles these days.
I find that odd too, but in my recent experience, Manjaro has been the best Linux experience I've had since Ubuntu 14.04. Just install and everything works. Although Gnome was a bit of a hassle, xfce and Cinnamon run beautifully.
It does have a bigger resolution when connected to an external display, 800p is only for the internal one. Tech specs say "up to 8K @60Hz or 4K @120Hz" for USB-C display.
I know giving predictions against Nintendo is always a bit of a gamble due to their strong 1st party IPs, but with the announcement of the Switch OLED (and with that basically killing the hope for a Switch Pro), they might have seriously bungled it.

At least for me, I know when my Switch finally kicks the bucket (and maybe even before then) I'll seriously consider a Steam Deck instead. I've been using my Switch almost exclusively for indie games, and even though there is quite the selection of them for the Switch I could have played basically all of the indie games earlier (and then some) if would have had access to my Steam catalog. So unless you really want Nintendo's 1st party (expensive, never-dropping-in-price) games, this really looks to be a no brainer.
>> These are the "obvious" solutions to this problem, the first ones the average software architect would reach for.

They would have been, except the experience working with them was somewhat problematic for those who have been down this path, and the message that many devs have received is to avoid them. I kind of agree with going to submodules, but confidence doesn't seem to have been rebuilt.
Pretty nice specs for a handheld battery powered device...

Processor AMD APU
CPU: Zen 2 4c/8t, 2.4-3.5GHz (up to 448 GFlops FP32)
GPU: 8 RDNA 2 CUs, 1.0-1.6GHz (up to 1.6 TFlops FP32)
APU power: 4-15W

RAM 16 GB LPDDR5 RAM (5500 MT/s)

Storage
64 GB eMMC (PCIe Gen 2 x1)
256 GB NVMe SSD (PCIe Gen 3 x4)
512 GB high-speed NVMe SSD (PCIe Gen 3 x4)
All models include high-speed microSD card slot

Though it does weigh 669 grams (~1.5lbs).

https://www.steamdeck.com/en/tech
You're assuming that the speed of a court case has something to do with the wealth of the participants?
> Place and route is a totally different beast. There is potential for an AlphaGo-like structure to help out here tremendously, where an AI has been trained to produce a cost estimate that aids a decision process and steers the search space.

As far as I can tell, that's just another typical "Damn it, yet ANOTHER NP-complete problem..." that pops up every few minutes when looking through compiler code.

EDIT: Place and route is finite in scope (there's only a finite number of blocks on any FPGA or ASIC design). I haven't though too hard about the problem, but it seems like its similar to knapsack problems. It also seems related to non-NP complete problems like Planar Graphs (https://en.wikipedia.org/wiki/Planar_graph).

The current state-of-the-art 3SAT solvers are a different branch of AI than deep learning. I'm sure deep learning can have some application somewhere, but... the state of the art is pretty damn good.

There's probably a lot of provably optimal subproblems (ex: Planar) that are simpler than NP-complete. But then the final solution is going to be some complicated beast of a problem that comes down to guess and check (of which, 3SAT solvers are the current state of the art).
I believe the Switch itself is evidence that Nintendo’s success is driven by strong IP, not strong hardware.
Just created a HN account to say how great this looks. Ive signed up and wont be surprised if I grab the paid tier. This is exactly the kind of tool I can get a lot out of! nice work.
I love Valve but it seems like they create these hardware projects to occasionally remind platform owners like microsoft/playstation/nintendo that they can't completely abuse their users and software devs (Win10 store lock-in, etc) and retain all of them. Valve just wants to protect steam and credible hardware platform competition is how they do it. I don't think they have any real plans to produce and support hardware long term.
People not, the press however is very happy to comemorate such events.
I mean I've read some of the Aristotle mentioned, and I think it's a very and unservingly individualistic approach.

The bits that I read took into account your effects on others, but not others' effects on you, aside from the mention of teaching. If we accept that individual virtues are the determining factors of morality, we can't really ask any questions about the effect of others on my own morality, which, in my opinion and experience, is pretty important too. So yeah, be assertive and all, but Aristotle feels like the wrong place to root an analysis of inter-personal interaction.
You have to consider that PC hardware is currently spiraling out of control in terms of price, and $400 for the specs it has presently is a fairly decent buy even if you don't care about the form factor.
Considering their immense success with the Switch so far, I think worrying about Sega seems miles away.

Raw spec peeping is something enthusiasts like to do, but I think they're a small chunk of the market.
By Arch, do you mean Arch Linux? According to https://www.game-debate.com/news/25482/valve-counts-to-3-ste... , it seems to be based on Debian 9.
That's moving the goalposts after the fact.

What about all of the code that existed before Microsoft purchased them and before new licease language was introduced?
I'm in my mid 30s. High school—in which I was not, notably, bullied or anything like that—was the most stressful, mentally-unhealthy, and busiest part of my life, to be sustained for more than a few weeks in a row. The only thing that's even come close is having multiple young kids at once, plus a job, and that's still not as bad. College was a vacation.

Meanwhile, adults were telling me it was the best time of my life, or that if I was stressed out and struggling now, just wait until I got to the "real world".

LOL, WTF? The real world is so much easier and less demanding. Even the couple times over Summers or early on when I worked low-wage unskilled jobs, it was easier and less stressful. All high school did was give me mental problems and a decade of nightmares.
All the next gen consoles have SSDs though, so games are going to be designed around that. Current AAA games might be playable on a microSD, but I doubt any of the AAA games currently in development will.
I meant that there’s probably a usb 2 controller with lower power draw reqs compared to a usb 3 controller, but I now see that the ports are on the dock like others said.
Huh yeah that is odd. Valve is typically pretty good at ergonomic hardware, maybe the buttons aren't the primary interaction tool for this.
I agree with the choice of presenting in today's dollars by default is more helpful when actually planning. In the deterministic planning it has the note at the top for "All Values in Today's Currency" but I don't see that in the Advanced Simulation and I think it would be helpful to have that reminder on all of the projection graphs so you don't forget what money you are looking at.
Can I run NixOS on it?
It would be AMAZING if you could run some linux distro on this, somehow.

Edit: I mean, a linux you could control, ssh into it, install stuff etc...

Edit 2: Wow! Apparently, you can do all of this out of the box.
Wind, geothermal, and hydraulic energy (and hydraulic energy storage) are also clearly viable.

Wind and hydro are largely derivatives of solar energy (as is wave energy). That is: the original energy source is the sun, here creating energy potential through kinetic wind energy (created by heating and cooling of the atmosphere), or of falling water (initially evaporated by solar energy). The total amount of available power is a fraction of incident sunlight, though the capital and maintenance costs may be lower where wind and hydroelectric potential are concentrated.

Geothermal represents an independent power stream, though high-potential sites are limited (and surprisingly highly utilised) over much the Earth, with Africa's Rift Valley being a notable exception.

Tidal and nuclear energy are also independent of solar power. The first seems to offer de minimas actual potential and at high costs. The second already provides ~4% of humans' net energy, with risks and fuel abundance posing grave concerns.

But yes, wind is also a viable significant contribution. It's being rapidly built out on land and in some offshor locations.
Desktop: KDE Plasma

KDE Plasma visible in this video of a docked SteamDeck:

https://cdn.cloudflare.steamstatic.com/steamdeck/images/vide...
It would work in the same way as any off-work side projects. If it's (legally) your code, then you can do whatever you want with it, whether you sell it or contribute to FOSS. Otherwise, it was never your code to begin with, so you couldn't "contribute to FOSS" any more than you could donate your work notebook to a charity.

In reality, I think Google has an "open source committee" where you would show your proposed contribution, get approved, and then you can contribute to outside open source projects. I heard the process was fairly reasonable.
Nintendo Switch sales figures will prove otherwise.
I'm willing to shell out so that I don't have to buy all the games I already paid for.
This is a pretty amazing. Given the ports on the back, will this support the Valve Index? I love my index, but having to boot up a PC and keep myself tethered to the desktop is a bit of an effort that I'd love to skip.

EDIT: Found a half-answer to this: "Pierre-Loup Griffais: I mean, it has all the connectivity. You would need [a lot] to do that, but that's not really what we're optimizing the performance for." [1]

[1] https://www.ign.com/articles/steam-deck-valve-faq-big-questi...
I doubt it. Nintendo hasn't dominated in hardware specs for several generations. They survive by primarily being developers of great games that just happen to only be available on their whatever-hardware-we-could-get-for-$250 platform.
This will trounce the Nintendo Switch as soon as Pokemon, Zelda, Mario Kart, and Smash Bros are released on Steam. Which is to say "never."
>There's no way they are going to claim that every user who uploaded code without owning the full rights is violating their TOS.

If they're taken to court and that part of the TOS is relevant to the issue, then yes, they can and will argue exactly that.
Totally agree.

In fact real estate agents are pretty much never acting in the best interests of their customers (buyer or sellers).

All of them are interested in making transaction happen faster to "move inventory". Negotiating better deal for their client is a waste of time for agents, although none of them will ever acknowledge it.
You’re right that Bob’s the infringer here and not GitHub. But I’m not sure where that would place the derived work that’s eventually used.

Which is the point of the article a bit. GitHub is likely not infringing but it’s also not absolving the end user of any infringement. Neat trick.

That being said I think the risk is minimal enough that I’d be pretty comfortable with using it.
I can't buy this until it runs Windows, too many games need it
I am in the Rust community, and am doing embedded, but no async. That brings its own set of issues, but they're more straightforward for what we care about, personally.
Seems like all the pieces are in place for this to be good at least on paper. If the demand is there, this could be a huge success for Valve.
I can confirm this. The index is a marvelous piece of tech in so many ways. It's a premium bit of kit (with the associated premium price) and I have zero complaints about it.
I'm also curious if it's aggressive USB power saving attempts with autosuspend. From my limited exploration autosuspend is usually off and e.g. requires powertop to enable (on Ubuntu LTS) or manual fiddling, but may be worth checking.
I always felt their controller was a bit of a weird product. Turns out they were just dipping their toes in the water. I wonder if they are going to produce this fully in house like the controller.

https://www.youtube.com/watch?v=uCgnWqoP4MM
That’s a really good point, viewing this as an accessibly-priced entry into PC gaming makes it even more attractive.
They specifically mention Arch Linux (with KDE Plasma desktop) in the software specs

SteamOS 2 was Debian-based
It's already running Linux, in the guise of SteamOS.

https://www.steamdeck.com/en/tech
Outside of a diary, or a brain implant where I saw and felt everything the other person felt, I cant think of a better tool to tell the moral and intellectual value or a human being then telemetry. It's not definitive, but as a data point it could be powerful depending on what you are trying to evaluate
It's...just a Linux PC, running a Linux distribution (SteamOS 3, Arch-based). It says that on the site.
IMO Sega’s problem was started by having a confusing lineup of too many products. Then they fumbled the US Saturn launch and faced stiffer competition than before. Then the Dreamcast was a victim of the PS2 _also_ being a DVD player, which made it a much more compelling option in its early days.

In this case, Nintendo has a large and dedicated fanbase, hardware that they (IIRC) sell at a profit, and a truly enormous warchest. They’ll be fine.
I was more disappointed that it didn't support 802.11ax.
This surprisingly doesn't mean repeatedly adding 1 will exhaust all natural numbers -- there are models for the natural numbers with elements that can't be reached this way!

The ultrafilter construction gives one such model. You take the set of all sequences of natural numbers (n1, n2, n3, ...) then use an ultrafilter to decide which of these sequences are considered to be equal. The usual operations of natural numbers are defined term-by-term. You can think of the usual natural numbers as being the sequences (0,0,0,...), (1,1,1,...), (2,2,2,...) and so on. However, there are many additional numbers in this system, like (0,1,2,...) that are strictly greater than all the usual numbers, and these cannot be reached by repeatedly adding one. (The reason (0,1,2,...) is greater than (n,n,n,...) is that if we do the comparison term-by-term we get (false,false,...,false,true,true,true,...), and the ultrafilter will decide the comparison is true because it is true for all but finitely many terms. Ultrafilters are devices to consistently turn infinite sequences of trues and falses into a single decision, but every ultrafilter will make a true decision in the case there are only finitely many falses.)

Counter-intuitively, proofs by induction still work for this system... speaking with no authority here, maybe an intuition is that it's doing a hypercomputation.
Does it run Crysis? \s
Nobody mentioned bitcoin except you

So its an unproductive assumption
A double-edge sword, right there it is.
LTS is a noble effort but leaves quite a lot to be desired, and doesn't really change the fact that Greg (and others) have multiple decades of history hiding vulns and pushing back on CVEs.
Did this line get removed from the blog post?
Dropping down to Peano Arithmetic for a moment. We can consider adding a new constant 'c' for a natural number to the language along with the following infinite list of axioms about this remarkable constant:

- 0 < c

- 1 < c

- 2 < c

- 3 < c

...

Adding all these axioms is consistent. I.e. you can do induction upto 'c', whatever it is. Why is it consistent? Because if there was a contradiction, the proof of such a contradiction would be finite, and hence can only use a finite number of these new axioms (this is a so-call compactness argument). But clearly any finite subset of this list of axioms is consistent because it has a model where c is just defined to be 1 more than the largest numeral appearing in that list.

But all those infinite number of axioms taken together creates an unsound system because it claims that 'c' denotes a natural number that is larger than every written numeral.

Heading back to ZFC land, it turns out that (assuming ¬Con(ZFC) is independent of ZFC) adding ¬Con(ZFC) to ZFC similarly is similarly unsound in that it yields only models that have elements that are larger than every written numeral.
An underappreciated read.

The transformation Leopold and his family accomplished on their Sand County property is a self-evident testiment and demonstration as well.
At a cursory glance this thing seems to be well-equipped to handle emulation. There are a lot of (sometimes sketchy) portable emulation devices on the market but most are pretty underpowered. This seems significantly more powerful (at a higher price point of course).

I'm curious if more folks interested in portable emulation will go for this or wait for an FPGA-based Analogue Pocket.