I wrote a compiler for an ObjC-like language (with less brackets), which can produce binaries for any of {Mac, Windows, Linux, WASM, Arm A9 (Zynq), m68k or 6502} running on any of {Mac, Windows, Linux}. So you can produce a dev-signed Mac binary on a Linux box. I’m just going through extending that output range to mobile {Android, iOS} and I’ll release it as open source.

The compiler docs for the language (xc) are at https://compile-xc.org/ - feel free to browse.

I didn’t think getting the signing working for Mac/iOS was terribly hard.

Investors are chasing a company that achieves some kind of AI singularity. Let's set aside the fact that there's no reason to believe there is anything but diminishing marginal returns by making marginal refinements to current frontier models. Let's imagine someone hits the jackpot and gets, not even AGI, but a system that's as far ahead of today's frontier model are ahead of 2020's GPT 2.0 in performance.

Globally AI revenues are 150 billion, against a cumulative burn rate of 450 billion. A model that is a generation ahead of others would almost certainly capture the lion's share of that revenue.

If AGI magically appears as a Sam Altman has promised investors it will, a hundred million is way too low. Add, maybe, another zero to the revenues.

Conservatively, a safer assumption is that frontier models will get marginally better based on refinements in training and reinforcement and the other bits and bobs that go into these systems. The nobody is winning the lion's share of anything, at least overnight. But you have to define "safe". By "safe" I mean unlikely to lose money. But some investors are clearly defining "safe" as "having the greatest chance of owning a piece of the biggest thing ever."

I'm not following this super-closely, but if Anthropic is pursuing adding multi-step model based reasoning to their system, that could be the basis of a generational leap in capability. But if that is an approach that looks like it has a chance of working, then their competitors are no doubt pursuing the same thing. In that case you'd expect the revenue pie to grow as the scope of model utilty increases, but that growth to be split among several competitors. This could credibly result in a revenue stream for some of them that is as big as the entire industry's revenue stream today. But there's going to be hell to pay on the data center impacts end of things.

Freenet is also based on middle-out compression.

No. Trying to push 30TB into Freenet will be interpreted as an attack on the network by other peers and they'll disconnect from your peer.

Freenet is better viewed as a communication medium than a storage medium. Data is prioritized according to demand, somewhat like an LRU cache. You can't upload 30TB and expect the network to preserve it for you.

On liability, running a Freenet peer is more like running network infrastructure that automatically routes and caches other people's traffic than intentionally publishing it. US law explicitly recognizes this distinction in the DMCA's provisions for transitory network communications and system caching. We discuss this in more detail in the FAQ.

You obviously haven't tried Freenet. You can join our room on River and you'll see no spam, no fraud, no hate speech, none of that.

Decentralized doesn't mean unmoderated. Systems built on Freenet can be moderated however their creators and communities want. River is moderated.

The difference is that nobody running one service gets to decide what everyone else is allowed to run.

If you're going to repost the entire lede of the story, at least also share the counterpoint: "Gary Marcus, a reliable critic of the field, called the release amazing but vastly oversold. Some specialists expect that once the dust settles, a few of the ten will look genuinely surprising and the rest will be classified as reachable problems that nobody had gotten around to attacking."

And ironically, or maybe unironically, this story reads like it was AI-generated. Phrases like these:

"Three objections are worth taking seriously, and the honest reading concedes all three."

"Grant every objection and the structural point survives intact. Whether the ten were cherry-picked or not, the certificates still verify. A curated result that mechanically checks is a different object from a curated result that does not."

"The cost of producing a hard answer just fell to almost nothing, and the constraint moved to proving the answer is right."

Most humans don't write quite like that.

Well, yes. For many years, presidential candidates, both Democratic and Republican, referred to the United States as "the indispensible nation". And my reaction was always, "Doesn't that mean the US is a single point of failure for civilization?"

We are currently performing an experiment which addresses this question: can the US enjoy the benefits of soft power without the cost? That's the whole point of obeying *norms*. No individual force is going to punish you if you are treacherous, mercurial, foul-mouthed, disrespectful and generally unpredictable. Everyone will punish you.

