Well… yeah. But I didn’t blame the employees, I blamed the employer who must have seen the writing on the wall for a long time and yet let it come to this.
Did the restrictions on JavaScript get resolved? IIRC, they made it so you had to use their “Ports” mechanism to interface with JavaScript, and you couldn’t write your own wrappers.
There was some drama when someone forked it so you could write your own JavaScript wrappers/FFI too?
And combined with its inability to provide mature native APIs and its hostility towards libraries containing ports, this essentially kills the language.
Elm's current story for interacting with the wider web ecosystem is "reinvent the wheel a dozen times by DIYing your own wrappers around literally everything". Fine for a trivial toy project, not fine for building production software.
I understand why they made those decisions, and each choice on its own is logical, but that doesn't make the combined outcome any better.
You can also do lunatic things like overload the `Object` prototype and get synchronous FFI by encoding then decoding an object. I do this at work to get locale-aware sorting. I know you know this, but it'll be news to others in the thread.
Slightly important point: it's still safe FFI! Everything that crosses the JS/Elm boundary has to be encoded/decoded from serialized JS Objects. So it's hacky BUT it's not actually unsafe, which is kind of funny. I have an example where I use it to effect locale-aware sort. This repo is a benchmark test of that: https://github.com/perkee/elm-js-sort-ffi-speed-test/tree/ma...
Oooft, in cubical.ml why is your identity equivalence `CVar "__id"`? Surely this should be some fibration/reduction?
In fact, these weird string terms pop up pretty often, but surely you’d want to be using de Brujin indices lest you accidentally string match two different things (can’t believe I’m saying that for an implementation of a dependently typed language).
I started to wonder how your types were glued, as I would have thought Sigma types glued along identity equivalences would give me some insight on the odd behaviour.
`reduce_comp` seemed like the place it should be. There I realised your `CTGlue` case is wrong: it seems like `partial_pairs` is in the head but dropped from the body, so they’re never glued by any equivalence.
I'll pitch in that since youtube was bought by Google it's become pretty anticompetitive too. They've absolutely been caught degrading their product on all browsers except chrome. I've witnessed this numerous times on Firefox on my android. Videos refusing to play, subtitles appearing off the screen, refusing to fullscreen, and at least 3 more annoying things i can't remember anymore.
Incompetence at scale is malice. We're talking about a mega-corporation gobbling up some of the brightest minds of our generation, not some garage startup that is barely able to keep the lights on.
Eh. I’ve been writing a small HoTT language over the past two years based on schemes, stacks, and sites and anything short of Agda or Lean falls short in terms of Real™ Category Theory.
So much has to be pragmatised, carefully considered and made concrete categories anyway that much of the category theory exists in the documentation rather in the actual code.
> There is nothing that will inherently limit AI from doing all knowledge work
Resources is one. Energy, water, cost. There seems to be diminishing returns in intelligence at the moment, whilst power and memory usage continues to go up.
Hmmm, that's an area of study id've never considered before. Digital Psychopharmacology, Artificial Behavioral Systems Engineering. If we accept these things as minds, why not study temporary perturbations of state. We'd need to be saving a much much more complicated state than we are now though right? I wish i had time to read more papers
Here's a neural network concept from the 90s where the neurons are bathed in diffusing neuromodulator 'gases', inspired by nitric oxide action in the brain. It's a source of slow semi-local dynamics for the network meta-parameter optimization (GA) to make use of. You could change these networks' behavior by tweaking the neuromodulators!
A perturbation of the the activations that made Claude identify as the Golden Gate Bridge.
Similarly, in the more recent research showing anxiety and desperation signals predicting the use of blackmail as an option opens the door for digital sedatives to suppress those signals.
Anthropic has been mostly cautious about avoiding this kind of measurement and manipulation in training. If it is done during training you might just train the signals to be undetectable and consequently unmanipulatable.
I don’t feel their stance is “I’m not getting enough attention and it’s all Musk’s fault and I’m leaving”.
More “X is simply not worth our time anymore”. I can’t say with any certainty that X is on a death spiral (personally it does feel that way), but the kind of crowd who have remained in spite of Musk’s many public embarrassments (and the handling of Grok deep fakes and women) probably aren’t the kind who are passionate about the EFF
If that was really true, they wouldn't make a big post about why they are leaving, they would just turn off the lights and go elsewhere.
The problem for the EFF is that they don't have anywhere else to go with nearly the reach of Twitter. Bluesky has only 15 million monthly active users. They could pin their hopes on Facebook, but it's hard to think of a criticism of Twitter that wouldn't apply to Facebook.
Basically the problem for EFF and a lot of the progressive activist orgs out there is that they want a mass global audience but a platform with progressive activist moderation, and that was possible in the heyday of the Biden Administration, but starting with Musk's purchase of Twitter and firing of much of the progressive activist staff, together with the loss in the Missouri vs Biden consent decree, it's getting harder to find a truly mass audience social media platform that is willing to enforce progressive activist social norms.
As this realization sinks in, we are seeing organization after organization rage quit the mass market platforms and join more niche platforms that is moderated to their niche taste (e.g. mastodon, bluesky, etc), and this is just one example of that. The EFF of old would never have seen this as a problem, but for the present day EFF it's a big problem.
Another option is a medium without engagement at all. You post your stuff and that's it, for example you can quote/amplify but not comment. No zingers, mocking quote tweets, no clapbacks, etc. I think an organization like the EFF could tolerate that, they want a pure write-only medium where you make a PR announcement that gets lot of attention but is not subject to any disparagement.
Big orgs would love a system like that, but I'm not convinced it could draw a lot of eyeballs.
reply