abuseofnotation - Network

https://logicallycoherent.github.io/blog/introduction-to-linear-logic/Linear #logic (and not only)#mathematics #cs

https://logicallycoherent.github.io/blog/introduction-to-linear-logic/
Linear #logic (and not only)

#mathematics #cs

"The notion of natural transformation is surprisingly easy to follow."Really interesting #categorytheory blog, but this first...

"The notion of natural transformation is surprisingly easy to follow."

Really interesting #categorytheory blog, but this first sentence cracked me up.
https://blog.juliosong.com/linguistics/mathematics/category-theory-notes-10/

The systems of power are only holding your material self, divorce from it and you are free. Moreover, this is the only way to be free,...

The systems of power are only holding your material self, divorce from it and you are free. Moreover, this is the only way to be free, otherwise you are just moving into a bigger cell.

As for the people, don't hate them, don't pity them, rather be compassionate and empathetic towards them, if possible, educate them over what they are doing!

#spirituality #zen

Vibe coding sucks, cause the whole point of #programming is to be able to do your job without talking to anybody.#joke #ai

Vibe coding sucks, cause the whole point of #programming is to be able to do your job without talking to anybody.

#joke #ai

"My life is like a prison"I wrote this in my personal website when I was 14.I was quite correct in pinpointing the problem,...

"My life is like a prison"

I wrote this in my personal website when I was 14.

I was quite correct in pinpointing the problem, pinpointing how I, and many other people, felt, but I was off at identifying the cause:

I thought, that I was kept in this prison by systems of power, like school, parents, later bosses and landlords. So I fought those.

But, after advancing with this fight, I realized that it is not the systems of power per se that limit me (although they are certainly designed to do that, and certainly help) but rather my engagement with those systems.

Fighting your parents, bosses etc. would just make you more like them. So, advance to the next stage, cancel them, stop engaging. Don't break free, just walk away.

#personal #spirituality #zen

Thinking about moving away from Github Pages. Please recommend some free hosting for static websites. My main request is that it should be...

Thinking about moving away from Github Pages. Please recommend some free hosting for static websites. My main request is that it should be resilient. If possible, I want my websites up till long after I'm dead.

A nice interactive introduction to discrete #mathematics https://discrete.openmathbooks.org/#math #books

A nice interactive introduction to discrete #mathematics

https://discrete.openmathbooks.org/

#math #books

Idea:Include connect-the-dots exercises in #categorytheoryillustrated e.g. draw all functions between some two sets.Now I know I have to...

Idea:
Include connect-the-dots exercises in #categorytheoryillustrated e.g. draw all functions between some two sets.

Now I know I have to release a paper version!

#writing is good because it helps me grasp things that are completely obvious, but which I missed somehow...e.g. I just realized that...

#writing is good because it helps me grasp things that are completely obvious, but which I missed somehow...

e.g. I just realized that parametric polymorphic functions are natural transformations (and ad-hoc polymorphic functions are non-natural transformations)

All of Wadler's "theorems for free" are also just naturality squares.

#categorytheoryillustrated
#categorytheory

https://www2.cs.sfu.ca/CourseCentral/831/burton/Notes/July14/free.pdf

And one more #categorytheory book, this one is targeted at...

And one more #categorytheory book, this one is targeted at engineers:

https://applied-compositional-thinking.engineering/act4e-materials/

#mathematics

https://logicallycoherent.github.io/blog/introduction-to-linear-logic/A really nice introduction to linear #logic

https://logicallycoherent.github.io/blog/introduction-to-linear-logic/

A really nice introduction to linear #logic

