skysight-inc/HackerNews huggingface dataset:
The server demand doesn't depend on how many servers you have. If your demand is D, you have X servers, and you need to decommission Y due to age, you'll have to buy D - X + Y. If Y gets smaller, you buy fewer.
I don't personally have a use for this or the ability to pay for it, but I think this is a very valuable service, at least if you can demonstrate that you can do it repeatably for different kinds of code bases and different kinds of specified behaviors.

Obviously, given Rice's Theorem, you can't do it "repeatably" for any arbitrary problem that a customer gives you, or else you would have to be omniscient with respect to all of mathematics... but "can probably verify behaviors that are similar to those that have been able to be verified before, in code bases that are similar to those where behaviors have been formally proven in the past" is still good!
The music industry set up a way for anyone who wanted their content to get it without their permission, as long as they paid for it, and they did that back in the 50s when radio was their main method of distribution. It was too hard to make deals with every radio station, especially since they were mostly independent.

So the music streamers were able to leverage that and extend the deal.

If movies had a similar licensing model, you'd see a ton of "Netflix"'s who were all licensing the same content and competing on user experience. Like the music streamers.

Although it should be noted that the music streamers are now moving towards the exclusivity model, where the big ones are making exclusive deals to keep that music off of any other platform.
How would one go about exploring “other” real-world systems? I’ve read some old OS textbooks, poked at Symbian and OS/2 books some, and have texts on Oberon and Symbolics in my queue, but the docs for RSX-11 and VMS seem to bury me in operational minutiae without really explaining the design choices, and the Multics docs look like a huge pile of research notes, which is going a bit too far in the other direction. The current bytecode on IBM i is apparentily outright NDA’d, and the RPG docs are eager to presume I know how to operate the original punch-card tabulators. Any pointers?
Case history and law are very clear about how the first amendment can be violated by even subtle pressure from the government.

I recommend reading judge Doughty's decision [1]. It's a long read, but well worth your time.

[1] https://storage.courtlistener.com/recap/gov.uscourts.lawd.18...
I don't think calls for "formal censure" and attacks on an individuals livelihood are the same as "criticism" or "negative comments." I think the effort to normalize the two being viewed negatively is entirely understandable.
Netflix can do that because they pay as well as sports teams do.

If you offer me a typical tech job at 1/20th of what a netflix engineer makes, don't expect me to perform like Michael Jordan.

Sports team dedicate their entire life to performance. 80 hour weeks are nothing to them. Their diet, sleep, and personal lives are part of their jobs. I don't want a typical tech shop to have that sort of control over me unless they are paying me serious money.

------

All that aside, modern Netflix is not what Reed Hastings describes. There are tons of tenured benchwarmers lounging around.

It reminds me of Amazon's "bar raiser" requirement. That a new hire has to be better than 50% of the interviewers. The idea that Amazon engineers are the top is laughable to anyone in the space these days. Only the desperate work for Amazon.
Seems pretty clear from the article that the expectations for professors was that they had to adhere, not to a general "don't be racist" code of conduct, but instead to a specific ideologies ("that reflect DEIA and anti-racist principles"). I think it is reasonable to describe those ideologies as "progressive" (at least in the sense that they are promoted and promulgated almost exclusively by people who would describe themselves as progressive)...
Every investigation of a professor, which fails to result in any official disciplinary action, should be equally condemned? How are universities supposed to investigate allegations then? Allegations are made all the time without administrations making the allegations public. They routinely take "protective" actions like limiting professors' non-critical duties during investigations. Do you condemn all those actions, too?

This is not a criminal investigation. Organizations, even public ones, have wide latitude in how they handle internal investigations as long as they're not making overt public accusations before verifying them.

I'm not saying these kinds of investigations are good. The investigation itself is a punishment. However, administrations have a lot of discretion in future actions, discretion which they can exercise against a professor, without recourse, even when there's no policy violation to cite and punish them for. It's impossible to avoid unofficial punishments, and a punishing investigation process is just another one of those.

