skysight-inc/HackerNews huggingface dataset:
I'm staring out my window at planes landing at Reid-Hillview right now, it is not closed.

RHV is under a federal funding agreement and cannot be closed without FAA agreement for most of the next decade.
But that's not what I am saying though ...

> you have tools to analyze the correctness of your solution

That's half of it. Cache invalidation is hard not only because of the complexity of cache coherence protocols, some of which is not very complicated. But cache invalidation does introduce countless races that manage to introduce cache inconsistencies in ways that are just hard to imagine ahead of time (in my experience). IMO, that's the harder part of cache invalidation – when cache inconsistencies happen, answering the "why" question is much harder than having a cache invalidation protocol (you can have TLA+ for one if you will). And answering the "why my cache is inconsistent" is the problem we solved, which I think is the harder part of the cache invalidation problem.
This means the very important work being done at tractorhacking [0] has become even more important. What incentive does a publicly-traded firm whose key shareholder is Bill Gates have to ever make their products repairable by New York's farmers now?

[0] https://tractorhacking.github.io/
> We need to form a collective around the idea that all organized social structures are evil! Unite in disunity!

Anarchism, as the term is used in this context, is absolutely not about opposing all organized social structures. It's specifically about opposing coercive structures. The goal is typically organization through bottom-up, cooperative means rather than via an authority enforcing structure from the top down.

If you're interested, here's a piece from Bookchin responding to this exact point: https://libcom.org/library/anarchy-organization-murray-bookc...
once that data is out in the wild it lives forever. better to assume a kind of "no critical PII is actually secret anymore" and work to upgrade our systems to no longer be so naive
Puerto Ricans aren’t subject to Federal income tax unless they work for the Federal government. (They still pay payroll taxes, though.)
I'm not sure how this really acts as a precursor to the personal computer. It's one of the first time-sharing systems. That's something else in its own right, and something which can be independent of what the hardware was designed for.
I used to think this was sarcasm. Then I met people who literally didn’t understand the difference between putting money in a politician’s pocket / promising them personal perks and lobbying then or donating to their campaign or PAC.
What, wow easy in the strawman now do the same for the energy required for the US dollar.

Lol, compare and contrast apples to apples first and you'll see the cost in energy is negligible.

Also what do when POS drops and ruins your current strawman argument.

There was zero other way to pay for it, people were literally walking over to Columbia to get money they could use.

Anyway I can see your a bad faith actor, GLHF!
The plea agreement makes it sound like he was trying to get local judges elected who were using his consulting services -- so he was bribing some small fish with a few thousand dollars to get people elected to local office to get further consulting business. Gross and obviously illegal but not remotely relevant to the broader election security discussion.
Even asking that question is a positive step.

One polarizing topic at the moment is critical-race theory ("CRT"). There are a lot of false claims about what this is. Ultimately, CRT was something taught in law schools. Now CRT has become a catch-all for teaching the true (rather than whitewashed) history of the United States.

A lot of people are opposed to this because they're mistaken about what the goals are or are opposed to people being educated about historical and current inequality. A common argument is that CRT makes children "feel bad". But take slavery as one example. Did you directly participate in slavery? Of course not. No one is asking you to feel personally responsible for this.

But you can be taught the ramifications of slavery that continue to this day. Take something as simple as the GI Bill. This contributed to the White Flight. It allowed white Americans to build up generational wealth. In a system where property values are so entangled with educational outcomes, you should be able to recognize that slavery and segregation aren't just historical artifacts.

You can recognize how you benefit from generational privilege without feeling personally responsible for its origins. An awful lot of people don't want that to happen however.

So how did other countries avoid this? There are many factors here but ultimately the US founding is deeply tied to white supremacy. That continues to thi say. The language may have changed (eg propagandists might now use terms like "legacy Americans") but this belief has never gone away. We as a country have never had a serious reckoning with this past.

50+ years ago towns were racially segregated openly. The term "sunset town" came about for a reason. While those direct segregation laws might be gone they've been replaced with laws and institutions that have the same effect. For example: making housing expensive is exclusionary by design.

I say all this to point out that local funding of education is part of a deliberately exclusionary system. It may not be the reason other countries fund things at a national or state level. But our inequality in outcomes through local funding is deliberate for those reasons.
If you have board members resigning, take a moment to think what's wrong.

If the way you fired people has been this newsworthy and investors/executives(here) are suing you, and you still don't know what the issue is, I don't think even looking at the mirror will help.
Terran 1 First Launch
That's just one two-word phrase, and putting torque on it that distorts the gist of the whole article is not a good direction for threads. That's why we have this guideline:

"Please don't pick the most provocative thing in an article or post to complain about in the thread. Find something interesting to respond to instead."

