skysight-inc/HackerNews huggingface dataset:
Rosetta 2 could serve as a crutch for developers that don't want to expend the time and effort updating their apps to native ARM compiles. As such, those apps will perform more poorly than they would otherwise. Of course, that needs to be balanced against the potential lack of that app entirely if Rosetta 2 is removed. Looking back, Apple seems to lean towards the more harsh scenario. I am guessing it will be removed some time distant in the future.
I find that portions are generally bigger in the US. Especially if you're not in California easy to eat the same stuff but just have a bigger plate.
"Free Speech (tm)" is what you appear to be arguing against. If I had to guess, you envision people who are vocal about free speech as holding views you disagree with. Whereas as a moral/ethical principle, you cannot have a Wikipedia without the free exchange of ideas - whether it's fact or opinion.
More like lazy programmers want everyone to change basic timekeeping practices just so they don't have to fix their code.
I also make music, and have found the Fediverse to be a far more welcoming and varied place than commercial social media. Sure, I'm only getting maybe hundreds of impressions - but that's better than the dozens I got organically (without paying) on Twitter. I'm not making a living from my music - but from your profile it looks like you're not either.

Of course a site that enables making money "in simple and direct ways" would be a hit - but I'd suggest that what you're missing isn't a site but a time. Early social media was part of the general gold rush of commercializing the net - a lot of easy money was bubbling about. The Fediverse doesn't really have that gold rush, but neither will Twitter 2.0 - it'd require a paradigm shift (like the Metaverse - which I'm not particularly bullish on, but it's a possibility) for fresh investment at scale.

Anyway, depending on your creative goals, I encourage you to still check out the Fediverse. It won't be simple and direct, but (if you're not already popular / willing to pay for ads) you'll probably get more genuine listens and engagement than you will from commercial alternatives.
Veganism is a moral philosophy, so it really _only_ makes sense to use that term when referring to people. "Vegan" food is short-hand for "plant-based" food. Food does not subscribe to moral ideals, only people do. It's unfortunate that the difference between those terms has been so muddied with time, but it's an important distinction.
SBF's admissions come off as kind of "lol yeah," like a dumb junior high prank or something, and they just keep finding new things. I am expecting an accusation like "Is it true that you smuggled a bunch of crypto wallets across the border, on thumb drives inside of the abdomen of a dead infant?"

SBF: o haha
SBF: yeah that
SBF: so many border searches
SBF: but good ventriloquists will do anything for money
SBF: crying baby sure
SBF: got a burial stateside at least right?
I think it's not his concern at the moment.
There is a certain tension between depth and breadth of focus.

Trying to do both simultaneously is very difficult -- especially if some parties are focused on depth while others are focused on breadth while trying to communicate on the same level.
Imagine thinking you can judge anything about a developer (especially Senior/Staffs) from screenshots of code. Elon has truly lost the plot.
> as if anyone would trust their money to this company

Of all the problems I see with what's going on, this isn't one of them. Most of the current internet (and beyond that as well) exists solely on the premise that we give away power freely, with no expectations of proportional responsibilities in return.

If Twitter survives and, somehow, flourishes, all it takes for people to forget and sign up is a benefit to them, and blaring you opinions into a bigger void may just be enough already.
I think the problem here is humans being (more easily) corruptible and capable of evil when lots of power and money are involved. I don't think oil specifically has something to do with it.

