skysight-inc/HackerNews huggingface dataset:
I can pass this report on to the team, but it might help to say a bit more - what did you see that was broken?

Edit: apparently there have been quite a few successful submissions since. I believe that if you skip a required field, the submit button is disabled - is it possible that was going on here?
I think it far more likely that he wants NASA to contract out building a new space station.
I first used a calculator as a kid. Took about 30 seconds. Never had instruction or training. We aren't talking about scientific calculators.
> if you wag your tail chasing a bad end for 15 mins, this is a fail in an interview

Eh, if it's a reasonable bad end and you communicate through it, I wouldn't see it as a fail. Particularly if it's something I would have tried, too. (If it's something I wouldn't have thought of and it's a good idea, you're hired.)
As a European onlooker I'm very happy to see people push back against this idiocracy. Thanks

(https://www.oed.com/dictionary/idiocracy_n2)
I gotta ask, how do they get around the thought this food was made by some random person (safety).

A fruit is better since it's natural though in theory not impossible it's injected with something
You did however need to be taught math first, you needed to learn how to pick things up, read numbers, interact with buttons, understand that a device might have an on and off state, and a zillion other things. It took about 5 or 6 years of training time to make that happen, and it was the result of parents, teachers, or others actively taking time to train you. That process didn’t involve parking you in a library at birth so you could just go figure it out.

Author is simply being obtuse and presumably has some axe to grind or is just ignorant of how LLMs are trained. For example, LLMs don’t learn to chat from the data, they have to be instruct tuned to make that happen. Every LLM chatbot you’ve ever used had to have this extra training step. Further, this is the exact same training process that can also train for tool use.

Trying to say “this should just happen from the data” is silly, it isn’t how any of this works. It’s not how you learned things, and it’s not how LLMs-as-chatbots work.
If Musk wants to go to Mars, he has enough money to do it on his own.
So tell us how NASA is doing this decades long plans, they should keep them secret? Should HNers vote on what NASA should do ?
He called the astronaut who called out his lies "fully retarded": https://x.com/elonmusk/status/1892584783064052114

He's also gutting the FDA, USAID, CFPB, and FAA, all institutions that his businesses have come in conflict with: https://bsky.app/profile/rbreich.bsky.social/post/3likloythd...

And according to the WSJ, Yaccarino is now threatening advertisers to spend more money, "or else": https://x.com/bungarsargon/status/1892659483806924994

And still, otherwise sober-seeming people on this site continue to make excuses and give him the benefit of the doubt that he has some kind of good intentions.
Hello, Policy Gradient
I wasn't implying high trigs. I don't think anyone today associates eggs with high trigs.

However eggs are high in a) Sat Fat b) Cholesterol.

Sat Fats cause increased LDL, and while dietary Cholesterol for many folks doesn't cause a rise in LDL, for some people who tend to be hyperabsorbers, it does.

So the knee-jerk comment that gets added anytime someone cautions about a high-egg diet isn't very accurate. I very politely suggested testing, and also said that if everything turns out OK then it's fine.
I wonder if this isn't another indicator of the growing wealth gap... although it's easy to obtain Walmart credit cards are probably maxed out.
I'm trying to sort out if there is a particular political bent to the HN crowd.
Datagrid is mysteriously missing on several newer desktop UI frameworks too, which effectively makes those frameworks ill-suited for a whole range of desktop applications. The only place reasonably batteries-included versions of those widgets can be found are in the old guard toolkits like AppKit, win32, MFC, Qt, GTK, etc.
Lol yeah unlike corporationd who are happy with “makes life intentionally worse but brings in money”.

Jesus the ideology in this place runs so thick with some people.
Oh, but people don't like XML.

XML means xmpp is awful apparently. I feel pretty alone in having a bad experience with matrix, but a good one with xmpp+omemo.
ACM Tech Talk: Tradeoffs in the Software Workflow
Misleading title :-/ Gotta do better tbh. At least there's a link to the actual (public mind you) tweet, but still.
Thanks, I’ve read the first part, it’s interesting that there’s no difference between selected candidates and dropouts. Also, pretty nice example of typist :)
It's a tool for fetching things and making sure what you fetch is what it's supposed to be.

