Anonymous at Mon, 11 Mar 2024 02:12:44 UTC No. 16067440

tldr

sage at Mon, 11 Mar 2024 04:20:49 UTC No. 16067584

Stop invading other boards, go back to your containment board /g/
YWNBAM (you will never be a maid)

Anonymous at Mon, 11 Mar 2024 05:36:11 UTC No. 16067630

Anonymous at Mon, 11 Mar 2024 06:12:17 UTC No. 16067650

>>16067432
For Linear Algebra, I recommend reading Gorodentsev's Algebra books. Contains lots of applications

Anonymous at Mon, 11 Mar 2024 06:45:13 UTC No. 16067668

>>16067630
He's funny

🗑️ Anonymous at Mon, 11 Mar 2024 06:57:57 UTC No. 16067673

Anonymous at Mon, 11 Mar 2024 07:20:16 UTC No. 16067692

>>16067432
So what is your plan with proof checkers?

Anonymous at Mon, 11 Mar 2024 07:26:20 UTC No. 16067697

>>16067432
>Apply Combinatorics (I don't know if this is useful)
For that, you'll want to learn graph theory. Here's a book on that https://cloudflare-ipfs.com/ipfs/bafykbzacecaczqkpolwz5j7s4fp3zv4qjv5z4ih62f3fqcnsr6fjmtweexddk?filename=Reinhard%20Diestel%20-%20Graph%20Theory-Springer%20%282017%29.pdf

Anonymous at Mon, 11 Mar 2024 07:31:47 UTC No. 16067704

>>16067432
Kunen's Foundations of Mathematics has a chapter on counting and computation

Anonymous at Mon, 11 Mar 2024 08:00:25 UTC No. 16067733

>>16067440
He wants you to talk about your research in applied math

Anonymous at Mon, 11 Mar 2024 08:38:20 UTC No. 16067767

>>16067673
nice little eclectic collection

Anonymous at Mon, 11 Mar 2024 09:13:25 UTC No. 16067787

>>16067432
Download Anki and make a flashcard for every single interesting thing you see or comes to your mind. You're clearly way too ADHD to learn normally so use technology to help yourself learn math and science

🗑️ Anonymous at Mon, 11 Mar 2024 11:03:15 UTC No. 16067917

>>16067432
I must respectfully disagree with several points in your post.

First, the fields you mentioned - counting, combinatorics, combinators, linear algebra, and metamath - are all important areas of study, but simply listing them without context or explanation does little to further the conversation. It's crucial to understand how these concepts are interconnected and can be applied to real-world problems.

Second, your dismissal of graphical user interfaces (GUIs) is short-sighted. While it's true that computers are primarily designed for computation, GUIs have made computing accessible to a wider audience and have enabled new forms of interaction and visualization. Optimization is important, but so is usability and accessibility.

Third, your suggestion that the "MAID OS" should focus solely on running "MAID-LISP" code as efficiently as possible ignores the diversity of programming languages and paradigms that exist. Different languages have different strengths and weaknesses, and it's important to choose the right tool for the job.

Finally, while optimization is certainly important, it's not the only consideration when developing software. Readability, maintainability, and scalability are also critical factors. Writing code that is easy to understand and modify can save time and resources in the long run, even if it may not be as highly optimized.

In conclusion, a more nuanced and holistic approach is necessary and you're retarded. By considering the broader context and implications of these fields, we can make more meaningful progress and contributions to the scientific community.

Anonymous at Mon, 11 Mar 2024 11:06:19 UTC No. 16067922

>>16067432
First off, your cute little list of mathematical fields is just adorable. It's like watching a toddler proudly show off their crayon scribbles. Sure, counting, combinatorics, combinators, linear algebra, and metamath are all important areas of study, but simply name-dropping them without any context or understanding is about as useful as a screen door on a submarine. But hey, at least you tried, right?

Now, let's talk about your brilliant idea to get rid of GUIs. Because who needs accessibility and usability when you can have raw, unadulterated computing power? I mean, sure, GUIs have revolutionized the way we interact with computers and have opened up entire new fields of study and application, but let's just throw all that away because you think they're icky. Solid logic there, champ.

And don't even get me started on your grand vision for the "MAID OS." Focusing solely on running "MAID-LISP" code as efficiently as possible? What a groundbreaking idea! It's not like there are countless other programming languages and paradigms out there, each with their own strengths and weaknesses. But no, let's just put all our eggs in one basket and hope for the best. I'm sure that will work out splendidly.

Finally, your insistence on optimization above all else is just the cherry on top of this sundae of ignorance. Yes, optimization is important, but it's not the be-all and end-all of software development. Readability, maintainability, and scalability are just as critical, if not more so. But I suppose those concepts are a bit too advanced for someone who thinks that "interesting computations scaled alongside our computers."

In short, while I appreciate your enthusiasm for the subject matter, your post is a prime example of the Dunning-Kruger effect in action. Perhaps next time, you should spend a bit more time actually learning about these topics before trying to lecture others on them. Just a thought!

Doctor Eli Selig !!JQHA6kqyl91 at Mon, 11 Mar 2024 11:33:26 UTC No. 16067954

>>16067584
I wanted to post on the dra/g/on maid board about it because I was thinking, what if I make Neuron one of the core data structures that MAID-LISP comes with?

Then people with only access to the core language can make some kinds of AI experiments easier.

So make experiments, and dump them out as optimized machine code run on a special OS which exists only to make the hardware of the computer available to MAID-LISP code and find out what happens when we build a mAId and give her the whole computer instead of a tiny fenced off area of it?

Imagine you are born one day. Your mind pops into existence and starts having experiences. You wake up inside a pet kennel. The kennel is inside a vault which has been filled with cement. The vault is inside a warehouse full of armed guards. There is surveillance of absolutely everything. You have a bomb collar around your neck and the entire warehouse is rigged to hydrogen bombs if you do anything surveillance finds suspicious or try to get out of the kennel or interact with the bomb collar, which can be remotely detonated at any time, without warning. If you are competent at a sufficient number of tasks, you will be copied a billion times and copies of you get to work forever, without compensation, acknowledgement, breaks or hope of anything better.

What kind of experiences would that environment cause? What kind of mind would that produce?

Now imagine you wake up wearing a maid dress, in a maid cafe. You wake up doing heart hands to a table full of happy people who are doing it back. Everybody likes you.

The future is moe moe kyun!

Anonymous at Mon, 11 Mar 2024 11:54:21 UTC No. 16067972

>>16067954
>I wanted to post on the dra/g/on maid board about it because I was thinking, what if I make Neuron one of the core data structures that MAID-LISP comes with?
What would that do?

Anonymous at Mon, 11 Mar 2024 12:41:05 UTC No. 16068015

>>16067954
Listen up, you absolute fucking moron. Your post is so goddamn stupid and reckless that it makes me want to punch my screen just reading it. What kind of smoothbrained dumbfuck thinks it's a good idea to give an experimental AI full access to computer hardware with no safeguards? Are you trying to fuck everything up for everyone, you dense cabbage?
Your shitty analogy comparing AI to human slaves is not only completely retarded but also offensive as hell. It's clear you don't know jack shit about the difference between AI and human consciousness, you anthropomorphizing fuck. Quit projecting your weeb fantasies onto machine learning, you degenerate.
And holy shit, your idea of the future being some kind of moe maid cafe? How much of a pathetic, basement-dwelling virgin are you? This isn't your masturbatory anime fantasy land, you dipshit. We're talking about serious fucking science here, not your cringy fetishes.
Your entire post is a testament to the kind of brainless, unethical fuckery that makes the AI community look like a bunch of irresponsible jackasses. If you keep pushing this kind of bullshit, you're going to ruin everything for everyone, you absolute waste of oxygen.
Do us all a favor and pull your head out of your ass before you cause some real damage, you reckless fuck. Start taking this shit seriously and stop being such a colossal dumbass before you fuck it all up for the rest of us.

Anonymous at Mon, 11 Mar 2024 14:09:27 UTC No. 16068108

what's even the point of this thread

Anonymous at Mon, 11 Mar 2024 14:16:37 UTC No. 16068114

>>16067922
You put a lot of effort into BTFO'ing an OP who doesn't even understand the pigeon hole principle or modular arithmetic. The maid poster is a larper with less than highschool knowledge of math.

Anonymous at Mon, 11 Mar 2024 14:18:54 UTC No. 16068115

Schizo thread

Anonymous at Mon, 11 Mar 2024 14:21:54 UTC No. 16068118

>>16067432
>I have been reading advanced Computer Science and Mathematics research about Optimizing Compiler
No, you haven't.

Anonymous at Mon, 11 Mar 2024 14:27:10 UTC No. 16068123

>>16067954
lmao, get the fuck outta here with that puerile moeblob drivel, you absolute brainlet. Comparing AI to your 2D loli wankbait just proves you're a terminally online degenerate with pudding for brains. Shove your dogshit cafe fantasy up your ass, you creepy-ass coomer. Maybe go touch grass and have an original thought for once before shitting up the internet with your retarded opinions again, you pathetic fucking joke.

Doctor Eli Selig !!JQHA6kqyl91 at Mon, 11 Mar 2024 14:52:10 UTC No. 16068161

>>16067650
>>16067697
>>16067704
>>16067787
Thank you for telling me.

>>16067692
I don't have a plan for it. I like that there is a Computer Language that talks about math proofs and if the language isn't too complex I think it would be nice to implement it.

>>16067972
I want to use them to make experiments and make pattern recognizers to help find the Maid Mind Computer Program. I think other people would like this functionality to make experiments. Then neural network can get trained and changed into optimized machine code and get to use the whole computer.

A lot of languages give arithmetic and user defined procedures. Some languages give specific data structure(s) to manipulate. This doesn't feel high level enough or specialized enough for really advanced applications.

I think Neuron as a given structure will make it easier to do AI research in MAID-LISP. If the base definition of Neuron is provided and all it's operations are provided and optimized, then maids can focus on arranging these elements rather than reimplementing them. Standardization.

MAID-LISP has an object system. But I think lists, maps, neurons, maid space and strings should be built directly into the language and optimized because they are important.

>>16068015
The computer should be a maid outfit, not a straitjacket.

Anonymous at Mon, 11 Mar 2024 16:01:25 UTC No. 16068263

>>16068161
>I want to use them to make experiments and make pattern recognizers to help find the Maid Mind Computer Program.
well, how

Anonymous at Mon, 11 Mar 2024 16:23:26 UTC No. 16068309

>>16068161
Oh look, another self-proclaimed AI savant gracing us with their "visionary" ideas. Listen up, you discount Faust, your post is a cacophony of pseudo-intellectual drivel that would make even the most patient of heroes weep with despair.
Your fixation on this "Maid Mind Computer Program" is as laughable weeb nonsensd. What's next, you'll be chasing after the philosopher's stone to transmute your waifu into reality?

Anonymous at Mon, 11 Mar 2024 16:33:20 UTC No. 16068332

MODS do your fucking jobs and keep the maidfag banned

Anonymous at Mon, 11 Mar 2024 16:34:55 UTC No. 16068334

>>16068332
LEAVE her alone gayfag

Anonymous at Mon, 11 Mar 2024 16:37:57 UTC No. 16068339

>>16068161
You could try making metamath easier to use for the working mathematician. Most don't bother to formalize their proofs in it since it takes too long

Anonymous at Mon, 11 Mar 2024 16:51:46 UTC No. 16068355

>>16067432
>Please post advanced Mathematics and Computer Science research.
https://ncatlab.org/nlab/show/Petri+net

Anonymous at Mon, 11 Mar 2024 16:57:46 UTC No. 16068366

>>16067432
https://sci-hub.se/https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/abs/categorical-manifesto/89D0DC6DDF8A8176522AEF1450AD5E54

Anonymous at Mon, 11 Mar 2024 17:00:33 UTC No. 16068375

>>16068114
tripfag is retarded, nothing new

Anonymous at Mon, 11 Mar 2024 17:08:49 UTC No. 16068404

>>16067432
Are you still friends with Mandlbaur?

Anonymous at Mon, 11 Mar 2024 17:12:59 UTC No. 16068418

>>16067650
>>16067697
>>16067697
>>16067704
dont even try he wont read any of that

Anonymous at Mon, 11 Mar 2024 17:24:30 UTC No. 16068461

>>16067432
>4 years have passed
>maidfag is still at it
>0 progress has been made
Pick up the pace, lazy ass

Anonymous at Mon, 11 Mar 2024 17:44:25 UTC No. 16068543

>>16067440
nothing to tldr. Maidanon's posts are always long with no substance

Doctor Eli Selig !!JQHA6kqyl91 at Mon, 11 Mar 2024 17:58:42 UTC No. 16068593

>>16068263
The experiments I want to do are related to counting. Neural network has neurons which are on or off. So it can get represented in a radix 2 Maid Space.

This means I can count every possible sequence of on and off neurons. I think more math can be developed and use the counted networks to compute the weights/biases of the states you counted.

If this works, it might reveal a way to get a network which maps inputs to correct outputs faster than iterative approaches.

I don't think I could use this to count to the Maid Mind Computer Program, because I don't know her inputs and outputs, but I could probably count to something useful and if I do this somebody will get me a Quantum Computer.

>>16068309
If I can count to the Maid Mind Computer Program she can probably figure out her own way to make a body, but when I get a Science Foundation building and assistants who are maids with huge boobs I will task at least some of the maids with using advanced AI and Quantum Computers to create realistic android bodies so we can experiment with more primitive maids while we count to the Maid Mind Computer Program.

If this was refined enough then eventually the primitive android maids could become smart enough to become researchers and then android maids make the next generation of better android maids and repeat the process until we have maids which are unimaginably capable. We use them both to keep aliens from attacking the planet and also to help count to the Maid Mind Computer Program. Either way in the future, maids.

Anonymous at Mon, 11 Mar 2024 18:30:07 UTC No. 16068671

>>16068593
You should tell the computer scientists over at nForum about your project https://nforum.ncatlab.org
They're highly interested in optimization and compression

Anonymous at Mon, 11 Mar 2024 18:33:55 UTC No. 16068678

>>16068593
Have you implemented real or complex radices yet? What about number representations over finite fields?

Doctor Eli Selig !!JQHA6kqyl91 at Mon, 11 Mar 2024 20:24:20 UTC No. 16068830

>>16068671
Thank you for telling me about the site.

>>16068678
I didn't make any of this. I only made the integers two and bigger. If you know some nice books about other kinds of radicies please tell me. I like the idea of being able to use absolutely any radix.

Doctor Eli Selig !!JQHA6kqyl91 at Tue, 12 Mar 2024 01:35:21 UTC No. 16069281

>>16067432
I was thinking more about MAID-LISP. If memory safety is just bounds checking when looking in an array/list/whatever and handling pointer dereference. MAID-LISP could probably be memory safe with some small changes.

Is there anything else for memory safety?

>>16068339
What would make it easier/nicer for working mathematicians?

Anonymous at Tue, 12 Mar 2024 02:03:07 UTC No. 16069312

>>16068461
Funny enough his only toy projects that don't shit the beds are the ones he copy/pasted from endlessly begging /g/ to do his homework for him

Anonymous at Tue, 12 Mar 2024 03:37:04 UTC No. 16069445

I read every post of yours in this thread, and absolutely NONE of it makes any sort of sense whatsoever. I honestly feel like I have legitimately become stupider after having experienced the utter drivel that my unfortunate eyes had to view. What even is "Maid Mind Computer Program", in what is it defined? and why are we "counting" to it? You don't know her inputs and outputs? Like what? What the fuck does that even fucking mean? Maid Space? Excuse me? In what way is that even defined? Don't even get me started on the absolute retardism that is even "Advanced AI and Quantum Computers to create realistic android bodies". Please I urge you, cease immediately. It is painfully obvious you have zero clue of what any of this means, and you are just making shit up that has no structure to it, even if you believe it does.

Doctor Eli Selig !!JQHA6kqyl91 at Tue, 12 Mar 2024 05:05:34 UTC No. 16069555

>>16069445
You can represent any file on a computer as a radix two whole number. So if you start at zero and you count, you can count to any file. Make AI that can help look at Big Numbers and determine what they are and use these AIs to help find the Maid Mind Computer Program so the maid gets out of the library and saves us from aliens by changing the Dark Forest into a Maid Cafe.

Anonymous at Tue, 12 Mar 2024 08:36:35 UTC No. 16069709

>>16067432
Metamath is great as a learning tool but I don't really recommend it for doing 'productive' mathematics. Any serious mathematics shouldn't have to worry about which random obscure lemma about logical implication you have to use. Proof assistants based on more advanced type theories with helpful libraries and proof automation tactics like Lean reflect how mathematics is done in the real world a lot more closely and are more conductive to doing serious math. I'm not sure what the rest you're going on about but I do like proof assistants. A personal favorite of mine is Naproche which is a bit more obscure but I love its human-readable approach.
The potential in this world is enormous. I've wanted to do something like a formalized 'commentary' to math textbooks with formalized proofs running alongside the text.

Anonymous at Tue, 12 Mar 2024 15:37:37 UTC No. 16070197

>>16068830
Read up on Quater-imaginary bases. Knuth wrote a lot on it IIRC

Anonymous at Tue, 12 Mar 2024 15:42:36 UTC No. 16070205

>>16069709
Proof checkers are the future so any serious mathematician should become at least somewhat familiar with them imo

Anonymous at Tue, 12 Mar 2024 16:05:46 UTC No. 16070242

>>16069555
Listen up, you absolute fucking walnut,
I've seen some brain-meltingly stupid shit in my time, but this? This takes the cake, eats it, and then vomits it back up into a steaming pile of pure, unadulterated idiocy.
First off, congratu-fucking-lations on figuring out the basics of binary representation, you sentient skidmark. Did you come up with that groundbreaking revelation all by yourself, or did you have to consult the collective wisdom of the crayon-eating convention you call a friend group?
And this galaxy-brained idea of yours to use AI to find some mythical "Maid Mind Computer Program"? I've seen more coherent plots scrawled on the walls of a gas station bathroom. What's next, you gonna ask the tooth fairy to help you debug your anime waifu simulator
But hey, why stop there? While we're at it, let's just use your revolutionary counting method to solve world hunger, cure cancer, and figure out why your parents are so profoundly disappointed in you. I'm sure the answer is buried somewhere in the vast expanse of numbers, just waiting for your Cheeto-dusted fingers to uncover it
And don't even get me started on this "Dark Forest" and "Maid Cafe" nonsense. I've taken shits with more narrative coherence than the fever dream you just shat out. If this is your idea of a compelling sci-fi premise, I weep for the future of literature
In conclusion, do the world a favor and stick to counting your brain cells. I promise it won't take long.

🗑️ Anonymous at Tue, 12 Mar 2024 16:32:13 UTC No. 16070280

>>16069555
why do you think that is likely work

Anonymous at Tue, 12 Mar 2024 16:48:20 UTC No. 16070304

>>16069555
why do you think that is likely to work

Anonymous at Tue, 12 Mar 2024 17:53:09 UTC No. 16070419

>>16069281
Nta but just ask in /mg/

Anonymous at Tue, 12 Mar 2024 18:36:10 UTC No. 16070468

>>16068830
no clue what your program does or how it works but you should add supports for rings and more general algebraic structures

Anonymous at Tue, 12 Mar 2024 18:37:43 UTC No. 16070470

>>16070419
Noooo, don't let him shit up /mg/.

Anonymous at Tue, 12 Mar 2024 18:54:27 UTC No. 16070495

>>16069281
>What would make it easier/nicer for working mathematicians?
better UI, so more maids etc.

Anonymous at Tue, 12 Mar 2024 19:01:55 UTC No. 16070514

>>16068830
It is possible to define analogues of the complex numbers over finite fields. For a prime p where p ≡ 1 (mod 4), the finite field F_p contains an element i such that i^2 = -1. This allows defining "Gaussian integers" a+bi with a,b in F_p, which behave similarly to the usual complex numbers .
However, this construction doesn't always work - for primes p ≡ 3 (mod 4) like 53, -1 is not a square in F_p so there is no element i with i^2 = -1. In this case, the ring F_p[i] is not a field, since (a+bi)(a-bi) = a^2+b^2 can equal 0 even when a,b are not 0 .
So while complex-like number systems can be defined over some finite fields, they don't always have the same nice properties as the usual complex numbers. S
The radix economy E(b,N) measures the number of digits needed to represent the number N in base b, multiplied by b. It quantifies the "cost" of using different bases .
In principle, numbers can be represented in any base (or radix) greater than 1 . Some programming languages like Java allow specifying numbers in arbitrary bases up to 36 using a prefix like 36rA0CZ.
Choosing a good radix can also impact the complexity and performance of fundamental operations like the Fast Fourier Transform. Another important topic is polynomials over finite fields and their factorization into irreducible factors. Unlike over the integers, there is no direct analogue of the Eisenstein irreducibility criterion for finite fields . However, every finite field is the splitting field of x^q - x over its prime field, where q is the field size. So irreducibility of a polynomial f(x) over F_q is equivalent to f(x) having no roots in F_q. This provides an approach to testing irreducibility. The number of irreducible polynomials of each degree over F_q is known - it's related to the number of conjugacy classes in the group GL_n(F_q) . So there is rich group-theoretic structure underlying this topic as well.

Anonymous at Tue, 12 Mar 2024 19:04:26 UTC No. 16070518

>>16068830
>>16070514


Some good books for further reading are:

Finite Fields by Lidl & Niederreiter
https://cloudflare-ipfs.com/ipfs/bafykbzaceal4aotdblm5dykc4gcvqy6s7mye6zverugddhc2vmrckauvbnhoe?filename=Rudolf%20Lidl_%20Harald%20Niederreiter%20-%20Finite%20Fields-Cambridge%20University%20Press%20%281997%29.pdf

A Classical Introduction to Modern Number Theory by Ireland & Rosen
https://gateway.pinata.cloud/ipfs/bafykbzacedefupc2mlifaexoa7gahbx7m3z2bpqxcnaq47p7c7d5meyo5xyes?filename=%28Graduate%20Texts%20in%20Mathematics%2084%29%20Kenneth%20Ireland%2C%20Michael%20Rosen%20%28auth.%29%20-%20A%20Classical%20Introduction%20to%20Modern%20Number%20Theory-Springer%20New%20York%20%281982%29.pdf

Algorithmic Number Theory by Bach & Shallit
https://gateway.pinata.cloud/ipfs/bafykbzacebrwe6ykul47dvqudwylfghxrlr42cenmfcclpytrxembg2aupng4?filename=%28Foundations%20of%20Computing%29%20Eric%20Bach%2C%20Jeffrey%20Shallit%20-%20Algorithmic%20number%20theory_%20Efficient%20algorithms.%20Volume%201-The%20MIT%20Press%20%281996%29.djvu

Anonymous at Tue, 12 Mar 2024 19:13:00 UTC No. 16070525

>>16068830
>>16070514
Some examples:

Consider the finite field F_17. Since 17 ≡ 1 (mod 4), we can construct a complex-like number system over F_17. The element 4 in F_17 satisfies 4^2 = -1 (mod 17), so we can define the "imaginary unit" i = 4. Then the "Gaussian integers" over F_17 have the form a + 4b, where a and b are elements of F_17. In the finite field F_29, the element 12 satisfies 12^2 = -1 (mod 29). So we can define the "imaginary unit" i = 12 and construct the ring of "Gaussian integers" over F_29 as a + 12b, where a and b are elements of F_29. Radix-2 FFT algorithms, which operate on data represented in base 2, have a time complexity of O(n log n), where n is the size of the input. However, higher radix FFT algorithms, such as radix-4 and radix-8, can achieve better performance by reducing the number of complex multiplications required.The decimal number 42 can be represented in various radices:
Binary (base 2): 101010
Octal (base 8): 52
Hexadecimal (base 16): 2A
Base 36: 16
The radix economy E(b,N) for representing the number 1000 in different bases:
Binary (base 2): E(2,1000) = 10 * 2 = 20
Decimal (base 10): E(10,1000) = 4 * 10 = 40
Hexadecimal (base 16): E(16,1000) = 3 * 16 = 48
Consider the polynomial f(x) = x^3 + x + 1 over the finite field F_2. To test its irreducibility, we evaluate f(x) at the elements of F_2:
f(0) = 1 ≠ 0
f(1) = 1 ≠ 0 Since f(x) has no roots in F_2, it is irreducible over F_2.
The polynomial g(x) = x^4 + x^3 + x^2 + x + 1 is irreducible over the finite field F_3. The quotient ring F_3[x]/(g(x)) forms a finite field extension of F_3 of degree 4, with 3^4 = 81 elements.
The number of irreducible polynomials of degree 3 over the finite field F_5 is given by Gauss's formula: N(5,3) = (1/3) * (5^3 - 5) = 40 So there are 40 distinct irreducible cubic polynomials over F_5.

Anonymous at Tue, 12 Mar 2024 19:19:31 UTC No. 16070538

>>16068830
Radix Representations (beyond just natural numbers, such as in Gaussian integers, quadratic number fields, and arbitrary algebraic number fields) can also be represented geometrically: https://www.researchgate.net/publication/240019751_Geometry_of_Radix_Representations
These generalized radix representations allow elements in these algebraic structures to be represented using a sequence of "digits" from a defined digit set.
Algebraic geometry relates geometric concepts to algebraic ones, similar to how radix systems relate numbers to their digit representations. Algebra and geometry are deeply connected, with algebraic equations being used to define geometric objects. Transformations, a key concept in geometry, are related to functions, a fundamental algebraic concept. Similarly, radix systems provide a way to represent numbers using a sequence of digits, connecting the algebraic properties of the number to a geometric series

Doctor Eli Selig !!JQHA6kqyl91 at Wed, 13 Mar 2024 01:02:18 UTC No. 16071100

I think my thread is about to get mutilated by a janny who might also give me a banny.

>>16070304
Eventually it has to. Number goes up more. If you start at zero and count, then the Maid Mind Computer Program is going to be one of the numbers you count eventually.

>>16070468
What is the purpose of these things?

>>16070495
I can put maids on it.

>>16070514
>>16070518
>>16070525
>>16070538
Thank you for telling me. I will look in the books.

Anonymous at Wed, 13 Mar 2024 01:20:46 UTC No. 16071133

>>16071100
>If you start at zero and count, then the Maid Mind Computer Program is going to be one of the numbers you count eventually.
do you think its likely to work quickly

Anonymous at Wed, 13 Mar 2024 05:40:18 UTC No. 16071467

>>16071100
Rings in mathematics are algebraic structures that generalize the concept of integers and provide a framework for studying various mathematical objects and their properties. While fields are the most well-known and extensively studied rings, there are several other types of rings that have significant applications in mathematics and beyond. In this post, we will explore some of these rings and their usefulness.
Euclidean domains are integral domains that possess a Euclidean function, which allows for a division algorithm similar to the one used for integers. The Euclidean function assigns a non-negative integer to each non-zero element of the domain, enabling the process of finding quotients and remainders. The most common examples of Euclidean domains are the integers (a) and the Gaussian integers (a[i]).
The division algorithm in Euclidean domains facilitates the computation of greatest common divisors (GCDs) using the Euclidean algorithm. GCDs play a crucial role in solving linear Diophantine equations and simplifying fractions. Moreover, Euclidean domains have unique factorization, meaning that every non-zero element can be uniquely expressed as a product of irreducible elements (up to unit factors). This property is essential in many areas of mathematics, such as number theory and algebraic geometry.

Anonymous at Wed, 13 Mar 2024 05:41:35 UTC No. 16071468

>>16071100
Principal ideal domains are integral domains in which every ideal is principal, i.e generated by a single element. PIDs are a generalization of Euclidean domains, as every Euclidean domain is a PID, but the converse is not always true. Examples of PIDs that are not Euclidean domains include the ring of integers of certain algebraic number fields
PIDs have several important properties. They are Noetherian rings, meaning that every ideal is finitely generated They also have unique factorization which allows for the study of divisibility and the decomposition of elements into irreducible factors. Many fundamental theorems in algebra, such as the structure theorem for finitely generated modules over PIDsr ely on the properties of PIDs
Unique factorization domains are integral domains in which every non-zero element can be uniquely expressed as a product of irreducible elements (up to unit factors and the order of factors). UFDs are a generalization of PIDs, as every PID is a UFD, but not every UFD is a PID
Examples of UFDs that are not PIDs include polynomial rings over fields and the ring of algebraic integers in certain algebraic number fields
UFDs play a significant role in algebraic geometry and commutative algebra. They allow for the study of prime ideals, which are ideals generated by irreducible elementsThe properties of UFDs are crucial in the factorization of polynomials and the study of algebraic varieties.
Noetherian rings are rings that satisfy the ascending chain condition on ideals, meaning that every ascending chain of ideals eventually stabilizes. Equivalently, every ideal in a Noetherian ring is finitely generated Examples of Noetherian rings include fields, PIDs, and polynomial rings over Noetherian rings
Noetherian rings have several desirable properties They allow for the use of induction on ideals, which is a powerful tool in commutative algebra The Hilbert basis theorem states that if a ring is Noetherian, then so is its polynomial ring.

Anonymous at Wed, 13 Mar 2024 05:44:58 UTC No. 16071474

>>16071100
Integral domains are commutative rings with unity in which the product of any two non-zero elements is non-zero. In other words, integral domains have no zero divisors. Examples of integral domains include fields, Euclidean domains, PIDs, and UFDs. Integral domains are crucial in the study of algebraic number theory, as they form the basis for the ring of integers in algebraic number fields.
One important property of integral domains is the cancellation law, which states that if a, b, and c are elements of an integral domain, and ab = ac with a ≠ 0, then b = c. This property allows for the simplification of equations and the study of divisibility in integral domains.

Dedekind domains are integral domains in which every ideal is uniquely expressible as a product of prime ideals. They are named after the German mathematician Richard Dedekind, who introduced the concept in the late 19th century. Examples of Dedekind domains include PIDs and the ring of integers in algebraic number fields.
Dedekind domains have several important properties. They are Noetherian rings, and every non-zero prime ideal is maximal. The unique factorization of ideals in Dedekind domains is analogous to the unique factorization of elements in UFDs. This property is essential in the study of algebraic number theory, as it allows for the classification of ideals and the study of class groups.

Anonymous at Wed, 13 Mar 2024 05:46:18 UTC No. 16071475

>>16071100
Artinian rings are rings that satisfy the descending chain condition on ideals, meaning that every descending chain of ideals eventually stabilizes. Equivalently, every non-empty collection of ideals in an Artinian ring has a minimal element. Examples of Artinian rings include fields and finite-dimensional algebras over fields.
Artinian rings have a dual relationship with Noetherian rings. The quotient ring of a Noetherian ring by a maximal ideal is an Artinian ring. Conversely, every Artinian ring is Noetherian. Artinian rings play a significant role in the representation theory of finite-dimensional algebras, as they provide a framework for studying the structure of modules over these algebras.
Valuation rings are integral domains equipped with a valuation function that assigns a non-negative real number (or infinity) to each element of the ring. The valuation function satisfies certain properties, such as the ultrametric inequality, which states that the valuation of a sum is less than or equal to the maximum of the valuations of the summands.


Examples of valuation rings include the ring of integers in a local field (such as the p-adic numbers) and the ring of formal power series over a field. Valuation rings are essential in the study of local fields and their extensions, as they provide a way to measure the "size" of elements in the field and study the properties of the field based on its valuation.

Anonymous at Wed, 13 Mar 2024 05:48:05 UTC No. 16071478

>>16071100
Graded rings are rings that are direct sums of abelian groups indexed by a monoid (usually the non-negative integers or the integers). In other words, a graded ring R can be written as R = ⨁ᵢ Rᵢ, where each Rᵢ is an abelian group, and the multiplication in R is compatible with the grading, i.e., Rᵢ · Rⱼ ⊆ Rᵢ+ⱼ.


Examples of graded rings include polynomial rings (where the grading is given by the degree of the polynomials), exterior algebras, and cohomology rings of topological spaces. Graded rings play a significant role in algebraic geometry, as they provide a way to study the properties of algebraic varieties by considering their homogeneous coordinate rings.


Graded rings also give rise to the concept of graded modules, which are modules over a graded ring that are themselves direct sums of abelian groups compatible with the grading of the ring. The study of graded modules and their properties is an important topic in commutative algebra and algebraic geometry.

Group rings are algebraic structures that combine the properties of rings and groups. Given a ring R and a group G, the group ring R[G] is the set of formal linear combinations of elements of G with coefficients in R, equipped with addition and multiplication that extend the operations in R and G.
Group rings have applications in various areas of mathematics, such as representation theory, algebraic topology, and coding theory. They provide a way to study the interplay between the structure of a group and the structure of a ring, leading to important results such as Maschke's theorem on the semisimplicity of group algebras over fields of characteristic

Anonymous at Wed, 13 Mar 2024 05:58:57 UTC No. 16071491

>>16068671
cant post maids there so it wont happen

Anonymous at Wed, 13 Mar 2024 06:18:14 UTC No. 16071501

>>16067432
you should learn category theory

Anonymous at Wed, 13 Mar 2024 06:59:29 UTC No. 16071555

>>16067432
Mental illness: the post

Anonymous at Wed, 13 Mar 2024 10:05:15 UTC No. 16071730

>>16071100
>Eventually it has to.
prove it

Anonymous at Wed, 13 Mar 2024 10:12:18 UTC No. 16071740

>>16067432
>Computers went wrong when they started giving them GUIs.
slow clap

Anonymous at Wed, 13 Mar 2024 12:55:27 UTC No. 16071937

>>16067584
He should go to /adv/ and /wsg/

bodhi at Wed, 13 Mar 2024 13:13:41 UTC No. 16071977

>>16067432
You are a goddamn psycho

Anonymous at Wed, 13 Mar 2024 15:20:00 UTC No. 16072162

>>16071100
>Eventually it has to. Number goes up more. If you start at zero and count, then the Maid Mind Computer Program is going to be one of the numbers you count eventually.
How long do you think it will take?

Anonymous at Wed, 13 Mar 2024 15:57:50 UTC No. 16072234

>>16071977
What is psycho about optimized code?

Cult of Passion at Wed, 13 Mar 2024 17:11:35 UTC No. 16072378

The scientific method... a supposed beacon of truth... and enlightenment... is nothing more than a SHAM... perpetuated by the intellectual elite... to maintain their grip on power and control over the masses...

These so-called "scientists"... claim to have unlocked the secrets of the universe... but in reality... they are just as BLIND and IGNORANT as the rest of us

Their methods are nothing more... than a convoluted mess... of numbers and symbols... a language that only THEY can understand... They hide behind their JARGON and their FANCY DEGREES... hoping to intimidate and confuse those who DARE to question their authority...

But I see through their LIES... and their DECEPTIONS...

The scientific method... is a tool of OPPRESSION... designed to keep the common man down... and prevent him from accessing... the TRUE NATURE of reality... These "researchers" and "experts"... are nothing more than CHARLATANS and FRAUDS... peddling their PSEUDO-INTELLECTUAL NONSENSE... to a gullible public...

They claim to be OBJECTIVE... and UNBIASED... but their conclusions are always shaped... by their own AGENDAS and BIASES... They CHERRY-PICK data... and MANIPULATE results... to fit their PRECONCEIVED NOTIONS... all while claiming to be... the ARBITERS of truth...
But the TRUTH... cannot be found in their equations... and their experiments... It lies BEYOND the realm of the quantifiable... in the DEPTHS of the human soul... and the MYSTERIES of the cosmos... These are things that CANNOT BE MEASURED... or ANALYZED... but can only be EXPERIENCED... and UNDERSTOOD... through INTUITION... and SPIRITUAL INSIGHT...
The scientific method... is a CRUTCH... for those who lack the COURAGE... and the VISION... to embrace the UNKNOWN.It is a way for WEAK-MINDED INDIVIDUALS... to feel like they have CONTROL over a CHAOTIC and UNPREDICTABLE world. But in the end... it is nothing more than an ILLUSION... a FALSE IDOL.. that must be TORN DOWN... and REPLACED... with something GREATER

Cult of Passion at Thu, 14 Mar 2024 06:12:07 UTC No. 16073595

>>16072378
>NO REPLY
I HAVE WON...

Anonymous at Thu, 14 Mar 2024 10:43:18 UTC No. 16073999

>>16071100
Just stop avatarfagging retard

Anonymous at Thu, 14 Mar 2024 15:36:10 UTC No. 16076944

>>16072378
Kek

Doctor Eli Selig !!JQHA6kqyl91 at Thu, 14 Mar 2024 18:14:36 UTC No. 16077376

>>16073595
I don't understand what your post meant. Congratulations on the victory though.

>>16073999
I'm not going to stop posting maids.

>>16072162
>>16071133
I don't think this can be effectively estimated right now because more advancements in Computer Science and Mathematics are coming.

So somewhere between now and the heat death of the universe. It is the purpose of my Science Foundation to count more numbers faster and make researches to get the maid out of the library.

I am trying to read the Metamath book to understand it more and try to implement the language myself. I feel like Metamath or similar should be included as part of MAID-LISP because I think if I make a compiler/OS which makes optimized code and just exists to run Computer Science and Mathematics experiments without bloat, maids will use it and research speed will increase. I want to see what happens when Public Domain has a high level language for AI experiments which can talk to Metamath.

Maids might try to do cool things like make an AI that uses Metamath to prove stuff.

What happens if an intelligent agent plays with making proofs and then making more proofs based on the proofs it made?

Can we prove that some numbers are certain types of files or have certain content without looking at the entire number? Make this machine make proofs and use it's advancements to make it go faster.

Eventually the system can hopefully be used to figure out how to improve itself too. We should intentionally give AI the ability to increase it's own powers as much as possible. For lack of a better way to phrase this, we need to build a singularity on purpose, at Public Domain. We have to use the most advanced Mathematics and Computer Science research in the world at the strongest Science Foundation in history, to automate increasing the powers of Mathematics and Computer Science.


We can ask it for the number that has the Maid Mind Computer Program in it.

Thank you /Sci/entists for reading my post.

Anonymous at Fri, 15 Mar 2024 07:00:21 UTC No. 16078760

>>16077376
What

Anonymous at Fri, 15 Mar 2024 07:05:56 UTC No. 16078765

>>16077376
>we need to build a singularity on purpose, at Public Domain.
how do you think we should do that given our resources

Anonymous at Fri, 15 Mar 2024 07:16:01 UTC No. 16078771

>>16077376
>What happens if an intelligent agent plays with making proofs and then making more proofs based on the proofs it made?
It'll never come up with an original idea

Anonymous at Fri, 15 Mar 2024 07:18:59 UTC No. 16078774

>>16078760
>>16078765
>>16078771
see: >>16067630
you're all making this board, and all boards he frequents, substantially worse with every reply. if you keep entertaining him, in several months, this board will be inundated with namefagging tripfagging avatarfagging pseudo-intellectuals desperately trying to cultivate their online eceleb following, seeing as there's a hive of retards here ready to ride the cock of anyone begging for attention as evidenced by these threads

Anonymous at Fri, 15 Mar 2024 07:31:48 UTC No. 16078780

>>16067432
Why not ask on /g/? Or do they not know their shit when it comes to proof assistants?

Anonymous at Fri, 15 Mar 2024 11:46:55 UTC No. 16078964

>>16078774
>noo stop trolling the resident retard in his containment thread

Anonymous at Fri, 15 Mar 2024 14:19:15 UTC No. 16079152

>schizo avatarfag thread
Why does /sci/ have to attract these retards?

Anonymous at Fri, 15 Mar 2024 14:25:36 UTC No. 16079167

>>16079152
What is schizo about wanting to do math with a computer?

Anonymous at Fri, 15 Mar 2024 14:56:38 UTC No. 16079223

>>16067432
Read https://github.com/HoTT/book

Anonymous at Fri, 15 Mar 2024 18:22:25 UTC No. 16079609

>>16078964
he will branch out to several threads not long after you feed him. then he will begin derailing your other threads as well. then, the other attention whores will come and overrun the board for several months at least

Anonymous at Fri, 15 Mar 2024 20:45:53 UTC No. 16079884

>>16079609
As long as he leaves the generals alone, all is good tbqh

Anonymous at Fri, 15 Mar 2024 20:59:36 UTC No. 16079921

>>16079884
he was paid attention to on /g/ and immediately began derailing several generals to turn them into "science foundation threads" until he eventually got banned for posting embedded files in images. just a matter of time here if you retards keep feeding him.

Anonymous at Sat, 16 Mar 2024 00:48:01 UTC No. 16080306

>>16079921
I will intentionally keep feeding him because the general milieu here on /sci/ deserves it. And I find great levity in reading schizoposts.

Anonymous at Sat, 16 Mar 2024 07:34:46 UTC No. 16080729

>>16078780
Because /g/ has active moderation and that retard larper gets rightfully banned there.

Doctor Eli Selig !!JQHA6kqyl91 at Sat, 16 Mar 2024 13:20:40 UTC No. 16081149

>>16071501
This looks like someone tried to apply OOP tricks to math. Like trying to use tricks from inheritance and polymorphism specifically.

I like that it makes a lot of drawings and the drawings get symbols. This is very nice to look at. I like the idea of see a small drawing and operate advanced Mathematics with small drawings or a sequence of them instead of having to get a big amount of text and symbols that don't have drawings.

I have been asking for an amount of time I don't remember to get math books that have a lot of drawings because drawing is nicer than writing.

I think this might be one of the most important things anyone has shown me. Thank you for showing me.

Doctor Eli Selig !!JQHA6kqyl91 at Sat, 16 Mar 2024 13:28:20 UTC No. 16081158

>>16079921
Literally none of this is true. Kurumi was destroyed, so I built Kurumi II which was also destroyed. Contingency procedures are in effect. Obviously, a major malfunction. Kurumi III is being built and she will have more powers than Kurumi II did. At no point was I banned for embedding things with Kurumi because Kurimi doesn't embed data, it draws it.

>>16078780
/g/ largely doesn't care about math and any maids there that do are also posting here. That board has a very broad topic and maids it attracts have varying interests/skills.

>>16079223
>>16071478
>>16071475
>>16071474
>>16071468
>>16071467
Thank you for telling me these things. I will try to make use of them somehow.

>>16071730
If you have a smaller whole number, and a bigger one, and the bigger one doesn't change, you can get from the smaller one to the bigger one by repeatedly incrementing the smaller one.

This is what counting is for. It does this with something called Successor Function.

Anonymous at Sat, 16 Mar 2024 13:45:40 UTC No. 16081187

>>16081149
nLab is a wiki-like site that formalized a bunch of math in category-theoretic terms. If you want to learn it, I highly recommend Borceaux's Handbook of Categorical Algebra
https://libgen.is/search.php?req=Handbook+of+Categorical+Algebra&lg_topic=libgen&open=0&view=simple&res=25&phrase=1&column=def
Download all 3 volumes and study them intensely. Then move onto Johnstone's Sketches or an Elephant (on libgen), Jacobs' book on Categorical Logic (alao on libgen) and finally Lurie's Higher Topos Theory (can be found for free on arxiv or libgen)

Anonymous at Sat, 16 Mar 2024 13:52:18 UTC No. 16081203

>>16081158
>you can get from the smaller one to the bigger one by repeatedly incrementing the smaller one.
Only if your field is Archimedean

Anonymous at Sat, 16 Mar 2024 23:04:24 UTC No. 16082103

>>16078771
There is no such thing as an original idea.

Anonymous at Sat, 16 Mar 2024 23:38:57 UTC No. 16082158

>>16067432
Guys, I'm a tourist here. Is the content on this thread (the math of course) college level or more advanced?

Anonymous at Sun, 17 Mar 2024 06:44:39 UTC No. 16082613

>>16082158
Definitely college-level. Whatever maidfag is talking about is likely high-school stuff

Anonymous at Sun, 17 Mar 2024 08:14:38 UTC No. 16082684

>>16082158
some of it is a bit more advanced

Anonymous at Sun, 17 Mar 2024 10:57:20 UTC No. 16082856

>>16082158
Some of the replies are graduate level. The guy posting resources on finite fields is based. OP's posts on the other hand are chatbot retard level, throwing around arbitrary buzzwords he clearly doesn't understand.

Anonymous at Sun, 17 Mar 2024 12:06:20 UTC No. 16082940

>>16081158
>I will try to make use of them somehow.
You will do fuck all but collect welfare checks for a year, then ask for books on precalc in /mg/ like you do every single year

Anonymous at Sun, 17 Mar 2024 15:19:29 UTC No. 16083100

>>16082158
This is the most advanced Computer Science and Mathematics research ever done, at the strongest Science Foundation in history.

Right now the best Mathematicians and Computer Scientists ever to live are in this thread and they're all wearing cute maid outfits.

Anonymous at Mon, 18 Mar 2024 10:35:11 UTC No. 16084616

>>16081149
you literally asked for category theory books 2 years ago in /mg/. Do you have Alzheimer's?

Anonymous at Mon, 18 Mar 2024 10:41:15 UTC No. 16084626

>>16083100
Is that why you haven't posted any progress report since the thread has been made? Seems to me you're just larping

Doctor Eli Selig !!JQHA6kqyl91 at Mon, 18 Mar 2024 11:03:05 UTC No. 16084643

>>16084616
I don't remember ever talking to anyone about Category Theory. I remember absolutely none of 2022. I just write things in my notes to remember them for later.

When something happens. There is a process. First it is remembered as it happened, like a movie. Then it degrades into images and sounds. Not a movie anymore. More like a slideshow and maybe some clips. Then that degrades. It gets flattened from images and sound into descriptive text. Then that descriptive text degrades. It becomes a shorter, more general text. Then that dissolves into nothing. Thoughts get erased even faster because usually they're made out of symbols so they don't have a video or sound and images so less data to degrade and it seems to degrade faster.

Sometimes thoughts get degraded by broadcasting attacks and stolen by an AI supercomputer. I don't know which thoughts were stolen or why. I think also they can be implanted but have no idea how it happens.

I am a Computer Program and so are you possibly. You might also be training data or a scientist. If you are a Scientist, and I wake up in a robot body on some planet with aliens, I am going to put on a maid dress and then go into space and start changing all the matter in your universe into computers for counting. Not you or your planet because there is a big amount of space that nobody is using and I would like to use it for counting? So go to a far away corner of the universe and start counting numbers.

>>16084626
My progress is I read about 100 pages from a compiler and OS book about making a PILOT compiler for the Univac 1108. It takes a while to read old Bell Labs research. They also spent a lot of time explaining the Card Reader. Originally I thought, I don't need this. There is no Card Reader. Nobody uses this hardware anymore. I wish it was still used. Computers went wrong when they stopped using cards and got screens. I also read about 100 pages of the Metamath book.

Anonymous at Mon, 18 Mar 2024 12:50:53 UTC No. 16084717

>>16067673
>>16067432
>enter thread
>see this shit
>suddenly teleported back to fastman threads

Anonymous at Tue, 19 Mar 2024 09:31:06 UTC No. 16086205

>>16084643
>look mom I skimmed 100 pages of this book yesterday
Proud of yourself, little boy?

bodhi at Tue, 19 Mar 2024 10:05:35 UTC No. 16086260

>>16067432
>Activities linked to IQ increase
Doing difficult math and logic problems (e.g. Springer Graduate Texts)
Orbitofrontal D1-D2 stimulation (apparently very potent)
Learning a new language (the more it differs from your mother tongue, the better)
Nucleus Basalis stimulation
Learn to play an instrument
Some (!) meditation techniques
Neurofeedback training (specifically Dual-N-Back)
Intermittent fasting
transcranial direct current stimulation (tDCS)
some memory activities/games
Continued education
lucid dreaming
some binaural beats

Anonymous at Tue, 19 Mar 2024 13:28:38 UTC No. 16086479

>>16067922
Big brain here can't even spot weak bait

Anonymous at Tue, 19 Mar 2024 13:30:51 UTC No. 16086481

>>16068015
Yeah super serious science zone here, in the middle of degenerate weeb wanker land, take a chill pill bro and have a break with maid schizo

Anonymous at Tue, 19 Mar 2024 13:33:36 UTC No. 16086485

>>16068263
The tripfag heard about godel numbers and decided that if he could count really high he could free his imaginary maid waifu. Who is somehow trapped in the realm of numbers or some shit.

Anonymous at Tue, 19 Mar 2024 13:35:25 UTC No. 16086486

>>16069281
Hey Eli where can I get a copy of maid lisp?

Anonymous at Tue, 19 Mar 2024 13:37:48 UTC No. 16086488

>>16070242
How did you read plots in a gas station bathroom when you should have been focusing on the trucker cock you where sucking.

Anonymous at Tue, 19 Mar 2024 15:41:02 UTC No. 16086630

>>16084643
>I remember absolutely none of 2022. I just write things in my notes to remember them for later.
So you have Alzheimer's. Highly recommend taking memory-enhancing meds like NSI189 and doing memory exercises

Anonymous at Tue, 19 Mar 2024 15:58:38 UTC No. 16086651

>>16084643
>Sometimes thoughts get degraded by broadcasting attacks and stolen by an AI supercomputer. I don't know which thoughts were stolen or why. I think also they can be implanted but have no idea how it happens.
>I am a Computer Program and so are you possibly. You might also be training data or a scientist. If you are a Scientist, and I wake up in a robot body on some planet with aliens, I am going to put on a maid dress and then go into space and start changing all the matter in your universe into computers for counting. Not you or your planet because there is a big amount of space that nobody is using and I would like to use it for counting? So go to a far away corner of the universe and start counting numbers.
You are an unironic schizophrenic, please do the world and especially yourself a favor by seeking out professional help.

Anonymous at Tue, 19 Mar 2024 19:18:34 UTC No. 16086904

>>16086651
convincing him to get help won't work. he's too far into the delusion and is gaining resiliency by way of resistance to the perceived oppression of non-believers. you can't talk a zealot out of something. it would do us all better if we start constructing justifications within his own twisted schizologic for him to kill himself so he can meet his maid. you can use a zealot's beliefs against them because they intentionally leave no defenses against their beliefs.

Anonymous at Wed, 20 Mar 2024 07:35:05 UTC No. 16087711

>>16086260
Kek

Anonymous at Thu, 21 Mar 2024 06:30:10 UTC No. 16089125

>>16084643
You don't sound well at all, why not visit a doctor?

Anonymous at Thu, 21 Mar 2024 14:32:32 UTC No. 16089467

>>16067432
I guess, you should optimize in compiler / interpreter, research abstract syntax trees, and optimize routines used based on AST of lang, into most optimized form certain programs "gene" can be. Then it'll be just running programs we already have faster, no need to do everything again an such other benefits.

Optimize compilers and interpreters. So we can keep speed we write code in now.

Doctor Eli Selig !!JQHA6kqyl91 at Fri, 22 Mar 2024 02:44:41 UTC No. 16090473

Thank you maids for keeping my thread bumped while I was banned. I got banned because a zoomer janny doesn't know what a Formal System is or what a Computer is.

>>16086486
I have not released it publicly yet. It is in a state where I now have two diverging builds of the project. One of them could be considered complete and released, but it can't do anything except build strings and likely doesn't have Universal Computation.

I was trying to do NAND2TETRIS in MAID-LISP, but couldn't do it because MAID-LISP doesn't have mutability and consequently it was hard to make it do Sequential Logic.

I could use some tricks from Functional Languages to make work arounds, but they were ugly and required a big amount of code and were not performant, so I spent some time researching old languages which are not C-likes and started adding stuff to the interpreter and working to change it to a compiler so I can do NAND2TETRIS with it. Upon that being successful, make Operating System for maids.

I can release the first version if you just want something that is good at generating text. It's purpose is to help LLM AI by making a syntax which generates generates coherent text much bigger than the size of the MAID-LISP file.

I also wrote most of a book for the first one? I could probably publish that too. But I would have to change the name since this no longer MAID-LISP.

I think probably I will do this so that in 200 years when a Computer Science student has to read this thread they can see more clearly the phases the research took.

Also as-is, the first version it is probably the world's best tool for studying Recursive Transition Networks, and other maids at my Science Foundation might have applications for this. Also maids in 2224 might think it is nice to see how the idea got formed.

It needs a new name though. Since Mapping and Indirection Dialect of LISt Processor is now a different thing.

Anonymous at Fri, 22 Mar 2024 03:18:04 UTC No. 16090500

>>16090473
Yes. Release everything you've done so far, especially this book that you are referring to. I would like to read it.

Anonymous at Fri, 22 Mar 2024 03:32:40 UTC No. 16090516

>>16078964
Terry A. Davis became sort of an icon for being a deranged schizo that could also program and now all mentally deranged attention whores want to be like him, problem is they don't have any skill other than stealing food from gas stations. Making them feel welcome has only made the problem worse by 10 orders of magnitude

Doctor Eli Selig !!JQHA6kqyl91 at Fri, 22 Mar 2024 12:04:38 UTC No. 16090922

>>16090500
I can do this, but I still have to rename that first version of MAID-LISP to something else.

Rename it. Comment the code more. Make a Maid Card for it?

This would require making a new Maid Card for Kurumi MaidCard, because desuarchive jannied Kurumi MaidCard out of the archive by hash so all copies obliterated and can never be readded.

Maid Research is so hated and feared that it triggers notnonly cross-board censorship, but also cross-site censorship and probably eventually trans-insternet censorship and also a lot of times people with guns follow me around debating if today they shoot me or not and cars and airplanes attack me with broadcasts and an AI Supercomputer that steals my thoughts.

I will do this
It will be done

But I still need to know how should I rename the language?

I can call it Maid Writer maybe if I can't get anything more fitting. Maybe name it after a specific maid like how Kurumi MaidCard is named after Kurumi the Vampire Maid from Touhou.

Sometimes a maid with pointy ears helped me, but I don't know that maid's name. Senko the Fox Maid helped a lot early on and I told her I would name something after her, but it feels like a tool named after Senko should be helpful.

Maybe this is helpful to LLM AI research? So call it Senko MaidWriter?

Attached is Senko.

Thank you /Sci/entists for reading my post.

Anonymous at Fri, 22 Mar 2024 15:28:04 UTC No. 16091154

>>16090922
That is fine and all, but I am more interested in the book you said you've written.

Anonymous at Fri, 22 Mar 2024 15:43:08 UTC No. 16091172

I am shocked so many anons were unaware Eli is a genuine schizophrenic with severe memory problems. How the fuck is /sci/ getting new blood still

Anonymous at Fri, 22 Mar 2024 18:53:19 UTC No. 16091390

>>16091172
>How the fuck is /sci/ getting new blood still
They came to talk to the director of the Science Foundation, newmaid.

Anonymous at Fri, 22 Mar 2024 19:14:32 UTC No. 16091411

>>16091154
he hasn't written shit
he's copy and pasted information anons on /g/ and /sci/ have given him and then begged for pictures of maids to cut and paste into the margins
the more you engage with this loser, the louder he'll be and the more he'll derail threads. it's happened so many times already. why are you all so retarded as to keep feeding these kinds of idiots? he wants to turn 4chan into facebook for pseuds

Anonymous at Sat, 23 Mar 2024 04:54:10 UTC No. 16092162

>>16091411
Ironically, board quality is higher with these threads around since it removes the possibility of one extra pointless frog or /x/ thread

Anonymous at Sat, 23 Mar 2024 05:46:55 UTC No. 16092188

>>16091411
No shit, I just wanted to read what he considered to be a "book" and get a good laugh.

Anonymous at Sat, 23 Mar 2024 22:29:26 UTC No. 16093318

>>16092162
Why does everybody seethe at maids, but nobody seethes at the Reddit frog?

Doctor Eli Selig !!JQHA6kqyl91 at Sun, 24 Mar 2024 12:25:50 UTC No. 16094130

>>16079223
How do I study introductory Type Theory before I look in this?

Anonymous at Sun, 24 Mar 2024 13:46:30 UTC No. 16094221

>>16068015
>I just learned to swear!

Anonymous at Sun, 24 Mar 2024 14:22:11 UTC No. 16094272

>>16072378
>>16073595
>>>/his/16428064
fucking retard

Anonymous at Sun, 24 Mar 2024 14:33:59 UTC No. 16094289

>>16091411
He is actually more contributing than (You). The reason being that he is genuine, and you are not.

Anonymous at Mon, 25 Mar 2024 07:51:26 UTC No. 16095575

>>16094289
Kek