skysight-inc/HackerNews huggingface dataset:
Not seeing anything mentioning 3m's improved Fluorinert phase change dielectric coolants?

Fortunately I had the pleasure of using these coolants in high school when I was hired to help build a commercial scale ASIC farm in the midwest - we used about 200 gallons of 3m Novec 7000. Which is insane since that coolant cost around $180/gal even at a steep discount ($36,000 in total). And that's after the shipment arrived with 10% of the bottles "empty" since the container sat in a hot port - coolant simply slipped past gaskets on the glass bottles.
That's ok, just don't complain about not being able to afford a home.
> You might not realise it but this is a classist argument.

I know that. Rugby Union, amateur and posh, Rugby League professional and for the working class.

> What happens when you ban professionalism is that the rich who have time to seriously train get good at sports and the poor are excluded.

What I am against is the spectacle. I loved playing sport back in the day (I am old and bent now, so want opportunities for my children and grandchildren). Fun. Joy. The feeling of giving your all physically.

The spectacle ruins all that. Professional sports people are unhealthy in all other ways than the performance at their sport. What is the point? Selling sugary or alcoholic beverages to people sitting down watching?

I am an old man shouting at the clouds.....
At least in the naming, sure. Everything else, not so much. I had to switch my whole house over to Echos because you can't change the wake word on Google Home. Every time I said, say, "Hey Google, turn the bedroom lamp off", the Home in the bedroom would say ok and turn the lamp off, both phones in the room would activate and complain that they didn't have a device named lamp listed, and every other Home in the house would start talking about how it couldn't hear me clearly. Then you yell "Hey Google, shut the fuck up!" and the blasted things start whining about how they "have feelings too" and I shouldn't be so rude. Few technological problems have made my fingers ache more for a sledgehammer.
Clearly that's not where all of the jobs are. Obviously, those people work. And with remote/WFH so prevalent, there really isn't much excuse.
Develop AAA games, build a Disney metaverse with Mickey Mouse, lightsabers and Captain America, stuff like that ....
This is an ongoing serious by Andrej Karpathy called Neural Networks from Zero to Hero: https://www.youtube.com/playlist?list=PLAqhIrjkxbuWI23v9cThs...
I don't know about the "political" part, but as a parent to young kids, I'm a bit frustrated that they mix up the age ratings throughout the Marvel franchise.

Eternals has a scene with two characters having sex on a beach. Spider Man Homecoming has a gag where Ned says he's watching porn on his laptop. In She Hulk, a key plot point is she's filmed having sex and the video is then broadcast.

If they want to make Marvel for teens and older, then by all means. But they clearly market the franchise to the under-10 crowd, and the content above was not subtle. It wasn't written to go over the little ones' heads... it's in their face.
I've always had this belief, it's not hard...

Inhaling burning plant matter is bad for you. Who knew?
Deliberate weird behaviour around nulls. In particular you can't have Some(null), which means you can't really use it to solve the problems it's meant to solve - one of the key motivating examples for why you want optionals is that if Map.get(x) returns null, you don't know if that means there's no mapping for x in the map, or there's an entry with key x and value null. So the idea would be to add Map.safeGet or some such which returns Option<V>, and then if it returns None there's really no mapping, and if it returns Some(null) then there's a mapping with value null. But you can't do that in Java because in the standardisation process they decided they... didn't want to allow it.
Or the awesome band.
> Finally and most fundamentally, a land registry is by nature a centralized registry of holdings with a legal monopoly. Why on earth would you need to use a blockchain here, when an append-only database does the same job?

Records within an append-only database running on a central server can be altered or deleted by whomever has the root password to that server.

The only way to guard against that risk is to replicate and publicize the data, make sure all data modifications are cryptographically signed and valid according the logic of the application, and incorporate into each new version of the data a hash of prior versions of the data, in order to guard against data deletions. In other words, to implement a blockchain.