https://news.ycombinator.com/newsguidelines.html
I have a question for people like you.

Your comments sounds challenging to the parent comment. Why? The person is making pretty benign observations and opinions. Your comment seems to question their motives.

We should all be asking the question you posed.
The Audubon Society notes that hundreds of thousands of birds are killed flying into windmills in the U.S. every year.

They predict that it will increase into the tens of millions, as more windmills are constructed.

Perhaps that number is "negligible" in a relative sense, but why kill birds at all? We should be working to increase the bird population, not adding more ways to kill them.

I'm not an expert, but just a bit of web searching has turned up some alarming studies and predictions. Maybe they're exaggerated; maybe they're one-sided. But it seems to me the problem shouldn't just be dismissed out of hand.

Birds eat ticks and other pests. 50 years ago, flocks of birds were much larger. Huge swarms of birds would descend on a pasture or a green grass yard and pretty much eat all the bugs. This is a beneficial thing.
Same here, I am unable to properly quantify it but there was something about the soup api I did not really like.

It may have been because I learned on the python xml.etree library in base(I moved to lxml because it has the same api but is faster and knows about parent nodes) and had a hard time with the soup api.

But I think it was the way it overloaded the selectors. I did not like the way you could magically find elements. I may have to revisit it and try and figure out why and if I still do not like it.
> since you're giving up that total control of your life whether you're working 20 hours or 80.

You forget the age effects: when you're 80 you will have less control on the basics (like, control over being able to run for a few hours without pain)

> Then, when you've got enough money, you get total control of your life for as many years as possible. Depending on what you value, it can be a totally reasonable optimization.

No, the FIRE logic seems self-inconsistent to me: if you do believe in this "control" part, it's not a reasonable optimization!

A much better logic would take into account the age effects to conclude it's better to enjoy life as much as possible until say 40, then slave away to repay the debt incurred.

Or even better- die in debt!

> A lot of folks talk like a person who has a job has the same amount of freedom as someone without a job, just minus the time they spend in the office. That's part of it, but there's also the loss of spontaneity/flexibility/control.

Personally, I disagree with the FIRE logic for other reasons: I believe it's better to participate to society, to do great things together as species, as a team!

I've seen some people call it "team mankind" or "team earth" and I wholeheartedly agree: we've accomplished miracles at the planet level!

Why go FIRE and be lonely? Isn't that waiting for death?

Having a job means participating to society, which is not just a net-negative of losing "spontaneity/flexibility/control", but doing interesting things with other people, which requires coordination/synchronization and therefore entails some degree of a loss of control.

However, I personally believe it's for the better, not just at the species/planet level, but at the individual level: I like having colleagues. I like the small talk. I like being part of a multiple persons effort. And so are you, unless you've got some quirks, because most humans are pro-social.
Gotta start somewhere!

Don't let perfect be the enemy of good!
College shares the same benefit/tool that private schools have - they can kick a student out for misbehavior.
Ask HN: Is there AMD specific binary implemented kernel of Linux
is there AMD specific binary implemented kernel of Linux

and the same that of Intel ?
re: “When I was younger I used to snap up domain names for every little idea I had.”:

I am 71 years old and I am still do this. Good for you stopping!

Concerning the article: a clever idea but I think it is better manually thinking of words that match your idea and searching for similar free domain names - that doesn’t take much time.
James Webb Space Telescope Sustained Micrometeoroid Impact to Mirror
And for so little money! $300 to $5000.
Huh, the DoJ article didn't make it clear that they were using existing identities for the padded votes, only that they were incrementing tallies. From the way it is written, it sounds like they don't need any existing identities at all. Do you believe it impossible to accomplish what Michael Myers did without re-using existing identities?
> all of American society needs to see it as something they are also responsible for fixing

Responsibility for culture is an interesting issue. Very few individuals can claim any significant responsibility.

People tend to look askance at outsiders coming in to fix their culture.

Further, I don't think American mainstream culture is in any position to evangelize its greatness right now.

> not fixing by simply pushing people to adopt the cultural norms of another group of people.

I don't know, I see culture as evolutionary. Everyone should adopt the practices they see succeeding, and abandon they ones they see failing, no?
Oh yeah I won't miss it either but some people seem to hold rather extreme emotion over a touchbar :) . That said it is easy to be hyperbolic on the internet.
Sure - you typically cache the result of some expensive query.

The hard part of cache invalidation is to detect when an update somewhere in your system is going to affect the result of that query, such that you need to trigger an invalidation.
From the Helios paper: “With Helios, we do not attempt to solve the coercion problem. Rather, we posit that a number of settings—student government, local clubs, online groups such as open-source software communities, and others—do not suffer from nearly the same coercion risk as high-stakes government elections. Yet these groups still need voter secrecy and trustworthy election results, properties they cannot currently achieve short of an in-person, physically observable and well orchestrated election, which is often not a possibility. We produced Helios for exactly these groups with low-coercion elections.”

