Magos Logis Logan @jmw150@qoto.org

@blobcat

@PawelK @Hyolobrika@mstdn.io @princesalde @Gargron

Yeah. Nothing prevents modding.

Like our server has a 64k character limit, because it is a scientific server. Having room for large attention span communication seems kind of important.

@deprecated_ii

Seems about right

@RustyCrab

Sounds like you are in for a fun time. I love those kinds of programming problems, that are outside of a normal programmers comfort zone. Definitely time to learn meta-programming tricks.

@RustyCrab

That or you could learn how to express the grammar in a parser tool. Much like type style cleaners, you would be able to fix all of it pretty much automatically without breaking the code.

@RustyCrab

Running a vim script on the codebase you can just do this to each file.

%s/string_to_replace/replace_string/gc

Then you just click type 'y' or 'n' to replace files. The time is minimized to a couple key presses.

@deprecated_ii

People mostly talk about Rust because Rust's marketing budget brainwashed them into thinking its good.

@deprecated_ii

They have like 1 compiler and a bunch of Big Tech stink. Pass.

@deprecated_ii

That and operator/function overloading, and functionals for higher level mathematics.

@anonny125

I just ignore people like that at this point. People do choose suicide. Rationality of the human mind is not a given.

I like polynomial and power series set notation.

K[X] (polynomial set)

K[[X]] (commutative formal power series set)
So, a super polynomial
"This is not even my final form."

K⟨⟨X⟩⟩ (formal power series set)
Even less limited
"And this... is to go even further beyond!"

@stux

Agreed

philosophy of mathematics and logic book

https://link.springer.com/book/10.1007/978-3-030-84706-7

I am just so busy this week. I might pass the thousand page mark for math literature read this month.

First we do the math. Then we make the math do the math.

https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/popl10_synthesis.pdf

@theyounggreenbaron@mstdn.social

@stux

I heard about that software. :)

It looks amazing, especially the modding community. I will have to audit the code sometime.

@stux

A little. I mostly kept to my original account on regular runescape. Redoing all of the quests would take forever.

@RTP

Meta's shit security always seems to make things worse, whatever the situation.