skysight-inc/HackerNews huggingface dataset:
> First of all, this is not a sport and the point is not to compare AI to humans. The point is to compare AI to IMO-difficulty problems.

If this were the case then the headline would be "AI solves 4/6 IMO 2024 problems", it wouldn't be claiming "silver-medal standard". Medals are generally awarded by comparison to other contestants, not to the challenges overcome.

> This can become a real mathematical assistant that can help a mathematician test an argument, play with variations of a definition, try 100 combinations of some estimates, apply a classic but lengthy technique etc. etc.

This is great, and I'm not complaining about what the team is working on, I'm complaining about how it's being sold. Headlines like these from lab press releases will feed the AI hype in counterproductive ways. The NYT literally has a headline right now: "Move Over Mathematicians, Here Comes AlphaProof".
They are the same things
5 hours ago. 11 comments: https://news.ycombinator.com/item?id=41067431
I feel like for a system that is this widely used and installed in such a critical position that upon a BSOD crash due to a faulting kernel module like this, the system should be able to automatically roll back to try the previous version on subsequent boot(s).
Except it didn’t. The problem statements were hand-encoded into a formal language by human experts, and even then only one problem was actually solved within the time limit. So, claiming the work was “silver medal” quality is outright fraudulent.
The concern you're expressing is completely understandable. It's also the beginning the chain of reasoning that led to so many of us supporting the bold 'new thinking' experiments which California has tried over the past ten years (in many variations and iterations attempting to problem-solve prior versions). Sadly, not only did none of them work, they made things substantially worse. More troubling is that none of the variations and adaptations tried over these iterations appeared to even move any of the key metrics in a positive direction.

Unfortunately, we've now learned the 'most right' (or, alternatively, 'least wrong') answer to your question of "what happens to the people" probably should be different for each locale. There are only a few places that tried some things which seemed to maybe move outcomes at least in the right direction. These usually involved unique combinations of different things which were highly localized and specific to the context of that city and determined in near-real-time by people working that locale's specific set of challenges hands-on every day.

Bottom line: currently there is no set of state-wide (or even county-wide) policies that work across all locales. Persistent long-term "Homelessness" is a broad symptom with a wide variety of different possible root causes. Frankly, the best thing to do at this moment is stop trying to solve it with state-wide policies and instead empower cities and their local agencies to find the most effective approaches for their unique local causes.
I watched a colleague diagnosis a flaky cable. Then he immediately pulled out a pocket knife and sliced the cable in 2. He said he didn't ever even want to be tempted to trust it again.

That's been my model since then. I've never worked with a cable so expensive or irreplaceable that I'd want to take a chance on it a second time. I'm sure they exist. I haven't been around one.
Ignoring CAP theorem doesn’t just mean eventually consistent - means you will lose transactions when replicas that aren’t fully replicated get corrupted. Probably not something you want to be caught doing if you’re a bank
I am actually surprised that there are thousands of people working on Alexa.

WTF are they all doing?! It's pretty much unchanged from the outside in any way that's relevant to me compared to where it was in 2014. And the few changes I've noticed have been things breaking.

I used to, for instance, have a script (I forget the Alexa term) that would turn off a few lights and then play a Pandora radio station when I gave it a "bedtime" command. Worked great for about a year, and then the Pandora plugin suddenly refused to take any combination of commands that I could figure out to play a particular Pandora station in my account. This is true from outside of the automation as well, by the way. It's just completely broken.

The weather app integration is annoying too. I wanted weather to use a different weather source, and instead of just giving me results from that weather source, it would always preface it with "Weather from BlueSky" or whatever. Maybe it's their fault and they wanted the ad blurb? But as a consumer, it sucked. I just wanted more localized weather, not an ad every time I asked for the weather.

And the "AI" behavior of the app...it was just awful. I could get better answers from Google Home devices across the board. The best Alexa would do if I asked it a question is to read the first paragraph of a Wikipedia entry, and it was about a 1 in 4 chance it would actually choose the correct Wikipedia entry.

OH, and don't get me started on the Android Alexa app (!!!). Again, the most major change was a UI update where the most important feature I ever use was hidden behind another layer of menus for no particularly good reason. And the "Kindle Accessibility" feature of reading Kindle books is so flaky I doubt anyone on the team ever uses it, from random pauses to sudden jumps back to read from the beginning of the section of the book you started on 10 minutes ago, looping forever on those same 10 minutes.

Sorry. I know it wasn't your fault. But I finally gave up on using Echo devices, and the only reason I still even have the Alexa app on my phone any more is so I can have it read a Kindle book while I'm driving, and it's so amazingly frustrating to use that it would likely be better if it didn't even exist. It's more "customer frustration" than useful.
Yeah, I'm sure what I'm saying probably comes off as belittling, but that's not my intent. It's just more productive to understand who the audience is. The author write "free PDF" content with Guy Fawkes mask header images in the README.mds.

