TGINSIGHT SIMILAR POSTS
Изходен канал @clockstackwheels · Post #241 · 5.03
Лигатура — это символ в типографике, образованный слиянием двух (или более) других символов. Например, в скандинавских языках есть символ Æ — он хранится и печатается как один символ, неразрывно, но, очевидно, образован совмещением букв A и E. В программировании тоже есть лигатуры. Если у вас мощная среда разработки и подходящий шрифт, то вы, как правило, можете их включить. И тогда ваш текстовый редактор будет отображать некоторые парные и тройные символы, как один. Например, последовательность -> может превратиться в символ →. Это нужно только для отображения, на содержимое настоящего текстового файла настройка никак не влияет, потому что компилятор или интерпретатор языка ждёт именно ->. Я категорический сторонник использования лигатур в IDE. Если вы никогда не пробовали, рекомендую включить и поработать с ними несколько дней, а может даже недель. Посмотрите на две конструкции ниже. Символы => и <= очень похожи между собой визуально, но при этом их суть принципиально разная. Включение лигатур позволяет отразить эту суть и избежать некоторых возможных ошибок (например, путаницу между >= и =>). #dev
Hashtags
Търсене: #showerthoughts
@amneumarkt · Post #408 · 02.10.2022 г., 08:43
#showerthoughts I've never thought about dark mode in LaTeX. It sounds weird at first, but now thinking about this, it's actually a great style. This is a dark style from Dracula. https://draculatheme.com/latex
Hashtags
@amneumarkt · Post #128 · 03.01.2021 г., 00:17
#showerthoughts As human beings, we read or hear about facts of something. These are our priors. Our belief is then updated based on observation of data, aka, likelihood. Some people abide by the priors, they are the prior-people, while others are more like likelihood-people and easily change their belief based on observations. There is a third type. They combine priors and likelihood. Change belief based on likelihood is prone to biases in data. By combining priors and likelihood, they have a better chance of getting to the right conclusion.
Hashtags
@googlefactss · Post #40561 · 20.01.2026 г., 11:04
People have better ideas in the shower because warm water raises dopamine, a brain chemical that boosts creativity. Showering distracts the mind, helping it stop stressing over problems and work on solutions quietly. Doing a simple, relaxing task like showering makes it easier for new ideas to pop up. 🧠🚿 [Read more] @googlefactss#Creativity#Dopamine#ShowerThoughts#Brain#Ideas