https://www.usenix.org/legacy/event/sec08/tech/full_papers/a...
> "Productive" means able to get a job at McDonalds or a grocery store, both of which are desperate for people but neither of which would consider the guy at the homeless encampment next door. It just isn't going to end well.

Which seems like a huge part of the problem to me. We need better reintegration paths that make the climb back easier.

> These people are gone in a way that someone with brain damage isn't.

I don't know what you mean. It's harder to be gone than severe brain damage. It took several dedicated foster families and ongoing support from social workers to get him to the point he is at. He has a job, but he can't function independently and didn't find it on his own.

Severe drug addiction does have different challenges, but the possibility of reaching a stable, productive place is always possible.

> It might be better just to cut our losses and focus on making sure people don't fall into the homeless/drug abuse trap at all, because once there coming back is really really hard.

You are absolutely correct about the second part. Providing support for those on the edge is the most effective way to reduce homelessness. The longer you are on the street and the worse conditions you are living in, the harder it is to climb back out.

However, I think that writing off people is a mistake in the long run. If you let the problem fester, it gets worse and costs more to deal with.

> We have a whole homelessness industrial complex that has sprung up to collect and spend massive amounts of resources on trying to help these people ($100k/year/person is actually an underestimate). They aren't making progress, perhaps intentionally (so they can continue collecting the money)

There is a problem here, but I'd also be cautious to paint the whole industry with such broad a strokes as there are some very dedicated, selfless people working in that field. Unfortunately, I think those are the people who are more likely to burn out and leave when they see poor results (I've known a several who have gone this route.) This leaves the less scrupulous / caring to lead the industry.

I think those poor results there are due to structural problems around housing access, affordability, the path back to employability and the mental health system that we need to solve on a much larger scale. Only the can we start seeing significant progress at the smaller scales that these organizations work at.
No, differences in learning ability are largely heritable. Self-identified racial groups vary in statistical distribution of their mental abilities. I think generally in the West the chief cause of differing group outcomes on mental tasks is differing learning abilities.
"In this study, in which we linked U.S. mortality and election data from 2001 to 2019, people in counties that voted for Republican presidential candidates were more like to die prematurely than those in counties that voted for Democratic candidates, and the gap has grown sixfold over the last two decades. We found similar results when we looked only at counties that voted for one party’s candidate throughout that period, as well as when we used state election data for governors."

And a link to the paper ("Political environment and mortality rates in the United States, 2001-19: population based cross sectional analysis") that the article describes: https://www.bmj.com/content/377/bmj-2021-069308
The thing is that all behaviours carry cultural aspects to them. But clearly some behaviours lead to better economic outcomes than others right? Being sober, working hard, valuing education, cooperating well, these are cultural traits. This fact alone doesn't mean it's wrong to prefer them.
But it doesn’t. This concept will never play like actual cash.

It’s adding steps to a seamless process. Literally, adding seams.
> By utilizing sound instead, energy is able to be directed to the correct spot, forming a small bubble through a process called cavitation. Temperatures can reach a pressure approximately 1,000 times that of air at sea level and around 27,000 degress Fahrenheit, which is hotter than the 10,000 degrees surface of the sun.

I wonder if the more medically relevant use of this technology isn’t 3D printing but rather treating tumors?
I'm not sure how much longer I really want to entertain this discussion, but I'll have one more crack.

The number of people using and blockers is still quite low, not nearly critical mass. The "conversion analysis" stuff is mostly pseudoscience. Most companies just don't know what to do with the mountain of data they have access to. Data collection is just an addiction at this point.

But the more important thing is the "why". The library has very limited information. Sharing of information, having a voice and engagement in the conversation are all essential to the growth of mankind. Our ideas evolve as a species by including everyone, sharing honestly, increasing access to quality information and standing on the shoulders of giants.

If you believe that preserving people's ability to make money in a free market is more important than that, I really have nothing further to say to you.
Sometimes you have the fun, sometimes the fun has you.
Yeah, every record needs to be the same size. For the demo, we batch the articles into 100KB chunks. We do a good job packing, where we put many small articles into a 100KB chunk, and we split large articles into many 100KB chunks. This packing is pretty efficient, roughly 90% of space is not wasted.

The memory overhead is significant but not prohibitive… we have to keep something like a 5-8x larger encoded database in memory, but this overhead is from encoding the plaintext in a special format to allow a fast dot product, not from inefficiency in the packing.
it's less about being exclusive and more about getting feedback on the specific features we are focusing on and building at the moment.

