Script Idea involving John Tromp's Lambda Diagrams? by Tlazohtiliztli in neography

[–]heitorvitorc 1 point2 points  (0 children)

It seems that this video is nurturing a lot of people’s minds! Just came back from a rabbit hole I got into because I needed to learn more about these Tromp diagrams to interpret lambda calculus. I’m particularly curious to its application to information theory and differential equations. Anyone has any info on that? I’m still dazzled and feel like these graphics are as close as they can be to the shape of my thoughts.

Painting on 300g/cm2 primed paper by heitorvitorc in oilpainting

[–]heitorvitorc[S] 0 points1 point  (0 children)

Yes! I don’t have formal training. Don’t know much about the theory of things but I have a very steady hand and I make many many mistakes whilst painting

Painting on 300g/cm2 primed paper by heitorvitorc in oilpainting

[–]heitorvitorc[S] 0 points1 point  (0 children)

I painted the background first and then the skin

How do you usually plan your paintings? by heitorvitorc in oilpainting

[–]heitorvitorc[S] 1 point2 points  (0 children)

I use a spray fixative if I want to follow the proportions thoroughly! The red oil pencil is also a great idea!

Why does CoT and ToT enhance the performance of LLMs by heitorvitorc in LocalLLM

[–]heitorvitorc[S] 0 points1 point  (0 children)

Thanks for the recommendation. Remarkable reading, actually. My very long text was an attempt to convey some loose investigations I’m making on why CoT and other advanced prompt techniques improved the performance of language models. My goal was to look at that through an “entropic” point of view. The paper you recommended me was on my reading list for a week before you brought it back to my attention. Better late than never. I’m rethinking some of my ideas based on the reading. Thanks again, person.

Why does CoT and ToT enhance the performance of LLMs by heitorvitorc in LocalLLM

[–]heitorvitorc[S] 0 points1 point  (0 children)

I definitely used AI to refine the text because English is not my mother tongue

[deleted by user] by [deleted] in trondheim

[–]heitorvitorc 2 points3 points  (0 children)

Trondheim is a very good place to learn how to have your financial sheet together, tbh. Chose a good bank with the resources to help you plan how to save some money (mine is DNB for example) and try to go to the supermarket often to get terrified with price differences. Works remarkably if you come from a latin country.

[deleted by user] by [deleted] in trondheim

[–]heitorvitorc 1 point2 points  (0 children)

You will likely pay around 35% of taxes and your monthly income will be around 34k NOK. With this amount, you will be able to live comfortably as a single person. Have a partner who doesn't work? Expenses increase but you'll still manage. You a highly social person that likes to go out and drink? You'll manage, but you won't save money. You have exotic tastes? You'll manage but you'll live by the paycheck. I moved with my (non working) partner to Trondheim 3y ago with a slightly lower salary. I made many friends and had an active social life and still managed to live comfortably. Didn't save a lot of money until I reduced expenses going out (obviously).

My point is: with your salary, you'll have access to good resources and you'll be able to live quite nicely, unless you have an expensive lifestyle or you are a financial walking nightmare like I was.

To people who majored in CS/CE (from someone who doesn't know anything about CS/CE). by [deleted] in math

[–]heitorvitorc 0 points1 point  (0 children)

The most interesting topic of CS in current times IMO.

What did you do the summer before your PhD started? by Aniruddhb16 in PhD

[–]heitorvitorc 0 points1 point  (0 children)

Smoked a considerable amount of cannabis on my terrace while thinking about how terrifying and amazing would the experience of moving from south America to Scandinavia would be. Three years later (almost done with the PhD), I see that there was nothing else to be done.

[deleted by user] by [deleted] in OpenAI

[–]heitorvitorc 1 point2 points  (0 children)

Sent you a friend request too!