If you're going to target script kiddies, at least show them how to Hello, World! from a DLL_PROCESS_ATTACH, and then teach them sigscanning.
> “It's hard to build true wealth for yourself if you don't have some type of ownership in something, and it's hard for most people to get ownership in something,” Ruger says.

I think this is a really good insight.

But it also touches on something that many of the HN crowd, especially in the Bay Area find uncomfortable: home ownership.

One of the ownership assets that is most attainable by many Americans is a little plot of real estate, so it's rational that it's a goal of many. But at the same time, once that piece of ownership has been attained it's also rational to want to preserve and maximize the value of that investment. But that can often (but not always) lead to the kind of selfish NIMBY behavior that is criticized everytime anything related to urban development comes up.

Is there a middle ground balance where we respect that ownership of property is an important, attainable kind of wealth building for middle-class people while also accepting that a city must also develop in ways that benefit people that aren't homeowners, or aren't homeowners yet?
where's the other landing orbital vehicles ?
In the contexts of resumes, LLM = Master of Laws, the postgraduate law degree.
> Does California have enough shelter space foe that?

No. In 2023, California had about 180,000 homeless people [1] and fewer than 140,000 beds [2].

[1] https://www.huduser.gov/portal/sites/default/files/pdf/2023-...

[2] https://homelessstrategy.com/how-many-total-temporary-and-pe...
> IOW, they're being underpaid relative to market, in exchange for ownership, expecting to get more later when they sell the shares. So far so good, but how does this look when the business has a rough patch, even one that's not their fault?

