anonymousDan

Omg such AI written slop. I read it three times and am none the wiser what his point is.

A completely different direction is to remove the fair use allowance for training on copyrighted information (unless you e.g. open source your weights).

I personally have no problem per se with AI rendering certain tasks or even jobs economically redundant (although I am sceptical about many of the grander claims). What I do find tough to take is that the benefits will accrue to companies who have effectively stolen (and continue to steal) the intellectual output of everyone based on some bullshit fair use ruling for AI training. Hopefully the latter will get walked back and mechanisms and systems will be out in place to more fairly reward human intelligence.

Which ablated model do you recommend for this?

No thanks. I have no interest in peer reviewing anything for free if it's going to be handed over to closed source AI companies. And before some facile comment about Elsevier comes along, no I don't review for them either and it's clearly not the same.

You mean in relation to AI? Well I think we also need to do something in relation to GPL code for example.

We need to create a new scientific regime in the spirit of open source where scientific papers are not permitted to be used to train closed models. If you want to use the output of human ingenuity, you need to give something back.

We need to design an AIGPL - you can only use the collective expertise that created our code to train a model if the model, its training data and potentially its output are also available via AIGPL.

I like it. Ditka Rock has a certain ring to it.

So how do we push back?

I just got quote £400 to replace a key! An absolute scam.

Wow, thanks for the link. How prescient was that writer - even the parts about using GPUs weren't too far off the mark! A depressing vision of where we're headed if something isn't done about it.

Oh I loved Stratego. Got it as a present from my (now dead) granddad. Some great memories of playing it with him and my brother.

For C++ GenMC is probably the state of the art for this: https://plv.mpi-sws.org/genmc/

There's also RustMC for Rust.

My mental model is to treat AI agents running on your system as a form of malware that is running in a honeypot you control. You don't want to just get rid of it as you want to observe its behaviour (in the case of malware) or hopefully do something useful (AI). But you certainly shouldn't assume it won't do anything bad to your system.

I remember deterministic/stable multi threading was an active area in systems research a while back. As I recall it never saw much adoption, most likely due to performance. Haven't watched the full video but will be interesting to see their views on that.

I think the next big thing will be brain computer interfaces - effectively everyone has always on access to a frontier model just by thinking. This raises some interesting questions in terms of what actually constitutes our identity - will our 'wet brain' component always be in charge of what/when information is allowed to influence our thinking? How can we avoid becoming overwhelmed with effectively always on access to super-intelligence?

I would probably recommend the art of multiprocessor programming (herlihy and shavitz) as a good starting point for concurrent programming. There is also " A primer on memory consistency and cache coherence" (Nagarajan et al) if you want to get more into the interaction between memory consistency and coherence.

I don't think it's entirely fair to say they ignored them. As far as I know they are still employed at Microsoft Research and working on developing and improving the tool?

I like how they also neglected to mention that Verus was invented at Microsoft...

Sorry not an AI specialist, what exactly do you mean by 'custom harness engineering'? Some way of informing the model whether the output it is producing is good or bad based on the specific task in question?

Why are OpenAI staff not being arrested for hacking?

The irony of Americans chastising Iranians for not living in a democratic country given how Iran ended up as a theocracy...

I think the world has had just about enough of wasting their time trying to mediate with your idiot of a president...

This is just a nonsense line of reasoning. Training based on the solution to the problem (or the key insight behind the problem) is clearly a form of plagiarism.

Another problem I foresee for academia given the behaviour of AI companies is that even if they don't share their research with ChatGPT, as soon as they submit it for publication many reviewers likely will. Especially if the initial submission is rejected they then risk getting scooped. Possibly uploading preprints to arxiv could help.

Interesting that they have their own open-source OCaml toolchain for chip design. I thought received wisdom was that everyone in industry is still tied to horrendous vendor toolchains. Is this a realistic alternative for production-grade chip design?

I agree it's super annoying, but I can say for sure it's not limited to the US. Has also happened to me many times over here in Ireland/the UK. Usually by waiting staff that are a little inexperienced. Of course the people I'm in conversation with at the time are probably relieved to have a break from me rabbiting on...

Sorry so CRSP will be fast-tracking SpaceX? I just checked and my Vanguard has 50% in that so would like to understand how exposed...

I can't tell if your first sentence is a joke or not...