For now, people pairing/collaboratively writing Rust is our focus, and we are pulling people in that fit that criteria!
Speaking of monopolies, the makers (or rather buyer) of Maya and 3dsmax is now Autodesk.

They both used to be owned by different companies, and benefited from the competition.

But now they're owned by the same monopolistic giant Autodesk, so they're both entrenched in their captive markets, and have stagnated in comparison to how they used to evolve when there was competition.

Autodesk really hates Blender, and has always spread a lot of FUD about it. For example, Ton has told me that Autodesk's sales people falsely told their customers that Blender's GPL license means that any content you develop in Blender is automatically licensed under the GPL, so you can't use it to make copyrighted artwork, which is bullshit.

There's such a long history of Autodesk spreading FUD about Blender, that when Ton Roosendaal was attacked by a ceiling tile during his talk at the 2014 Blender Conference, he joked that it was Autodesk! ;)

https://www.youtube.com/watch?v=eJwG-qt-sgk
That quick morning coffee might lead to enduring brain changes
Oh yes, definitely. I just wish that NY lawmakers would have more backbone than federal lawmakers. Getting elected to the state government costs significantly less money for a campaign than winning a federal position, state lawmakers should not be as easy to be influenced by large corporations as they have a lot less to lose in comparison to federal lawmakers in terms of future campaign contributions.

Or maybe I'm very naive. I do live in NY, my elected state representatives did not spend a ton to win their seats.
Involvement is key to learning what our users want
> Have you noticed that literally nobody cares about this?

well, it's like saying people left SF because the grass is greener the other side of the country, not because it'll be a nuclear warzone
The Five Most Dreaded Words at the Office: ‘Let’s Start a Google Doc’
That's not what the progressive complain about. But if that is true, the obvious solution is to create more spots.

If the same people wouldn't complain about disparate failure rates, I'd even support making them open enrollment, but weeding people out based on performance. But we all know, people would just claim the classes are racist.
Here's an article with a less positive take on the DA recall: https://www.theguardian.com/us-news/2022/jun/07/san-francisc...
The submitted title ("Cache invalidation might no longer be a hard thing in Computer Science") broke the site guidelines badly. They say:

"Please use the original title, unless it is misleading or linkbait; don't editorialize." - https://news.ycombinator.com/newsguidelines.html

Editorializing the original title to make it more linkbait is going the wrong way down a one-way street. Please don't.

(If you're the author, then please either use the original title or, if it's linkbait, change the HN title to make it less so.)
Yes - we changed it now and I posted https://news.ycombinator.com/item?id=31672562.
I mean, they do highly correlate. It's an inverse correlation. Correlation tracks from -1 to 1.

https://simple.wikipedia.org/wiki/Correlation
I primarily work on my laptop with just one display. When previous employers provided me with machines they always provided 2 or 3 displays, and later one _really huge_ display. I _did_ make use of them, but personally tend to gravitate back to a laptop screen.
It's basically the same thing, just regulated. When you follow the (extremely limit in the US, thankfully at least a bit more complex in other developed countries) rules to give money to a politician for favours it's called lobbying.

You can lobby without money too ( by voicing your opinion), so maybe that's where you see a difference?
How often do developers want to edit the same file, at the same time, and have those updates occur in real-time?

I see this as a compelling feature for something targeting the use cases of, say Google Docs, where multiple people are contributing to an outline document or a business plan at the same time - but for code, I don't quite see the appeal.
Please be aware of the second system effect https://en.wikipedia.org/wiki/Second-system_effect
My very unscientific test (just running the test suite on the Django project I happen to have up at the moment) proved to be very slightly slower with it installed: 11.2s - 11.3s without Pyston, 11.7s - 11.8s with Pyston.
If you’re more inclined to visual and/or musical arts, I’d recommend “Th Haskell School Of Expression” by Paul Hudak. He guides you through the language and the techniques with an eye for concise, expressive code that has good runtime characteristics.
Identifying wasteful spending is expensive and inaccurate. An auditor will produce some number of false negatives (remaining wasteful spending) and false positives (useful spending that was cut). Both of these cannot be zero, and the closer you would like to get to zero, the more expensive the audit will be.

Additionally, the relative value of false negatives and positives, in something with as high a force multiplier as education, seems like it will probably fall on the side of false negatives.
I think he should sell it but open source it enough to allow mods or an engine rewrite. I think capturing his creative output w.r.t. game inclusions could still make him some money.

The game is kinda gimped because he doesn't know how to multithread it.
https://archive.ph/Hf3hS
Ooh Drools plugins, for rule based event-processing. Neat. Hope I can find some examples!

I havent used Airflow, but my impression is this fits a similar role. That itcs built atop good tech like Apache Beam & can use things like Flink is, in my book, a nice win.