I think an inevitable cost of this experiment will be that the world will decide that the US can't be a single point of failure for global democracy any longer. In many ways, that's something that will be good for us. But it's also going to cost us in painful ways. When the world decides to move away from the dollar as the international reserve currency, you will see both inflation and higher interest rates on everything from credit cards to mortgages, to business loans that will offset the export advantages. We will need *more* business investment to shift the economy to producing low value goods again, so the transition will be rocky.

It's a trade off: you get abundant free energy to run the server, with extreme constraints on cooling because your server is running in the most perfect Thermos bottle ever.

Others are taking the opposite tack: undersea data centers for abundant free cooling at the expense of having to get the power down to your servers.

If had to bet on which one is more practial, I'd go with undersea servers. Build them off the coast of Chile, run cables out from batery-backed solar plants in the Atacama desert.

I think it may be evidence that Amazon has a shitty corporate culture that squeezes every penny it can out its employees.

Corruption can happen anywhere, but it's more likely to happen in totalitarian cultures where people feel like the system is rigged anyway. That's why countries like Russia and China have corruption problems. But I suspect the same feelings of me vs. the system occur in a capitalist enterprise like Amazon where employees are governed by dystopian, rigid, computerized metrics.

The restrictions are a mix of reasonable nuisance management and paranoia about who is flying drones, what they can do, and chain of custody.

Beijing proper is a city with a population density of over 21,000 / km^2 -- so you can imagine the chaos if any tech enthusiast resident could fly a drone without a permit. Except for a couple of free zones in the outer boroughs, New York City restricts drone launcing and landings within the city to flights with a permit and flight plan, because otherwise the sky would be black with drones. Many cities -- both red and blue -- have zone restrictions for drone flights, and those currently hosting World Cup matches have tightened them for the duration of the tournament.

I’ve only just skimmed the paper, but I think the authors are missing a HUGE confounding variable: the plants of today are not the same plants of yesterday. Commercial food operations have selectively bred crops for traits like colors that consumers prefer, the ability to survive mechanical harvesting and long-distance shipping, drought, disease and insect resistance, reduced time from planting to harvest, and profitability. Neither nutritional value nor flavor is prized.

If you need to see this in action, compare a supermarket tomato with a notoriously fragile Cherokee Purple tomato, or supermarket white rice with Carolina Gold rice. They are damn near incomparable. It wouldn't surprise me one bit if that’s a far bigger impact than a few ppm of CO2 changes.

(I’m not saying that CO2 isn’t a factor; I’m saying that the study design doesn’t support any real conclusions.)

tmc

I have been to all of the QC Snapdragon briefs, know the engineers personally, and have written about the shitshow on SemiAccurate.com extensively, basically I know what is going on. QC doesn't understand what they are doing and why, and there is ZERO internal impetus to change from the people on top. They do nearly nothing on software enablement because, "That is Microsoft's job". Drivers are intentionally locked down and encrypted to block Linux, and x86 compatibility is BETTER in hardware than the Mac Mx line (Same people who did the M1 and M2 did the X1 and X2, and they all just bailed on QC) but the software is.... oh look outside, there is a sky.

TLDR: No chance in hell there will be a fix.

                    -Charlie

One of the lessons we've had as the Federal, multi-branch nature of the US governmennt has frustrated Trump is that the government may be fucking us over, but it's not doing it in *unison*. It's doing it piecemiel, on the initiative of many interests working against each other, just as the framers intended. The motto on the Great Seal notwithstanding, there are myriad roadblocks to consolidating power in the hands of a single individual. It takes time and repeated failures. This is why the second Trump Adminsitration is worse than the first; they've figured out ways around things like Congressional power of the purse, put more of their henchmen in the judiciary, and normalized Congress lying down and letting the president walk all over them. It's a serious situation, although fortunately Trump isn't long for this world.

While that's true, a responsible generation aims to boost the next generation to a *higher* level than the education they received. The world has become more complex and faster-paced, and even if that weren't true, the consequenes of aiming high and falling short are better than the consequences of aiming for the status quo and falling short.

So while I'm 100% onboard with skepticism that technology will magically make education better, I think the argument that "the education I got worked for me should be good for them" isn't a strong argument. What we need is a better ecducation that would have been a better education fifty years ago: stronger math, science, and language skills, general knowledge, and, I think critical thinking and media literacy. Possibly emotional intelligence -- it's kind of pointless to teach people critcial thinking skills if they are carried away by emotions.