skysight-inc/HackerNews huggingface dataset:
Great to read this!

Lots of people treat optimization as some deep-black-magic thing[1], but most of the time, it's actually easier than fixing a typical bug; all you have to do is treat excessive resource usage identical to how you would treat a bug.

I'm going to make an assertion: most bugs that you can easily reproduce don't require wizardry to fix. If you can poke at a bug, then you can usually categorize it. Even the rare bugs that reveal a design flaw tend to do so readily once you can reproduce it.

Software that nobody has taken a critical eye to performance on is like software with 100s of easily reproducible bugs that nobody has ever debugged. You can chip away at them for quite a while until you run into anything that is hard.

1: I think this attitude is a bit of a hold-out from when people would do things like set their branch targets so that the drum head would reach the target at the same time the CPU wanted the instruction, and when resources were so constrained that everything was hand-written assembly with global memory-locations having different semantics depending on the stage the program was in. In that case, really smart people had already taken a critical eye to performance, so you need to find things they haven't found yet. This is rarely true of modern code.
Nitpick: since née literally means "born", then we need to point out that Twitter was launched as "twttr" initially, and held that name for six months, until obtaining the twitter.com domain and rebranding to the little tweety bird we all knew and loved.
You should really think about making statements like "AI will probably never do X well". Many formal linguists made very strong statements about the impossibility of (__insert feature here__, such as pragmatic implicature) to be learned by AI, which they are now being shown to be wrong.

For instance, Miles Cranmers work on using GNNs for symbolic regression is a start towards useful new discoveries in physics. Transformers are just GNNs with a specific message passing function and position embeddings. It's not hard to see that either by a different architecture, augmentation, or potentially even just more of the same, we can get to new discoveries in physics with AI.
The GNN symbolic regression work is evidence that it's already happened.

As for grounding knowledge in the LLMs we have exactly just this moment (a rather short-sighted view) there is plenty of interest and work in the area, for which I expect will be addressed in a multitude of ways. It's ability with grounded physics knowledge is not perfect, but it's very good w.r.t. the common knowledge of a human off the street. External sources alone make it much better, and that's just the exceedingly short-sighted analysis of what we have today.
Ask HN: Which Self Hosted applications do you run?
When someone mentions emeralds you know you can safely ignore them.
Previous discussion:

https://news.ycombinator.com/item?id=18127811

(2018-10-03, 108 comments)
Oh yeah, this is definitely a great observation. Once in a while FB decides I have a new interest and shoves A TON of suggested content in my face, as if it’s all I ever cared about.

And it’s usually the most random things. Dragon Ball Z. Gangsta rap. NBA. Race cars. Marvel. None of these things interest me yet for WEEKS they only showed me those very specific things.
If the manager told the IC to deprioritize what I'm asking for, the IC should tell me that. If the IC tells me that, I'll consider that in what I write about the IC.

Also - I'm not necessarily advocating for praising in front of others in every case. In some cases that makes sense, in some cases it makes sense just to send a message to the manager directly.
Threads does have a web interface.
My understanding is that there isn't an abundance of people around at Xitter these days to do that kind of due diligence. "Nobody had time to go through and unblock all the people blocked under the old policy" doesn't sound fishy to me at all.
For me the point is that either I curate aggressively by only following people I trust will post interesting stuff or I follow topics on a platform with a solid recommendation algorithm (this doesn't even need to be adapted to my personal usage patterns, it could just be intelligent interaction based sorting of the posts landing in my feed).

E.g. I would never use the /new feed across all my subreddits for example, simply because it would show me way too much irrelevant / low quality content. The same is true to some extent when following hashtags on Mastodon.
Same here:

1) block the brain parasite,

2) disable half of the UI using an ad blocker,

3) condition yourself to click the "Following" tab without noticing it, and

