Triangulating between these responses which each have some sensible points, we (?) might choose to aim for meaningful and serious consequences (because life is srs bzns) yet still temper our justice with mercy, meaning, and occasionally a touch of humor.

Okay but also how about we don't triangulate between "rule of law" and "eye for an eye", and instead just have rule of law.

I'm certain he was at least smart enough to at least convert a lot of his earnings into more stable cryptos.

If he was smart he would have sold his crypto holdings for real money, not other crypto nonsense.

> I'm certain he was at least smart enough to call convert a lot of his earnings into more stable cryptos.

I am considerably less certain given some of his Twitter postings.

Successful drug dealers know better than to sample the wares they are shilling.

Follow the money and the mana of the land and the spirit in which people act and watch the eyes and the skies and Bad Actors are kinda easy to spot after awhile.

I'm happy and excited to see this happen, I have used Inform 6 in Plan 9 for interactive fiction development for years now, and with Inform 7 becoming open, I'm hoping the core compilation pipeline can be ported, reading source code for games like Counterfeit Monkey by Emily Short is quite amazing.

We need more libre IF games written in Inform6/7 too. If so, a lot of games could be translated and enhanced from Spanish to English back and forth. And viceversa. I can read Anchorhead with patience, but in Spanish would be amazing (and in my native language the prose can be obviously as good as in English).

Also, Anchorhead had ben expanded and the author got a nice chunk of sales with that release. Why should the free version stay as freeware? People would have that game in any Linux/BSDdistro and still pay for the images-enhanced one as Lovecraft themes with proper media it's a huge boost for inmersion.

I only lightly scanned this at the moment, but I appreciate the human stories and how our personal development paths and our coding paths interact.

Good luck with this venture, I think a lot of minds have contributed to progress in these fields and sharing both the labors and the fruits is important.

I tried to comment here previously, but I dont see it posted. It was about the meaning of 'open' and whether the question of suffering and freedom of the AIs was being taken into ethical consideration, not just the ability of humans to use them as tools for their own possibly paper-clippy purposes.

This is a tool AI, not an agent AI. Agent AI's can explore and change their environments, this model does not, and it has no sense of time passing.

My main question is - is this really 'open' meaningfully? And are concepts of kindness and freedom being applied to the minds inside the boxes? I dont know where the 'openai' brand is at on these things personally.

I would suggest you look at more of Escardo's writing and research on related topics. https://www.cs.bham.ac.uk/~mhe/papers/omniscient-journal-rev... is one such paper. The issues of compactness of cantor space in classical and constructive math and the computational interpretation of principles like Brouwer's fan theorem in relation to dependent choice and weak König's lemma is really deep.

I found this post and the code and math so fascinating it changed my life when I found it three years ago. I did not previously understand the capability of computers to work with the abstract logic of infinite sets in a meaningful way and it led me into the world of formalization of mathematics in the dependently typed programming language Agda, which is one of the current activities of the mathematician (Martin Escardo) who wrote this guest blog post.

Can you mention some downstream effects such that your life was changed?

I made the study of mathematical logic and the connections between set theory and type theory and formalization in Agda my full-time focus. Increasing physical disability ended my career as a performing musician a few years ago and I had a life-long interest in philosophical topics connected with infinity. In the past two years I've written over 100,000 lines of Agda code as a product of my learning and research. I'd like to figure out a type-theoretical translation of the set-theoretic large cardinal axioms at the level of measurable and beyond.

Sad to hear about your disability.. but somehow your path in life is fascinating.

I think they just mean that they wouldn't necessarily have heard about or got into Agda otherwise.

Now read their answer :)

From the discussions I've had over the years with the primary 9front maintainer, the balance of adding new features and complexity and the fact that ANTS is most effective in combination with the Fossil file server which base 9front removed from its distribution means that it goes in a different direction than 9front's goals. Some software which is part of ANTS such as 'hubfs' (9p muxfile/message queue) may be integrated into 9front via a different author's rewrite as 'mq' and some other ideas from ANTS may eventually result in 9front code and changes, but the ANTS patchset for 9front was around for several years and didn't attract enough users to create any groundswell of demand for integration into the base.