Although I agree with hoping we move on from depending on SA resources.
(And I say this as a devout Muslim)
How can we definitely say that though? We don't even know what staff has left, nor what the plans are to replace them if they were critical.
I went through this for years and was always felt so discouraged and guilty. I didn't have the repertoire or financial pressure to use the "leftovers". It changed completely for me when I decided to stop buying cuts like packaged chicken breasts and started buying whole chickens and making stocks and sauces. Now when I look in the fridge at the end of the week and see old, sad vegetables I get excited because I'm going to turn them into delicious stock. I feel so much better because my food waste has reduced by an order of magnitude, the food is tastier, the house smells great, and cooking this way is compatible with local, sustainable agriculture (I'm looking for a poultry operation in my area). But I have to acknowledge, it's a lot easier because I work from home.
That's one thing I fully believe Musk on. Twitter is the hottest news in the industry right now. There's no better place to read about it than Twitter itself. Thing of it is... most of the traffic I've seen is rubberneckers. He can only crash his gigayacht so many times before it's no longer a spectacle.
Not just that. Elon forgot the basic rule of modern management "Treat your workers with respect". Moreover, Engineers are knowledge workers and need to treated with respect.

What's most amusing to me is Elon takes the advice from Youtubers & Influenceers but won't listen to his own engineers.
Almost everything here is an unmitigated disaster. However,

> the secret exemption of Alameda from certain aspects of FTX.com’s auto-liquidation protocol

— barring the part where this is secret — this seems like it would make some sense?

Alameda was, by my understanding, meant to be a market maker for the markets that FTX allowed its customers to trade in. You probably don’t want to apply the same auto-liquidation protocol to the market maker as you would regular traders.

Of course, I’m not a finance person, so I’d be happy to be enlightened here.
Guess that means the office is no longer closed. I just hope whoever processes severance checks is still working.
Surprised a single cig is enough. I would have thought you’d need something a little more chemically powerful frankly
Child porn is explicitly carved out from the section 230 immunity.
Just weeks ago these few thousand employees collectively generated $44 billion worth of value for their shareholders, but now suddenly they are all useless and spoiled and don’t deserve a penny. Funny how that works.
Did Elon lead his other companies this way and we just didn’t know? Or has he suddenly lost his ability to make good decisions?
It's says something when the greatest living hacker, George Hotz, now wants to work at Twitter. But so many of the readers of "hacker news" can't even imagine why.
Rather he kept people who don't feel like they have other options. Either due to immigration or feel they can't easily find another job or have financial obligation that don't allow the risk.

Most people don't like these sorts of ultimatums, especially those with the most options and flexibility.
I can barely believe this man started a spaceflight company. He must have had some incredibly subordinates to pull that off; not only did they have to deal with him, but they also had to bootstrap spaceflight.
The drift is sufficiently slow that you can fix it with a "leap hour" when needed -- perhaps once every five thousand years. This could be handled for civil/local time via an adjustment in the timezone definitions (something which happens a few times a year today), leaving the underlying UTC timebase unchanged.
The war in the Middle East is tough because it was congress who gave the power to invade, but the president also had the ability to not invade as the head of the DoD.

I’m fairly certain if GWB didn’t invade Iraq/Afghanistan he would have been impeached due to the fervour in the USA at that time. Looking back many agree that invading the Middle East was a mistake, but at the time there was only one Congress person (Barbara Lee) who voted against giving powers to invade, and that person was deeply ostracized for their choice.

Invading the Middle East was an atrocity, but who is responsible? The American public? The president? Congress?
What he's really saying is, these guys had no back office accounting operation.

Usually, in a bankruptcy of a financial enterprise, there's a general ledger of transactions to look at. Some may be fraudulent, hidden amongst the legit ones. FTX does not seem to have had that. Much of the history is missing.

So it will have to be reconstructed, often from the other side of the transaction. Banks will be asked (ordered) to provide their transaction history for all relevant accounts. There will be heavy analysis of the blockchain, which is less anonymous than many people in crypto think. Whatever records FTX has will be analyzed. People identified as having dealt with FTX will be subpoenaed for their records.
Gradually, cells on spreadsheets saying "On DATE transferred AMOUNT denominated in COIN to UNKNOWN" will have UNKNOWN filled in. This is forensic accounting.

In bankruptcy, that happens in public. Over time, the PACER filings for the case will fill up
with details of where the money went. Some will be trackable, some won't. A lot of effort will go into finding out where big amounts went. The numbers are big enough to justify the effort.

Then come clawbacks, arrest, trials, civil litigation... A huge pain for everyone involved, but if you screw up at the 10-digit level, it gets done.
Very much so.

Look at astronomical software, e.g. xephem. There will be a "clocks" tab that displays a number of different clocks, TAI (atomic clock, no leap seconds), UTC (global civil time), media solar time (GMT, which ISN'T UTC) and finally, derived from the aforementioned "sidereal time", which is the one you really need to adjust your telescope. Sidereal time is derived from a year with 1 more day basically, because the earth moving around the sun adds 1 more rotation of the background stars. Which is a drift of roughly 4 minutes per day.

https://en.wikipedia.org/wiki/Sidereal_time

Oh, and then there is stuff like Julian date which you need to look up the myriads of catalogues and tables you need for corrections because everything "wobbles" even more than you'd think.

Yes, dropping leap seconds will remove 1 table lookup from the above. But astronomical time systems are so complex that that change is a drop in the ocean.
Currently software has to be built to accommodate leap seconds. They happen frequently enough that you'll find out within a few years whether your software breaks when time suddenly skips forward or backward.

If we kick the can down the road such that eventually we'll need to add a leap minute, we're going to end up with software that was never written to expect time to change in such a way, hasn't had a real world test of the change for decades, and will have no one working on the software who ever had to deal with such a change.

It's going to be much worse for software reliability to have a leap minute on the order of once a century than a leap second every few years.
It's a minor problem. One minute off in a hundred years is something we can all live with.
This is the case for me - if I don't have a clear answer, I notice myself ranting. I have made it a point to just tell people "I don't know the answer, but we can try talking through it or I can do some research and get back to you" to address this.

The other thing I run into is outright not having the wherewithal to communicate clearly - either I am tired, distracted, or just can't recall the right words - aka a communication issue. And that's not to mention people who have outright communication problems - shyness, speech impediments, psychological issues, etc.

In short, speaking clearly and concisely is a luxury of precise knowledge and excellent communication skills, as well as an absence of ulterior motives - to vent, to make yourself seem smarter than you are, just to have a conversation partner, etc. To be honest, this thread is a great reminder to stay on topic.
it won't happen rest assured.
Pretty sure comma is based in San Diego. But he did state in his original tweet that he would move to SF for this.
We don't know if others are having a good or hard time understanding the ones he/she considers bad communicators.

But yeah, most people could use some polishing their skills on this front.
I zoomed in and there seems to be a lot of hot air and CO2 coming from a particular 20 room mansion near Nashville.
No. A CIA agent might have ulterior motives being on a board, but they are just another board member (I also doubt many board members are secretly CIA).

Every company in China however answers directly to the part, and every board has a party member on it, who holds 100% of the voting power.

There really isn't a comparison to be made.
I'm for this. Get rid of timezones, AM, PM, DST, leap years, seconds, all of it! Imagine having to know just one time. It takes a bit to wrap your head around. But only because we've accepted all the confusion for so long. The sun is still going to be "up" in one part of the world and "down" in another. The little numbers on your clock don't change that. Why can't it be the same little numbers everywhere?
Anyone who worked in finance knows, but it's also reported reasonably frequently.

Great case:

https://www.cnn.com/2021/02/16/business/citibank-revlon-laws...
We’re getting a better idea of AI’s true carbon footprint
I disagree with his sentiment. Note that I in general have rather favorable views of Musk and his achievements in complex technical and business areas.

When one says that fuel cell technology is inefficient, I'd like to hear reasons for that. Efficiency could be talked about in comparison with other schemes, or in comparison with theoretical limits, or maybe even in comparison with laboratory state of the art or reasonable expected future engineering limits. When somebody just says it's inefficient, it sounds like an unsupported argument.

Same goes for complexity, cost or safety of fuel cell technology. Modern electric batteries, for example, are rather complex, in my opinion, devices, so to accuse fuel cells in complexity there should be presented arguments.

Regarding cost, I'd like to see the numbers. Both more regular batteries and fuel cells have many decades of applications, and we know that technology costs tend to lower with perfecting the processes, so where are the numbers? Also, in addition to numbers, I'd like to see the explanation of changes in the past and explanation of projection of changes in the future.

Next, regarding safety. Frankly, I was surprised when I saw hydrogen cars, on the grounds of safety, and then I learned which decisions were made to keep safety reasonably high. That means we can probably improve safety with some clever ideas.

I'd like to see a comprehensive comparison with all known pro and contra. Good investigation, which is aimed at finding the actual truth, so to speak, should involve all reasonable objections, so no proponent or critic of the technology may point to his arguments as missed in the analysis.

A similar analysis I feel is lacking in proposing nuclear power solutions - partial - to climate crisis. Too often somebody accuses governments in being too slow with deployments of nuclear power plant technology, but omits the concerns which critics of nuclear power point to. So sides keep talking past each other, accusing the other in irrationality.

Coming back to hydrogen - yes, I agree that hydrogen is reactive and volatile, but we still have more than half a century of working with it in industrial quantities. Yes, binding hydrogen with something reduces efficiency - but e.g. both CH4 and NH3 are used or were used as fuels in some applications, so it's not clear that NH3 couldn't be used again.

So, maybe - maybe - hydrogen technology loses today to electric batteries. Even discounting some unique advantages of hydrogen, like energy per unit of mass, it's not clear neither how much, nor if it could be improved in the future.

Musk's estimations look understandable, but not obviously true. We have many variants of both technologies we're comparing here. The mentions of "fool cells" - which, by the way, were used in Apollo flights to the Moon half a century ago - badly want justification, which we don't see much around us these days.
In imperative code I would write it like:

odd := {hd: 1}
even := {hd: 0, tail: odd}
odd.tail := even
blink x := x ? odd : even

I guess the cofixpoint does that loop tying sort of like this?

fix({odd, even} => {
odd: {hd: 1, tail: even},
even: {hd: 0, tail: odd}
})

Is there something like a co-Y combinator to do this in pure languages?

Is the productivity condition sort of like the dual of the positivity restriction on inductive types?
Electricity production for a country is reasonable measured in TWh, and I think I've seen this in newspapers discussing energy/gas in Europe.

But from Wikipedia:

> In the United Kingdom ... Demand for electricity in 2014 was 34.42 GW on average (301.7 TWh over the year) coming from a total electricity generation of 335.0 TWh.

We aren't there yet for power:

> The synchronous grid of Continental Europe is the largest synchronous electrical grid (by connected power) in the world. ... In 2009, 667 GW of production capacity was connected to the grid
> In my opinion, if you can't handle a sharp knife, you've got no business being in the kitchen.

Great! So we agree that no person should have any business writing C. It's proven time and time again that even the best of the best C developers can't write safe C code.
> switching to usb-c would make the phones more expensive to produce

How much more expensive?
> for all it's flaws the community also is quite passionate and pushes out quite a bit of features, ideas, etc.

This hasn't been my experience. There have been significant issues with Nix since its inception and very little progress has been made. Here are a few off the top of my head:

* The nix expression language is dynamically typed and there are virtually no imports that would point you in the right direction, so it's incredibly difficult to figure out what kind of data a package requires (you typically have to find the callsite and recurse backwards to figure out what kind of data is provided or follow the data down the callstack [recurse forwards] just to discern the 'type' of data).

* The nix expression language is really hard to learn. It's really unfamiliar to most developers, which is a big deal because everyone in an organization that uses Nix has to interface with the expression language (it's not neatly encapsulated such that some small core team can worry about it). This is an enormous cost with no tangible upside.

* Package defs in nixpkgs are horribly documented.

* Nixpkgs is terribly organized (I think there is finally some energy around reorganizing, but I haven't discerned any meaningful progress yet).

I can fully believe that the community is responsive to improvements in individual packages, but there seems to be very little energy/enthusiasm around big systemic improvements.

> I'm just kinda surprised some Docker-esque thing hasn't stuck. Something that works with Docker, but transforms it to all the advantages of NixOS.

Using something like Nix to build Docker images is conceptually great. Nix is great at building artifacts efficiently and Docker is a great runtime. The problem is that there's no low-friction Nix-like experience to date.
Are football fans really a big part of the Twitter user base?
Plenty of smooth talkers are gonna be rooted out soon
Saying something like this just demonstrates that you have extremely limited technical knowledge, and are willing to say anything to defend Musk.

And defenses like this go a looooong ways towards destructing the myth that Musk had technical acumen, because the only people defending him are those that can't do the work.
It's this really common advice? Seems like needy incel tactics to me. Then again I guess that explains it, lots of incel advice is also common and wrong.
There’s a scene in the Hulu show about Theranos where an investor was trying to do due diligence and they kept getting the runaround with crazy excuses. Like a comedy. They eventually walked.

I guess the FTX investors didn’t walk.

Makes you think how lucky we are that the financial system even exists.
I'm' baffled by the section about GLONASS. Russia surely has the ability to decide whether they add or remove future leap seconds?
> Have you actually tried mastodon?

Yeah, I've largely moved over to Mastodon; most of the people I was most interested in following on Twitter are now there, so...

> It's really slow.

That's very instance-dependent. The one I use is pretty fast, certainly faster than Twitter these days (I note that loading timelines is no longer as snappy as it used to be.) I did previously use mastodon.online, and it was borderline unusably slow, granted.

> I want it to be good but the UX just sucks.

The UX is a mix of good and bad. It has a linear time-based feed with no helpful "suggestions", like Twitter a decade ago, which I would consider good. The UX around following people on other instances is bad (button to redirect you to your own instance) to comically bad (link to paste into your instance's search box) depending on instance setup...

> I hate to say it, but so far it's a different nature of beast which is not a viable Twitter replacement,

It is different, and it's certainly not a replacement for _all_ Twitter usecases, but it's largely good enough for me; I'm mostly now using Twitter just to observe the implosion of Twitter.

I doubt that, in five years, Mastodon will be the Twitter replacement. There may not be a single Twitter replacement. But it solves a decent subset of the things that Twitter solved for people, in a way that is in some ways nicer than Twitter (it never suggests that I follow weird Nazis, for instance).
Will the tech industry ever grow up? Telling people they are supposed to work 60-70 hours is not okay.

No wonder everyone gets burned out and is desperate to retire at 40.
Perhaps it is still closed and no one told him.

The movie is going to be great.
A private company started, funded and run by who?

I don't think that claiming the Falcon 9's reusability is not a significant factor in SpaceX's comparatively low launch costs stands up to scrutiny. How could it not lower costs significantly? Likewise, claiming SpaceX benefits from government subsidies is a red herring - all aerospace companies benefit from government subsidies as the government is their primary customer.
Probably more like July.

It's going to take a long time for these loans to get liquidated, and then processed through the repo markets.

And likely the lenders will hold the repo'd asset longer if they can to not create a glut of vehicles. The way this really get's great for buying repo'd sports cars is if we get forced liquidations from the lenders.

It's going to be a bloodbath.
Anyone else has a link to this public information?
Making Your MySQL Backup Up to 17X Faster – Introducing Smart Memory Estimation
We are glad to announce Percona XtraBackup Smart Memory Estimation as of the release of Percona XtraBackup 8.0.30. PXB has extended the crash recovery logic to extract the formula used to allocate memory.
In my opinion, leap seconds are accumulated so slowly that the impact of abolishing leap seconds won't be noticeable in daily life for a couple hundred years.

As the article said, many countries jump forwards and backwards an entire hour twice a year and after the adaptation period we don't notice