For facebook in particular I'd guess it's basically just a bootstrapping step for buck2 and other basic tools like that.

Containers are obviously tempting but I think they're basically a way of shoving complexity under the bed whereas the approach that dotslash nudges you towards is slightly hormetic in that it helps you manage the complexity while also acting a slight tax on it's growth.
Doesn't look like it's been updated since 2020 (based on copyright page) Popular in:

2022 (91 points, 44 comments) https://news.ycombinator.com/item?id=32067559

2019 (134 points, 30 comments) https://news.ycombinator.com/item?id=19354465

~2018 (112 points, 8 comments) https://news.ycombinator.com/item?id=16087689

~2014 (41 points, 9 comments) https://news.ycombinator.com/item?id=8256469
Of the four languages I speak the different models do a pretty good job. I am sure there is something extra that can be added, but atm it is good enough for me.
> This original statement was somewhat ambiguous. Last July, NASA awarded Space X an $843 million contract to modify a Dragon spacecraft to serve as a propulsive vehicle to safely guide the aging space station into the Pacific Ocean in 2030. So in some sense, preparations are already underway to shut down the laboratory.

> I asked Musk if he meant that NASA and the US government should commit to the 2030 end-of-life date, or if he wanted to accelerate the timeline for the station's demise.

> "The decision is up to the President, but my recommendation is as soon as possible. I recommend 2 years from now," Musk replied.

So it's not like this is coming completely out of the blue, but it's hilarious Elon's continued heel turn. He went anti-tech, abandoned his environmental/EV fans, and now he takes aim at space nerds? Are there any of his original supporters left to piss off?
"Let's go to Mars" is a lot more ominous than it used to be, knowing who will be in charge of such a venture and their attitudes on, idk, everything involving society.

The push to the Moon was a national project that resulted from the vision of an elected leader with at least some controls on his power, and never promised to create a society beyond the authorities of Earth. Musk's push to Mars is the opposite.

The ISS is old and is only getting older, but if it means having a place to do some science that would otherwise not be done, and draining funds that would otherwise be used by an ethically-questionable human being to make himself the emperor of Mars... keep it in orbit.
On the other hand, people will be able to use Rust 2024 in production in a few month, if not now. While most C++ codebase are still stuck with C++17 or older.
Huh. Looking at it, they have made a lot more progress than I was aware of. I will correct my opinion. https://mathoverflow.net/questions/114943/where-are-the-seco... was very informative on this.

Still they have a couple more books of proof left, and I have to wonder how carefully it will be reviewed. This will still be a massive improvement, but I'd be a lot happier if the entire proof could be formalized.

Plus there is still a possibility that there proves to be another significant hole.

If any theorem needs to be formalized, this is the one. No other theorem is this big, this hard to prove, and this important to get right.
Or he cheaped out on quality.
> There is no point on wasting an LLM's capacity to multiply

Agreed. Again, that is not the issue. It is that the LLM does not know it is a waste of time. That is apparent to you as you have intelligence. It is not apparent to the LLM. It is not intelligent.
Yeah, it's really hard for me to understand the thing with eggs. Do people really buy that many eggs? We're a family of 5, cook every day (never buy takeout) and consume, maybe, 6 eggs a month? when we bake cakes? which we do extremely rarely.

We only cook for diner as we don't eat breakfast and everyone's out of the house for lunch, so that may be a reason, but still. It seems a very minor and unimportant ingredient.
yes and XMPP is actually a messaging protocol. Matrix is an eventually consistent database with a crappy messaging app implemented on top, and because of the insane architecture they are justifying decisions like message ordering that is non-deterministic[0] -- for multi user chat!

What could possibly go wrong if users in a multi user chat see messages in different orders? This decision is a perfect example of how smart systems engineers can be so completely divorced from the real problem (human communication) that they make completely asinine choices justified by implementation details no user cares about.

