skysight-inc/HackerNews huggingface dataset:
Trust me, people have a lot of opinions on video games being a waste of time and money. You should have heard my parents when I was a teenager.
Rust Evangelism Strike Force.
I leave mine on silent, however, my 2FA app is on the phone. Getting up to retrieve from another room at each auth request would be tiresome. Maybe time to get a Yubikey like device instead???
Well that’s not really a fair comparison.

Space research is usually funded with taxpayer money (this is changing, but a fair amount of SpaceX’s revenue is still NASA contracts). Games and Starbucks are funded by folks after-tax wages. In both cases it’s money that they earned, but they have a lot more individual agency with the latter portion of their wages than the former portion.
This is definitely not true. Most companies with Slack or similar services will expect you to be generally available 40 hours a week.
It’s not hard to find videos of public straight sex on the internet. Homeless encampments are full of that.

You just seem fixated on gay men to a degree that’s beyond odd.
As someone who uses Typescript in Svelte, I feel like I’ve found the perfect paradigm. I can import any Vanilla JS lib from NPM and use it directly. I can wrap things in Sveltes lovely syntactic sugar, and the ugly / unwieldy parts of JS really just fade away. What I’m left with is something I struggle to find ways to improve. If I closed my eyes and tried to imagine the most elegant and intuitive way to write a web application - I end up with a Svelte component with TS, SCSS, and sometimes Pug in between for the template. All of those are easy to use out of the box in a Svelte component. And I don’t need to learn a new language to be productive.

Last time I tried Rescript, it felt like I was isolating myself on an island away from the greater ecosystem. But I don’t think I gave it enough of a chance. I admire the vision, and I’m rooting for the team. And who knows, perhaps a Svelte component with Rescript in the script tag could be the new pinnacle I didn’t know I wanted!
The ledger is a central authority but with decentralized distribution. Central authorities can tell users what they can and can't do with their money, count their money, monitor, violate privacy, and impose sanctions, taxes, or trade restrictions on them.
Would have been helpful for OP to mention that in the summary. I also couldn't figure out what it did. I just clicked the links and they redirected. No clue what a "fancy social preview" is.
2 will cover my needs. Do they actually work like a mesh? As in use backhaul radio to communicate between them and allow seamless switch from one to another as you travel around your home?
I dislike the whole "reduced-hours" concept. It implies that this engineer would be working in an area that does not require cutting edge innovation and can get away with working 3 or 4 days per week while others work 5 or 6.

I think the job title should just be SDE; work times and other logistics can easily be clarified in the job description or during a phone screen.
What unbelievable rubbish. Sigh.
Sure, and they can't get drunk or fall asleep either. Even for taking for granted that AVs can't find an operating domain in which "non-pattern situations" are covered by failsafes, it's far from obvious that the net advantage goes to human drivers.
>but you cant use the internet without an ISP.

You can "make your own ISP." That doesn't mean people will peer / transit with you though.
github autopilot scares me every time I write code on my personal pc and get those auto-suggestions. I am happy we dont have it at work yet.

It is clear writing code will soon be something of the past; maybe it is a bad idea to train our children to code. Let's make sure we milk every penny before the party is over!
This is really great. Is there something similar to non-gaming software?
But then again molecular biology is younger than psychology and still doesn't have its order of magnitude of replication problems.
The majority of these indie games are made by teens and college students with little or no expectation of making a profit.

Kids made games or other art decades ago too, but distribution was never as free and easy as today. This is all good..
Any idea how that worked out in practice?

Anyone can claim their ability to safely control the vehicle would have been impaired at $cited_speed + 1 km/h.
A sailboat autopilot is even simpler. The simplest ones maintain compass direction, but don’t compensate for drift due to water currents or side winds, or for the difference between magnetic and true north.

An IMO important difference with pilots is that pilots are professionals that get trained and periodically retrained on how specific planes and their autopilots work.