Uhm, do you have a 401k?
This is pretty much a repeat of Richard Stallman’s experiences that led him to founding what would become GNU. Also open source really isn’t just being able to view the code, but the ability to modify, use, and redistribute freely.
Japan already has the four horsemen of globalization though: coca cola, mcdonalds, kfc, and pizza hut. There's a certain point where it stops doing anything however. Go to the pizza hut in Giza with the pyramid view. It's still very much Egypt on the street.
instead of fixing any problems they simply rely on immigration to fill the holes. its also cheaper to import talent than train it so i dont see any reason this policy will change
You are mischaracterizing what TFA says. It says that partitions either keep a client from reaching any servers (in which case we don't care) or they keep some servers from talking to others (or some clients from talking to all servers), and that in the latter case whenever you can have a quorum (really, a majority of the servers) reachable then you can continue.

You've completely elided the quorum thing to make it sound like TFA is nuts.
Agreed it's weird. But it's not the justification in general.

Apple is so accustomed to leveraging proprietary stranglehold, including sometimes being an outright totalitarian, that they need to realize the precariousness of their position of strength, and learn why most other parties have to at least pretend to believe in non-proprietary interoperation.

A school bully shouldn't wait until they get a debilitating sports injury, and they are suddenly the one getting stuffed into the trash cans, to start preaching&practicing the good word that no one should be stuffed into trash cans.
A somewhat plausible scenario that's easy to illustrate would be if you have a DC in the US and one in New Zealand, and all 7 subsea cables connecting New Zealand to the internet go dark.

Something like that happened just this year to 13 African nations [1]

1: https://www.techopedia.com/news/when-africa-lost-internet-ex...
Programming in Lean?
ImHex has some similar data pattern analysis tools. And as it is actively maintained, might be worthy to take a look at.
Some sentiment analysis might help? Apple is one of my keywords, but you'd pretty-much only get an "avoid" response from me (to a degree, I have recommended their phones to a very specific demographic).

Awesome project, fantastic UI.
I’ve said before that the director of engineering should solve at least one ticket a month. Minor, but still one. Then they wouldn’t spout bullshit like “the documentation should be complete” and “how hard could it be?”
Why should they optimize for the <0.1% of people who don't have JS enabled?
Hehe, well, we'll need to have a tool-assited international math Olympiad then.
Cleaner link: https://ai.meta.com/research/publications/imagine-yourself-t...
That response didn't even need the BANANA in front of it to be identified as AI garbage.
To speak generally, that translation part is much easier than the proof part. The problem with automated translation is that the translation result might be incorrect. This happens a lot when even people try formal methods by their hands, so I guess the researchers concluded that they'll have to audit every single translation regardless of using LLM or whatever tools.
Just enough time to make sure that reviewers will be able to compare against Intel after the voltage patch, which may end up hurting Intel's performance.
> Good point. But I'd argue that's an artifact of history.

I think there's also less liability for the banks if they accept and build around the risk of both eventual consistency and fraud. Even now wiring is necessary to pull off a digital bank theft, and even then you need to be extremely fast to get away with the money, and extremely fast to not go to prison, and liquidate it extremely quickly (likely into bitcoin). Even small delays in the transactions would make this basically impossible with modern banking, let alone a full clearing house day.
Ah, but NYC benefits from suburbanites and other outsiders visiting the city for work, deliveries, government services, culture and everything else. Sure, they have to build infrastructure (very much including trains) to service them, but the return is that NYC gets to accrue a larger metro area and the associated wealth. Also, it’s easy to forget that much of NYC’s infrastructure needs to live in suburban areas due to NYC’s density. All the warehouses needed to keep NYC fed and supplied can’t fit inside the city, to name one prominent example. Even to bring all the residential housing in the metro area into the city itself would make the city have to spend an ungodly amount on infrastructure to support them inside the city limits. The city actually benefits by having other jurisdictions be responsible for housing much of the metro area population.
Looks fake because the supposedly LLM added ! after BANANA at the beginning
It seems like a high-level overview, good for somebody new to the topic.

It also linked to this resource, which was more in depth... https://github.com/mytechnotalent/Reverse-Engineering

EDIT: Whoops... it looks like it mostly links back to the original article.
If you're legitimately a senior engineer in the United States with many years of relevant experience, $250k is the floor for what you should accept.
It's definitely the right choice for Typescript. You could have gone the Scala route and used [] for generics, but that is so heavily used in ts/js as arrays it would not have made any sense.
another sign a recruiter is using AI is if you get this type of email:

Not substracting prestige staffing for being guilty...

Hi,

We see that you have worked for our firm before. But we do not have an updated resume. Can you contact us and upload an updated resume.

They got this hint by the way when I sent some pictures back of my middle fingers extended.
> but I don't care anout them

It's great that you feel safe being so aloof, but I believe we have a responsibility in tech to turn down the AI hype valve.

The NYT is currently running a piece with the headline "Move Over, Mathematicians, Here Comes AlphaProof". People see that, and people react, and we in tech are not helping matters by carelessly making false comparisons.
As opposed to saying "how hard could it be" because they actually know.
> How would a business like this get started? Usually the owner is the one who invests a lot of their own time and/or money into the business to get it off the ground in the first place. Would we be asking workers to pony up in those early years when failure is likely?

In Canada, there are 'Labour Sponsored Venture Capital Corporations' with union overseers to do this and special tax deductions for investing money through these.

They are, of course, a giant failure that neither provides easier access to capital for entrepreneurs nor generates any notable return for investors.
You could substitute the word gentrify for globalization. I think the commentor just means that there's a cost when enough immigrants come to a place. I wouldn't call it ruined like they did but it definitely does cause change and some things are lost to the mixture.
Did you never read a job description before LLMs were a thing? They are all like this.
Pita is relative. Getting Ti to oxidize? Easy - getting it got enough to strip the oxigen off? Very hard, and about 1000x harder than just oxidize, getting it into a pure plasma? Now this is where it just gets insane. Then beyond insane is accelerating individual atoms. ( Pretty much they just issue you a PhD. ) Then get it to .1c speed? Pretty much everyone you will talk to on a daily basis either has a Noble, or is goimg to get one, in a place where the building is named after one laureat, the parking lot is named for another, the room another, and the drinking fountain another. I have stood there, and it's pretty intimidating. A handful of the very top top people in the world. I guess it could be fun for some...I would use the verb... Plasmatize.

The discovery of Fluorine...elemental, killed 8 and rendered 3 disabled.

I have been following this for 40 years. Congratulations on the attempt.
Do you think you go pick up your Alexa orders at the store?
Photographic images generated by these systems tend to look like the graffiti portraits you see on fairground attractions.

I've done a lot of photorealistic drawings, and the trick to make something look real, is to get the tones exactly right. Misjudge a tone a bit, and the result looks like a mediocre drawing or a painting. In other words, the gradient of skin tones is off, which is ironic, I guess.

I assume that there is a systemic error in (linearly?) interpolating colors (in the wrong color space?) somewhere, which potentially could be easy to fix and lead to improved photorealism. On the other hand, it might be a horrible problem to fix, because it would require accurate radiosity and raytracing to get right.
Lots of people work to get experience in an area they're excited about. The get paid may be important, but the other part is to work on problems they find interesting that they'd might not otherwise get a chance to and within a structure they might find difficult to organize themselves.

You seem to have a very jaded take on employment, but please don't generalize.
Aligning incentives is how you get everyone pulling in the same direction.
Motion (YC W20) Is Hiring Senior Front End Engineers (US+Canada)
https://www.cdc.gov/hiv/about/index.html

Transmission rates:
https://www.cdc.gov/hiv/risk/estimates/preventionstrategies....

The second link shows transmission rates of 0.00 (zero transmission) in every study of many studies for undetectable.
TFA doesn't say you don't need Paxos other such. It says that partitions that leave less than a quorum of servers isolated do not reduce availability, and that partitions that leave you w/o a quorum are not really a thing on the cloud. That last part might not be true, but to the extent that it is true then you can have availability and strong consistency.
At the IMO "silver medal" afaik is define as some tange of points, which more or less equals some range of problems solved. For me it is fair to say that "silver-medal performance" is IMO langauge for about 4/6 problems solved. And what's the problem if some clickbait websites totally spin the result? They would've done it anyways even with a different title, and I also don't see the harm. Let people be wrong.
OK, I'm both impressed and disappointed.

I did 2 searches.

First I asked about a very specific niche thing. I gave me results but none I wanted. It looked like I missed a crucial piece of information.

So I did the second search. I started with the final request it written for the previous search and added the information I though I missed. It gave me virtually the same results with a little sprinkle of what I was actually after.

A few observations:

1. I'm not sure but it seems like it relies too much on citation count. Or maybe citations in papers make it think that the paper is absolutely a must read. I specifically said I'm not interested in what's in that paper and I still got those results.

2. I don't see much dissertations/theses in the result. I know for sure that there a good results for my request in a few dissertations. None of them are in the results.

That said, while I didn't get exactly what I want I've found a few interesting papers even if they're tangential to the actual request.
This may explain, at least in part, the reason: "Two in Three Marriages in Japan Show “Sexless” Tendency" (https://www.nippon.com/en/japan-data/h01882/)
How do they know their formalization of the informal problems into formal ones was correct?
FAO urges action as new variants of avian influenza threaten Asia and Pacific
I read that healthcare was mollified by a facility whereby they could choose when and which updates to allow, which CS intentionally bypassed with this latest update. This was during the chaotic day-of though, so possibly false.
That line of reasoning is that countries are only for the people born to them, so if you allow other cultures into a country it will destroy the country. It is an easy way to deflect blame for your country's problems onto an already marginalized minority.
Not to be confused (as I did initially) with Programming Pearls: Little Languages, by John Bentley. Which is about little languages per se, as this is not how the languages in Ritchie's talk are generally described. In fact, the very first sentence describes Pascal as a "big language".

It's also worth a read: https://dl.acm.org/doi/pdf/10.1145/6424.315691
TS allows you to pass a read-only object to a method taking a read-write value:

type A = { value: number; }
function test(a: A) { a.value = 3; }
function main() {
const a: Readonly<A> = { value: 1 };
// a.value = 2; <= this errors out
test(a); // this doesn't error out
console.log(a); // shows 3
}
Would you clarify "support for non-enforcement?"

My understanding is that a number of jurisdictions saw no point to round up a person's few possessions and put them in jail for a month. Places that have paused and/or resumed that model (and many places on west coast never paused sweeps at all)- all really saw no difference. The people are going to be somewhere. My perspective, few root cause solutions were even attempted and the problem has just gotten out of hand. Which is to say, the enforcement is a surface level action, experimenting with pausing that was also a superficial experiment as well.
Can we finally get "The Year of the Linux Desktop" already?

I mean, I switched my personal desktop a couple years ago, a few family members have been switched off for over a decade (grandmother before she passed, etc).

The pain and issues on Windows just seem to be increasing.
> use "second half of ", "begin of", 3 quartal of, etc.

And they sometimes use their internal fiscal year, which doesn't align with the calendar year. So sometimes, when they speak of the "fourth quarter" of an year they are talking about the beginning of the next year, or in the opposite direction, they might speak of the "first quarter" of an year but they're talking about the end of the preceding year.
Teaching is a good example. When you teach in public schools which is basically where the "people own the means of production" since the school is paid for by the taxes collected by an elected government, you're absolutely right. No rewards for quality teaching basically at all.

However, if you're really good at teaching you can teach at a private school and reap a lot more rewards. Better pay, better recognition, a better work environment this list goes on and on.

/wife is a teacher and has taught in both public and private highschool
So you’ve heard of mansplaining before, I’m guessing quite a few times.

Here is a suggestion. Read the comment the other person states and then engage with it instead of attempting to use it as a jumping off point for your post.

And btw, luck does not disappear over 10k hands. The final table at the wsop has not been static.

Since 2000 when hold’em poker became popular nobody has repeated back to back wins. If it was a game of skill we would expect the best player to keep winning.