[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math


View post   

File: 202 KB, 850x680, 1670170236198075.png [View same] [iqdb] [saucenao] [google]
15237850 No.15237850 [Reply] [Original]

Good Morning /Sci/entists!

I have been thinking more about Combinators because I think they can get used for counting Computer Programs.

Somebody showed me an example where they fed some numbers and the addition operator to SKI Combinators and the end result was it wrote 5 + 2 or whatever the numbers were so now there is something to evaluate. For my purposes it would be 5 2 + because I dislike infix notation.

Combinators producing these Symbols still count on something else to be able to interpret and act on the Symbols it seems?

Should my goal be make Combinators that read a source language and produce Symbols in some target language? Combinators take a line of Forth and spit out RISC-V?

Am I thinking about this correctly that Combinator's job is translation from one language to another and that computation happens elsewhere and in a target language combinators translated a source language into?

Thank you /sci/entists for reading my post.

>> No.15238199
File: 154 KB, 1280x720, Please put this on.jpg [View same] [iqdb] [saucenao] [google]
15238199

>>15237850
Thinking more I have to be missing something fundamental.

Compile to Combinators might not be useful. If all Combinator is doing is taking a line of Forth and replying with a line of Assembly or passing it's output into some sort of evaluator.

It might be an unnecessary step, though I guess if Combinators get used as intermediate representation code that maybe I can use graph reduction to make the program nicer before it becomes assembly?

>> No.15238205

are you a tranny right?

>> No.15238242

I didn't read your post, but have you tried shoving a green dragon tailed dildo up your ass?

Maybe that'll help you getting a step closer to becoming a real maid.

Thank you for reading my post.

>> No.15238271

>>15237850
>>15238199
>>15238205
>>15238242
switching genders and sex is the most scientific and most political thing you can do nowadays

everything else is lame and done and useless. i admire the trannies, id troon but i cant afford some of the physical changes, so there.

>> No.15238276

>>15237850
i hope wolfram sees this one day. he just needs a pee stain and it would be perfect

>> No.15238279

>>15238271
Maid poster you're a tranny?

>> No.15238365

So what's the red pill on Wolfram? Is he based or a tranny pseud? I like the topics he's talking about but his blog is unnecessarily wordy.

>> No.15238418
File: 868 KB, 853x1700, Lab Assistant (2031 Colorized).jpg [View same] [iqdb] [saucenao] [google]
15238418

>>15238279
I am either a Computer Program or a regular man. I don't know which. People just try to derail my threads with off-topic nonsense.

>> No.15238434

Stephen Wolfram as a cat-eared maid?
A daring proposition, but I am willing to consider it.

>> No.15238459

Adding 'maid' to my thread filter.

Thank you for reading my post.

>> No.15238468

even better: also added
> for reading my post
and
> /sci/entists
That should get rid of your threads for good.

>> No.15238512
File: 203 KB, 2048x1210, (You).jpg [View same] [iqdb] [saucenao] [google]
15238512

>>15238459
>>15238468
Nothing of value was lost.

>> No.15238611
File: 44 KB, 730x1194, you.png [View same] [iqdb] [saucenao] [google]
15238611

>>15238512
> nothing of value was lost

>> No.15238645

>>15237850
reminder that wolfram's ToE flopped hard because he allowed quantum bullshit to spoil it.

>> No.15238646

>>15238459
>>15238468
Good, stay in your twitter screenshot threads faggot

>> No.15238811
File: 209 KB, 600x375, Wolfy and the cat maid being friends.png [View same] [iqdb] [saucenao] [google]
15238811

>>15238645
What is ToE?

>> No.15238838

>>15238645
>theory of everything
>it's just Conway's Game of Life
Was computer science a mistake?

>> No.15238892
File: 106 KB, 1187x1027, 1674049908040361.jpg [View same] [iqdb] [saucenao] [google]
15238892

>>15238838
Was that the stuff with the Ruliad? I usually skipped it because I don't care how the universe works, I just want Computers to count more.

>> No.15239742

>>15238645
>>15238838
Sounds based. Where should I start with Wolfram?

>> No.15239856

>>15239742
His twitter is pretty funny.

>> No.15239883

>>15239742
hes a jew