4) voila, now you have a semi-pleasant Twitter experience.
In Norway (I know it's a small market) it's over 80%. Over 20% of cars on the road are pure electric EVs.

https://elbil.no/om-elbil/elbilstatistikk/elbilbestand/
Well, that's terrifying: https://www.youtube.com/watch?v=mQusj6tD97w

It's basically just a floating barge with an excavator chipping away at the dam a little bit every day, while water rushes past it through the damage.
>they can generate content and release it in the wild, something that couldn't be done even in the 90's prior to IG, TikTok, YouTube, etc.

In the mid-90s I was creating content and releasing it to the wild on my own website that was hosted for free on one of the myriad free website hosting platforms back then. Frankly, the website sucked, but it was my content.
I bring up 2.3 to 2.5 to 2.7 as an example, not as a recommendation.
Why should I provide counter examples of my statement?

What do you think why companies went to China in the first place? Because of the great environmental and human rights?
and for this reason, there are extremely harsh laws against whistleblower retaliation.
The meaning of a wall clock time is based on the legal jurisdiction of where the clock is located. It is the local law which sets the daylight savings time rules. These are commonly written as TZ / tzdata / IANA names, as in “Europe/London” from the person to whom I replied.

https://en.m.wikipedia.org/wiki/Tz_database

Even this is not enough for some edge cases like “I shall take my supper every day at 6pm, Jeeves” but one can always find exceptions to anything.
I will accept the slander because (1) anonymous slander lacks credibility and (2) being slandered is a small price to pay for my free speech rights and (3) when all limits are removed on speech my big mouth will get me in far more trouble than any slander.
Still not negligible.
> Real wages are near historical highs

Doesn't matter when real expenses have grown almost 4x faster than real incomes over the last 90 years.

•1933 median individual income: $3,800/y

•1933 median house price: $3,800

•2023 median income: $85,000/y

•2023 median house price: $410,000
My reading is that for an individual theorem or proof, having it checked by computer may well be more "secure". But a culture where all mathematics is done (only) by computer would be worse, because you'd have outsourced the thinking and quest for understanding which was the point in the first place.
Regarding fruit, I believe that article is saying fruit can be eaten regularly with every meal. You can eat it during the meal or afterward as a "dessert." Foods with added sugars should not be eaten daily but can be enjoyed a couple times a week or less.
A 40-ton organ sits under City Hall. San Francisco is trying to give it away
>Custom built for the 1915 Panama-Pacific International Exposition, the organ weighs 40 tons and needs 800 square feet to operate — with a 50-foot ceiling. When the World’s Fair opened, it was the seventh-largest musical instrument on the planet.
Open source is a licensing model, not a community organization model. Collaboration is not a benefit of open source, it's a benefit of collaboration software and a group of people who welcome collaboration. Almost all of the people who like collaborating on software use open source licensing. But there are plenty of people who use open source licensing who are not interested in collaborating. For example, it is very normal for projects maintained by someone with a narrow focus, or projects with limited or formally organized resources to not accept PRs.

When you send someone a PR, you are demanding that they do work for you to review and merge. Open source licensing does not mandate that they do this. Heck, most open source licenses even disclaim warranty to avoid obligating the authors of even doing work that the law would otherwise require them to do. Now yes, some people will help you with problems. This is because they're nice, not because it's open source.
Weird to be wondering if men are to blame here when women are typically the ones who have the final say as to when and with whom they decide to settle down and have kids with. Personally I think it is a combination of couples not wanting to have kids for a variety of reasons (not wanting to sacrifice their quality of life, lack of economic security, anxieties about the future), women delaying childbirth for longer to focus on education and career (and possibly waiting too long and not being able to have children by the time they are ready), women becoming pickier with who they choose to date and marry with the reality of hypergamy (women with higher educational and career attainment typically want to date men who are at least as successful as they are, and women are increasingly outperforming men in education and career these days). I'm sure men have some blame in this too, but most single men I know would prefer to not be single, but can't seem to find anyone interested.
Several years ago, I built an area reader for a bunch of Merc/Diku/other old .are files which you might find useful[0].

[0]: https://github.com/ctoth/area_reader
While I do disagree about the inevitability I will admit to hoping to be wrong, and I do admire the spirit that treats freedom as so valuable.
I have never thought about it before, but are timezone names like 'Europe/London' designed to not be sensitive to political changes and not have to change?

It could have been Country/City or Region/Country but it's Continent/City instead.

Continents or regions of the world don't change fast or due to politics (not often) and cities aren't renamed or disappear that often, so this scheme is probably a lot more stable than any that uses political entities. (Think about countries that split or rename or become occupied, the locations of cities like Sevastopol (occupation), or Juba (Sudan/South Sudan split) or Jerusalem (every controversy).)
It is said nvidia hardware programming interface is much more simple than AMD one.

If true, AMD is doing something wrong here. And yes, giga tons of generated headers related to registers.
If the corporations will not hire you, start your own business.
You had >70kloc of python code that required no modification between 2.3, 2.5 and 2.7. I don't find that believable.
James Webb: Telescope reveals new detail in famous supernova
Kay: Data API Built for Rag
I think you can uninstall the old one but by default just enabling the preview doesn't uninstall it. Or at least, that's the behavior I've seen on my machine (same as vladvasiliu).
> 6PM local time could mean Zulu+6 or Zulu+3 or anything else if local timezone offset changes via legislation.

That’s the point. Normal people think about time based on their local time. If they agree to meet someone at 3pm on a day in the future, that normally means turning up on that day when a local clock on that day reads 3pm. If local time changes offset from UTC, then the meeting implicitly also changes.

I’ve personally yet to meet someone that reschedules all their appointments every time day light saving (or the inverse) rolls around. Just make sure their appointment times in UTC don’t change.
This could be expressed in binary format using way less space, but expressing it in code / text I suppose make it more suitable to call it a source.
Can you share some of the outline or problems your guide solves?
Totally tangential: Did you see the Indian 4x400m relay team made the world finals, but in qualifying, dared to try to pass the US team on the final leg? India has never had a particularly good track and field team, but allegedly they are encouraging running and fitness more there.

For those that don't know, the US 4x400m relay team in track and field is about the most dominant thing ever. If they don't drop the stick, it is assumed they are going to win. Even the qualifier team virtually always wins the heats. So an unknown like India having the temerity to try to take the lead against the US team is a huge shot across the bow.

It seemed significant for other reasons. First, based on very light googling and looking at names, the team was of mixed religion with two Muslims (two guys with Muhammed first names) and two Hindi-seeming names. They seemed to genuinely like each other and support each other. That might have progressive steps for the long standing religious conflicts in India, that a mixed religion team came together for a historic moment in Indian athletics.

Second, track might be a very interesting sport for "echoes of caste system" India (there was just a Caste news on HN a day ago so it's still obviously somewhat important). Unlike any team sport with selection, in track, if you are faster, well .... you're faster. Doesn't matter the race / religion / caste / connections, if you can run a 50 second 400m and the other guy runs a 53, it is VERY apparent who wins or should be selected for a team. Track and fitness in general is a kind of class-smasher in that regard, and could be a harbinger of big (positive) social change.

But maybe I'm reading a bit too much into a small sample.

Also, an Indian won the Javelin throw, beat a Pakistani who got silver, and there were two other Indians in the top six.
It sounds like you want a station wagon.
espanso does that quite well
FB has a friends-specific feed, but it is buried a bit. EDIT: just browsed it a bit and I was refreshed to see things that are at my scale and about the people I care for. I wish this was still the main thing with FB.
K.
You're right, you can classify the term "Wealth" as any free capital.

So if I have an extra $5 I can manage that "Wealth".
So is his dad lying when he openly talks about them owning an emerald mine?
https://twitter.com/swyx/status/1697121327143150004

There was no need to delete except being so trivially shown to be wrong, I didn't chase them to twitter or something.

But that's the MO for the tech grifter:

- you herd the few people who are unsure and will listen to any confident voice

- the people who know the most about <insert tech> tend to not like that, but when the herd is small just defer to their confrontations with humility and grace, and use that show of virtue to continue herding

- the more people you herd, the easier it is to get incrementally smarter people to follow: We're all subject to certain blindspots in a large enough crowd

- the more people who follow someone who's clearly wrong, the more annoyed people who are knowledgeable about <insert tech> will get about the grifter

- This makes each future confrontation more heated, so now the heated nature of the confrontation is justification to disengage without deferring. Just be confidence and continue herding

- rinse and repeat until people who don't follow the grifter gospel are a minority.

—

The actual VC dollars start chasing whatever story their ilk has weaved by then. And eventually it all collapses because there was no intellectual underlying: just self-enrichment.

That realization from the crowd exhausts any good will that was left for <insert tech> and the grifters move on to the next bubble.
Blockchain technologies are interesting in their own right as the application of math to a perceived problem. But they're even more interesting in how a technology can be hyped beyond belief. And the sociological aspects of how easy it was to convince people to part with their money for a dubious "investment."

I think to understand the human / sociological aspects, you should grok the underlying tech, even if you don't plan to use it. Maybe not at a detailed implementation level. Like understanding how people use ETH to spin up their own coins is a good level of abstraction to understand. (i.e.-why are ETH and BTC different.)

And I would love for all the eCos / Mark Miller / Nick Szabo e-contracts stuff to be useful someday.
This concept of "eligibility for overtime" is so far beyond reason that it looks shocking even for the ultra low American standards. Having a law that literally forbids worker compensation would be a reason to remove government almost anywhere in the world. It's like something from a Monty Python sketch, produced in the building next to the Silly Walks department.

The only people "not eligible for overtime" are those that cannot work overtime due to medical (or other similar) reasons.
Some parts of Google's bi-directional gateway are still up. These look current relative to the NNTP Usenet:

https://groups.google.com/g/de.soc.recht.steuern+buchfuehrun...
https://groups.google.com/g/de.soc.recht.misc

(The second group even has some recent spam in it, which is rare nowadays.)
> Why cant they put a 4k lense on these things

Bigger focal plane means more power, more data processing/storage means more power. More power means more solar arrays/batteries. More solar arrays/batteries means more mass. More mass means larger actuators to move it around. Larger actuators means more power...all of the above means more money.

I can't give a specific reason why, but there are likely cascading effects and system impacts to the mission. Its not like larger space rated focal planes, larger data storage and high powered amplifiers to get more data down don't exist. But at some point you do just have to call it "good enough" or "meets requirements" to avoid the system spiraling out of control.
Yes, Call for Papers.
But what transfers the data from the finger print scanner to the chip?

Software?
Alternate the incoming connections from one server to the other. That gives the one with two connections some time to clear its queue while the other queue may be getting longer.
they need a rubber case, preferably one that overlaps the display slightly.
The ceiling makes sense because a high salary is a reasonable proxy for individual bargaining power. I'm sure I could convince my manager to let me work strictly 9-5 in exchange for halving my salary (which would still put me over the 55k mark).
Not sure about this advice in general. I get quite uncomfortable if I receive praise or compliments in general, and in a group setting is even worse. I find it embarrassing and awkward.

Im not saying “never give praise in public”. But, you know, read the room. As always, especially with social interactions, context is key! Know the people you’re talking with!
I'm with you almost everywhere, but it's worth pondering this:

> If a program is accepted by the proof checker, then by construction it must be a valid mathematical proof.

I'd phrase it as "If a program is accepted by a _correct_ proof checker, then ...". That makes it clear that we can't escape having to consider how and why the proof checker is considered correct.

Edit: this is not entirely academic. from what I understand, the unsoundness of Hindley-Milner in the presence of polymorphic references was not immediately known (https://en.wikipedia.org/wiki/Value_restriction#A_Counter_Ex...).
There is also value in having more jobs available to you in case you lose your current job. I suspect that is a big variable in people’s calculations, volatility of income. It is a huge risk moving somewhere that is economically stagnant.
Yes. If you like that kind of culture, feel free to seek it out.

I would not enjoy that kind of workplace, and if I accidentally join a place that leaned very heavily on that communication style, I would likely leave quickly.
Such communication style can work well, but only if it is genuine. When people do mess up, there is often something good in the mix. It’s possible to lead with a compliment to point out what was done well, and follow up with constructive criticism. It’s about style. When done well, you don’t notice it and you like it. If done awkwardly or stiffly, it feels fake, patronizing, and disingenuous.
Do you need to brute force the data, can't you simply intercept the data from the finger print sensor?
I think it's reasonable to estimate the future time based on the current published rules. You don't need to guess at the probability of future published rules, but you do want to have sufficient information to reevaluate the published rules.

This is why storing UTC dates for future events is insufficient: if the event is actually specified in local time, the date is incorrect when the time zone rules are changed. But storing the time zone is insufficient if the time zone that applies to the event also changes; you also need to store enough information to reevaluate which time zone is applicable.

Of course, it can be difficult to gather this information in a user friendly way, so you know, compromises.
Why ex-French colonies in Africa seem beset by coups
Widespread unemployment occurred in the 19th and early 20th centuries as Americans left farms to move to cities.

They were desperate for work.

The unemployment in farms was caused by the Industrial Revolution.
I usually solve this by storing an explicit named timezone in an additional field.
Right, so ask them their full formal name, and how they want to be addressed.

What is your full name?
Ner D. P. Onx, BS DDS LCSW

How would you like to be addressed?
Mr. Onx
Honestly this sounds like it would end up being a net negative.

The US or the EU are not China. People generally don't accept being forced to do things and I wonder about the legality of it all.
No, you're not even close.
I think rent is the big wildcard. People who bought prior to 2021 or so are far better off than people who've been chosing to rent.

My mortgage in 2015 was $1050 a month. I sold it in 2019, and today it rents for $2500, but likely could rent for more given that apartments in the area are now at 2k...

That extra 18k/yr is going to affect how comfortable a house making say, 70k, feels at the moment.
The CS61 series was excessively difficult compared to the upper-level material, and it was absolutely because it was intended to weed people out of the major.

I got A's in all of my upper-level CS courses at Cal. Cryptography and compilers were a breeze compared to the CS61 courses. My average grade in the CS61 series was a B-. The semester I took CS61B (data structures), my grade on the final was 21, out of 100. The average grade was 16, and the highest score was 35. (The 35 is a VC now and is fairly active on HN.)
But do we need an alternative? Maybe services like Twitter have played out. Wouldn't be bad for the world to move on.
Hire for Floors, Not Ceilings
It's been so long since calculators hit that I guess we all forgot what that was like, but Wolfram Alpha can solve all of the problems in a typical math textbook. Now writing based classes have the same problems, but the solutions are pretty similar:

- Make kids show their work (outlines, revision histories)

- Retool to focus on the things where the tools can't do all the work (proofs, diagrams, word problems for math; research, note gathering, synthesizing for writing)

- After kids learn the basics, incorporate the tools into the class in a semi-realistic way (using a TI-whatever in the last years of high school math education)
The bar for viable labor is rising.

It is also easier that ever to educate yourself.

These two facts balance.
Why not?

Plenty of 60C water on the earth's surface.
How are you planning to scale it? How are you going to acquire a critical mass of users?
That doesn’t sound like what GP was saying.
I have the gut feeling that a while back you could find it with a Google search. Nowadays I don't think I can find such stuff.
can you please elaborate on this?different how?
No one misunderstands that, as that's what parent said.
Watch India’s lunar rover take a spin on the Moon