I'm also not saying that suspension was a reasonable action to take during this investigation. It sounds extreme for any investigation of comments made by a professor. But I don't know what the allegation was and nobody else is saying what it was. The fact that nobody else is willing to remember on the record what the professor might have said doesn't mean she didn't say anything worth investigating.
Not sure what you mean by this - regardless of whether you agree with antiracism or progressivism- if you take them at face value, ie “progressivism” = reforming society to improve the average human condition, and “antiracism” = reforming society to be less racist, they seem fairly aligned, no?

Also I suspect that the venn diagram of politicians who self-identify as anti-racist, vs politicians who self-identify as progressive is something very close to a circle.

The binary nature of antiracism - if you’re not in agreement with antiracism you’re a racist - is not something I would associate with a middle of the road politician.
Sign me up, I'd like to be one of the biped critters with giant mouths on their stomachs. Short pipeline, very efficient.
> Ask HN: Are You Using Wayland?

No. Why would i ? I run X clients.
Oh wow. The Amstrad 6128 was my first machine (1985). Looking forward to watching this!
Could have stopped at "Is Elon planning?" based on what Yaccarino said about "...X will connect us all in ways we’re just beginning to imagine." she found out about X indirectly and there is no plan.
People make mistakes and economic conditions change...
Canada is more in line with US for taxes. In Europe, even middle class people pay 40-50% tax.
I must be misunderstanding what you are looking for, because my understanding of your wish for “lower energy costs in high cost places” sounds the same to me as wishing for everyone to be rich, nobody to be hungry, or for every child to have a pony.
yes, likely even milder than that due to being also an island

but it's complicated, many other ocean currents exist and affect weather and wont stop

and basically only the overturning part of the AMOC is at risk of stopping, which means e.g. the gulf stream won't stop, but will likely become a bit colder and maybe a bit slower too
Weren't most of the layoffs in big tech done to shed positions related to recruiting or kill off floundering projects in R&D? If so, revenue is the wrong number to be looking at.
Zaporizhzhia: Unit 4 in hot shutdown, IAEA reports mines
> the use of lead would restrict the use cases

Most people aren't licking the insides of their computer processors, fusion reactors, radio telescopes and MRIs.
> fairly heavily

Not being in sciences I can’t tell if this sentence is legit or you just got a good joke in there
I bailed as soon as it presented me with a prompt to create an account. lol
Most programs claim to support Unicode but they actually don't. They either miscount string lengths (you type a CJK character or an emoji in, string appears shorter than what the program thinks), separate them improperly or many other things. It doesn't help that by default, most programming languages also handle unicode poorly, with the default APIs producing wrong results.

I'd take "we don't do unicode at all" or "we only support BMP" or "we don't support composite characters" any day over pretend-support (but then inevitably breaking when the program wasn't tested with anything non-ASCII)