Matrix needs to die so it can stop sucking the air out of this space. The funding problems are also completely predictable but that's an opinion for another time.

0 https://artificialworlds.net/blog/2024/12/04/message-order-i...
Surely it holds more merit than “young dude with no experience who read about it in latest reddit group / social media app said so”.
....at best :( - more in certain universities.
> Nature is not cruel, don't anthropomorphize it.

You're defining the word cruel to narrowly. Per Merriam-Webster "causing or conducive to injury, grief, or pain" and Cambridge "(of an event) causing suffering". Natural forces can be cruel. So can fate and life.
Many things including New forms of cancer treatment https://home.cern/news/news/knowledge-sharing/fighting-cance...
Sure, that would be even better. But how would that even look?

In the best case applicants needs to apply multiple companies. Companies need to interview multiple applicants and have a way to compare those applicants.

Those are the most basic constraints I can think of. How do you make that cost tens of hours for each round?
Keep telling yourself that buddy.
I have had only bad experience with its federation and chat clients over many years, I don't think it can improve, if it could, they probably would have fixed it a long time ago.

Maybe not a popular opinion, but they should let the Matrix die altogether so something better can replace it.
Might just be worth clarifying here that Element is a private company and Matrix.org (the organisation in question here) is a not-for-profit
It is congress overturning the result of an election. Ergo it is congress overriding the will of the people.
I entirely agree. The advocacy they should be doing is making it as attractive as possible to develop new clients (with good UX) so that finally one with a good UX will come out.
I think the TI Forth was based on L&P-83 FORTH (L&P for Laxen and Perry, the two authors.) I was in a friend's house in silly valley and met a friend-of-that-friend and started talking about tech. At some point I mentioned TI forth and L&P83 on the PC and how it was a great, simple system. He said "thank you." Turns out I was talking with Mike Perry.
Nationalistic flamewar isn't ok here, regardless of which nation you have a problem with or how right you are or you feel you are.

Please don't post flamewar comments to HN generally. It's not what this site is for, and destroys what it is for.

(Fortunately your earlier comment history seems fine, so this should be easy to fix.)

https://news.ycombinator.com/newsguidelines.html
Beating face verification is quite honestly a far easier thing to break than encryption my friend.
You know what they say about the road to hell, perhaps it's a hypothesis based on empirical observation of our trajectory?
I am wondering who has the patent on "don't add a space after auto correcting" and why they are being so stingy about not letting people implement it
It didn't immunize Eliezer Yudkowsky, and he wrote Markov chain fictional characters. Everyone who looked up AI enough times knew about ELIZA.
It is pretty well known Elon companies pay shit and churn through young engineers willing to work long hours for no overtime fueled by “passion”. It’s why he is pushing for more H1B1s. He wants desperate people worried about being deported if they lose their job.
Exactly, "spooked" makes it sound like something unexpected. We knew Trump was coming and we knew he was going to do this. If you weren't planning for this likelihood for the last few years, you're an idiot that shouldn't be in any position of leadership. NATO could have had a unified plan ready to roll on inauguration day when (not if) Trump folded. Instead, they're "spooked".
The town and country near me is $4.99, so maybe it is more expensive here in Ballard. But the weird thing is that the non-organic/free-range eggs at QFC are $6.99/dozen and they have the same $4.99 dozen that Town and Country has.
>They don't even know how to build a website that works.

What percentage of people who know how to make a "website" do you think could make an automated tax system?

>the tech industry has been the beating heart of this country

Agriculture? Construction? The heart means something without which you can't function. How did people in the 1950s survive?
>Or, there's a lot of other ways to "skin this cat", depending on exactly how the legacy app is designed, and exactly how it stores data. But, probably this is already implemented

Given that neither of us knows the actual systems in question, what is more likely, that it's a well-designed system or one that has organically accreted over time? It seems like you tend to believe the former, and I the latter. I suppose my view is based on the fact that, like in statmech, you enumerate all possible systems that can do a particular job, the vast majority of those solutions will not have any organizing principle and will not be amenable to surgical analysis or change.
2024:
> More than 155 million people cast ballots in the 2024 presidential election. It's second only in U.S. history to the 2020 election. Turnout in 2024 represented 63.9% of eligible voters, the second-highest percentage in the last 100 years, according to the University of Florida Election Lab. The only year that beat it – again – was 2020 when universal mail-in voting was more widely available.

2020:
> More than 158 million votes were cast in the election

So 3 millions of Democrats suddenly decided to not go out to vote "to save democracy" against "fascism"?
A few takeaways from this talk:

1. Workflow cost optimization has many inputs and constraints, and good solutions come up gradually when considering the tradeoffs between time, cost and risk.

2. The overall goal should be reducing the aggregate of defect costs over time.

3. Human effort is the universal unit of cost and benefit.

4. Software engg is 50 years old, best practices are still being figured out. Best practices are changing, and we need to continuously measure and make progress on making them better.

5. Software engg is not the same as programming, avoid hyperbolic discounting and focus on building things that last.
Some modernization but I agree that it is very strong with a single coherent vision of the character. Bond does not and should be a woman, or transgender or any other twist to modernize. It can do that with supporting characters, and in how Bond interacts with them. Making a stark change to the main character would cause too much discontinuity with fans, and people who have know Bond as a specific archetype for a very, very long time.

We should think of new characters to fit modern ideas, not changing old out of simplicity; or latching onto the gravy train.
Didn't TI-Forth have a mode where it would use a 3x7 font so you could get 64 characters per line? I still have nightmares. But... you have to appreciate the work that went into it.
I mean, it'd be absolutely awful if we started having to deal w/ autistic chickens. I can't imagine how the Chinese do it.

Sarcasm aside, if the US isn't vaccinating our birds, what are the drivers for that? Cost concerns?
Note if you're doing this in the global scope, the local declaration on `s` will cause it to functionally not exist.

You can write this as either

s = 0

for i ∈ 1:10
t = s + i
global s = t
println("$s")
end

println("$s")

or

let s = 0

for i ∈ 1:10
t = s + i
s = t
println("$s")
end

println("$s")
end
A lot of people are talking about tool use and writing internal scripts, and yeah, that’s kind of an answer. Really though I think the author is highlighting that LLMs are not being used efficiently at the present moment.

LLMs are great at certain tasks. Databases are better at certain tasks. Calculators too. While we could continually throw more and more compute at the problem, growing layers and injecting more data, wouldn’t it make more sense to just have an LLM call its own back-end calculator agent? When I ask it for obscure information maybe it should just pull from it’s own internal encyclopedia database.

Let LLMs do what they do well, but let’s not forget the decades that brought us here. Even the smartest human still uses a calculator, so why doesn’t an AI? The fact that it writes its own JavaScript is flashy as hell but also completely unnecessary and error prone.
At some point in the past, tools like Wordpress et al made it easy for the average person to roll out their own website.

This probably increased the overall demand for professional website makers and messed-up-Wordpress-fixers.

Now the argument goes that the average business will roll out their own apps using ChatGPT (amusing / scary), or that big software co's will replace engineers with LLMs.

For this last point, I just don't see how any of the current or near-future models could possibly load enough context to do actual engineering as opposed to generating code.
> interesting things planned in the meantime

The article didn't mention anything interesting. Perhaps they would have if there was going to be actually interesting work?

Perhaps Musk knows what's scheduled to take place and in his opinion its all a waste of time. Just because someone else thinks it is important doesn't mean it does. I think it's fine to have the conversation, especially if it saves money, considering the US is 10's of trillions in debt.
I believe most confident statements people make, are established the same way. There are some anchor points (inputs and vivid memories) and some part of the brain in some stochastic way dreams up connections. Then we convince ourselves that the connections are correct, just because they match some earlier seen pattern or way of reasoning.
> In short, unless you’re building or hosting foundation models, saying that AI is a differentiating factor is sort of like saying that your choice of database is what differentiated your SaaS product: No one cares.

I still think of AI as the analogy of databases is perfect. No database is set up for the necessary applications where they get deployed. The same is true for LLMs except for some very broad chatbot stuff where the big players already own everything.

And if AI is just these chat bots, the technology is going to be pretty minor in comparison to database technology.
This is a reasonable take on the nonsense. “Look at the awful burden of spending $10 more a month on eggs is doing to the average family!” … meanwhile huge landlord conglomerates are colluding on rent prices (via third party apps of course), raising rents, and gobbling up housing in the hottest growth areas.
Europe vaccinates their chickens for salmonella I think (vs pasteurization in the states). They might be vaccinating them for bird flu as well, the USA just culls an entire flock if they find an infection in the flock.
I don't always programming in the small, and still feel that AIs provide plenty of chance for architecture, design, refactoring. For me it's been an absolute boon, I'm enjoying build more than ever. At any rate it's undeniably transformative and I can see many people not enjoying the end state.
It does do the math itself, it creates the code to do so and then executes that code to get the answer.
What would you expect HF to provide? Are they in possession of larger supercomputers than the research institutions involved?
Linux Soft vs. Hard Lockup
So Andreas Mogensen, "commander of ISS for Exp 70", posted:

>> Hannity: You’re going to help rescue two astronauts

>> Musk: They were left up there for political reasons

> What a lie.

> And from someone who complains about lack of honesty from the mainstream media.

* https://twitter.com/Astro_Andreas/status/1892517170384392664

* https://en.wikipedia.org/wiki/Andreas_Mogensen

The response to that was:

> You are fully retarded.

> SpaceX could have brought them back several months ago.

> I OFFERED THIS DIRECTLY to the Biden administration and they refused.

> Return WAS pushed back for political reasons.

> Idiot.

* https://twitter.com/elonmusk/status/1892584783064052114
It's scheduled to be deorbited in 5 years, but Musk thinks it should be done in 2 years... IS DEMOCRACY AT RISK IN AMERICA?!?!

The current administration will attempt to do many dumb things, like any human beings. Crying wolf at every action or opinion diminishes the other side's creditability for when it matters. This is bad for all of us.
He literally only made this comment because the commander of the ISS called him a liar. He is so thin-skinned that he is willing to explode the entire space station ahead of schedule just to retaliate over a Tweet.
While that's fair, My understanding is Element does fund matrix.org (They even state that in the article and it can be seen here: https://matrix.org/support/). So I would think that money they get from those services would help.
> We've quietly been using Julia at our hedge fund…

This! I’ve found a lot of value in Julia for math specially in financial analysis.

Julia’s DataFrame and general development workflow are excellent for research and when it comes to deployment is not too shabby either.

I’m aware of pandas and the rest in Python, but for some reason Julia feels a lot more “ergonomic” for my use case.
They also lead in destroying your own country and science and tech industries. And soon they’ll be the number one authoritarian state too! And have biggest bestest king of them all lmao.
A Node.js SDK for calling Vision Language Models
https://lobste.rs/s/sucvnw/hello_policy_gradient
I'm afraid I don't understand your question. I did take a look at https://news.ycombinator.com/item?id=43112777 and can say that yes, that's definitely a flamewar comment that breaks the site guidelines and that we ask users not to post here. I've replied to that commenter elsewhere.

Unfortunately your reply (https://news.ycombinator.com/item?id=43113282) also breaks the site guidelines. If you keep doing this, we're going to have to ban you, so it would be good if you'd please stop doing this.
This also vastly overestimates the intelligence of the average juror.

This sounds insulting but it is intended to be a frank statement.

In 4 years of working cases I would estimate 1 in 6 jurors are above the 85-115 IQ range of average intelligence, and maybe half are at or below the 100 line.

Add in that anyone over the age of 55 is on average far more susceptible to deepfake technology simply because they don't have the life experience and perceptual skills needed to discern the tells in the video, and you have a recipe for disaster.

If you are in court and your opponent might use fabricated video evidence against you, you better hope that your jury is younger or that your lawyers and judges have the expertise needed to expose any deepfake technologies like this for what they are, or you might be cooked.