В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Emacs — русскоговорящее сообщество

561 membersпожаловаться на группу
2021 September 06

DL

Dmytro Lispyvnyi '(🌲... in Emacs — русскоговорящее сообщество
лишь бы не лишп
источник
14:24пожаловаться#1

LL

Lämppi Lütti in Emacs — русскоговорящее сообщество
Вот если бы они буквами были, тогда валидный поинт, а так доёб на пустом месте
источник
14:24пожаловаться#2

DL

Dmytro Lispyvnyi '(🌲... in Emacs — русскоговорящее сообщество
да и ваще массивы - это всего лишь хэштаблицы с цифровыми ключами…
источник
14:25пожаловаться#3

LL

Lämppi Lütti in Emacs — русскоговорящее сообщество
Да!
источник
14:27пожаловаться#4

A

Aragaer in Emacs — русскоговорящее сообщество
ну не
источник
14:29пожаловаться#5

A

Aragaer in Emacs — русскоговорящее сообщество
хэштаблицы с цифровыми ключами это отдельный котел в аду
источник
14:29пожаловаться#6

LL

Lämppi Lütti in Emacs — русскоговорящее сообщество
sticker.webp
(9.56 Кб)
источник
14:30пожаловаться#7

A

Aragaer in Emacs — русскоговорящее сообщество
впрочем еще недавно у меня в коде такое было
источник
14:30пожаловаться#8

LL

Lämppi Lütti in Emacs — русскоговорящее сообщество
Это к стати не важно, если мапа не используется как структура, где ключи это константы
источник
14:30пожаловаться#9

DL

Dmytro Lispyvnyi '(🌲... in Emacs — русскоговорящее сообщество
я про то, что внутре
источник
14:32пожаловаться#10

A

Aragaer in Emacs — русскоговорящее сообщество
ну у меня просто была в питоне функция, которая умеет брать некоторый список чисел и возвращать некоторую долю от них, чтобы сумма была нужная. Ну и удобнее было сделать так, чтобы она принимала словарь и отдавала словарь. А потом в другом месте был массив и надо было из _некоторых_ его элементов набрать точно так же нужную сумму. В итоге я составлял словарь, где ключами были индексы в исходном массиве
источник
14:33пожаловаться#11

𝘎(

𝘎𝘕𝘜/𝘚𝘤𝘳𝘪𝘱𝘵𝘰𝘥 ( λλλ )... in Emacs — русскоговорящее сообщество
кто-нибудь в чате пишет на Coq? покажите конфиг
источник
14:56пожаловаться#12

LL

Lämppi Lütti in Emacs — русскоговорящее сообщество
Нет больше Coq'а, есть Coqиня
источник
14:56пожаловаться#13

𝘎(

𝘎𝘕𝘜/𝘚𝘤𝘳𝘪𝘱𝘵𝘰𝘥 ( λλλ )... in Emacs — русскоговорящее сообщество
Coqазавр
источник
14:57пожаловаться#14

𝘎(

𝘎𝘕𝘜/𝘚𝘤𝘳𝘪𝘱𝘵𝘰𝘥 ( λλλ )... in Emacs — русскоговорящее сообщество
https://proofgeneral.github.io/ отакую хуйню нашел
proofgeneral.github.io
Proof General
## What is Proof General? **Proof General** is a generic interface for *proof assistants* (also known as *interactive theorem provers*), based on the extensible, customizable text editor [Emacs](https://www.gnu.org/software/emacs/). Proof General has been developed at the [LFCS](http://wcms.inf.ed.ac.uk/lfcs/) in the [University of Edinburgh](http://www.ed.ac.uk/), mainly by [David Aspinall](http://homepages.inf.ed.ac.uk/da), with contributions from other sites....
источник
14:58пожаловаться#15

LL

Lämppi Lütti in Emacs — русскоговорящее сообщество
Как же плохо выглядят языки для математиков
источник
14:59пожаловаться#16

LL

Lämppi Lütti in Emacs — русскоговорящее сообщество
Вон челики сделали хачкель с синтаксисом го, так хоть глаза о всякий мусор спотыкаться перестали
источник
15:00пожаловаться#17

𝘎(

𝘎𝘕𝘜/𝘚𝘤𝘳𝘪𝘱𝘵𝘰𝘥 ( λλλ )... in Emacs — русскоговорящее сообщество
чому плохо-то
источник
15:00пожаловаться#18

𝘎(

𝘎𝘕𝘜/𝘚𝘤𝘳𝘪𝘱𝘵𝘰𝘥 ( λλλ )... in Emacs — русскоговорящее сообщество
математическая нотация и всякое говно чтоб не писать на английском, и все, не?
источник
15:01пожаловаться#19

LL

Lämppi Lütti in Emacs — русскоговорящее сообщество
Ты и так не пишешь на английском, ты пишешь на формальном языке с буквенными идентификаторами
источник
15:02пожаловаться#20