skysight-inc/HackerNews huggingface dataset:
Overall I found it a set of fairly decent articles about a serious problem. It is probably caused by a combination of factors. The author the potential problems of contaminants. We are all exposed to lots of contaminant that our ancestors were never exposed to. We know that several of these contaminants can cause adverse effects. Both the exposure to some classes of contaminants and the incidence of obesity have increased in recent times. Yes, correlation does not imply causation, but it seems to be a very reasonable hypothesis to research. Unfortunately this will be very difficult because doing dietary research is already very difficult, and feeding people with contaminants does not seem to be very ethical.
I think that's true although I also think that the past decade has been a pretty good time to be in tech broadly. I'm not sure it's really specific to the Bay Area/SF although it may be more obvious there because of how concentrated it is. (And, as you say, an outsized amount of the most visible tech came out of (I'd say) the West Coast.
Soundness in this sense (sigma_1 soundness) is defined by equivalency to the standard model (specifically, all sentences provable in the system must be provable in the standard model).
Anyone else unable to get the extension to load? I can install it, when I click on in on LinkedIn, I just see a white drawer. No content loads. Tried disabling ad block as well.
For me, I have realized that life is too short to do busywork for incompetent managers.

I'd much rather do something somewhere else.
If I were them, I would launch a 2nd version of the dock around Dec-2022 that has an integrated GPU. Use a GPU than can push 2k content and call it the Steam Dock 2K. 4K version in 2023.
I don't understand the problem. Code structure that listens to dev/prod mode can handle the different APIs. Branches to mark prod vs. dev.

Can you give a more concrete example of the problem? I don't think I'm understanding.
OSS license obligations mostly kick in upon distribution, hence this is a pivotal concept in this context. It’s also important because of the language in the TOS that says the code won’t be used outside the service. The stuff related to streaming is kind of unrelated here because movies aren’t under copyleft licenses and so the question of whether or not there was distribution there is not relevant- the question is whether or not the copyright holder’s monopoly right were violated and those include the right of public performance, public display, as well as distribution. They would have violated other copyright rights even without a finding of distribution.
Probably someone like me. I have a pretty crappy PC for gaming, but I have 100s of games via Humble Bundle I've bought over the years. I already have and enjoy my Switch, but having another option (plus all the games I have already) would be nice.
The comment you replied to is actually flagged dead now.
It has solid hardware for the price, but if I was forced to pick one I'd get a Switch, hardware specs don't matter that much.

This thing has many things working against it..

1. Games were designed for Windows, but are now running Linux--some are buggy or don't work

2. If they have controller support it isn't always 100%

3. That SSD will fill up in no time

4. With Switch you can get split screen multiplayer, not many PC games bother with that.
Merrill Lynch offered that back in the '80ties
Curious what the battery life will be.

Bummer the charging port is on top. That's inconvenient if you're playing and charging at the same time.

Still, an exciting device!
This is clearly influenced by the Nintendo Switch, which has proven that if mobile gaming is "a meme", it's a supremely popular one.
Paralyzed man’s brain waves turned into sentences on computer in medical first
From the FAQ [0]:

- What OS is Steam Deck running?

SteamOS 3.0, a new version of SteamOS based on Arch Linux.

- Will people be able to install Windows, or other 3rd party content?

Yes. Steam Deck is a PC, and players will be able to install whatever they like, including other OSes.

[0]: https://partner.steamgames.com/doc/steamdeck/faq
Like Apple, Google also mandates that apps distributed via the Play Store must use Google's payment system[1], and give Google a 15% to 30% cut of revenue:

> Developers charging for apps and downloads from Google Play must use Google Play's billing system as the method of payment.

Google prevents mobile app distribution competitors from competing with the Play Store on feature parity because user installable 3rd party mobile app stores cannot implement automatic upgrades, background installation of apps, or batch installs of apps like the Play Store can.

If the user tries to install an app on their own, they're shown scary warnings and must adjust arcane settings, but if they use Google's Play Store, no scary warnings are shown and no settings need to be adjusted. They're told they're "protected" by Play Protect, but aren't shown scary warnings about the fact that the Play Store is the main distribution method for malware on Android[2] when they go to install apps with it.

That sounds like a walled garden to me.

[1] https://support.google.com/googleplay/android-developer/answ...

[2] https://www.zdnet.com/article/play-store-identified-as-main-...
I try Proton a few times a year and the experience is almost always disappointing; I'm not even a hardcore gamer, so mostly playing 2-3 year old games which I'd expect good experience with.