> The hard part, you see, is defending their property rights. Local bigwig casually stomps on their land, now they need to convince the corruptible police to investigate (good luck with that when they're on the bigwig's payroll), find a lawyer willing to take this on (in exchange for what?), get the corruptible land rights registry to verify their claim, get a corruptible judge to give a true verdict, and then convince that corruptible police to carry out the verdict. If you're a poor subsistence farmer, it's nearly impossible to navigate this morass, and blockchain solves precisely zero of these problems.

You have described a horribly corrupt and oppressive society. It's not what most of the developing world looks like. You are right that there is unlikely to be a technical solution to this level of oppression, except that it would be harder to implement in the first place in a society where property records were managed via a blockchain.
That's not the full story, certificate transparency logs (and many other applications) achieve that without using a blockchain.
I hate it when TV shows, reality or drama have people do this, especially in normal circumstances/ normal people (obviously a serial killer or other criminal, it is kind of weird if they were super concerned about road safety).
We should totally have nice things. I hundred percent agree. But I have this nightmare that one day a cloud provider goes bankrupt because they can't understand why half their fleet won't boot. And as the go through the entire process, from the initial PXE boot to the full boot and so on, there are just too many ways things can break. They fix one 'issue' only to realize it wasn't the issue. Then the next, issue, and so on, but not coming up for days.

And the issue might even be completely out of their control in the proprietary, CPU vendor supplied blob, or the network OEM supplied blob, or the storage supplied blob, or the TPM blob, or the way they rolled certs (because everyone screws that up at some point), etc. etc. And the complexity isn't essential. It's a byproduct of short-term choices, compromises, lowest common denominator thinking, and a lack of risk taking on new approaches to the problem. This leads to systems we cannot reason over. Companies like 0xide computer are taking a stab at these kinds of problems.
Didn't this used to be a banking outfit that PayPal bought?
it's more than 6x the bandwidth of practical network speeds today.
Slack has it now.
I was diagnosed at 22, ironically after I graduated from college after struggling to study effectively and fortunately by complete willpower and energy drinks managed to have decent grades.

Get a recommendation for a neuropsych and get a diagnosis. People here love to objectify and hate on anyone using stimulants. A 5mg dose of stimulants daily has quite literally changed my life. You don't have to live wondering what you could've been cognitively capable of.
> I play mixed volleyball with friends and it is great.

There are "touch rugby" leagues here. Some get competitive and a bit yuck, but others are done for fun. Smoking dope, drinking beer.

My favourite used to be hacky sacky. When we played it we scored as a group (a "hack" when everybody in the group got to kick the sack). Pure fun.
What languages? I might have used some of your code lol
As it deserved. Someone shared it on my timeline earlier, it's one of the cringiest tweets I've seen in a long time.

I have no skin in the crypto game btw, so I'm not reacting to that. It's just that someone who claims to be a financial expert should know better than to make this kind of statement.
But this isn't a budgetary issue, it's a compliance issue which is why they are paying for it. What's your point?
> But the Eth folk managed to get proof-of-stake to work at scale; good on ’em.
That’s a bit charitable IMO. It works with at least two major caveats:

1. You can’t unstake staked ETH. (This seems to have all manner of strange effects.). Fixing this is apparently a big deal, and, if nothing else, could enable attacks in which one unstakes and then uses knowledge of old staked private keys to attack other parties.

2. It hasn’t actually been that long, and the major validators likely have a strong interest in making Ethereum work well. Just working at scale does not mean it’s secure at scale.
99% of the time the problem is the owner in my experience. I don't like dogs near me, but I've rarely felt like the dog was the problem, it's selfish people who don't keep their dog properly leashed, close to them, and away from other people. Dogs shouldn't be on public transportation primarily because enough dog owners have shown they are unable to respect other people.
You need to read The Gray Lady Winked. This isn’t something new for the NYT. This is par the course for the last hundred years
> fairly diverse