Tesla drivers, on the other hand, hear Tesla’s at times optimistic marketing, and may just learn how to switch autopilot on and off without understanding when to use it and when not to use it.
I agree, but was narrowly addressing the claim " I also see no reason, a priori, to 'blind' a vehicle to certain spectra of EM emissions". Cost is the a priori reason, albeit one that is potentially balanced by others.
It’s about cultural values.

We don’t respect grunt work. We only respect art.

Our society’s values do not align with our society’s needs.

I’d like to see more praise and recognition of plumbers, builders, and, well, people that keep the wheels of society moving.

Instead, everyone must go to college and be some artist or otherwise high society. Trade schools are looked down on. And it’s hurting us.

As a game developer that grew up in Seattle, what he says resonates with me.
Good luck trying to teach a robot to code with humans in mind from scratch. Like a very pedantic genie.
We can't even maintain what our grandparents built.

Companies in our grandparents era paid taxes that paid for infrastructure.
Remember the time not too long ago when Google was gobbling up Robotics companies?
Toy indeed, but that's what VR headsets have been until today anyway.

And actually 3 times less expensive than the competition.
I think politicians generally don't make policy decisions based on science. I live in the UK and an obvious example is drug policy. They even fired the scientist whose drug research they didn't like.

But if the science agrees with a decision they've already made then they're happy to use if for justification, even if the science is junk (e.g. the crazy fines on taking children out of school in the UK).
> we aren't allowed to blame Democrats for running Seattle into the ground in tech circles

I exist almost exclusively in tech circles in and around Seattle, and we blame existing leadership for tons of problems. This seems so weirdly divorced from reality that it smacks of ideologue speak.
> changes aren't ill-conceived or silly but the term makes it sound like something far more sinister than what it is.

I don't think any of it is sinister, but I remember finding out about changes that watered down the game and being sad about them. It's neat that people are trying to fuse together what most people consider the good translation with more of the original intent.

Some bits of it are a bummer: Relm used a tone of speaking that was not appropriate for kids in Japan. Choosing to "clean up" her language too much alters the story.
"Trust, but verify" is a semantically null expression that appears to have filtered out of the Soviet Union during arms reduction negotiations, and eagerly taken up by Reagan administration appointees.

You can only ever trust or verify. "Trust, but verify" is functionally identical to "verify", thus, equivalently, "distrust, therefore verify", with maybe a generous helping of cynicism, doublethink, and official mollification.
CGI in most scenarios is more work and takes longer (and is frequently more expensive). What it offers is the ability to tweak endlessly.

(Full time colorist here)
This is pretty cool!

To be fair, however, these proofs are using several of the automatic proving methods built into Lean, like linarith, nlinarith, field_simp, and so on. Each of these are hundreds of lines of manually tweaked heuristics.

It's still quite interesting. I think if we had a good integration of AI methods into the Lean runtime itself the theorem prover could be excellent. You could have a cooperative model where the human mathematician writes down statements, and the AI fleshes out a proof or catches typos that you make. Right now Lean has similar functionality but the automatic proving isn't as good as it could be.

I just wish the Lean community wasn't stuck on the Lean 3 -> Lean 4 migration for the past year. I'm getting flashbacks of Python 2 -> Python 3 ....
That’s not really why the market is reacting here, thats an old story as the potential monetization phase has already been replaced by actual monetization. The new story is that a bunch less people are willing to spend on ads at all, specifically citing broad market constrained budgets due to inflation and supply chain issues. This is a heavy indication of the state of many sectors, pretty fascinating ripple.

Also Apple protecting consumers and democracy from ad targeting is working, at least against Facebook.
Volcanoes, plague, famine and endless winter: 536, the 'worst year to be alive'
Here we are in the comment thread of an article of a journalist reporting this very analysis.
Apple vs ad-tech is a really interesting battle. It shows the immense power Apple has in the consumer market today, where they can affect some of the largest businesses in the US unilaterally. Meta is in a very tricky position in that unless they put up an actual paywall users don’t really have any incentive to allow tracking. But putting up a paywall introduces a lot of friction, not to mention the adverse selection (the affluent people you most want to advertise to are probably the most likely to pay to not be tracked).