However, if they ramp up investment and actually make Proton viable for the majority of titles, this is very bad news for Microsoft / Windows.
Agreed, support is very much not standardized across games. If this thing takes off then I'm sure the story will be different in a few years, but the early adopters will surely face some headache in games that aren't "officially supported".
Get a Thinkpad. You probably want one of the W Series.
Reinforcement Learning in HASH Simulations
I know from first-hand experience as a dad of a gamer that AAA PC games aren't optimized for space in any way and 64GB of storage is nowhere near enough. I know they are trying to hit a price point, but for all practical purposes, this thing starts at $529 (where you get what I'd consider the minimum of 256GB).
Yeah, those were cool. But not really cool.

Self landing boosters is just the logical application of control algorithms. As with the "flip".

Super Heavy Boosters, on the other hand, are an interesting new way to solve a problem.
Thanks! Really appreciate the support :)
Aren't up-to-date libraries fairly important for steam?
I don't know if Proton runs on SteamOS, but if it does (it should), yes, then it should be able to run Crysis ;-)

https://www.protondb.com/app/17300
Pitch Deck Post-Mortem
Entrepreneur performs a post-mortem on his original investor pitch deck from almost a decade ago.
Looks nice, but...

It doesn't appear to be set up to work without logging in to Steam first. That really reduces the portability.
I think it's more that city folk truly, sincerely, earnestly believe country folk are evil, and the fact that Facebook is not programmatically and automatically squashing country folk speech just because city folk want them to annoys city folk.
Could just have switched to Debian Sid, which is basically the rolling release variant of Debian.

That could have saved some time on tooling/packaging adaptions.

Not that I dislike Arch Linux, I run both Arch Linux and Debian (Stable on servers Sid on laptop).
Getting Your First 100 Signups Publishing Fiction on Substack
Math is simply not a science, not in the sense of "natural science". Math research does not follow the scientific method, it is not an iterative effort to construct (wrong, but useful) models of some external universe like science does. Math is a thing of its own, and it's best just to not compare it to physics or biology or gender studies or whatever.
> This is just apologism for blatant and inexcusable censorship.

No it's not. It's saying that this stuff has a lot of nuance and you aren't going to have a rule to classify it.

Sorry, that's just how the world and its laws and policies have worked for centuries. You aren't making a point by saying "it's impossible to 100% differentiate an expert being wrong from misinformation."
Did the steam link really go nowhere? I have a physical box, and it works magically well. My understanding is it's still available, just not as a physical box.
Personally I find a lot of these devices backwards minded. I'd much rather just shell out for a service like Stadia (if the catalogue was larger) and turn my actual mobile device into something capable of playing pc titles. Especially if the implementation is platform agnostic like Stadia. Gaming devices of all stripes have become expensive enough that I'm more than happy to see cloud gaming takeover and leave hardware for the activists and bitcoin miners.
Good pointer. Sounds eerily related
I've been wanting to try to write games for the Switch but this looks like a good alternative.
Violating the TOS is not illegal, Bob would be in breach and GitHub could take measures against Bob's account. Github would be violating Alice's copyright license though, that is legally enforceable
As put succinctly by the character Malcolm Reynolds on the tv show Firefly: "'Bout 50% of the human race is middlemen, and they don't take kindly to being eliminated."
What a lot of people mean by "Harmful content" isn't opinions and discourse on whether something is good or bad. Harmful content is disinformation about what something is.

It's a concept that can be abused for certain, and I suppose that makes it dangerous.

Unfortunately, there's also dangers in not intervening.

Every space in which valuable discourse takes place has to take some form of order including restraint seriously, otherwise the bad drives out the good. And if you look at the places we take discourse most seriously -- institutions of learning, courtrooms, legislative bodies -- because valued outcomes rely on how robust the discourse is, more order and restraint requirements seem to become the rule. And yet there's also lots of thought put into how to allow as much input as possible, even outright adversarial input.

It's possible that at a certain scale, social media systems have to move from a laissez faire approach to some sort of similar balance. It'd probably be best if each took responsibility to decide what that is. Twitter's approach doesn't have to be the same as FBs, but everybody has some responsibility to try and make discourse as good as they can (at least, if the reason they value freedom of speech is because of the value of discourse, rather than as a personal indulgence).

> What ever FB censures, half the country will be mad at it. FB can't win here.

People across the political spectrum are already mad at FB, and some have decided on a posture that lets them push the drama that FB is biased against them no matter what FB's actual policy is. FB has nothing to lose by making its best faith effort. And I'd like to think that no matter what someone's general political sensibilities are they can find a way to advocate for them under conditions where order and some degree of accountability for truthfulness is required of them.
I'd like to believe they named it that simply so kids could pull a "My Deck is bigger than yours!".
It runs Arch btw
"A shift in American family values" as if there ever was a unifying "American family values".

