Forwarded from oleg_log (Oleg Kovalov)
Semantic это такая штука, для парсинга, анализа и сравнения кода на разных языках(Ruby, JS, TS, Python, Go, so on).
И вот они написали оду Хаскеллу, если кратко:
> Why is Semantic written in Haskell?
<...> In Haskell, control flow is not dictated by the language, but by the data structures used. The same syntax is used for nondeterministic and backtracking computations, for concurrency and parallelism, and for traditional imperative blocks: user-defined interpretation functions, rather than built-in language semantics, determine the way that code is executed. This would be nearly impossible to implement in a language like Go, given its limited support for abstraction and polymorphism, and a maintenance nightmare in Java: every single one of our 20k lines of code would need to be rewritten as a data structure rather than a function. This is simply not a realistic task in other languages; even functional languages like OCaml and Swift lack this level of abstraction.
https://github.com/github/semantic/blob/master/docs/why-haskell.md
И вот они написали оду Хаскеллу, если кратко:
> Why is Semantic written in Haskell?
<...> In Haskell, control flow is not dictated by the language, but by the data structures used. The same syntax is used for nondeterministic and backtracking computations, for concurrency and parallelism, and for traditional imperative blocks: user-defined interpretation functions, rather than built-in language semantics, determine the way that code is executed. This would be nearly impossible to implement in a language like Go, given its limited support for abstraction and polymorphism, and a maintenance nightmare in Java: every single one of our 20k lines of code would need to be rewritten as a data structure rather than a function. This is simply not a realistic task in other languages; even functional languages like OCaml and Swift lack this level of abstraction.
https://github.com/github/semantic/blob/master/docs/why-haskell.md
GitHub
semantic/docs/why-haskell.md at main · github/semantic
Parsing, analyzing, and comparing source code across many languages - github/semantic
Forwarded from oleg_log (Oleg Kovalov)
А еще они отказались от gRPC и ушли в более простой[citation needed] Twirp от Twitch:
> We've had no trouble plugging into the rest of GitHub's infrastructure: running as a command line tool, a web server (HTTP/JSON), and now a Twirp RPC server
Тот же remote procedure call, но только без протобафов, а на человеческом жсон.
> GitHub's infrastructure
хм. выходит гитхаб усиленно юзает его в своих других проектах? интересненько.
Репка https://github.com/twitchtv/twirp
> We've had no trouble plugging into the rest of GitHub's infrastructure: running as a command line tool, a web server (HTTP/JSON), and now a Twirp RPC server
Тот же remote procedure call, но только без протобафов, а на человеческом жсон.
> GitHub's infrastructure
хм. выходит гитхаб усиленно юзает его в своих других проектах? интересненько.
Репка https://github.com/twitchtv/twirp
GitHub
GitHub - twitchtv/twirp: A simple RPC framework with protobuf service definitions
A simple RPC framework with protobuf service definitions - twitchtv/twirp
Forwarded from Технологический Болт Генона
CodeFest выложил видео
CodeFest 2019 #Backend
https://www.youtube.com/watch?v=Nkb-cl8oWLg&list=PL8761XQAJnrZrLWgseZEH1PQKSwqh6FQ0
CodeFest 2019 #Frontend
https://www.youtube.com/watch?v=57ghglfohmk&list=PL8761XQAJnrZZ2IB-VIvbuCpQxp890Gns
CodeFest 2019 #QA
https://www.youtube.com/watch?v=yPU7sYMGIgM&list=PL8761XQAJnrYdOtgSsBtUCoBImqBuEyMc
CodeFest 2019 #Projects
https://www.youtube.com/watch?v=eVtFRBTKoPo&list=PL8761XQAJnraw0hWiCxO6bWRpPqBknA8r
CodeFest 2019 #Products
https://www.youtube.com/watch?v=uUg_halSAIs&list=PL8761XQAJnrZwAm6BdJdIIA0noL7-dnmZ
CodeFest 2019 #Teamlead
https://www.youtube.com/watch?v=hUvfjVRNHDs&list=PL8761XQAJnrbquWpwUNLNVitf0sXHse23
CodeFest 2019 #Design
https://www.youtube.com/watch?v=nQ3jgdOOwA8&list=PL8761XQAJnraFjqzGGYvIZDL005X3b5WL
CodeFest 2019 #DataScience
https://www.youtube.com/watch?v=ZljB8aPY4TE&list=PL8761XQAJnrZaezGvMIvOhi3zgd3FDn7B
CodeFest 2019 #Mobile
https://www.youtube.com/watch?v=WfRLSd6qesU&list=PL8761XQAJnrah-rGgkpZ5BkYVJKzNNODw
CodeFest 2019 #Квартирники
https://www.youtube.com/watch?v=h48ycbRFDsU&list=PL8761XQAJnrZfNIn-wFbe5VRW0AvYAAh9
CodeFestest 2019 #Future
https://www.youtube.com/watch?v=jTxqXwHY-ig&list=PL8761XQAJnrYwno51MgjuEWmczp2WL8mH
CodeFest 2019 #Backend
https://www.youtube.com/watch?v=Nkb-cl8oWLg&list=PL8761XQAJnrZrLWgseZEH1PQKSwqh6FQ0
CodeFest 2019 #Frontend
https://www.youtube.com/watch?v=57ghglfohmk&list=PL8761XQAJnrZZ2IB-VIvbuCpQxp890Gns
CodeFest 2019 #QA
https://www.youtube.com/watch?v=yPU7sYMGIgM&list=PL8761XQAJnrYdOtgSsBtUCoBImqBuEyMc
CodeFest 2019 #Projects
https://www.youtube.com/watch?v=eVtFRBTKoPo&list=PL8761XQAJnraw0hWiCxO6bWRpPqBknA8r
CodeFest 2019 #Products
https://www.youtube.com/watch?v=uUg_halSAIs&list=PL8761XQAJnrZwAm6BdJdIIA0noL7-dnmZ
CodeFest 2019 #Teamlead
https://www.youtube.com/watch?v=hUvfjVRNHDs&list=PL8761XQAJnrbquWpwUNLNVitf0sXHse23
CodeFest 2019 #Design
https://www.youtube.com/watch?v=nQ3jgdOOwA8&list=PL8761XQAJnraFjqzGGYvIZDL005X3b5WL
CodeFest 2019 #DataScience
https://www.youtube.com/watch?v=ZljB8aPY4TE&list=PL8761XQAJnrZaezGvMIvOhi3zgd3FDn7B
CodeFest 2019 #Mobile
https://www.youtube.com/watch?v=WfRLSd6qesU&list=PL8761XQAJnrah-rGgkpZ5BkYVJKzNNODw
CodeFest 2019 #Квартирники
https://www.youtube.com/watch?v=h48ycbRFDsU&list=PL8761XQAJnrZfNIn-wFbe5VRW0AvYAAh9
CodeFestest 2019 #Future
https://www.youtube.com/watch?v=jTxqXwHY-ig&list=PL8761XQAJnrYwno51MgjuEWmczp2WL8mH
YouTube
#Backend, Александр Тоболь, TCP умер или будущее сетевых протоколов
Александр Тоболь
Одноклассники
TCP умер или будущее сетевых протоколов
В докладе мы поговорим про эволюцию и настройки сетевого стека TCP/IP в linux и Android, iOS в контексте мобильных сетей, разберем проблемы TCP в плохих сетях, я поделюсь опытом ОК в…
Одноклассники
TCP умер или будущее сетевых протоколов
В докладе мы поговорим про эволюцию и настройки сетевого стека TCP/IP в linux и Android, iOS в контексте мобильных сетей, разберем проблемы TCP в плохих сетях, я поделюсь опытом ОК в…
Годнота для поклонников zabbix+postgres, да и не только их, но все же😂
https://habr.com/ru/post/452762/
https://habr.com/ru/post/452762/
Хабр
MVCC-7. Автоочистка
Напомню, что мы начали с вопросов, связанных с изоляцией, сделали отступление про организацию данных на низком уровне, подробно поговорили о версиях строк и о то...
Forwarded from ITpro News & Reviews
Эй, парень, псссс, а нет ли у тебя курсов по Azure?
▫️Microsoft Azure Infrastructure and Deployment - Exam AZ-100 (75 видео)
▫️Microsoft Certified Azure Developer - Exam AZ-203 Prep (68 видео)
▫️Microsoft Azure Architect Technologies - Exam AZ-300 (71 видео)
Все три курса для подготовки к разным сертификациям: Azure Developer, Azure Administrator и Azure Architect, включая дополнительные материалы. Для полного комплекта “лычек” не хватает лишь этих: AZ-301, AZ-101 и AZ-400.
Зыж если что, то я вам этих ссылок не давал. Этот курс с linuxacademy, а там есть 7-ми дневный триал. 😉
▫️Microsoft Azure Infrastructure and Deployment - Exam AZ-100 (75 видео)
▫️Microsoft Certified Azure Developer - Exam AZ-203 Prep (68 видео)
▫️Microsoft Azure Architect Technologies - Exam AZ-300 (71 видео)
Все три курса для подготовки к разным сертификациям: Azure Developer, Azure Administrator и Azure Architect, включая дополнительные материалы. Для полного комплекта “лычек” не хватает лишь этих: AZ-301, AZ-101 и AZ-400.
Зыж если что, то я вам этих ссылок не давал. Этот курс с linuxacademy, а там есть 7-ми дневный триал. 😉
Forwarded from The After Times
Пушкинские дни, так сказатб
Гипервизор, гипервизор, ЦОД резервный - как стена.
Этой ночью рухнул сторадж, а дежурство - у меня...
Гипервизор, гипервизор, ЦОД резервный - как стена.
Этой ночью рухнул сторадж, а дежурство - у меня...
Forwarded from The After Times
И вроде все как всегда,
Все тот же rack без ножки.
А у админа в столе -
От дошираков ложки.
И в стримере уж нет кассет -
Такая вот судьба-злодейка.
Зафейлился весь дата-сет,
Ведь у массива села батарейка...
Все тот же rack без ножки.
А у админа в столе -
От дошираков ложки.
И в стримере уж нет кассет -
Такая вот судьба-злодейка.
Зафейлился весь дата-сет,
Ведь у массива села батарейка...
Это каcается не только примеров c python по ссылке, а и впринципе
https://pythonspeed.com/articles/dockerizing-python-is-hard/
https://pythonspeed.com/articles/dockerizing-python-is-hard/
Python⇒Speed
Broken by default: why you should avoid most Dockerfile examples
Most Dockerfile examples for Python you’ll find on the Web are broken. And that’s a problem.
Довольно занятный пост, об парсере #sql на #go
это если вы вдруг решите сделать свою ORM, а готовые вам не нужны, ибо "выжпрограммист"
https://marianogappa.github.io/software/2019/06/05/lets-build-a-sql-parser-in-go/
это если вы вдруг решите сделать свою ORM, а готовые вам не нужны, ибо "выжпрограммист"
https://marianogappa.github.io/software/2019/06/05/lets-build-a-sql-parser-in-go/
Если вдруг кто не видел Linus Torvalds , вот вам свеженькое интервью
https://www.youtube.com/watch?v=mysM-V5h9z8
https://www.youtube.com/watch?v=mysM-V5h9z8
YouTube
Linus Torvalds On Future Of Desktop Linux
Subscribe to our weekly newsletter: https://www.tfir.io/dnl
Become a patron of this channel: https://www.patreon.com/TFIR
Follow us on Twitter: https://twitter.com/tfir_io
Like us on Facebook: https://www.facebook.com/TFiRMedia/
The interview was recorded…
Become a patron of this channel: https://www.patreon.com/TFIR
Follow us on Twitter: https://twitter.com/tfir_io
Like us on Facebook: https://www.facebook.com/TFiRMedia/
The interview was recorded…
Forwarded from Technologique
Emu - высокоуровневый метаязык для программирования и исполнения кода с помощью GPU (подобный проекту OpenCL) и встраивания в код написанный на Rust. Сам транслятор языка написан также на #Rust.
https://github.com/calebwin/emu
https://github.com/calebwin/emu
GitHub
GitHub - calebwin/emu: The write-once-run-anywhere GPGPU library for Rust
The write-once-run-anywhere GPGPU library for Rust - calebwin/emu
Никак не дойдут руки на посмотреть, как оно и тчо оно
http://www.opennet.ru/opennews/art.shtml?num=50825
http://www.opennet.ru/opennews/art.shtml?num=50825
www.opennet.ru
Выпуск DNS-сервера KnotDNS 2.8.2
Представлен релиз KnotDNS 2.8.2, высокопроизводительного авторитативного DNS сервера (рекурсор выполнен в виде отдельного приложения), поддерживающего все современные возможности DNS. Проект разрабатывается чешским реестром имен CZ.NIC и распространяется…
Facebook представил свою систему управления кластерами, Tupperware.
http://amp.gs/duKg
«Убийца Кубернетеса», да.
http://amp.gs/duKg
«Убийца Кубернетеса», да.
from https://t.me/evilmartians/865Forwarded from linkmeup
Не пятничный пост, но всем автоматизаторам почитать стоит.
Один из контрибьюторов Cisco ACI объясняет за что схватиться в Ansible для автоматизации этого самого Cisco ACI и не присесть на кактус.
https://blogs.cisco.com/developer/automating-cisco-aci-with-ansible-eliminates-repetitive-day-to-day-tasks
Один из контрибьюторов Cisco ACI объясняет за что схватиться в Ansible для автоматизации этого самого Cisco ACI и не присесть на кактус.
https://blogs.cisco.com/developer/automating-cisco-aci-with-ansible-eliminates-repetitive-day-to-day-tasks
Cisco Blogs
Automating Cisco ACI with Ansible Eliminates Repetitive Day-to-Day Tasks
Jacob McGill is a network automation engineer at Network to Code, a network automation solutions provider that provides network automation training and professional services. He spends his time helping customers automate their networks using tools including…