skysight-inc/HackerNews huggingface dataset:
>Granted there’s a certain amount of discipline that every student has to bring to the table to start.

And that is your answer as to why teaching financial literacy is as worthless as teaching Calculus to a kid going to be a welder. Discipline is a learned skill; a trained behavior. It is not ingrained in people naturally. Telling kids how a checking account works still is not going to stop people who think they can "beat the bank" waiting for checks to clear.

I've worked in banking for about 5 years and teaching financial literacy isn't going to help kids one damn bit. Kids who are prone to jealousy and status will be more likely to prone to breaking their discipline to deal with FOMO or display some sort of status that they have money (even though they don't cause they bought some worthless expensive item). It's straight up sociological at this point. Men do what men do for money, power, women, or complete self interest. Straight up evolutionary science at this point, they compete for resources by expending other resources for a risk. It doesn't matter how much you teach people about saving money, if they personally feel like blowing every dime at the bar will garner them the rewards they think they can get, they will do it. You cannot tell them otherwise because then you are saying people cannot have free will in choice of how they spend their money.

>But the best we can do with education is arm people with the right skills and knowledge to at least have a fighting chance.

If you give a dolphin a pencil, it's still not going to learn how to write. Likewise, if you give a financially illiterate person the "knowledge" of how not to blow your whole check and cut costs, they still will figure out something they "need" to spend it all. I mean when we file our taxes every year, they are essentially a forced savings account at the end of the year put on hold for people like this basically. And go figure, they blow it all away on a new toy now that it wasn't budget funds originally! Or worse, they're in a situation that they cannot save because they keep getting dealt shitty hands that incur massive expenses putting them in financial serfdom.

No amount of "just save your money" or Dave Ramsey bs can fix this.
Arch is a surprising choice because of their rolling release schedule. How will software updates for Steam Deck work? Will Valve just snapshot Arch at a random time, and then stabilize it?
What video card is equivalent to this steam deck hardware?
You sound like you need to read this [0] answer to the question "Are real numbers countable in constructive mathematics?".

> You are using the word "constructive" in an unusual way. It is true that, in ZFC, the set of computable real numbers is countable, but that is not directly a statement about constructive mathematics.

> Not every school of constructive mathematics identifies real numbers with algorithms; that's a characteristic of the "Russian" school as I understand it. In other schools of constructivism that I am more familiar with, real numbers are coded by elements of 2^ω, or by a certain type of Dedekind cut on the rationals. In such schools it is not universally assumed that every real number is associated with a finite algorithm.

> Even in the Russian school, they would not say that the set of real numbers is countable. Because, if you identify real numbers with algorithms, there is no computable enumeration of computable reals that lists all computable reals, and so the translation of "the real numbers are countable" into this setting is false.

> That phenomenon also occurs in classical computable analysis. The subsystem RCA0 of second-order arithmetic has a model in which every real number is computable. But this subsystem still proves that there is no surjection N -> R.

---

It's worth noting that another answer to that question (Andrej Bauer's) gives a constructive proof that the real numbers are uncountable using with the axiom of countable choice. The question of whether it's provable without the axiom of countable choice is open (though see this [1] fairly recent paper on a proof for MacNeille reals).

[0] https://mathoverflow.net/questions/30643/are-real-numbers-co...

[1] https://arxiv.org/abs/1902.07366
It seems that the news is only appealing to people when it's free. In part that's because it's competing with a lot of other things that are free -- including "news" subsidized by those who want to influence what news you consume.

People really like free. When it's there, it will tend to suck the air out of almost everything else. Including things that are almost-but-not-quite-free.
> I guess the question becomes “what percentage of current PC gamers are motivated to shell out $400 to play on the train?”

At first glance at least, it seems like it may end up being much more than that. I see appeal here for non-gamers as well - or at least, for people who aren't only or even primarily gamers.

It's a very nice cyberdeck for general use, though granted it doesn't have a hardware keyboard. Given the size and form factor any keyboard they'd tried to graft on the thing would be basically unusable anyhow so I'm glad they didn't try.

I can totally see myself picking one of these up and throwing it in my bag alongside a small Bluetooth mechanical keyboard. For working in coffee shops in a terminal it'd be just fine. Connect it up to a TV via Chromecast or something and you've got a damned nice setup for less than a grand.
Consider contacting your state's Attorney General office, and the US Attorney General office. Many states' AG offices have antitrust divisions[1].

The US Dept. of Justice also has an Antitrust Division[2], along with a page that details how and why[3] to get in touch with them:

> Information from the public is vital to the work of the Antitrust Division. Your e-mails, letters, and phone calls could be our first alert to a possible violation of antitrust laws and may provide the initial evidence needed to begin an investigation.

The FTC has the Bureau of Competition[4], as well.

This is a good example of how innovation, competition and small businesses are being stifled by the anticompetitive behavior of the mobile app distribution cartel.

