skysight-inc/HackerNews huggingface dataset:
> Nobody is saying you need to be an expert in all of these things to switch jobs. Consider the fact that very few people, if any, are actually experts in all of these things and yet people do in fact switch jobs all the time. Empirically, it is not required.

You vacillate between personal responsibility and skipping requirements, which is it? Should we take you seriously or not?

You do understand that when I say people need to be "Experts" I don't mean hold Phds, I mean they need to be far more well read and have a much deeper understanding outside of core competencies than our contemporaries elsewhere in the world. They get to focus on family or work, and I need to understand 50 pages of contract nonsense to sort out how screwed I am on this interstate tax law and why my health insurance won't pay.

> declining economies and low pay compared to the US

You looking at the median income or the mean income? Because if you cut out a few billionaires the US Mean drops by like 20%. If you look at median we are in line with Countries like Canada and Western Europe who have better worker protections and are doing fine economically. (And they have healthcare so insurance doesn't pin them to one job for fear of literally dying)

> non-compete clauses: don't sign them. I've never encountered one.

You are arguing specifics (and doing it incorrectly) while I am showing you a forest of problems and you go after each tree with an axe ignoring that there is a whole forest.

On this specific tree. Some states banned non-competes. Some people do run into them. Some people do. Some people have no real options without them. Some people signed them in the past not fully understanding them (because they weren't IP law experts). I am not saying these should go away I am saying there should be a floor for how hard employers can screw workers so that someone who isn't a legal expert isn't forced out of their profession in a moment of desperation.

Fundamentally, in the forest of problems you are arguing "I have leverage so this works for me" and ignoring all the people who must say "I have no leverage except for my labor and I am willing to work hard, but I sure hope the system doesn't screw out of these hard earned pennies".
I worded it unclearly, I meant that a person should be able to choose to carry a foetus to term rather than be obligated to.
> Money on the other hand can be counted, and thus can be measured.

Not really. "1 money" is just a promise to deliver 1 unit of value in the future. But what characterizes the unit? What is the difference between one unit of value and two units of value?

In reality, we don't really know. It's a continual quest to try and figure that out and it changes on a whim.
> there is no savings in manufacturing to have 6 colors choices as opposed to 60,000

This isn't really true. At the peak of car customizability an OEM had an astronomic number (something like 10^180) of possible configuration combinations for a single model, with very few cars having actually identical configurations and like 80% being unique configurations. Adds a huge amount of complexity to the supply chain and shop floor management. There's a reason why OEMs have been greatly reducing the number of individual options since then.
If I were to teach linear algebra I would stick to the 3D graphics approach. Maybe as far as including labs for implementing a ray-tracer.

It is just the most fun, intuitive and eye opening application of basic linear algebra.

Don't forget the fun!

Data science applications can come later.
The kind of organization that is politically capable of creating something like this could successfully run Alexa the way Amazon is trying to run it too. Or in a lot of different ways.

But Amazon can't.
Plot twist: in the article drawings, replica one and two are split by network, and it could fail.

The author seems to not understand what the meaning of the P in CAP
Benzene hasn't been used in decades. See this for information about solvent decaffeination:

https://www.compoundchem.com/2018/09/26/coffee-decaffeinatio...

Earlier this year dichloromethane was banned in the US for all but a handful of uses, so producers who used it in the recent past will not be able to any more:

https://www.epa.gov/newsreleases/biden-harris-administration...
Many things can be solved by the SEP Field[0]

[0]: https://en.wikipedia.org/wiki/Somebody_else's_problem#Dougla...
Example of proof from AlphaProof system: https://storage.googleapis.com/deepmind-media/DeepMind.com/B...
This will be great for people on Instagram.
Who's paying for a minimal blogging platform? (2022)
Challenging evolutionary psychology myths about sugar and obesity
I'd assume that is because they take on jobs that they'll be happy with, instead of what ever job makes the most money. If you're content with what you do, you can do it sustainably for the rest of your life, if your only motivation to do your job is the money, then you'll burn out and retire early.
At the time Apple Maps came out, Google Maps on iOS was limited to bitmap tiles and had no turn by turn directions, whereas Google Maps on Android had both dynamic vector based maps and turn by turn directions.

Apple Maps forced Google to improve Google Maps on iOS.

Apple Maps data was definitely substandard when it was released, but it has improved considerably since then. I vastly prefer it to Google Maps, especially for turn by turn directions when I'm driving.
> However, there's nothing simpler than having a clear D&D rule for something like fall damage, instead of having the party debate if a player survived the fall.

There is no party debate. The person running the game figures out what they think is most reasonable. If you think that's a lot of trust, it is, but it's necessary for a smooth running game.

As an aside, even rules light games I play has a rule for fall damage. But even DnD 5e doesn't have rules for falling onto softer surfaces. What if you fall on 10 foot thick foam? What about 1 inch thick foam? Into a bush? What if I use create food to create a pool of bread at the bottom of a cliff we're climbing so if someone falls they take less damage?

Do we need fall damage rules for everything players could fall on? Are you going to tell a player that falling on a stone floor is the same damage as falling on a 10 foot thick piece of foam?

Tabletop RPGs shine on the edges because no computer, much less a set of mechanical rules written for humans to understand, can account for every situation. And even if they did, you wouldn't want to spend 10 minutes looking up every rule anytime someone did anything.
My understanding is that customers believed they had control as Crowdstrike gave them configuration options to delay updates / stagger them. Apparently many of them were surprised that Crowdstrike had the ability to bypass all these configuration options and force the update. I think that is where Crowdstrike's liability skyrockets through the roof.
Related to the visual simulations, one of Alan Kay's favorite demos over the years has been to show folks Sketchpad,

https://www.youtube.com/watch?v=495nCzxM9PI

partly as a "this is what we were doing in 1962, you are now as far removed from that demo as that demo was removed from the year 1900 -- do you really feel like you've made the analogous/concomitant progress in programming?" ... and one of his points there was that a lot of programming acts as a "pop music" where you are trying to replicate the latest new sounds and marginally iterate on those, rather than study the classics and the greats and the legacy of awesome things that had been done in the past.
nice! I have needed this before. I think you're using the Meeus algorithm from Astronomical Algorithms? it's a classic, great choice
I'm not sure how much people really trust the numbers coming out of Authoritarian countries.

There is also individual context to account for. Healthy metrics for a 20yo vs 80yo are very different
Definitely, the product hunt will be removed once the day ends.

Yes, I think the main challenge will be fixing the UI once we have more options like choosing the icon library, etc.

Thanks a lot.
BlockQueue: SQLite-powered pub/sub for lean, fast messaging
Revealing the Inner Structure of AWS Session Tokens
They are the same with respect to long term planning. You can take a dividend or sell stock to witdraw profits.

Dividends don't have to be sustainable. There are companies that are gutted and liquidated to pay out dividends too.
TV companies do try adding features that go beyond dumb display panels. Ask them how that worked for 3D, which people didn't adopt. Yes most TVs are "smart" but I'm pretty sure most people won't pay much of a premium and many use something like an Apple TV instead anyway.
Air becomes cooler and the ground is more moist.

https://www.scientificamerican.com/article/wildfires-used-to...
Even if companies were forced to publish every detail of their devices (which is the only way to not have trade secrets), any decently complex products products would still be black boxes to every company who is not specialized in creating them.

Even something like a fountain pen is used as a black box, I'm not even talking of anything truly complex. Even the buildings we work in are black boxes that we get from third parties, not to mention all the systems powering and heating or cooling them.
Where I live, labels get these price per amount labels...

But they don't keep the denominator consistent, even across the same category of product.

So I get to compare a price/oz, versus a price/lb versus a price/serving and all the while, I contemplate why nobody's interested in burning the whole store down.
That, or the fact that he very clearly abuses charity as a public spectacle and shield against legitimate criticism. Truly, Mr. Beast's content is one step removed from the YouTubers that made homeless people dance for a $10 bill.
I know exactly why Facebook / Meta are researching this.

Just imagine the possibilities for advertisers: Instead of telling someone how happy they would be if only they bought your expensive car, let's just spam them with AI pictures of themselves sitting in said expensive car, ideally next to some very attractive other people that match their dating preferences.

Facebook has all the data they need to create very pleasant dream scenarios for you. And they have the connections to monetize those dreams. Didn't the Expanse have a scene with someone addicted to living in a fantasy world? I thought it was meant as a warning, but this wouldn't be the first time that an elaborate warning would be misunderstood as an instruction manual.
[dupe]

Release a month ago: https://www.gilead.com/news-and-press/press-room/press-relea...

And lots of discussion: https://news.ycombinator.com/item?id=40742163
This is the real deal. AlphaGeometry solved a very limited set of problems with a lot of brute force search. This is a much broader method that I believe will have a great impact on the way we do mathematics. They are really implementing a self-feeding pipeling from natural language mathematics to formalized mathematics where they can train both formalization and proving. In principle this pipeline can also learn basic theory building like creating auxilliary definitions and Lemmas. I really think this is the holy grail of proof-assistance and will allow us to formalize most mathematics that we create very naturally. Humans will work podt-rigorously and let the machine asisst with filling in the details.
I see. You know how to look great, professionally.
I'm a designer, but also an indie hacker, so I understand the struggle of just needing something simple to start.
Japanese population sees greatest fall amid record foreigner growth and numbers
With a little googling, at the very least it's clear to me that some form of back-to-front is most efficient, and Southwest inevitably doesn't do that because the first people on want to be closest to the front in order to get off quicker.
They also sell kind of strange (compared to the bags of doritos) stuff periodically, which I love. For instance the Costco in Maine (of all places) has Bird Nest Soup and NordeX PIKNIK cheese in a can. Kind of apropos of nothing. It's pretty cool.
The visualization of the space is excellent.
The first one is not my statement, but a direct quote from the top poster.

The second comment makes no statement about it being free and easy. Just that UBI money is being largely spent on leisure activities. It also is a drain on taxes.

Nowhere there do I talk about easiness or inflation - at all. On the contrary, you‘ve been alerted of your easily disproven statements multiple times in this thread and not just by me. Let‘s keep being civil about this though.
Don't blame Git for Github decisions.

Github chooses to store all "Github forks" in the same repository, and allow accessing things in that repository even when they are not reachable by the refs in the namespace of one "fork". That is purely a Github decision.
Even so, having a human formalize the problems and an AI to find machine checkable proofs could be very useful for mathematicians.
AI trained on AI garbage spits out AI garbage
My generation was the TV babysitter, though it was a different magnitude of addiction inducing
That's just another shortlink though.
> Since Netflix is maxing out on paying subscribers world wide, looks like less than 250 million have a few bucks to spare.

Not sure that holds as a blanket statement. Everyone I know can afford Netflix, but only a couple of them subscribe to it.
Chimpanzees Take Turns in Fast-Paced Conversations, Just Like Humans Do
The gold standard for this in sensory analysis is a triangle test — which I happen to have done with coffee from Ninth St Espresso, who sells a regular and substantial identical decaf. We brewed 3 identical batches (where 2 were the same beans and the 3rd was the other bean). In an office with ~12 tasters, the ability to pick out the “different” beans was 33%… ie random chance.

If the above sounds confusing, consider red wine vs white wine… visual inspection alone would get you 100% accuracy.

I used to believe decaf processing would have to change the taste, but empirically, with admittedly untrained tasters (but ones who know coffee very well), we couldn’t tell.
So I am extremely hyped about this, but it's not clear to me how much heavy lifting this sentence is doing:

> First, the problems were manually translated into formal mathematical language for our systems to understand.

The non-geometry problems which were solved were all of the form "Determine all X such that…", and the resulting theorem statements are all of the form "We show that the set of all X is {foo}". The downloadable solutions from https://storage.googleapis.com/deepmind-media/DeepMind.com/B... don't make it clear whether the set {foo} was decided by a human during this translation step, or whether the computer found it. I want to believe that the computer found it, but I can't find anything to confirm. Anyone know?
great question

i think what device or way will they use it is more important

i rather a static computer where they can sit at a desk and this could be for those in elementary age of 6-12

so that age range is fine.
Mercury has a layer of diamond 10 miles thick, NASA spacecraft finds
"Non failing node" does not mean "Non partitioned node", simple as that.

If you treat a partitioned node as "failed", then CAP does not apply. You've simply left it out cold with no read / write capability because you've designated a "quorum" as the in-group.
I think you're confusing productivity with profit. Regardless of how company profits are distributed, our society needs productivity. I pointed out that coops are less efficient in terms of productivity, and you responded by complaining about how much money Bezos has. Redistributing the money won't make up for a decrease in productivity, which will harm society as a whole.

As for me being some sort of Christian; I'm not and I take that as an insult. Kindly go fuck yourself.
This is a much bigger thing than the llama3.1 release. Llama 3.1 doesn't really help Meta's bottom line.

But content creation and ads are Meta's killer app. By having a model that doesn't require finetuning, they just changed the whole game.
Canada is proposing to lead on climate – but it's doubling down on oil
Philippines wipes out its legit online gambling industry to take down scammers
Being in Canada makes Amazon seem entirely unhinged. I'll see something on Wirecutter or some other review site, click through to Amazon.com and see that it's only $64. Great. Switch to Amazon.ca and it's $350, presumably because of some bot that sees there's no one else selling it so it lists it for some huge price to take advantage of arbitrage.

Some things will double in price, or just suddenly be out of stock for no apparent reason. They tried to push groceries but a case of Kraft Dinner came out to several dollars per box, compared to about $1.50 from my extremely expensive local grocery or half that from Costco.

They never sold those dash buttons in Canada, but I can imagine pushing the button to get more tide pods and being irate when the cost was twice as much as it was last time.
I live in a religious conservative state - one of our congressmen said they wouldn't be happy until they could hunt down Democrats like dogs in the streets (and he would be a moderate these days). On a daily basis, I am among people who fantasize about killing liberals, or anyone perceived as liberal, indiscriminately (also LGBTQ, or insufficiently religious). Rather than actually try to solve the problem of homelessness, they just want them to magically "go away", or die (they don't seem to be too concerned about which one).

This is what I see daily. Is it any wonder I have a dim view of Conservatives?

I'm aware that things are horrible in North Korea and other places. Doesn't mean I have to be happy with people where I live, though. "Suck it up, buttercup" is not a survivable philosophy.
I have no idea how many cups are in a pint. I have no idea how many teaspoons are in a tablespoon, or how many tablespoons are in a cup, or frankly any of the other byzantine imperial measures.

The only thing I'm reasonably sure of is that there are four quarts in a gallon - and yet, I would only bet $10 on that, not $20.
IIUC, a Gemini-based system could translate the natural language questions into Lean, but in the blog post they don’t really commit to whether this was done just to generate training data or was used in the competition.
It's very fun to play around with, there seems to be value somewhere.

I wonder if you could make a video of how an individual could use it effectively in a pragmatic sense e.g. networking, research

(after more playing around I get the UX, very powerful indeed)

(feedback: add some controls for filtering (dates etc), relevancy, color islands slightly, just general UX improvements and I would probably pay a few dollars a month for this)

(feedback: when looking at a user, you have to zoom really far in before results start appearing. it should probably show labels/results if less than X amount of data points are in your viewport.)

(feedback: Is there "Explore more users" section the more related users to the current profile? It would seem so, but not immediately clear. And if it is, none of my related users have me as a related user in their profile.

===

This is really inspiring work, hats off!
Investors hallucinating large windfalls and users who want to believe in miracles and/or are just ignorant. How many people know that LLMs are just text completion engines and cannot do reasoning or math or have a concept of truth?
Honestly I don't think this follows at all.

1. Advertising has been so successful arguably at the expense of users. Because it has been made easy, this has distorted the marketplace to the point where it's hard for any other model to thrive.

2. The organizations (principally google) behind this are the shady organizations who sell location data as well as using it for themselves. This is just about them entrenching their market advantage.

3. The ability to strip individual identities from those datasets and make the level of targeting aligned with something very course grained like interests leaves google as the only people who can identify the individuals in those datasets given the stuff they add to their browser. I don't see how that's net positive for users in any way.

Floc[1] was roundly rejected and this topics API is just an attempt to do exactly the same thing and pretend that it's different.

Whenever people make this argument it's worth pointing out that Ad spend in far less personally tracked contexts (eg billboards, static advertising, broadcast ads etc) is massive. Advertisers spend money even if they don't know much if anything about who's seeing their ads.

[1] https://en.wikipedia.org/wiki/Federated_Learning_of_Cohorts
"three days" does not say anything about how much computational power is used to solve problems, maybe they have used 10% of all GCP :)
Oh they definitely cater to the local market. Here is a costco in Mountain View: https://www.reddit.com/r/Costco/comments/1dk2pfo/not_a_wine_...
IMHO he’s like Elon Musk. Everything he says is a lie or a way for him to get more money. I always read the interviews, but there is never anything interesting.
If I have a measuring cup that maxes at at one cup, and I need to add a pint of something to a pot on the stove, being able to say "Hey Jibble, how many cups are in a pint" and getting an answer would be pretty nifty.

As things stand, I walk over to the conversion chart hanging on the fridge.
Where Can I Watch the Olympic?
Weird results. Looks like bad data fed in.
I am not the original commenter, but I (and probably many CS students) have had similar moments of clarity. The key part for me isn't

> there might be an even faster linear algorithm,

but

> it's possible to do selection of an unsorted list in O(n) time. At one point, we didn't know whether that was even possible.

For me, the moment of clarity was understanding that theoretical CS mainly cares about problems, not algorithms. Algorithms are tools to prove upper bounds on the complexity of problems. Lower bounds are equally important and cannot be proved by designing algorithms. We even see theorems of the form "there exists an O(whatever) algorithm for <problem>": the algorithm's existence can sometimes be proven non-constructively.

So if the median problem sat for a long time with a linear lower bound and superlinear upper bound, we might start to wonder if the problem has a superlinear lower bound, and spend our effort working on that instead. The existence of a linear-time algorithm immediately closes that path. The only remaining work is to tighten the constant factor. The community's effort can be focused.

A famous example is the linear programming problem. Klee and Minty proved an exponential worst case for the simplex algorithm, but not for linear programming itself. Later, Khachiyan proved that the ellipsoid algorithm was polynomial-time, but it had huge constant factors and was useless in practice. However, a few years later, Karmarkar gave an efficient polynomial-time algorithm. One can imagine how Khachiyan's work, although inefficient, could motivate a more intense focus on polynomial-time LP algorithms leading to Karmarkar's breakthrough.
Any company that fully trusts all of its employees to handle my secrets is a company I don't want to do business with. I would bet you don't want, say, every hospital janitor to have access to your personal medical records either. So, you probably also want the hospital not to trust its employees and to keep certain data under lock and key. Same with a bank and your money.

It's no different with software.