Selfishness, poor communication skills, and a lack of experience - as always - fuels estrangement.
At the end of the day, a number is a _reification_ (or thing-a-fication, watching a process as a separate entity) of the processes of mapping and ordering. You may begin with a very simple use of those processes, which get you the natural numbers. But you may use them in more creative ways, which will get you other different classes of numbers. Mathematician love to explore all the implications of using basic processes and combining already defined numbers to create new kinds, never seen before.

For example, if you start with number '1' and apply operator _successor_ (or "adding one more"), you get the *natural numbers*, which are a mapping from the size of sets to strings of operators {'1', 'successor(1)', 'successor(successor(1))', ... }. You can use this process to define an order: number A is smaller than B if you can repeatedly apply _successor_ to A and generate B in a finite time. (Not the best definition, I know, but bear with me for a second).

If you reverse the _successor_ operator, you get the _predecessor_, which can be used to dismount large numbers and make them smaller. If you apply _predecessor_ to '1', you get 'predecessor(1)' which doesn't match any of the *natural* numbers as defined in the paragraph above. However, this new number is useful because you can map it to a collection without elements, allowing you to count a set of size 'zero'. This set doesn't exist, but it has a well defined size thanks to the process explained above. (You may as well apply _predecessor_ to 'zero' and count *negative numbers*, which allow you to create a mapping with debt, and thus count _I owe you_ amounts that don't exist in the physical world either).

Now as for real and complex numbers, they can't count physical objects as you said because at some point you can't measure smaller and smaller magnitudes (though you can create orders with them, even if it doesn't directly involve the _successor_ operator). But mathematicians use them to count the size of _infinite sets_, which being immaterial never lose precision; you just know you can repeat their defining processes once and again, showing that there exist a mapping between any step in the process and the instance of the real or complex number that correspond to its size.
HN creates FOMO, so I created a HNSince. Now I check weekly and not on vacation
"They're about to pass the great filter... fire the relativistic impactors!"

Seriously though, this is game changing at even 100X that number or $200M per launch. Even if they don't get close to the aspirational price it's going to make a ton of stuff possible in space that was unaffordable before.
Partial success of signal mattered in rural emergencies, but with ubiquitous cell phones the need disappeared. With improving internet coverage providing on demand media, the need for over the air television is shrinking and the spectrum can be better used.
Criminalising goods which are in high demand seem to have that effect.
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

proton is a waste of time

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)

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

"daddy, why this game doesn't work, this console sucks"

this only asks for a proper windows based machine, if XBOX releases their XBOX portable, it's game over for valve
Eh, this argument kind of falls apart with higher infinities, where the numbers you are studying are bigger than the power set of all interactions among all particles in all possible universes.
The Switch has a hige game library with some interesting exclusive title. This machine only has a subset of compatible PC games, and the subset the make sense to be played on that hardware (I sure won't play Age on that).
I don't know if by "You’re basically saying" you mean me specifically, but if you do, you're dead wrong. I'm not ok with this at all. However, I'm not so stupid to think me, as a non-IP lawyer can make sense of the current legal situation (which is what copyright is; law) or even propose new laws.

However, as a dev I can think about it and say "to me, this is immoral and unethical", and refuse to use Copilot, not work for any company that uses Copilot, not use GitHub/Microsoft products, pull code from GitHub (if I had any), and decide not to open source stuff in future. Ethics has always been underemphasised in software compared to other engineering disciplines.

Generally, non-technical people are (more) impacted by ML, but in this case it's us as developers and our open source communities. So I hope devs will give it some thought this time. And if this leads to devs thinking about ML more carefully in general, great. Things don't have to be illegal to be unethical.
A bit worried about the screen. 1280x800, 400 nits, 7 in - nothing to write home about, and marketing on the website does not focus on display at all.

Everything else looks really strong though.
AMD has its hands in all kinds of console pies. Best Intel has in this area are Compute Element things, last heard about in that KFC Console.
I don't disagree, but I think the $399 version might be their undoing. 64GB is about 1 AAA game, and 0 in some cases. So people are going to get this one for their kids for Christmas, the kids are going to say it's shit, and it's going to get a bad reputation, even if the high end models are good.

Maybe they have solutions lined up for the problems that will come with low/slow storage, but we'll see!
I don't see any mention of VR. I wonder if they will support plugging in a Valve Index. Seems like it should be possible through the dock. Oculus headsets wouldn't work though, since they don't support Linux. Unless you can install Windows on this thing somehow...

Edit: Yes you can install Windows: https://partner.steamgames.com/doc/steamdeck/faq This might be a good companion for an Oculus Quest headset. $299 for Quest plus $399 for this and you get access to the Steam library of PC VR games in addition to the Quest library.
Most of these might be obvious, but here are my 2 cents,

1. The interviewer not responding after the initial call => Could be a number of reasons like waiting for other candidates so that they have a larger pool to pick from or not being able to find the time to send out a response or the general policy the company or hiring team maintains. This is not normal, most companies respond with an email of rejection even if it has a generic response.

2. The initial interview is usually a basic screening where they are looking for keywords that match what you can do or your attitude towards work or how you function as part of a team w.r.t. how their existing employees function. A good way to approach this would be to read up on the company values either via it's their home page or reviews on Glassdoor. It will give you a good impression of how to present yourself. Check their tech stack and format your initial `Tell me about yourself` to include and highlight those skills.
Also have questions you can ask about how their team functions as it gives the idea that you are interested in working with them.
I don't think the 64gb version is going to fly with AAA titles
> That SSD will fill up in no time

So does the Switch's. That's why you get a fat microSD (which the Deck also supports.)
In many ways this is clearly their second-take on Steam Machines. They learned the first time around that licensing the name to third party hardware vendors didn't work (a lesson they could have learned from the 3DO), and that people didn't really like streaming games from PC to TV.
so I imagine the games will be ran via stadia ?!
It's interesting timing because the Switch Oled edition was just announced with no bump in power. So if you want a capable handheld with access too all the indies which will play games much better than your switch... here you go.

And you can still keep your switch for nintendo exclusives because they've just made it clear that they're not upgrading the switch in a worthwhile way for at least a year.

I would say this is squarely aimed at the existing switch customer base.
So the buyers for office software may have had two options, but after this deal there was effectively a monopoly with both potential subsets of buyers left with only MS Office as a choice... This reads like the definition of a monopoly from a school textbook...
I think the issue is that both of those are dead products now. Dropping support/sales for hardware so quickly is a bit of a turnoff.
Much appreciated!

The issue with this app is that because there is so much underlying data, doing anything that isn't automated becomes a major chore very quickly. All of the underlying data was automatically scraped, and then automatically scored.

I agree there is absolutely way more you could do with this data set. The subjectivity of the scoring system is definitely one thing that would be nice to remove to some degree.

Unfortunately when i put it up I didn't get much of a response so I didn't ever put more time in it after the initial week I spent developing it. One day when things quiet down I'd like to come back to it.

The source is private for now but if by any chance you wanted to add functionality I'd be happy to give you access to the repo. It's a rails app.
Sid is still far behind most rolling release distributions, and anecdotally I haven't found it more stable than any of the ones I usually use.
There's enough demand for a more powerful handheld gaming device. Nintendo continues to let down their most avid and vocal fanbase by not producing a "Pro" model of the Switch that can run AAA classics. I think this will do really well.
Battery: 40Whr battery. 2 - 8 hours of gameplay

Having the battery as low as 2hrs is brutal. I know the early Switch consoles weren't much better running AAA titles like BoTW but they've revised the chipset a few times since, and newer models floor at ~4.5hrs (3hrs for the lite).

I'm all for more competition, but I'm not clear on who the intended audience is for this device.
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.
If you're talking about depth over breadth in some particular technology, that's not too hard: regardless of what project you're working on, you can shove the new technology into it. I'm learning some LISPs, and I'm going to incorporate some Racket into my current academic project. I'm learning Rust, and using that everywhere too. With regards to specific technologies, everything's pretty versatile these days, so if you make a concentrated effort to use them wherever you're already focusing, you'll be good.

Now, if you're talking about depth over breadth in terms of projects, and you just can't maintain focus on one, I am in the exact same boat.
Achieving “Impossible Fading” on Sonic R for the Sega Saturn
Many people I know have bought more games on Steam than they could ever play (a behaviour encouraged by seasonal Steam sales). This strikes me as a great chance for people to discover and play titles that have sat in their collections for years.
You have the dumbest take for 2021!
I disagree. Using the framework developed by hundreds of talented google engineers will protect you against a large number of attacks. Also, if an attack already exists on the common google framework, then that means google.com is already vulnerable through other usages of the framework, and one more site does not increase your attack surface at all.
This is true, a universal oracle would probably lead to some chaos in the world's computer science departments. I wonder how many mathematicians would switch over to help formalize and solve their fields, and how many would stick to their pencils and paper :P
> Exclusive virtual keyboard theme

They will monetize UI skins for this as well it seems.
> The same applies to rational numbers (which exist more than real numbers)

Wait, did you say there are more rationals than reals? Isn't that the other way around?

I don't know if that's a slip of the tongue or I'm missing something in my recall of basic math lessons
"showdead" is a must for HN
Predictably, Roose is only concerned about right wing opinions.