[1] https://www.naag.org/issues/antitrust/

[2] https://www.justice.gov/atr

[3] https://www.justice.gov/atr/report-violations

[4] https://www.ftc.gov/about-ftc/bureaus-offices/bureau-competi...
Those specs sound quite impressive for the price.

I wonder if one could run a custom Linux distro on it? It looks like a sweet device, but I'm not enough of a gamer to spend that kind of money on a device I can only play games on.
Conceptually it's not particularly any different from distributing it to your web browser. They basically just turned Visual Studio into a fancy Github browser that has some editing features.
Seems like you can access the KDE desktop, so I think using the Steam account isn't mandatory. Not 100% sure though. Previous Steam machines allowed full control, even changing the OS.
If you really want to, just work on things that are not related to work and strictly work on your own stuff outside of work hours. Just think about it, they cannot forbid you to edit your .bash_profile or even publish it. It's just hypothetically speaking. Unless you contribute to anything major (which will put you into another position anyways) many people will not care at all for the better or worse. Different story if you start making money on the side. And even then, I once worked at a small corporate where someone from HR worked on the side, I doubt that was ever made official but it was also totally unrelated work.

At the same time, while applying for a job with a running side freelance job, they might offer you to continue that arrangement perhaps with reduced work hours. Just mention your doubts after they make you an offer. (I speak from experience)
It seems to me that most people finding Arch unstable find it so because they rampantly abuse the AUR. I'm not implying this is something that you, personally, would do, but it seems to be the case in most "Arch is unstable" scenarios.
Elsewhere in this thread someone linked to the developer docs that said you can install other operating systems, including Windows.
What do you think would be reasonable?
Mea culpa, and QED. :)
Apples to oranges. Valve is concerned about hardware lock-in, not software lock-in.

I think users care more about being able to play their games on any hardware platform they own than about which software platform hosts their games. Also, it seems like Steam Deck is just running a customized Linux distro, so it isn't really a lock-in.

If Epic Games or Ubisoft decides to make their game stores work on Linux, I bet they would run on Steam Deck too. If that's the case, then how is it Valve's fault that other vendors/game stores aren't bothering to make their software platforms/games work on Linux? Valve put in the work, and they want to reap the fruits of it, without even trying to lock-in their device from using any other competitors' software (as far as I am aware). Competitors just gotta put in the work to make their platforms work on Linux.
Money Stuff: The Meme Stocks Can’t Fail
Q&A: Wireless Charging While Driving for Electric Vehicles
U.S. Black Hawk helicopter makes emergency landing in downtown Bucharest
Title should contain "UK"—where salaries for software engineers are far below what they should be IMO.
...and enterprise mail servers (like Exchange) have compliance features that prevent deletes or clone messages once a hold is placed on a certain account.

See https://docs.microsoft.com/en-us/Exchange/policy-and-complia...
Loading times will likely be a lot better on the high storage versions due to NVMe. And PC loading times can be brutal so I think the upgrade will be very noticeable.
Out of the first 12 posts in my facebook feed currently, three are ads (25%). Two of those ads are for the same exact thing FWIW.

How many more ads could they possibly squeeze in before people just give up using the platform?
This is neat, but I really would like to see Valve putting a tiny fraction of what must be a monstrous private cash pile into some new content that can run on these devices (and my old-school desktop).

I feel like I am in the middle of a desert of gaming content right now... I can see the mirage of BF2042 and AOE4 on the horizon, but who knows how that is going to play out once we get there.

Maybe Netflix (with the recent EA exec acquihire) can pick up some of the AAA gaming slack with their even more gigantic pool of cash and inclination to greenlight and fund everything that even remotely sounds interesting.

I'm totally cool with a role reversal if Valve execs feel the need to master all manner of hardware. Someone else will eventually fill that software role.
they really missed out on saying (btw it runs Arch) or somin to play to that meme
Connecting with their friends and family.
I wonder if a reversed version of such a feature would be better in some circumstances...
>>"augment your built-in storage with a microSD card and fill it up with even more games."

I think that hints that you can install games... hopefully :).
I wonder if they would touch the Linux kernel a bit to improve things on power management. Vanilla Linux doesn't seem to provide good battery life for portable devices (at least, if we look at laptops.)
Sticking with the ship metaphors, it was better than Poop Deck.
Well, it was pretty early days: Bitcoin was released a few months after the iPhone got an app store, and a few months before the iPhone got copy & paste functionality.
Some math problems seem uselees when first encountered until they become useful some dacades later. An example of this is knot theory and medicine[1]

[1] https://science.sciencemag.org/content/255/5043/403
This is correct advice.

An elimination diet is critical to under standing ones sensitivities.

I once spent a month eating nothing but sweet potatoes
. Best I ever felt. Afterwards I could quickly tell what was an issue. Which was most everything not on strict AIP diet.

