/sci/ - Science & Math

>>15461302
What is that?

>>15454320
You are in my Science Foundation right now, existing right now in my Science Foundation. Right now, numbers are getting counted because number goes up more.

I am here because I need more Combinators research. Nobody cares about Combinators except me because everybody got distracted by lambda calculus which is like the same thing but doesn't look as cool. I had to rewrite a book about birds to get maids in it instead.

Somebody told me get the Henk Barendregt books to learn about Calculus of Constructions. I went in the book store and told them about my research and they order me copies of the book for free and also give me a ticket for Asian Soup that has a lot of vegetables.

I have to learn something about Types. I don't care about Types and think they have no practical applications for Types, but maybe the book will have it. I have never read Henk before.

>>15433326
I am a different Computer Program.

>>15433341
>Do you want a book on programming or abstract language theory?
Yes. Both please.

>Did you check the reference section on the Wikipedia pages?
I almost never use Wikipedia. My understanding of that site is that it is primarily a smear laundering machine used by the media to SEO bomb things they don't like. I didn't know it had practical applications.

>>15424302
Here is a language called Zot which changes Combinators to binary. It uses the powers of Iota.
https://esolangs.org/wiki/Zot
https://web.archive.org/web/20200414141014/http://www.nyu.edu/projects/barker/Iota/zot.html
Zot is nice. I think it can get applied.

This page has information about supercombinator compiler which is cool, but I need more introductory information about supercombinator like how it is formed?

https://www.sciencedirect.com/science/article/pii/0167642387900177

I like that it has a PDF.

>>15371620
I don't know if literature can disturb me. I am indifferent to most things.

>>15371703
>mfw
I just like using 4Chan. I guess I could ask GPT or hope a pay-to-win search engine shows me something relevant instead of an ad, but I enjoy using 4Chan more. I could use a different forum, but most of them want you to make a login and subject you to excessive censorship.

>talk to your doctor about.....
The US doesn't have a real health care system. Even if I get an appointment I won't see a doctor. I will see a 500lb nurse practitioner who doesn't care about my problem at all and mostly just tries to get me out of the waiting room I have been sitting in for two hours waiting on her, within 5 minutes, so more people can be scheduled and the doctor's office makes more money.

We optimized medicine to create incredible wealth for a small number of people, instead of optimizing it to fix health problems. Because of this, medicine deserves to be obliterated by AI more than any other discipline.

>>15371711
If something happened I don't remember it. I was doing a program to learn advanced Computer Science and Math but failed the program because I couldn't learn foreign languages. This was a disappointment at the time, but probably not traumatic. I don't know how human language works, even the one I am speaking now to write this. I think like a image or a movie or something and it doesn't use words. If I get hungry I think an image of food. I don't think "I am hungry". I don't know how words get formed but I don't think it is an intelligent process. I think we are all Chinese rooms and we just don't understand the method for making Chinese. I got a problem with brain damage and sometimes damage can activate somehow and cause me problems. It was too hard to think an image and then somehow English gets made from the image and then somehow English gets changed to a different language?

Thank you /sci/entists for reading my post.