You and I must have lived in two very different cities in California. The Bay Area, at least, is one of the least diverse cities I have ever experienced, when it comes to jobs and hobbies/culture.
Kotlin is such a lovely language, and I really like that it was made by JetBrains because that means I can count on a top notch IDE/development experience.
> […] compliance […].

This is the crux of the matter. In a prevailing number of cases, when people ask about a blockchain, they actually want a ledger database with the following properties:

– an immutable, tamper proof, append-only transaction log;

– cryptographically verifiable datasets;

– certification and/or compliance validation by externally accredited auditing bodies for SOC, PCI-DSS, ISO, HIPPA etc.

Use cases for ledger databases go beyond finance, and have been becoming a commonplace in health, education, supply change and inventory management, archive record management and similar. Anywhere, where compliance, strict record keeping and/or audit requirements are in place, the ledger databases provide the answer. AWS has QLDB, and Azure will soon have the Azure SQL Ledger Database (built on top of their SQL Server product).

Fully fledged blockchains are not required in most cases.
This core issue is one that surrounds a lot of investments/companies: A lot of "smart people" like (or hate) this, so if I question it, they will think I'm dumb or not with the "in crowd." Basically, every financial scandal you can think of in the past 30 years had the press absolutely excited about it and pumping it. Enron, Maddoff, FTX, Theranos, WorldCom, Tyco, etc. One problem I've encountered is that a lot of people in the press are not trained in the field they are reporting on. So, they actually have no idea if you're blowing smoke.

I worked with a newspaper and major publisher earlier in life and was shocked at how ignorant people that we read every day are on the very topics they are reporting on. Not to mention the abuse of alcohol and drugs that happens in the newsroom, which was baffling. The media does a lot better when it is looking at events and reporting on that rather than trying to derive some narrative or to get a scoop, especially when it involves business or government fluff. It doesn't help that a lot of journalists have what feels like a need for validation, but at the same time have big egos. All of these big scam artists know that and feed them.
HN readers will get quite cross with you if you recommend clientside rendering.
Well, there's Zoho's office suite:

https://workplace.zoho.com
> Or, you know, stop continuing to cause damage

Note that the article said "and reverse" the damage. You even quoted it!

If you get a patient with a bullet wound, the first step is indeed to stop the guy next to him from shooting him again and again. 100% agree. But after you've done that it's time to stop the bleeding, dig out the bullet(s), stop infection, etc.

Cutting CO2 emissions is "stopping shooting the patient". Super important and the firs step to be sure! But not nearly enough. Not even by a long shot (pun intended).
> . If people enjoy watching the best of the best play we should likely support that.

Really? Why?

Given the distortions it creates in the economy, the terrible effects on the player's health, the deleterious effects of sitting watching eating potato chips and drinking beer... Why?

I agree that at its best professional sport is a glorious spectacle. But throwing people to lions would be too, and less hypocritical.
Inheritance and polymorphism: https://okmij.org/ftp/Scheme/oop-in-fp.txt

The link at the bottom is dead, but here's the same file at his current site: https://okmij.org/ftp/Scheme/pure-oo-system.scm

You can reproduce these with closures, though you'll need more plumbing since it's not built into the language.
We can modify the code at a few different levels. The easiest level is our untyped intermediate representation. The next easiest level is to modify things at the level of the LLVM code which is basically one step above assembler, and almost always better to work on than direct machine code (also machine code can be embedded in LLVM code if you need to). You can also use https://github.com/YingboMa/AsmMacro.jl if you like.

We are also working out interfaces to make it easier to programatically work on our typed IR through a technique and set of interfaces known as "abstract interpretation".
Build a spaceship and leave this planet for Mars.
Not to be confused with the "brown note":

https://en.wikipedia.org/wiki/Brown_note
lofi hip hop seems to work pretty well, but there usually are three stages:

- I don't get into the groove despite the music

- Something clicks and I get into the groove

- I'm so deeply in the groove that even lofi hip hop bothers me, so I turn it off and go ham