The Auto immune protocol diet is an excellent place to start. Focuses on inflammation.
Hm, I know pulse audio has a CLI that allows muting, you could probably hack something up in Bash, maybe with netcat to get messages from a keyboard daemon to the script.
Yeah, this is an awesome change of pace for an industry that notoriously locks down its hardware.
Halfway down the page on https://www.steamdeck.com/en/ they have a graphic of a user logging in with the username 'gordon' and an obscured password, which conveniently has the same number of letters as halflife3, haha.
I think it's at least a fair question to ask what makes "execute x86" such an important application?

Sure the x86 cpu is the best way to execute x86 instructions, but so what?

I do not actually care about x86. I don't write it or read it.

I write bash and c and kicad and ooenscad and markdown etc..., and really even those are just todays convenient means of expression. The same "what's so untouchable about x86" is true for c.

I actually care about manipulating data.

I don't mean databases, I mean everything, like the input from a sensor and the output to an actuator or display is all just manipulating data at the lowest level.

Maybe this new architecture idea can not perform my freecad modelling task faster or more efficiently than my i7, but I see nothing about the macroscopic job that dictates it's already being mapped to hardware in the most elegant way possible translating to x86 ISA and executing on an x86 asic.
There was also the issue of "viral pricing". As the application was grown as a extension of the image, people were supposed in some schemes to not only pay for their own copy, but also for every copy of the software they wrote and shipped to customers, as it piggybacked on the original image. While free software thrived on copyleft, the first Smalltalks withered on "payleft".
> "My Deck is bigger than yours!"

Ah, the rallying cry of EDH/Commander players everywhere.
They don't have that information, but I suspect degradation may be continuous. There is a nice plot in the supplementary information on page 5 of how this material compares to other materials[0].

Also, I need to make a correction. I said stability was exposure under UV light, when in fact stability under exposure to air was measured. Encapsulation could probably make the material last longer.

[0]https://onlinelibrary.wiley.com/action/downloadSupplement?do...
If current trends around availability of discrete desktop graphics cards hold out, then it'll be even more attractive.
This thing is banking on Proton pretty heavily. It's even mentioned in the marketing material for developers:

"Steam Deck runs SteamOS 3.0, and thanks to Proton, your build will likely work right out of the box."
You can attach your phone to a Stadia controller.

Disc: Googler.
I own a switch. I have never played it in mobile configuration in the years I have owned it, neither do any people that I know that have it, neither do my nieces or nephews. I would trade switch mobile capability for 4k in a second.

The reason why the switch is popular is the same reason why a long line of absolutely craptastic Nintendo hardware is popular: exclusive Nintendo software, which this platform will obviously not have.
The Switch has had the same problem, which causes me to basically never keep AAA games installed for long, but they are still quite successful.

The Switch also tops out at 64GB with the new OLED model, whereas that's the starting point for the Steam Deck. There is also a history of consoles being offered with a wide variety of different storage sizes (Xbox 360), and I don't remember that causing any serious problems for them (if you ignore the humongous size of the Xbox dashboard at the end of its lifetime, which is an avoidable problem).
Colleague in Baarn: serious drug issues, one of the best schools in the region, unfortunately not an isolated case. Friends of my son, just out of school, similar situation different location(s).

Other friends and their kids: multiple passes, dealers are either their school buddies trying to make some money on the side so they can buy fancy clothing or phones, or outsiders who are in it in a more professional capacity.

NL has a drug problem, like it or not it doesn't really matter, it's there and if we pretend it isn't there it is certainly not going to be resolved.
It is defined by equivalency to a standard model. Whether there is a single standard model is a philosophical question (which granted most, but not all, set theorists tend to agree with). Hence sigma_1 soundness is from a purely mathematical point of view a relative statement.
>So how do you play that from the couch without some elaborate lap pad with a mouse and keyboard on it? The Valve Controller. I see how it could very well have worked.

I guess maybe in a world where every console controller isn't compatible with most PC games, cheaper than the valve controller and more ergonomically designed than the valve controller...maybe if Logitech, 8bitdo, Razer etc. didn't exist and didn't produce cheaper or better controllers it could have worked....
Everyone is talking about gaming, but do you guys think this could be a laptop replacement? I've been intrigued by docking tablets for years now, but haven't found one I like yet (that can run linux well, so no Surface). I like the tablet form factor for web browsing and watching videos, but nearly all the tablets are too phone-like to get real work done.

