?

Log in

No account? Create an account
язык, на котором не говорят [entries|archive|friends|userinfo]
beroal

[ website | personal website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]
[ tags | journal tags ]

Social aspects of MLRISC [May. 21st, 2018|10:38 pm]
beroal
[Tags|, , ]

Social factors determine programming landscape no less than technical ones. Ideas, “technologies,” or programs enjoy different popularity even if they have equal technical merits. I think this may be a fruitful field of study for social scientists. PHP is a good example. How has the shitty programming language PHP become so popular? There are many technically better programming languages (PLs). So this phenomenon has to be explained by social factors. (And I actually think that the obscene word is a correct scientific term in this context.)

to be continuedCollapse )
LinkLeave a comment

investigation of the meanings of programming terms [May. 17th, 2018|08:07 pm]
beroal
[Tags|, ]

Any discussion on the foundations of computing runs into severe problems right at the start. The difficulty is that although we all use words such as ‘name’, ‘value’, ‘program’, ‘expression’ or ‘command’ which we think we understand, it often turns out on closer investigation that in point of fact we all mean different things by these words, so that communication is at best precarious. These misunderstandings arise in at least two ways. The first is straightforwardly incorrect or muddled thinking. An investigation of the meanings of these basic terms is undoubtedly an exercise in mathematical logic and neither to the taste nor within the field of competence of many people who work on programming languages. As a result the practice and development of programming languages has outrun our ability to fit them into a secure mathematical framework so that they have to be described in ad hoc ways. Because these start from various points they often use conflicting and sometimes also inconsistent interpretations of the same basic terms.

Christopher Strachey. “Fundamental Concepts in Programming Languages.” (Written in 1967.)
LinkLeave a comment

электроника противоречит науке [Apr. 29th, 2018|12:22 am]
beroal
Википедия с академической точки зрения не является источником надёжной информации. Это можно понять и принять. Однако я видел борца за чистоту академических стандартов, который против электронных книг. ☺ Не смущает, что скоро все книги будут публиковаться только в электронном виде. Бумага ≠ наука.
Link5 comments|Leave a comment

the CookieSwap extension for Firefox [Nov. 26th, 2017|11:07 am]
beroal
[Tags|, , ]

I am a long-time user of Firefox and CookieSwap. I love Firefox because it is extensible. There are many small extensions that help me in my daily work. This is one of the reasons I do not want to switch to another web browser. Unfortunately, several years ago the programmer team of Firefox began to update the API of Firefox so often that extension writers were not able to update their extensions fast enough. One by one, extensions begin to fall into oblivion. Nevertheless, I remain faithful to Firefox. It is still not beneficial for me to switch to another web browser. CookieSwap is crucial for me. CookieSwap is not compatible with the recent version 57 of Firefox. According to the author of CookieSwap Steve Tine who responded to my donation, CookieSwap will not be updated until January. If you use CookieSwap, please, support its development (well, updating) with your donations.
Link3 comments|Leave a comment

слишком много информации [Oct. 20th, 2017|11:21 am]
beroal
[Tags|, ]

Кажется, интернет окончательно перешёл из стадии, когда не достаточно информации, в стадию, когда информации слишком много. Нет полезной информации. Не хватает инструментов для фильтрации информации.
LinkLeave a comment

proof theory [Sep. 29th, 2017|06:34 pm]
beroal
[Tags|, , ]

I have started reading a textbook (Negri and von Plato 25) on proof theory. I would say, it is an easy read. My impression is that the theory is very meticulous. Check an inference rule, then check another inference rule, then check another inference rule… IMHO, it would be more productive to find common properties of inference rules and reason from those properties. In the textbook, it is not justified why we study specific inference systems. How do we know that those inference systems are correct and useful? I guess that the authors should prove that inference systems are deductively equivalent to a gold standard like natural deduction in sequent calculus style.

Works Cited

Negri, Sara, and Jan von Plato. Structural Proof Theory. Cambridge University Press, 2001.
LinkLeave a comment

бесплатный интернет [Sep. 29th, 2017|01:38 pm]
beroal
[Tags|]

Задача для историков. Разобраться, откуда взялась идеология, что всё в интернете должно быть бесплатным. Эта идеология простирается от радикальной «платить запрещено» до либеральной «ладно, платить можно, но так, чтобы никто об этом не знал». Почему платежи могут быть только пожертвованиями? Почему платежи надо скрывать?
Link4 comments|Leave a comment

social proofs and formal proofs [Sep. 2nd, 2017|08:39 am]
beroal
[Tags|, ]

to be continuedCollapse )
LinkLeave a comment

естественный яп [Aug. 6th, 2017|02:41 pm]
beroal
[Tags|, ]

Насколько я понимаю, рассуждать логически не естественно для людей. Ассоциативное мышление более естественно. Поэтому оно легче. Если смотреть шире, для людей более естественно бегать и прыгать, а не думать. Люди должны делать то, что естественно, во многих случаях, но не в этом. Ну, так устроена цивилизация. Сообразительность, а не физическая сила, есть условие выживания для людей. Программистам, который ищут естественные япы, нужно в первую очередь бросить программирование и вести простую жизнь. Программировать не естественно.

LinkLeave a comment

How to extend Unicode? [Jul. 6th, 2017|09:46 am]
beroal
[Tags|, , ]

This is not a manual on extending the existing Unicode standard. This is just a suggestion.

Suppose that people want to use new characters not present in the standard and would like to see those characters in the standard in the future. These characters will be called “custom” for certainty. Before adding custom characters to Unicode, we need to check whether these characters are useful. An unnecessary addition is cognitive load on the users of the standard. Checking is an experiment when we implement the custom characters in a program or a web site so people can add the characters to their documents. The code points for the custom characters should be in private use areas. The check is successful if the custom characters become popular.

to be continuedCollapse )
LinkLeave a comment

navigation
[ viewing | 10 entries back ]
[ go | earlier/later ]