There is a bigger topic here, now that toxic culture (and it's epitome #nazism is on the rise: Each individual is a product of their...

There is a bigger topic here, now that toxic culture (and it's epitome #nazism is on the rise:

Each individual is a product of their environment, and so toxic people are a product of environments dominated by fear and servility, where the more powerful person is automatically right.

In such environments, because of lack of brave people, people who put principles before personal gain, people like Trump are basically able to do whatever they want...

Conclusion: Don't work for toxic companies.Even if they offer good conditions (it is sad that all organizations are so utterly devoid of...

Conclusion: Don't work for toxic companies.

Even if they offer good conditions (it is sad that all organizations are so utterly devoid of puprose that all people care about is working conditions).

Even if you are in a good position and don't suffer any abuse (especially then).

Run away, they will slowly drain you from your life juices :)

In normal non-toxic organizations, toxicity is framed, e.g. "Sorry, that guy is a jerk, we try to tell him to stop it, but we cannot,...

In normal non-toxic organizations, toxicity is framed, e.g. "Sorry, that guy is a jerk, we try to tell him to stop it, but we cannot, because blah, blah blah" (and that's OK, we are all people, we all have our quirks).

In toxic organizations, this behavior is not called upon, instead it is emulated by all people. Toxic people never feel good, so it is not enough for them to be left alone, they also want everyone else to emulate them...

Be weary of red flags when you ask about what is the behavior of a given leader. If they tell you "Well, he is a jerk, but it is what it is." then this is actually a good sign --- means that people are not afraid to speak up and that they don't approve of people being jerks. If they don't know what to say, or they say something related to how capable they are, then run.

A toxic organization often has a very different and idiosyncratic way of doing things, which is here for no reason, but which, as an...

A toxic organization often has a very different and idiosyncratic way of doing things, which is here for no reason, but which, as an unwritten rule, is never questioned, never scrutinized, as scrutinizing it would expose that the organization and people in it are just dogmatic rather than special.

So, be weary of weird rules, be weary of "We don't follow SCRUM/Kanban, we have our own way to manage our project", without a clear reason why this is the case.

(a normal lead from a normal company would say something like "Unfortunately we cannot do SCRUM, because of XYZ, and so we *had* to make up our own way of doing things", and he wouldn't be proud of that fact).

A toxic organization is always hostile to outsiders, but manages to mask its hostility in various ways:Creating the illusion that the people...

A toxic organization is always hostile to outsiders, but manages to mask its hostility in various ways:
Creating the illusion that the people in it, and the way it works is somehow special, that the reason it is not welcoming is not because it is hostile, but because it's members are so special, because only a selected few are fit to work there, otherwise it will fail it's special tasks.

This is pretty common across the #it business, look for red flags, such as long interview process with weird questions and tasks, (many people discussed #canonical in this respect), or fixation on the part of the interviewers on specific traits which are not really the focus of the job at hand (e.g. favorite text editor).

This lazy mood, in which I am in, makes me want to tell you about the worst, most toxic company that I have worked in (the company is called...

This lazy mood, in which I am in, makes me want to tell you about the worst, most toxic company that I have worked in (the company is called #dext btw), and to think about what makes it so bad.

Firstly, the worst organizations, like the worst people, often manage to make a very good impression, even an exceptional one, this is no coincidence --- being seen as exceptional makes people overlook the toxic part.

But don't ever do that, folks, don't overlook the toxic part...

#programming #capitalism #personal

#engineering is the only discipline where you'd see a #mathematics major, working with a #physics major, working with a person who has...

#engineering is the only discipline where you'd see a #mathematics major, working with a #physics major, working with a person who has no education at all, on a problem which is in the scope of neither of them.

I think tolerance/wokeism is not the elevated state of mind that some people present it to be, but rather a discovery --- the discovery that...

I think tolerance/wokeism is not the elevated state of mind that some people present it to be, but rather a discovery --- the discovery that you can be/do what you want to be/do, and others can just fuck off (or do whatever they want, really), without there being any conflict.

Once you make that discovery, a lot of things follow (e.g. that the way our lives are organized is fucking stupid).

#personal

@jnpn Haha"P′′ was the first "GOTO-less" imperative structured programming language to be proven...

@jnpn

Haha

"P′′ was the first "GOTO-less" imperative structured programming language to be proven Turing-complete[2][3]"

"The Brainfuck language (apart from its I/O commands) is a minor informal variation of P′′."

https://en.wikipedia.org/wiki/P%E2%80%B2%E2%80%B2