Also I find it funny that lofi hip hop has an alternate title of "beats to relax/study to"--I used to listen to it while studying in college, but now I use it for working on personal projects or at work.
>REST APIs also fail at this insofar as you need to wait for a whole request to complete before you get a response

This isn't a restriction from REST. Nothing stops you from implementing an API that starts responding before your request is finished.
Strong Booleans
The government would have to cede control of transfers, which good luck with that. If you require the government to sign the transaction you now effectively have a permissioned database which doesn't require a blockchain to implement.
I mean you could do the same thing with the abstract ideas of post-marginal revolution economics and its adherents and get a positive result so the test is obviously wrong.
Hyperledger is one such project: https://www.hyperledger.org/ (mostly the marketing fluff) and https://github.com/hyperledger/fabric
I strongly disagree with this opinion, even though it is sadly common.

Go speak to an adult with ADHD, listen to them and find out the real pain and anguish experienced by someone with ADHD. Many people desperately want to do well in school, have a career and successful relationships but are held back by their disorder. Instead, they experience joblessness, poor human relationships and unfulfilled dreams. People with diagnoses in later life experience genuine grief. The medication and counseling can help a lot, but it can't fix a divorce 10 years ago or getting fired repeatedly. The damage is done.
Recent twitter story would make great comedy someday.
In terms of annual revenue, Disney has $83B against $29B for Paramount Global, $30B for Netflix, and $13B for Warner Bros Discovery. So Disney's debt is 0.6x revenue while Warner Bros Discovery's debt is 3.7x revenue. If Disney's debt is a problem, WBD is drowning.

What did Comcast get other than the 39% of Sky that Fox owned? The Fox Sports RSN went to Sinclair.

I can appreciate the issues around debt, but Disney also acquired a huge amount of IP and market control in entertainment in the deal. They've left the Fox broadcast networks without a TV studio for their content (and first-run is becoming less important in the era of streaming). They've gotten so many of the most important IP franchises out there. They've become by far the largest movie studio. In an era where entertainment is becoming vertically integrated from creation to streaming, it seems like Disney has locked down so much of the future.

We see how others are struggling. Paramount is trying to make the most of Star Trek and is the smallest major movie studio. Warner Bros Discovery is an also-ran with HBO Max - and having trouble figuring out the way forward with HBO Max/Discovery+/(the canceled) CNN+. WBD is also struggling with many of their franchises fizzling out: the Harry Potter/Fantastic Beasts universe is mired by JK Rowling's problematic politics and Ezra Miller's many issues; they seem to be having trouble getting their DC properties to perform how they'd like having canceled Batgirl when it was almost finished and talking about refocusing the franchise. Sony is an independent studio, but lacks the integrated platform that the other 4 have. Comcast/NBCUniversal is still trying to figure out what Peacock is and having trouble even attracting free users.

Iger talked about making the call to buy the IP needed to really create a vertically integrated company that would be able to support a streaming service without licensing lots of outside content. It started with Pixar, Lucasfilm, and Marvel who gave Disney a huge amount of content and talent. Fox was expensive, but also gave Disney the rest of the Marvel universe (except Spiderman) along with so much more content and a huge amount of control of the box office and TV. Disney is in a very strong position relative to their competitors. I think Disney is going to look pretty good in a decade. The economies of scale of running a large streaming service seem likely to help Disney a lot (having many more customers paying for the same content and allowing you to afford more of it). That's not to say Paramount, WBD, and others can't compete, but it does seem like Disney owns so much more which lets them offer more and secures their position. People got Netflix because it offered more and it's hard to see how Paramount or WBD or NBCUniversal could offer as much as Disney could. Now, Disney will try and figure out what the minimum it can offer while keeping users is, but they have such a depth of content that it puts them in the driver's seat a bit.
Clicks on name: Karma >900.