I know most people on here really dislike targeted advertising. I’m not going to speculate on the potential future problems that tracking could lead to, and I think it’s very reasonable to be concerned. But so far targeted advertisement has been a net positive for me. I’ve gotten to use some really good applications for free, and I’ve gotten ads that are actually relevant.
I presume the same people doing productive work today. I think it would be a great net positive if all the people who want to sit around and do nothing all day would just go and finally do that, rather than getting in my way all the time at work.
You mean growth rate is dropping? From what I can tell it says DAU grew by 5%.
I believe FB is gone metaverse because they made such a dramatic shift from desktop to mobile, what 10 years ago ? That was obviously widely successful but catching lightening twice is no easy feat.
There are too many games that people don't wanna play

Maybe stop remaking pixel art platformers over and over again. One look at the itch.io and its very clear what kinda games there are too many of.
Those are traffic cops working daylight hours who pull over many cars and it makes sense to stack those cases. We have a 4am case with a very high bill. If the officer keeps that shift chances are they are not going to want to show up 9am one day before going back to nights the next.
“Tell me about yourself” but not boring
Idempotence and infrastructure-level rollback seem essential, especially in complicated transactions that require multiple external side-effects.
Interesting to see following this thread (seemingly about Amazon) I happened upon the other day, discussing their internal issues and watering down of the interview process to be able to keep hiring engineers: https://www.reddit.com/r/cscareerquestions/comments/setxnt/p...
Still waiting on those ISO timestamps from OmegaStar.
Trough of Inefficiency
In the 1950s the United States Air Force wanted to figure out what pilot dimensions they should design to. Things like the exact position of the controls and position and size of the seat.

They measured over 4,000 pilots on 140 different dimensions. The hope was that they could design to the average pilot. What a Lieutenant named Gilbert Daniels found was that even if you only looked at the 10 most important dimensions, not a single actual pilot was within 15% of them all. Even just a handful of dimensions would fit almost no-one.

The consequence of this was that everything became adjustable.
I've had three pairs of Koss PortaPro headphones and really enjoy them. Interesting to read this but of history about the company. Thanks Mr. Koss!
I know this is kind of a weird tangent, but even the pony quips are factually wrong in this article:

> The least popular pony is Applejack. She is also the only one who has a real job. This is, of course, a coincidence.

If you actually watched the show, you'd know that Rarity owns a nation-wide boutique franchise that is depicted as highly successful.
sure for a vague definition of "we"
If the authors are going to argue that the common conclusion among epidemiologists is wrong, I am going to be more skeptical of their paper.

The fact that they discarded 83 of 117 possible studies, including large notable studies that disagree with their results leaves a lot of room for selection bias. Plus they include non-peer-reviewed studies, despite being otherwise extremely prejudiced with their selections.

I think this is the kind of thing where you should wait for some peer review at the very least before drawing any conclusions, or sending it to the front page of hacker news.
Mathematics is fully deductive (so it is not strictly speaking a science - it is not empirical, but it's own kind of discipline, like logics, if you don't consider that part of mathematics), so replication can be attempted by machine, and as the authors wrote proof-checkers find more and more mistakes. A water-tight proof essentially is the trace or log showing a series of mechanical deductive steps.

But because journals publish human proofs, one of the following cases can arise:

- A proof can be wrong and the underlying conjecture can still be true (i.e. a theorem).

- A proof can be wrong and the conjecture can be false - these kinds of errors need to be corrected with utmost urgency, because they lead to follow-up downstream errors.

- A proof can be right and recognized as such by peers, in which case it gets published and everybody is happy.