(ninjaedit: to see how prevalent it is, even gigantic message apps such as discord make this mistake. There are users on discord who you can't add as friends because the friend input field is limited to 32.... something - probably bytes, yet elsewhere the program allows the name to be taken. This is easy to do with combining characters)
Global electric grids aren't on a common standard. They're not all the same frequency or voltage, so you can't just wire them together. And changing over would be a mess. MRIs require very high field strength that this superconductor likely cannot sustain.
I wonder where the money was going to come from to purchase this island for all these altruists? Gee, let me guess…
I must confess, i never read the original book/paper, just about it from various sources. I was under the impression that in "proper" TDD you always try and write the test first; so as not to taint your tests with un-necessary implementation details

In my steps above, i was switching the order in between 3 and 4. Adding logic to "thing" first and then updating the test to match; mocking and patching my way across. So implementation first and tests later. Lazy TDD as another commenter mentioned.
What are you planning to do about bootlegging/organized crime?

Maybe we could slap a large national tax on heroin addicts while we're at it.

Show up in the ER and test positive for heroin or fentanyl? Hey, you owe $10-20-50,000 more to the IRS at the end of the year.
I don’t think you appreciate how completely a proper burnout can stop you in your tracks.

It’s like telling a tennis player to keep playing a few more matches after breaking an arm in an accident. Tough up kid! It’s a hard world out there.
It's not unheard of. [1]

https://www.nature.com/articles/d41586-023-02401-2
But if it's the stock holders that are suing the company, and they are receiving compensation from the lawsuit based on the size of their holdings, it's a cash payment from the company to the holders, which is exactly what a dividend is.
GCP has a smaller number of services but they tend to be very well designed with excellent taste.

AWS has a bazillion services, often very obviously designed by people without good taste and/or experience.

GCP's incompleteness is super annoying. The general daftness of AWS service design is tiring and somewhat soul-sucking.

I used to think that Google would eventually get there, but lately I've realized that they are totally happy offering an 80% product forever. So for now I'm very reluctantly team AWS.
Yeah, I bailed as soon as I got the prompt. No way Hose-A.
Texas cherishes freedom of expression so highly that only right-thinking people are allowed to have it.
How does a /state/ prosecutor have the ability to interfere with the prosecutorial budgets for a /federal/ indictment?
They could only cause problems solvable by more superconducting railguns, so they're a net zero at worst.
The new X button doesn't close the website
> Again, censorship requests aren't a First Amendment violation

That's probably not true. Volumes of case law support that even subtle pressure from the government to influence speech is a first amendment violation.
> Why is smoking different to you [?]

He doesn't smoke.
The strike is about more than actors. Anyone whose role could be impacted by AI either by direct replacement or more work should be paying attention to the result of this strike and how the show biz reacts to it.
Graphene is being used in high performance batteries for RC use (https://hobbyking.com/en_us/turnigy-graphene-lipo-batteries....). They can put out a good bit more current than a regular lipo, I don't know the science behind it though.
"Anti-racist rhetoric" is a very recent ideological phenomenon that is not yet proven to be effective solution for past and present racial injustice. It is possible for it to be flawed, prone to be implemented badly, or self-defeating and thus worthy of critique without being fired from academia (as in parent comment's example of California, or in Bret Weinstein's case).

It is also commonly defended and advanced by progressives. So it seems appropriate to categorize it as progressive.

Naming is not the be-all-end-all. If you think about the nomenclature of the Democratic People's Republic of Korea, is opposition to that country equivalent to "telling on yourself" as being against Democracy, Republics, Korea, or popular rule?
You could also build power transformers that are more efficient. Transformers can be up to 95-98% efficient when running at their ideal power levels, but those numbers fall off when they are operating outside of that range. So you're probably looking at an almost 10% reduction of power usage by electronic equipment even before you get to making superconducting integrated circuits.
>If this were true, I would’ve expected to see it on the front page of the New York Times

Welcome to the information age my friend! Where you can know things before the gatekeepers do.
Fahrenheit one would hope ...
Inflation doesn't jump from 9% to 3% overnight but goes down day-by-day. It is only at 3% now, so it spent the majority of the last year at >6%. And Google makes 55% of its revenue from outside the US, so it makes sense to consider global inflation in the calculation not just US.
Thank you!

Trust is one of the biggest issues we're trying to solve. This motivated the tSNE plots and similarity scores under 'Investigate Results', but we definitely have a long way to go. Generally speaking, survey practitioners trust us more than their clients (perhaps not surprising)
Note there is no nuclear difference between “hot shutdowns and “cold shutdown”, in either case the heat comes from beta decay of fission products and there is no chain reaction. What is different is that heat is being removed at a higher rate during “cold shutdown” to maintain a lower temperature, if you remove less heat you can get it out at a higher temperature.
This would be really neat today if there were different bars in different places all linked together like this.

No ?, just a really neat concept
> need a furnace that can hold a vacuum

Here you go: https://www.youtube.com/watch?v=icniCydn_kE
This, or cryptographic signing (like what the C2PA suggests) of all real digital media on the Earth are the only ways to maintain consensus reality (https://en.wikipedia.org/wiki/Consensus_reality) in a post-AI world.

I personally would want to live in Aaronson's world, and not the world where a centralized authority controls the definition of reality.
It's just a silly meme used when making a silly argument
https://knowyourmeme.com/memes/checkmate-atheists
Its not a dirty secret, but just like the rules on chemicals under the organic certification, if you can show that there's no way to do what you want to do with lead-free, you can get an exemption. I suspect that "significantly lowers the cost of power generation" would outweigh "contains lead".
For the benefits of superconduction, I imagine RoHS exemptions would be made.
It definitely won’t let me progress past the login screen on iOS without first creating an account on a Mac. Seems like an odd UX decision.
> There isn't really any positive associated with smoking

It is a highly effective antidepressant for many people.
Sometimes we do not look though our eyes, but though lenses of somebody else. Although right wing conspiracy theorists exist, also left wing theorists exist. We should not sat that skepticism is muddied by anybody, because it is muddied by they media that presents their view on they world, which Has muddied our skepticism.
I prefer the first one. If your theory is true that means theres a greater enteligence, a greater plane of being. This is not good.
That's why it was listed under "other direction". Also, if you read the recent paper, it actually identifies Myanmar as the approximate origin.
Lead is used everywhere. Not in paint anymore but you can buy lead weights at hardware stores. Don't grind it up and put it in your muni water supply, but it's a household substance that is harmful if ingested, like many others.
The parent comment is a bit hyperbolic and under-informed, so let me try to provide some color on the Unicomp brand.

I own a half-dozen Unicomp keyboards, have used original IBM Model Ms, Model Fs, and has a pair of the Model F Labs F77s, so I have some familiarity with buckling spring boards.

Unicomp's manufacturing equipment came by way of Lexmark and the quality suffered as the tooling aged. They replaced their tooling in 2020 when the shipped the New Model M. Fit and finish is much improved since then.

From Wikipedia:

"Unicomp continued to use the original IBM machinery to produce Model Ms, leading to a gradual decline in quality as the tooling became worn. This, and various problems with their USB controllers helped keep a market for vintage Model Ms thriving. In 2020 Unicomp replaced its tooling and shipped a "New Model M" with noticeably improved build quality that more closely resembles the classic 1391401 (though with a 104- or 103-key layout and USB); many older variants are no longer sold on Unicomp's website and some still on sale have been deprecated."

There are a few issues with the Unicomp boards:

1. Thinner plastic cases and a lighter backplate. The case was improved with the new tooling, but the backplate still changed the feel compared to the originals.
2. Plastic rivets breaking. The board itself is sandwiched and held together with plastic rivets. These rivets will eventually start failing, which leads to key detection issues or complete board failure. They have to be bolt modded to fix this.
3. Non-customizable USB controller. Programmability has become expected with mechanical keyboards and other than Unicomp themselves flashing a layout at the factory there's nothing here.

Customer service from the company has always been excellent, in my experience, but it's definitely a firm that gives the impression of trying to keep the lights on for 30 years and just barely making the margins pencil out (thus paying for return shipping).

Some people really love buckling springs. Unicomp makes a decent board that gets you that for a price less than $500, but if buckling spring isn't your terminal value in a keyboard, consider one of the dozens of excellent mechanical keyboards out there with modular key switches.
Pouring Ice into Concrete: Builders Adapt to Extreme Heat
It's more about producing toxic waste and contaminating the environment - no one's licking the solder joints in their electronics either, but you still have to use lead-free solder.

For instance in EU, https://eur-lex.europa.eu/legal-content/EN/TXT/?uri=CELEX%3A...

Canada, https://www.canada.ca/en/health-canada/services/environmenta...

USA, https://www.epa.gov/lead/learn-about-lead
So you have any idea how small the defense budget is compared to social programs (let alone their sum) like the ones discussed in this thread? The numbers are all public, just look them up.

The US doesn’t spend a particularly interesting percentage of their GDP on defense budget at a global scale.
https://archive.ph/EYFG8
The main issue with SQL is that you are stuck in a very strict way of writing things, which does not clearly match to how I think. The top-down way of writing PRQL where each step is simply a transformation of the previous one makes way more sense to me. SQL is something I'd need a reference manual for, PRQL is simply writing down what I want the query to do.

I do agree that PRQL's join syntax is extremely bad, though. They should've stuck to explicit "left join"-like keywords, and the alias & join column shorthand could be done better.
VRChat is the closest you can get to "Ready Player One"
I live in the terminal and recently found https://github.com/maaslalani/invoice, which looks really cool. Still will likely stick with my own solution (a little ruby and some tectonic latex [https://tectonic-typesetting.github.io/en-US/]), which lets me create PDFs more in-line with my aesthetic.
So I'm already at the point where if I go to a website and that stupid Cloudflare "securing your connection" dialog pops up, I just click away. Fuck Cloudflare and their walled-garden horse.

If Google does this too then I guess the "mainstream" web will become invisible to me. No great loss since it's mostly thoroughly enshittified anyway.

I'm happy to move to the new un-googled "darkweb" where freedom, anonymity, and non-SEO content still prevail.
The Mathematica Journal is no longer accepting submissions
I’m frankly surprised Judea Pearl’s name didn’t come up in this article, they love waving him around at times like this.
The Bolt isn't a light car, it's the same weight as the larger Tesla Model 3.
My New Startup Checklist
That's what all the C engineers told me about manual memory management.

Of course, there are cases where they were right.
I read the post in Mastodon with a tone of amused incredulity at the unusual situation. Yes, some unusual habits of the professor may have contributed, but I don't read any negative judgement there.

Somebody got burned too many times with IT people, I think.
> could only cause problems solvable by more superconducting railguns

If the projectile is ferromagnetic, or potentially even just diamagnetic, a defense system involving shaped ultra-high intensity magnetic fields becomes conceivable.
Please don't start gender flamewars on HN. This thread was ugly enough already.

https://news.ycombinator.com/newsguidelines.html
We care more about protecting capital than people.
The easiest way I found was to use GPT4All. Just download and install, grab GGML version of Llama 2, copy to the models directory in the installation folder. Fire up GPT4All and run.
"family" is going to mean something different to everyone. It could be positive or negative.

The hackernews galaxy brains trying to define a company based on one word in a mission statement is every bit as foolish as the recruiter who describes their culture as 'family'.
If your underlying problem doesn't go away but your coping method does, you usually just find a new coping method.

It's almost like poor people live miserable lives and flock to anything that can provide even a minor amount of pleasure
Build more american LNG generators
I use it daily. It feels like Safari, but with Chrome or Firefox extensions and a decent ad blocker. My only nit to pick is it doesn't integrate with the system passwords, but I moved to Bitwarden a few months ago and that works perfectly. It supports PWAs and nearly no-chrome windows which has been great for a few web apps I use.
I've read the injunction. It's not very good.

It's since been stayed; https://www.politico.com/news/2023/07/14/social-media-injunc....
In the paper, they sealed the material in a quartz ampuole under vacuum.

I wouldn't call it an easy process, but it's achievable without highly specialized equipment. Just a torch and a vacuum pump.
ProtoWeb – Surf the web like it's 1995
How do tech workers in Texas cities like Austin feel about being under that?
The $6.99/mo Netflix plan is with ads. The comparable YouTube plan is $0/mo.

The comparble Netflix plan to YT premium is $15.49/mo.
I downloaded it to try for myself on iOS, but the app requires that you first create an account on a Mac before you can use it on iOS.
Workin’ for the Man
Is there a name for this joke format?

I think it descends from a line about labor in the USSR: "We pretend to work, and they pretend to pay us." Tony Judt in "Thinking the Twentieth Century" had a line about Moscow needing its satellite states to avoid loudly or conspicuously disagreeing with party ideology even if in practice they were able to diverge. "You pretend to believe and we'll pretend to believe you."