Moment of destiny
Stripe.js should include an invisible captcha by default. You effectively need to have that built into any payment form you create; someone must pass the captcha before generating a Stripe token. That's the only way to slow down a card-testing scheme.
A few months ago I did try a LinkedIn search but their profile hadn't updated with new activity.
Calculus (1914)
I know someone whose major in college was abbreviated as Isys (information systems). Not anymore.
I think family mechanics and accountants do get asked for help. Plumbers maybe a little less.

I think there's an accurate perception that IT work is generally air-conditioned and doesn't involve physical danger or sewage, so it's not as big of a deal to ask for help.
> That said, of all industries, it feels like the practical difficulties of reducing that footprint are enormously more difficult than other industries.

Only if we assume that we need to maintain or increase the level of air travel. The number of air travel passengers in 2019 (before the pandemic) was around 3.5X as many as it was in the early 1990s. That wasn't that long ago, and people managed just fine with fewer vacations abroad etc. It's easy to look at what we do today and take for granted that it's whats normal and no change is possible, but we consume the resources of 1.8 earths, so clearly we're living above our means. And since millions of people are currently on their way out of poverty and towards the same lifestyle as we as westerners are enjoying, this overconsumption of the planet's resources will get worse if nothing changes.

https://www.icao.int/Newsroom/Pages/2021-global-air-passenge...
Nice guitar work man.
Agree, the real wake up for me was when I wasn't just able to focus at work, but felt calm on my drive home, didn't feel anxious while sitting and talking over dinner, etc.. My initial goal was to leverage the racy, focused energy of stimulants to get work done, but I ended up most enjoying feeling calm and present hours after that part has faded.
wtf? the Kia thing is so left field from cars that I thought this was some other company using that name along with the car company, but I saw the logo and realized it's the same shit.

What's going on?
Common Lisp HyperSpec: http://www.lispworks.com/documentation/HyperSpec/Front/index...
But that's not even true. You can always get people's money and turn them into some tokens. You can run whatever code you want to manipulate those tokens, then at the end of each day you tell them their new balance of tokens. The whole proof-of-work, decentralization, ledger, ... are in no way necessary steps in this.

As long as you go through creepy, deregulated, fallible exchanges to obtain/trade/redeem those tokens, you are not permissionless or cryptographically secure or free from gate-keepers or anything of the sort.
The bigger problem: people being allergic to dogs is quite common (above 10% of the population, I believe). I’m a dog lover and have 2 pooches that are my life, yet I am always baffled by people that feel they need to make everyone else deal with the pet they love.
I think this strategy - the milking of every single possible dollar out of the parks, and the grow at all cost Strategy of Disney+ are pretty much at an end. the surveys coming out of Disney the last year have gotten more and more desperate as Disney tries to understand why things like the Star Wars hotel and the elimination of fast pass and magical express are deeply unpopular. Disney’s managed to piss off an incredible number of clients on both sides of the isle in Florida - their biggest state for Disney World. Managed to alienate people who were reliable ticket holders with the constant nickle and diming at the same time as Universal is pouring money into their parks and threatening Disney’s Orlando dominance. Disney Managed to charge more for a bit for their premium products even while they have been horribly maintained. A YouTuber recently had an unbelievable video on the state of cleanliness at one of Disney’s most expensive resorts. This kind of short term gain long-term cost is a sickness in American business strangely. Disney in particular seems to go into these patterns. Michael Eisner fell into the same trap before Bob Iger replaced him.

The good news for iger is that the bar is set low. He could bring back fast pass or the magical express and roll back some of the planned costs increases and the fans will love them for it.

Disney does also risk the Netflix too much crap not enough content problem as well. Marvel has lost its cultural relevance for some of its core audience with the end of the infinity war saga. Everything since it’s been a mess.

As a sidenote, Disney just bought the biggest cruise ship ever built for the Asian market. I suspect interesting things are afoot there.
Nah, I am glad it ended.

Some characters were well written, others were pretty much a excuse for racism.