conorbergin

That sounds interesting, I'll add some things I tried to the github issue.

That's a shame, I was considering getting one after seeing Chris of Clickspring recommend them. Hobby machinists are used to using machines built by defunct manufacturers, so I'm sure plenty will stay in circulation.

This reminds of Magnus Carlsen saying that if he were to cheat, all he would need would be a signal to spend more time on the current move.

I think using a cotton bag 173 times to beat plastic bags and a mug 1,000 times to beat disposable cups sounds completely reasonable.

Nice, I've always wanted my desktop PC to be coupled to the keyboard.

This guy has an interesting publication history, programming books and what looks like evolutionary biology from a creationist perspective.

A lot of this thinking still predates the Vatican 2 significantly, I think this person has made their mind up and is working backwards.

I don't think performance has got much to do with tinkering. IMO the real benefit of Zig is you get the flexibility of C with the ergonomics of a modern language.

I like Python as a tool language, and I am very impressed by projects like Micropython, but you always eventually run into a wall. I.e. you are never going to write a compute shader in python, but I assume someone is going to try.

I think the programmer should meet the hardware in the middle, and Python has a few too many layers of indirection to do this well.

I found your previous comment chain on the matter, in which you conflated Catholicism and Conservatism, the second of which I'm sure you have your own personal definition, as there is no Conservative church that decides on doctrine.

Catholic social teaching, which this encyclical is grounded on, has it's roots in Rerum novarum (1891) by Leo XIII (the Pope's namesake) and it dealt with the changing conditions of people due to the industrial revolution. We are potentially in the midst of another revolution (I suspect it will be less significant the the IR), so it is prudent of the church to develop a house view.

I'm slightly baffled it existed in the first place, considering they also used the small s, and it looks almost exactly like the f. To be fair, I am equally confused that so many modern typefaces don't distinguish I and l.

While less typographically interesting, this is a much clearer treatment of Elements.

I've only used Zulip when checking out the Lean Zulip a few years ago, and I thought it was an infinitely better interface than Discord for serious discussion, and also much easier for lurkers to find information. I wish more projects adopted it.

I don't think LLMs are that chaotic, you can replace words in an input at get a similar answer, and they are very good at dealing with typos.

They are definitely not interpretable, I was reading some stuff from mechanistic interpretability researchers saying they've given up trying to build a bottom up model of how they work.