- A proof can also be right and be contested by peers. This is when proofs have gaps that are "obvious" to some, but not believed by others. Because a proof is a sequence of steps that are either previously derived or self-evident, and people simply differ what they consider self-evident (as an aside, in school I was criticized in maths for "skipping steps" and in English for "jumping thoughts"; to me it seemed obvious where things were going but the teachers obviously needed "comments to the code", so I learned to insert baby steps, and everyone was happy).

Because of the last case, it is important to get down to the most formal, fine-grained, nitpicky, atomic level, so everyone can agree that each micro-step is self-evident, and thankfully we can dedicate this to machines nowadays (provers like the "Isabelle" system - https://www.cl.cam.ac.uk/research/hvg/Isabelle/), at least to an extent. Ironically, that's not how real proofs in mathematics journals look like at all. They're written in prose, and often written in a surprisingly "meta" style (we had algebra lectures where the professor talked about "colored roosters" and how they behave, which is the name of some structure in the algebraic sub-field of Ramsey theory).
I'm curious as to why there was a dip in the number of new Steam releases in 2019...
It doesn't imply that to me. It could imply, for instance, that there is a lot of talent that is uniquely interested in a 4-day week rather than a 5-day week, and that this provides an opportunity for Amazon to attract that talent.

I also don't share the notion that "cutting edge innovation" is a type of work which would require more hours per week. Quite the opposite, actually.
Why spend money on Starbucks in Seattle when they're innumerable better coffee shops for the $$.
Ultra Mobile/Mint Mobile | Various Roles | Costa Mesa, CA | Full-Time | Remote Roles Available | Ultra Mobile and Mint Mobile. Our two brands are basically the Batman and Superman of the wireless industry, saving our customers from our overpriced competitors with incredible prices and premium wireless service. We are inventors and innovators who believe in owning the outcome of everything we do, being action-based, and embracing the journey we’re on as a team. Check out our careers page to learn more about us and see all open roles: https://www.ultramobile.com/careers/ and https://www.mintmobile.com/careers/

We are currently hiring for:

Customer Data Manager (Remote in U.S.): https://grnh.se/6a9284b93us

Data Engineer II (Remote in U.S.): https://grnh.se/5b53c0b83us

Software Engineer II (Remote in U.S.): https://grnh.se/8c2857153us

Senior Software Engineer (Remote in U.S.): https://grnh.se/b5ddc3a63us

Software Architect (Remote in U.S.): https://grnh.se/186a0b403us

QA Engineering II (Costa Mesa/Hybrid): https://grnh.se/e2a1482d3us

If these positions don't appear to be a fit for you, refer a friend or colleague and get $1,000. Let your friend or colleague know to provide your full name and email when applying to the job. If we hire them and they stay for 90 days, you get $1000. For more details of restrictions and rules, please email recruiting@ultra.me.
Incorrect; Apple allows apps associated with purchases and rentals of physical objects to add credit cards to pay for things.

In one digital goods example, Kindle books are not “sold”, even though Amazon uses the word “Buy” in the button; if Amazon truly sold you a Kindle book, then they would be required to provide it to you upon terminating your account, as it is your possession in their care, and withholding it upon request would be grounds for a lawsuit. Under such a scenario, Amazon could successfully argue that Kindle purchase should be given the same rights as physical purchases, as they are truly purchases and not just “licenses”. Amazon has chosen not to pursue that scenario to date, as granting each of us full ownership of a copy of a digital good would compel Amazon to act in ways that are hostile to Amazon’s interests.
The ones who don't want to be poor, which is most people.
Precisely. Any attempt to "optimise" the specific energy of a storage approach will inevitably bring it closer to closer to the point where it explosively disintegrates.

This is why it's a bit hilarious to see how upset people are about lithium batteries occasionally exploding. That's... sort of the point! They've been optimised until the safety margin (=weight) is a low as possible. You want safe batteries? Carry around something the size and weight of a brick!

Ditto with all possible kinetic energy recovery system (KERS) designs. You can have weight-efficient or safe, but not both.
4% net is a terrible money laundering rate. Better to keep it and mix it slow than take the first marshmallow immediately and lose way more.
Y Combinator: Successful Founders Are OK with Rejection [video]
Maybe not people doing "productive" work, but the people who pay most of the UBI would possibly the billionaires and corporations who have dodged taxes since their conception.
“Users love settings”

Author then goes on to talk about their own personal love of settings and does not offer any evidence that their actual users want settings.

Whether settings are good or bad depends ENTIRELY on your specific users and their specific needs. Blanket statements like this based entirely on one particular designer’s feelings are not particularly convincing.
It's the New York Times btw...
What does a 4 day work week have to do with the job not requiring 'cutting edge innovation'?
Is it more expensive for a given result? Or is making "perfect" CGI as expensive as one shot at practical effects, whether you get it or not?
> That ship has already sailed; Tesla makes active safety claims based on that dataset. To hold research to your standard here would be to say that Tesla can make its claims, but nobody can challenge those claims.

I don't follow that logic. Claiming that Tesla's data set is incomplete is fine.

That doesn't mean that any junk science that refutes it must be correct. Bad statistics is bad statistics. This kind of "correlate dissimilar data sets by using more dissimilar data" is a terrible way to do science. Quite frankly it's almost guaranteed to be wrong. There are regulatory bodies out there with access to real data. Get them to figure it out.
He has probably already abandoned it and he's trying to convince himself it was the right decision.
One would think the Danish government could afford to put up a server of their own, either in some computer lab of their own or a rented one at some purveyor of such. Especially as they wouldn't need a very big one, since they don't actually need all the stupid Web bumf that is good only for making naïve developers think git means github. They could just put actual git on it, publish the address, and people can do a

git clone

on their command line. They're supposed to be developers, right?
This is partly because of the 10:1 stock split google announced.
Looking at previous missed earnings they are just going to be even more predatory.
It's probably best to think of it as a kind of domain-specific term of art. Same goes for the 'news' in HN's title - the site has about the same relationship to 'news' as USENET newsgroups, the city of Newport News or the word 'sinews'.
Imagine if you couldn't change your ringtone or mute notifications or switch your phone to vibrate. That's what the anti-settings people want to force on you, even if they won't come out and admit it.
Feel free to reach out, it's a topic of interest to us. A good place to discuss is for example the AeroRust Discord or just send me an email. https://github.com/AeroRust/Welcome
I think they will always be limitations.

Software is, ultimately, always about humans. Software is always there to serve a human need. And the "intelligence" that designs software will always, at some level, need to be intelligence that understands the human mind, with all it's knowledge, needs, and intricacies. There are no shortcuts to this.

So, I think AI as a replacement for software development professionals, that's currently more like a pipe dream. I think AI will give us powerful new tools, but I do not think it will replace, or even reduce, the need for software development professionals. In total it might even increase the need for software development professionals, because it adds another level to the development stack. Another level of abstraction, and another level of complexity that needs to be understood.
I don’t mean "arbitrary" in the sense that it doesn’t matter to the engineering of a building. I mean "arbitrary" in the sense that unprovableness within the framework. Axioms are by definition arbitrary in that sense.

edit: I'll try to expand on this. Math is weird because it's a sort-of in-framework study. We use math when we do physics, and we use physics when we do engineering.

If the physical world ever started disagreeing with our physics, then we need new physics. If the math ever started showing inconsistent results in our physics, then we would need new math.

None of that is to say that Neutonian Physics, say, is "wrong in the sense that it's internally inconsistent", only that "it's wrong in the sense that it is not an accurate mapping of a framework to the world we find ourselves in." The first type of wrongness is the type of wrongness we concern ourselves with in deductive studies, the second type, the mapping-error, is inductive, and requires meta-analysis, and is prone to (Hume's) problem of induction, which means it's ultimately unknowable (i.e. Popper).
Filing Taxes Could Be Free and Simple. But H&R Block and Intuit Lobby Against It (2017)