Forwarded from Вебня (Roman Dvornov)
SQLite портировали на Webassembly путем компиляции оригинального C кода с помощью Emnoscripten. Проект доступен в npm под именем sql.js, начинался как asm.js проект, которому требовались C биндинги, node-gyp компиляция и прочие шаманства – теперь это все не нужно, пакет можно использовать как обычный JS модуль. Работает в node.js, браузерах и WebWorker'ах.
Под капотом обычный SQLite, который хранит базу данных в памяти (не сохраняет изменения куда либо), но умеет импортировать sqlite файлы и экпортировать БД в виде TypedArray.
Под капотом обычный SQLite, который хранит базу данных в памяти (не сохраняет изменения куда либо), но умеет импортировать sqlite файлы и экпортировать БД в виде TypedArray.
npm
npm: sql.js
SQLite library with support for opening and writing databases, prepared statements, and more. This SQLite library is in pure javanoscript (compiled with emnoscripten).. Latest version: 1.13.0, last published: a month ago. Start using sql.js in your project by…
Шестой эпизод #monadicmonday опубликован в Твиттере. Сегодня говорю про ZIO — библиотеку эффектов для Scala, рассматриваю ее как паттерн ReaderTaskEither и сравниваю с Tagless Final:
https://mobile.twitter.com/YuriyBogomolov/status/1125403292530507776
Код для эпизода уже на гитхабе.
https://mobile.twitter.com/YuriyBogomolov/status/1125403292530507776
Код для эпизода уже на гитхабе.
Twitter
Yuriy Bogomolov
Welcome to the sixth episode of #monadicmonday! Today I will answer to the question from one of my followers: “Could you share an example of ZIO in Typenoscript?”.
Microsoft запустила приватное превью Visual Studio Online:
https://devblogs.microsoft.com/visualstudio/intelligent-productivity-and-collaboration-from-anywhere/
https://devblogs.microsoft.com/visualstudio/intelligent-productivity-and-collaboration-from-anywhere/
Visual Studio Blog
Intelligent Productivity and Collaboration, from Anywhere
Today we’re excited to announce the private preview of a set of developer services that enable you to work from anywhere, and on any device, complete with the most intelligent productivity and collaboration tools in the industry.
https://www.microsoft.com/design/fluent/#/ — Майкрософт выложила обновленную спецификацию Fluent Design. Я всегда приветствую дизайн-системы, в основе которых лежит какая-либо идеология. Тот же Material Design это не просто набор компонентов, а целая философия, которая позволяет проектировать свои собственные компоненты и UI в целом, исходя из набора правил. Я рад видеть, что MS идет по этому же пути.
https://twitter.com/ncasenmare/status/1125780154230419457 АААААААААААААА
Twitter
Nicky Case
NEW DEMO! Based on my personal experience, here's (a demo for) an interactive story about a human and their anxiety disorder. You play *as* the anxiety disorder. 😱 https://t.co/4tUUhPCfqW 😱 🐺 browser, 7 min playtime 🐺 https://t.co/Grc02NVCmI
Седьмой эпизод #monadicmonday выложен в Твиттер: https://twitter.com/YuriyBogomolov/status/1127887720431390721
Сегодня говорим про оптику (для простых TypeScript-смертных, так что никакого ван Лаарховена и профункторов).
Сегодня говорим про оптику (для простых TypeScript-смертных, так что никакого ван Лаарховена и профункторов).
Twitter
Yuriy Bogomolov
Welcome to the seventh episode of #monadicmonday! Today we'll talk a bit about functional optics: lenses, prisms, folds and traversals.
Forwarded from Bogdan
Нашли. Лекция Виталия Брагилевского от 30 марта 2018 года. К сожалению, найти сведение по слайдам не удалось, поэтому запись "как есть". В ролике может быть не видно всех слайдов, но подробность рассказа это компенсирует :).
https://youtu.be/oiUO1L4TOLI
https://youtu.be/oiUO1L4TOLI
YouTube
Функциональное программирование как предмет и метод теоретической информатики
Виталий Брагилевский | офис компании BIOCAD | 30 марта 2018 года
Формирование принципов функционального программирования и разработка функциональных языков программирования всегда велись бок о бок с научными исследованиями в области информатики, причём…
Формирование принципов функционального программирования и разработка функциональных языков программирования всегда велись бок о бок с научными исследованиями в области информатики, причём…
#полезности
Обеспечиваем на уровне компилятора отсутствие пересечения типов входящих аргументов функции.
Обеспечиваем на уровне компилятора отсутствие пересечения типов входящих аргументов функции.
hawke✨🔜FurDU2019 (@fluffderg) твитнул(а): it was shown that Baba Is You is Turing-complete, so i built a Turing machine on it (with a lot of object reskinned to make it easier to see)
all in all it used 2 + 3*4 = 14 objects for a 2-letter, 4-state machine. https://t.co/79F4W1OdNJ https://twitter.com/fluffderg/status/1124530124135600129?s=17
all in all it used 2 + 3*4 = 14 objects for a 2-letter, 4-state machine. https://t.co/79F4W1OdNJ https://twitter.com/fluffderg/status/1124530124135600129?s=17
Twitter
hawke✨🔜FurDU2019
it was shown that Baba Is You is Turing-complete, so i built a Turing machine on it (with a lot of object reskinned to make it easier to see) all in all it used 2 + 3*4 = 14 objects for a 2-letter, 4-state machine. https://t.co/79F4W1OdNJ
dd if=/dev/stuff of=/dev/tg
#полезности Обеспечиваем на уровне компилятора отсутствие пересечения типов входящих аргументов функции.
По просьбам подписчиков — gist: https://gist.github.com/YBogomolov/25ec2aa4bb8c25abce1fcc7b887ede66
Gist
Type-level laws: "function arguments should never intersect"
Type-level laws: "function arguments should never intersect" - never-intersect.ts
Forwarded from The Catcher in the Sky (Artem Pelenitsyn)
Сделали трансляцию доклада о подтипировании. Подключайтесь!
http://www.twitch.tv/ulysses4ever?sr=a
http://www.twitch.tv/ulysses4ever?sr=a
Twitch
ulysses4ever - Twitch
MSc in CS/AM
«Начала» Евклида в интерпретации Оливера Бирна на русском:
https://github.com/jemmybutton/byrne-euclid/
Залипательно!
https://github.com/jemmybutton/byrne-euclid/
Залипательно!