I don't actually play games much anymore, but do people actually want a portable gaming device in addition to their phone? They always felt like gimmicks to me.
Elections have consequences. Executives campaign on doing certain things, and then appoint to executive branch agencies who will do those things. The FTC is a part of the political branch of government. It’s not a court, and Kahn isn’t a judge who has an obligation to reserve judgment until hearing all the evidence. It is supposed to do political things consistent with a political ideology. That’s how our system works.
I'm surprised they went with a custom AMD part. Seems expensive for what is likely to be a low volume product. Why not just do a laptop in a handheld form factor.
Given steam PCs can stream between each other, I suspect this would be able to as well. Otherwise there's the nvidia shield portable, though I haven't tried it.
Superb tool!

In 15 mins, I was able to get rough answers to questions like:

* When am I financially independent if I keep living the way I do now?

* What if I lowered my expenses right now seeking earlier FI?

* When could I hypothetically stop working by lowering my expenses at the point of retirement?

* How much would be left in my estate?

I bought the lifetime subscription, which seems like quite a good deal!
This is called digit span, it is one of the subtests for measuring IQ
They should be coding HL3 instead!
Have been using Nintendo Switch for a while(I travel a lot, its great that its portable and can be connected to TV's in hotels). Will definitely check Steam Deck out!
As an interesting example where we did have a finite bound that was still out of reach to computationally exhaust, see the Weak Goldbach Conjecture:

https://en.m.wikipedia.org/wiki/Goldbach%27s_weak_conjecture

It was known to have at most finitely many counter-examples by the 1930’s, and by the 1950’s it was known that the largest counter-example had to be < 3^3^15. In 2002 that was lowered to about 10^1346. Still well out of reach of any computer!

Only in 2012 was an unconditional proof given.
Anyone know what the story is for running non-steam games on this? I'm thinking 2000s win32 keyboard-and-mouse games, or even MacOS9 emulation.
Stadia should have made something like this obsolete but...Google.
my guess is pretty much what manjaro does.
i was surprised to see its running kde. i thought they just woulda launched a steam frontend and that's that.
I'm not a scholar on the subject, but in Rousseau's time I don't think the idea of a redistributive system was prevalent. My understanding is it was more about freedom from government intervention. The idea of governments redistributive function is more of a twentieth century development.

It looks like the first welfare programs started in France in the form of limited government funding for charity hospitals in the early 1900's, about 150 years after Rousseau's death
You're identifying the wrong problem. Users aren't upset because they can't use social media for free while not being tracked, they're upset because they can't use social media without being tracked period.
Starship and superheavy are both going to 'land' on the ocean after the first launch. Basically they test the landing process but they don't need to risk one of their (surprisingly expensive) ships and they don't need to request regulatory approval to return to land.
Admittedly I've never used pacman, but how is the workflow more simple than "dnf update", "dnf install", "dnf remove"?

I guess I don't understand what complexity there is to remove in the first place.
They state you can install a different OS. That is just if you want the default system. There was a video playing CK3 that shows KDE running so it's not like you can't install windows or a different distro.
Maybe I misunderstood the article but if the set of real numbers is finite then it should be countable. But I can easily prove that the set of real numbers or any subset of real numbers is not countable. Been a really long time since I’ve thought about this but wondering what I’m missing.
Eh, UHS-1 is pretty slow compared to an SSD.

I think for the types of games I’d want to play on it (emulation) that’d be just fine, but for some it could be a bit annoying.

I think they should have gone with a faster interface though.
I've heard something similar in response to Copilot in another thread (something like offering a sum of money to Github if they train their model exclusively on the Windows NT source code). But I think the legal theory here is that Copilot is trained on many thousands of sources. If Copilot was trained on a single source, or even a small handful of sources, the derivative work claim becomes much stronger. When trained on many sources, it becomes much harder to claim that its a derivative of another work.

Take for example a human. If I studied a bunch of different open-source projects, learned techniques from them, and implemented them in my own projects, is that a derivative work? Probably not. But if I were to reverse engineer Windows and implement the techniques I saw in ReactOS, that's where it seems issues start to arise.
Drugs are pushed to children, and there is drug trade. They both happen. And if you think that the first is happening out in the open then you're mistaken, it's pretty subtle, typically schoolmates who have been made part of the trade and who are asked to scout out likely takers.

https://nos.nl/artikel/2326997-pillen-laten-rondgaan-in-een-...
I've often heard two statements online from older programmers.

"Delphi/TurboPascal was the peak of developer productivity"

And

"Smalltalk was the peak of developer productivity"

I've only been programming about a decade so both of those languages were long before my time.

Can anyone who has experience programming in Smalltalk share what was so special about it/what made it so productive to write programs in versus other languages?

It seems like this unique playground-VM thing makes it sort of unwieldy for non-graphical tools. IE can you use it for scripting tasks system, or for writing networked applications?

There must be something unique about Smalltalk for so many of it's developers to reminisce about it and claim it's been unparalleled since.
You are (perhaps intentionally) confusing correlation and causation. You're also trying to transform a conversation about predicting stupidity, gullibility, and superstition into a conversation about whether some people are more valuable than others because the latter argument is easier to win.