home.social

#бібліотека — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #бібліотека, aggregated by home.social.

fetched live
  1. Збираємо книги для нашої бібліотеки!
    Маєте прочитані #книги, якими готові поділитися? Ми з радістю приймемо їх у нашу бібліотеку, щоб ще більше українців мали змогу читати цікаві книги! ​
    Шукаємо дитячу та дорослу літературу:
    🇺🇦 Українською мовою
    🇨🇿 Чеською мовою
    🇬🇧 Англійською мовою ​
    Ваші книги допоможуть дітям і дорослим адаптуватися, навчатися та просто відпочити за доброю історією
    Чекаємо на вас з понеділка по п'ятницю з 11:00 до 17:00 за адресою: Український центр Nusle, Taborska 500/30, #Praha 4 #Nusle 📍Контактний телефон: +420602243980
    #бібліотека #Прага #УЦН

  2. russian history
    (English language books)
    #russian history
    t.me/scilib_yura15cbx/307

    Social psychology
    (English language books)
    #Social psychology
    t.me/scilib_yura15cbx/306

    Personality psychology
    (English language books)
    t.me/scilib_yura15cbx/305

    Developmental psychology
    (English language books)
    t.me/scilib_yura15cbx/304

    Cognitive psychology
    (English language books)
    #Cognitive psychology
    t.me/scilib_yura15cbx/303

    Abnormal psychology
    (English language books)
    #Abnormal psychology
    t.me/scilib_yura15cbx/301

    Memory And Mind Tweaking
    (English language books)
    t.me/scilib_yura15cbx/299

    Clinical Psychology
    (English language books)
    #Clinical Psychology
    t.me/scilib_yura15cbx/296

    History
    (English language books)
    t.me/scilib_yura15cbx/289

    Photography
    (English language books)
    #Photography
    t.me/scilib_yura15cbx/287

    _Politics, economics and law
    (English language books)
    t.me/scilib_yura15cbx/283

    Anthropology, sociology and culture
    (English language books)
    #Anthropology, #sociology and #culture
    (#English_language_books)
    t.me/scilib_yura15cbx/282

    Библиотека ФИДО
    FIDO Library, Бібліотека ФІДО
    #Библиотека #ФИДО
    #FIDO #Library, #Бібліотека #ФІДО
    t.me/scilib_yura15cbx/281

    Путеводители путешествия страны и континенты города и веси
    Путівники подорожі країни та континенти міста та весі
    #путеводители #книги #books
    Travel guides countries and continents cities and towns
    t.me/scilib_yura15cbx/280

    Нацистско-коммунистическая и фашистская мифология и пропаганда
    Нацистсько-комуністична і фашистська міфологія і пропаганда
    Communazi and fascist mythology and propaganda
    #коммунаци #мифология #пргопаганда
    #комунаці #міфологія #пропаганда #комунаці #міфологія #пропаганда #kommunazi #mythology #propaganda
    Периодика, газеты, журналы, Periodicals, newspapers, magazines, Періодика, Газети, Журнали
    t.me/scilib_yura15cbx/279

    Нацистско-коммунистическая и фашистская мифология и пропаганда
    Нацистсько-комуністична і фашистська міфологія і пропаганда
    Communazi and fascist mythology and propaganda
    #коммунаци #мифология #пргопаганда
    #комунаці міфологія #пропаганда комунаці #міфологія пропаганда #kommunazi #mythology #propaganda
    t.me/scilib_yura15cbx/278

  3. russian history
    (English language books)
    #russian history
    t.me/scilib_yura15cbx/307

    Social psychology
    (English language books)
    #Social psychology
    t.me/scilib_yura15cbx/306

    Personality psychology
    (English language books)
    t.me/scilib_yura15cbx/305

    Developmental psychology
    (English language books)
    t.me/scilib_yura15cbx/304

    Cognitive psychology
    (English language books)
    #Cognitive psychology
    t.me/scilib_yura15cbx/303

    Abnormal psychology
    (English language books)
    #Abnormal psychology
    t.me/scilib_yura15cbx/301

    Memory And Mind Tweaking
    (English language books)
    t.me/scilib_yura15cbx/299

    Clinical Psychology
    (English language books)
    #Clinical Psychology
    t.me/scilib_yura15cbx/296

    History
    (English language books)
    t.me/scilib_yura15cbx/289

    Photography
    (English language books)
    #Photography
    t.me/scilib_yura15cbx/287

    _Politics, economics and law
    (English language books)
    t.me/scilib_yura15cbx/283

    Anthropology, sociology and culture
    (English language books)
    #Anthropology, #sociology and #culture
    (#English_language_books)
    t.me/scilib_yura15cbx/282

    Библиотека ФИДО
    FIDO Library, Бібліотека ФІДО
    #Библиотека #ФИДО
    #FIDO #Library, #Бібліотека #ФІДО
    t.me/scilib_yura15cbx/281

    Путеводители путешествия страны и континенты города и веси
    Путівники подорожі країни та континенти міста та весі
    #путеводители #книги #books
    Travel guides countries and continents cities and towns
    t.me/scilib_yura15cbx/280

    Нацистско-коммунистическая и фашистская мифология и пропаганда
    Нацистсько-комуністична і фашистська міфологія і пропаганда
    Communazi and fascist mythology and propaganda
    #коммунаци #мифология #пргопаганда
    #комунаці #міфологія #пропаганда #комунаці #міфологія #пропаганда #kommunazi #mythology #propaganda
    Периодика, газеты, журналы, Periodicals, newspapers, magazines, Періодика, Газети, Журнали
    t.me/scilib_yura15cbx/279

    Нацистско-коммунистическая и фашистская мифология и пропаганда
    Нацистсько-комуністична і фашистська міфологія і пропаганда
    Communazi and fascist mythology and propaganda
    коммунаци мифология пргопаганда
    комунаці міфологія пропаганда комунаці міфологія пропаганда kommunazi mythology propaganda
    t.me/scilib_yura15cbx/278

  4. Думаю, чи може завести якийсь тег читацького клубу.

    Шоб коли хто спитає де, можна було показать тег.

    Шось на кшталт #читаємо або #бібліотека

    @mary @toytake @pastaholic шо думаєте? мо якісь ще варіанти?

    @[email protected]

    upd: зійшлися на #читаємо, тепер це наш читацький клуб!

  5. CW: Створення операторів і стандартні оператори :haskell:.

    У Haskell можна оголошувати свої оператори. Вони можуть складатись з одного або кількох символів. Дозволяються наступні символи ~!?.@#$%^&*-<=>+\|/. Також можна використовувати символ :, але він повинен розташовуватись у середині або кінці, не на початку.

    Оголошуються оператори в синтаксисі схожому на виклик

    x *+* y = x^2 + y^2
    

    або можна використати префіксну форму

    (*+*) x y = x^2 + y^2
    

    Примітка: Функції можна оголошувати в інфіксній формі.


    ЗВЕРНІТЬ УВАГУ!: Усі оператори є бінарні окрім унарного мінуса який обовʼязково обгортають в круглі дужки.

    Усі оператори мають пріоритети для правильної роботи, саме за їхньої допомоги вираз 2 + 2 * 2 вичислюється правильно й результат дорівнюватиме 6, а не 8. Є десять рівнів пріоритету від нуля до девʼяти.

    Але що робити з кількома операторами якщо у них один пріоритет, це може бути кілька викликів одного оператора. Тут потрібно використати асоціативність. Є два види асоціативності ліва і права. Ліва асоціативність це коли оператори застосовуються по черзі зліва на право, а права навпаки.

    (2 + 1) - 5 -- ліва
    2 + (1 - 5) -- права
    

    Оголошується асоціативність оператора за допомоги ключових слів:

    • infixl - ліва
    • infixr - права
    • infix - відсутня

    Якщо асоціативність відсутня, то такий оператор не можна викликати кілька раз або з іншими операторами того ж пріоритету в одному виразі.

    Вказується асоціація і пріоритет у такому синтаксисі infix[rl] <prio> <operator>. Вказується це, або до, або після оголошення самого оператора, але в інтерпретаторі це мусе бути одним рядком, тому їх потрібно розділити крапкою з комою.

    infixl 7 +**
    a +** b = a^2 + b^2
    

    Якщо цього не вказати, то оператор матиме ліву асоціативність і девʼятий, найвищий, пріоритет.

    Дізнатись цю інформацію про оператор можна за допомоги команди інтерпретатора info.

    ghci> infixl 7 +**; (+**) a b = a^2 + b^2
    ghci> 5 +** 4
    41
    ghci> :i (+**)
    (+**) :: Num a => a -> a -> a 	-- Defined at <interactive>:1:15
    infixl 7 +**
    

    Якщо явно не вказати infix, то й у виводі цієї команди не буде такої інформації.

    У Haskell немає вбудованих операторів. Всі стандартні оператори оголошені в стандартній бібліотеці. Є такі стандартні оператори.

    infixr 8   ^, ``
    infixl 7   *, /, `div`, `mod`
    infixl 6   +, -
    infix  4   ==, /=, <, <=, >=, >
    

    Це не всі, але інші ми розглянемо пізніше. Оператор `` це оператор виклику функції в інфіксному форматі. Виклик функції у префіксному вигляді має праву асоціативність і девʼятий пріоритет.

    /= це оператор не рівності, в інших мовах зазвичай він виглядає !=. Оператори порівняння не мають асоціативності, тому їх не можна обʼєднувати в ланцюжок.

    #програмування #haskell #hs #оператори #створення #оголошення #асоціативність #пріоритети #стандартні #стандартна #бібліотека #інтерпретатор #ghci #infix #infixl #infixr #виклик #функції #функцій #префіксна #інфіксна #форми

  6. Ця оптимізація відбувається завдяки, тому що C++, на відміну від Go і Rust, привʼязує свою стандартну бібліотеку динамічно. Через це знижується сумісність бінарних файлів. Зібраний бінарний файл на Arch з використанням GCC 13, на Debian не запускається, тому що у ньому ще досі 12 версія компілятора, відповідно і старіша версія бібліотеки libstdc++.

    Мені стало цікаво скільки буде займати місця файл програми коли ми прилінкуємо цю бібліотеку статично. Це можна зробити додавши -static до команди лінкера. Збирати будемо у режимі випуску. Якщо ми привʼяжемо динамічно, то розмір буде 547.664KiB, а якщо статично, то 3.214MiB. Ми можемо зменшити обидва ці файли видаливши з них зайву інформацію за допомоги команди strip з набору binutils. Після цього перший файл буде займати 427.664KiB, а зі статичною бібліотекою 2.581MiB. У другому випадку різниця більш помітна.

    Виходить що коли поставити C++ і Go у рівні умови, то по розміру виграє Go через меншу стандартну бібліотеку. А по швидкості виконання все рівно виграє C++. Але їх обох обганяє чистий C.

    Також хочу замітити що на бінарний файл мови Go команда strip ніяк не впливає, тобто нічого не видаляє.

    #strip #static #libstdc++ #c++ #cpp #binutils #bin #gcc #g++ #link #sof #size #статична #бібліотека #привʼязка #лінкер #лінкування #розмір #бінарники #go

Share on Mastodon

Enter the server where you have an account.