Finite-State Machines, Part 1: Modeling with Haskell Data Types
https://www.reddit.com/r/programming/comments/7ctxuz/finitestate_machines_part_1_modeling_with_haskell/
submitted by /u/owickstrom (https://www.reddit.com/user/owickstrom)
[link] (https://wickstrom.tech/finite-state-machines/2017/11/10/finite-state-machines-part-1-modeling-with-haskell.html) [comments] (https://www.reddit.com/r/programming/comments/7ctxuz/finitestate_machines_part_1_modeling_with_haskell/)
https://www.reddit.com/r/programming/comments/7ctxuz/finitestate_machines_part_1_modeling_with_haskell/
submitted by /u/owickstrom (https://www.reddit.com/user/owickstrom)
[link] (https://wickstrom.tech/finite-state-machines/2017/11/10/finite-state-machines-part-1-modeling-with-haskell.html) [comments] (https://www.reddit.com/r/programming/comments/7ctxuz/finitestate_machines_part_1_modeling_with_haskell/)
YAML sucks
https://www.reddit.com/r/programming/comments/7ctwi7/yaml_sucks/
submitted by /u/Saltones (https://www.reddit.com/user/Saltones)
[link] (https://github.com/cblp/yaml-sucks) [comments] (https://www.reddit.com/r/programming/comments/7ctwi7/yaml_sucks/)
https://www.reddit.com/r/programming/comments/7ctwi7/yaml_sucks/
submitted by /u/Saltones (https://www.reddit.com/user/Saltones)
[link] (https://github.com/cblp/yaml-sucks) [comments] (https://www.reddit.com/r/programming/comments/7ctwi7/yaml_sucks/)
Will Artificial Intelligence replace developers (part 1)?
https://www.reddit.com/r/programming/comments/7cuazj/will_artificial_intelligence_replace_developers/
submitted by /u/___atomlib___ (https://www.reddit.com/user/___atomlib___)
[link] (http://www.michalkomorowski.com/2017/11/will-artificial-intelligence-replace.html) [comments] (https://www.reddit.com/r/programming/comments/7cuazj/will_artificial_intelligence_replace_developers/)
https://www.reddit.com/r/programming/comments/7cuazj/will_artificial_intelligence_replace_developers/
submitted by /u/___atomlib___ (https://www.reddit.com/user/___atomlib___)
[link] (http://www.michalkomorowski.com/2017/11/will-artificial-intelligence-replace.html) [comments] (https://www.reddit.com/r/programming/comments/7cuazj/will_artificial_intelligence_replace_developers/)
Plotting latency distributions with gonum (#justforfunc 23)
https://www.reddit.com/r/programming/comments/7cuii8/plotting_latency_distributions_with_gonum/
submitted by /u/mfrw1 (https://www.reddit.com/user/mfrw1)
[link] (https://www.youtube.com/watch?v=77ZFKuMLkp4&t=) [comments] (https://www.reddit.com/r/programming/comments/7cuii8/plotting_latency_distributions_with_gonum/)
https://www.reddit.com/r/programming/comments/7cuii8/plotting_latency_distributions_with_gonum/
submitted by /u/mfrw1 (https://www.reddit.com/user/mfrw1)
[link] (https://www.youtube.com/watch?v=77ZFKuMLkp4&t=) [comments] (https://www.reddit.com/r/programming/comments/7cuii8/plotting_latency_distributions_with_gonum/)
Why use Zig when C++, D, and Rust exist?
https://www.reddit.com/r/programming/comments/7cumiy/why_use_zig_when_c_d_and_rust_exist/
submitted by /u/alexeyr (https://www.reddit.com/user/alexeyr)
[link] (https://github.com/zig-lang/zig/wiki/Why-Zig-When-There-is-Already-CPP%2C-D%2C-and-Rust%3F) [comments] (https://www.reddit.com/r/programming/comments/7cumiy/why_use_zig_when_c_d_and_rust_exist/)
https://www.reddit.com/r/programming/comments/7cumiy/why_use_zig_when_c_d_and_rust_exist/
submitted by /u/alexeyr (https://www.reddit.com/user/alexeyr)
[link] (https://github.com/zig-lang/zig/wiki/Why-Zig-When-There-is-Already-CPP%2C-D%2C-and-Rust%3F) [comments] (https://www.reddit.com/r/programming/comments/7cumiy/why_use_zig_when_c_d_and_rust_exist/)
Learn some awesome tricks of Sublime Text
https://www.reddit.com/r/programming/comments/7cuoc2/learn_some_awesome_tricks_of_sublime_text/
submitted by /u/faysal1991 (https://www.reddit.com/user/faysal1991)
[link] (http://faisalweb.com/most-useful-tips-for-sublime-text/) [comments] (https://www.reddit.com/r/programming/comments/7cuoc2/learn_some_awesome_tricks_of_sublime_text/)
https://www.reddit.com/r/programming/comments/7cuoc2/learn_some_awesome_tricks_of_sublime_text/
submitted by /u/faysal1991 (https://www.reddit.com/user/faysal1991)
[link] (http://faisalweb.com/most-useful-tips-for-sublime-text/) [comments] (https://www.reddit.com/r/programming/comments/7cuoc2/learn_some_awesome_tricks_of_sublime_text/)
Compile D to WebAssembly using ldc --betterC and emcc
https://www.reddit.com/r/programming/comments/7cuoih/compile_d_to_webassembly_using_ldc_betterc_and/
submitted by /u/pjmlp (https://www.reddit.com/user/pjmlp)
[link] (https://github.com/cosinus2/dlang-emnoscripten-demo) [comments] (https://www.reddit.com/r/programming/comments/7cuoih/compile_d_to_webassembly_using_ldc_betterc_and/)
https://www.reddit.com/r/programming/comments/7cuoih/compile_d_to_webassembly_using_ldc_betterc_and/
submitted by /u/pjmlp (https://www.reddit.com/user/pjmlp)
[link] (https://github.com/cosinus2/dlang-emnoscripten-demo) [comments] (https://www.reddit.com/r/programming/comments/7cuoih/compile_d_to_webassembly_using_ldc_betterc_and/)
How to Filter Data by Map Shape (Using PostgreSQL and Elasticsearch)
https://www.reddit.com/r/programming/comments/7cusg8/how_to_filter_data_by_map_shape_using_postgresql/
submitted by /u/elpassion (https://www.reddit.com/user/elpassion)
[link] (https://blog.elpassion.com/how-to-filter-data-by-map-shape-5cb6e5d18b33) [comments] (https://www.reddit.com/r/programming/comments/7cusg8/how_to_filter_data_by_map_shape_using_postgresql/)
https://www.reddit.com/r/programming/comments/7cusg8/how_to_filter_data_by_map_shape_using_postgresql/
submitted by /u/elpassion (https://www.reddit.com/user/elpassion)
[link] (https://blog.elpassion.com/how-to-filter-data-by-map-shape-5cb6e5d18b33) [comments] (https://www.reddit.com/r/programming/comments/7cusg8/how_to_filter_data_by_map_shape_using_postgresql/)
Community forum by GitHub
https://www.reddit.com/r/programming/comments/7cuzku/community_forum_by_github/
submitted by /u/mfrw1 (https://www.reddit.com/user/mfrw1)
[link] (https://github.community/) [comments] (https://www.reddit.com/r/programming/comments/7cuzku/community_forum_by_github/)
https://www.reddit.com/r/programming/comments/7cuzku/community_forum_by_github/
submitted by /u/mfrw1 (https://www.reddit.com/user/mfrw1)
[link] (https://github.community/) [comments] (https://www.reddit.com/r/programming/comments/7cuzku/community_forum_by_github/)
-0// …or How I Learned to Stop Worrying and Love my Errors
https://www.reddit.com/r/programming/comments/7cv3v5/0_or_how_i_learned_to_stop_worrying_and_love_my/
submitted by /u/elbrujohalcon (https://www.reddit.com/user/elbrujohalcon)
[link] (https://medium.com/tech-lead-talks/0-20c54f76fc8b) [comments] (https://www.reddit.com/r/programming/comments/7cv3v5/0_or_how_i_learned_to_stop_worrying_and_love_my/)
https://www.reddit.com/r/programming/comments/7cv3v5/0_or_how_i_learned_to_stop_worrying_and_love_my/
submitted by /u/elbrujohalcon (https://www.reddit.com/user/elbrujohalcon)
[link] (https://medium.com/tech-lead-talks/0-20c54f76fc8b) [comments] (https://www.reddit.com/r/programming/comments/7cv3v5/0_or_how_i_learned_to_stop_worrying_and_love_my/)
A new WebAssembly tool: Cheerp 2.0RC1 compiles C++ to mixed WebAssembly/JavaScript, same performance as Emnoscripten, full DOM access, 30-90% smaller output
https://www.reddit.com/r/programming/comments/7cv40h/a_new_webassembly_tool_cheerp_20rc1_compiles_c_to/
submitted by /u/smm11 (https://www.reddit.com/user/smm11)
[link] (http://blog.leaningtech.com/2017/11/cheerp-c-to-webassembly-20rc1-released.html) [comments] (https://www.reddit.com/r/programming/comments/7cv40h/a_new_webassembly_tool_cheerp_20rc1_compiles_c_to/)
https://www.reddit.com/r/programming/comments/7cv40h/a_new_webassembly_tool_cheerp_20rc1_compiles_c_to/
submitted by /u/smm11 (https://www.reddit.com/user/smm11)
[link] (http://blog.leaningtech.com/2017/11/cheerp-c-to-webassembly-20rc1-released.html) [comments] (https://www.reddit.com/r/programming/comments/7cv40h/a_new_webassembly_tool_cheerp_20rc1_compiles_c_to/)
[x-post r/django] Tutorial: User Authentication with Django REST Framework
https://www.reddit.com/r/programming/comments/7cv7v4/xpost_rdjango_tutorial_user_authentication_with/
submitted by /u/mike_burn (https://www.reddit.com/user/mike_burn)
[link] (https://michaelwashburnjr.com/django-user-authentication/) [comments] (https://www.reddit.com/r/programming/comments/7cv7v4/xpost_rdjango_tutorial_user_authentication_with/)
https://www.reddit.com/r/programming/comments/7cv7v4/xpost_rdjango_tutorial_user_authentication_with/
submitted by /u/mike_burn (https://www.reddit.com/user/mike_burn)
[link] (https://michaelwashburnjr.com/django-user-authentication/) [comments] (https://www.reddit.com/r/programming/comments/7cv7v4/xpost_rdjango_tutorial_user_authentication_with/)
Copy avoidance with MSG_ZEROCOPY
https://www.reddit.com/r/programming/comments/7cv93l/copy_avoidance_with_msg_zerocopy/
submitted by /u/mfrw1 (https://www.reddit.com/user/mfrw1)
[link] (https://www.youtube.com/watch?v=9F8I9vYQydU) [comments] (https://www.reddit.com/r/programming/comments/7cv93l/copy_avoidance_with_msg_zerocopy/)
https://www.reddit.com/r/programming/comments/7cv93l/copy_avoidance_with_msg_zerocopy/
submitted by /u/mfrw1 (https://www.reddit.com/user/mfrw1)
[link] (https://www.youtube.com/watch?v=9F8I9vYQydU) [comments] (https://www.reddit.com/r/programming/comments/7cv93l/copy_avoidance_with_msg_zerocopy/)
A casual intro to Machine Learning and Deep Learning
https://www.reddit.com/r/programming/comments/7cvepw/a_casual_intro_to_machine_learning_and_deep/
submitted by /u/jeroen_moons (https://www.reddit.com/user/jeroen_moons)
[link] (https://towardsdatascience.com/a-casual-intro-to-machine-learning-f43ccf316245) [comments] (https://www.reddit.com/r/programming/comments/7cvepw/a_casual_intro_to_machine_learning_and_deep/)
https://www.reddit.com/r/programming/comments/7cvepw/a_casual_intro_to_machine_learning_and_deep/
submitted by /u/jeroen_moons (https://www.reddit.com/user/jeroen_moons)
[link] (https://towardsdatascience.com/a-casual-intro-to-machine-learning-f43ccf316245) [comments] (https://www.reddit.com/r/programming/comments/7cvepw/a_casual_intro_to_machine_learning_and_deep/)
Genetic algorithm: self-propelled satellites looking for optimal orbit between three stars.
https://www.reddit.com/r/programming/comments/7cvewx/genetic_algorithm_selfpropelled_satellites/
submitted by /u/planelles (https://www.reddit.com/user/planelles)
[link] (https://youtu.be/eWLeQlX0vnI) [comments] (https://www.reddit.com/r/programming/comments/7cvewx/genetic_algorithm_selfpropelled_satellites/)
https://www.reddit.com/r/programming/comments/7cvewx/genetic_algorithm_selfpropelled_satellites/
submitted by /u/planelles (https://www.reddit.com/user/planelles)
[link] (https://youtu.be/eWLeQlX0vnI) [comments] (https://www.reddit.com/r/programming/comments/7cvewx/genetic_algorithm_selfpropelled_satellites/)
http4k: Server as a Function. In Kotlin. Typesafe. Without the Server.
https://www.reddit.com/r/programming/comments/7cvird/http4k_server_as_a_function_in_kotlin_typesafe/
submitted by /u/tarkaTheRotter (https://www.reddit.com/user/tarkaTheRotter)
[link] (https://www.http4k.org/blog/meet_http4k) [comments] (https://www.reddit.com/r/programming/comments/7cvird/http4k_server_as_a_function_in_kotlin_typesafe/)
https://www.reddit.com/r/programming/comments/7cvird/http4k_server_as_a_function_in_kotlin_typesafe/
submitted by /u/tarkaTheRotter (https://www.reddit.com/user/tarkaTheRotter)
[link] (https://www.http4k.org/blog/meet_http4k) [comments] (https://www.reddit.com/r/programming/comments/7cvird/http4k_server_as_a_function_in_kotlin_typesafe/)
Obsessed With Primitives?
https://www.reddit.com/r/programming/comments/7cvjdy/obsessed_with_primitives/
submitted by /u/ghled (https://www.reddit.com/user/ghled)
[link] (https://testing.googleblog.com/2017/11/obsessed-with-primitives.html) [comments] (https://www.reddit.com/r/programming/comments/7cvjdy/obsessed_with_primitives/)
https://www.reddit.com/r/programming/comments/7cvjdy/obsessed_with_primitives/
submitted by /u/ghled (https://www.reddit.com/user/ghled)
[link] (https://testing.googleblog.com/2017/11/obsessed-with-primitives.html) [comments] (https://www.reddit.com/r/programming/comments/7cvjdy/obsessed_with_primitives/)
Double NoScript
https://www.reddit.com/r/programming/comments/7cvqst/double_nonoscript/
submitted by /u/malicious_turtle (https://www.reddit.com/user/malicious_turtle)
[link] (https://hackademix.net/2017/11/14/double-nonoscript/) [comments] (https://www.reddit.com/r/programming/comments/7cvqst/double_nonoscript/)
https://www.reddit.com/r/programming/comments/7cvqst/double_nonoscript/
submitted by /u/malicious_turtle (https://www.reddit.com/user/malicious_turtle)
[link] (https://hackademix.net/2017/11/14/double-nonoscript/) [comments] (https://www.reddit.com/r/programming/comments/7cvqst/double_nonoscript/)
Матч Россия-Испания на стадионе "Санкт-Петербург Арена" ограничит движение транспорта
В связи с матчем Россия-Испания на стадионе "Санкт-Петербург Арена" 14 и 15 ноября ограничат движение транспорта. Об этом сообщили в пресс-службе комитета по развитию транспортной инфраструктуры.
В течение двух дней с 17:45 до 02:00 движение будет запрещено на следующих участках:
- на Рюхиной улице: от Северной дороги до Крестовского проспекта;
- на Южной дороге, Северной дороге: от переулка Бодрова до Южной дороги;
- на Крестовском проспекте: от Рюхиной улицы до Южной дороги;
- на улице Савиной.
В это же время въезд будет запрещен на Морской проспект, от Петроградской улицы до улицы Рюхина, и на Яхтенную улицу, от улицы Савушкина до Приморского проспекта.
Кроме того, остановку запретят с 00:00 до 02:00:
- на Северной дороге;
- на Южной дороге;
- на улице Савиной;
- на Морском проспекте: от Петроградской улицы до улицы Рюхина;
- на Гребной улице;
- на Рюхиной улице: от Северной дороги до Крестовского проспекта;
- на Крестовском проспекте: от Петроградской улицы до Южной дороги;
- в Бодровом переулке;
- на Приморском проспекте: от Беговой улицы до Яхтенной улицы;
- на Яхтенной улице: от Приморского проспекта до улицы Савушкина;
- на Беговой улице: от Приморского проспекта до улицы Савушкина;
- на площади Шевченко.
В эти же дни с 23:45 до 02:00 в соответствии со схемой организации дорожного движения будет ограничено движение транспортных средств:
- на Приморском проспекте: от дома 72 (первый выезд из ТРК "Питерлэнд") до Яхтенной улицы;
- на Яхтенной улице: от улицы Савушкина до Приморского проспекта.
В связи с матчем Россия-Испания на стадионе "Санкт-Петербург Арена" 14 и 15 ноября ограничат движение транспорта. Об этом сообщили в пресс-службе комитета по развитию транспортной инфраструктуры.
В течение двух дней с 17:45 до 02:00 движение будет запрещено на следующих участках:
- на Рюхиной улице: от Северной дороги до Крестовского проспекта;
- на Южной дороге, Северной дороге: от переулка Бодрова до Южной дороги;
- на Крестовском проспекте: от Рюхиной улицы до Южной дороги;
- на улице Савиной.
В это же время въезд будет запрещен на Морской проспект, от Петроградской улицы до улицы Рюхина, и на Яхтенную улицу, от улицы Савушкина до Приморского проспекта.
Кроме того, остановку запретят с 00:00 до 02:00:
- на Северной дороге;
- на Южной дороге;
- на улице Савиной;
- на Морском проспекте: от Петроградской улицы до улицы Рюхина;
- на Гребной улице;
- на Рюхиной улице: от Северной дороги до Крестовского проспекта;
- на Крестовском проспекте: от Петроградской улицы до Южной дороги;
- в Бодровом переулке;
- на Приморском проспекте: от Беговой улицы до Яхтенной улицы;
- на Яхтенной улице: от Приморского проспекта до улицы Савушкина;
- на Беговой улице: от Приморского проспекта до улицы Савушкина;
- на площади Шевченко.
В эти же дни с 23:45 до 02:00 в соответствии со схемой организации дорожного движения будет ограничено движение транспортных средств:
- на Приморском проспекте: от дома 72 (первый выезд из ТРК "Питерлэнд") до Яхтенной улицы;
- на Яхтенной улице: от улицы Савушкина до Приморского проспекта.
В Петергофе откроют конный театр
В отреставрированных императорских конюшнях будут показывать захватывающие представления, в которых воедино сольются искусство конной езды, музыка и безупречная игра актёров.
16 и 17 ноября в петербургском Доме архитектора состоится конференция «Историко-культурное конное наследие России и Европы. Экономика, спорт, туризм и окружающая среда», где представители Версаля и ГМЗ «Петергоф» подпишут интересное соглашение о сотрудничестве: с этого момента конюшни Версаля и Петергофа станут побратимами.
«На первый взгляд, не очень важный документ — ну какие-то две конюшни подписывают соглашение. Однако всё совсем не так», — сказал руководитель конной секции Санкт-Петербургского культурного форума Олег Рыжков, отметив, что после подписания документа в Петергофе займутся созданием конного театра.
После реставрации ансамбля конюшен Петергофа там планируется создать конный театр, который будет выступать не только в России, но и на площадке «побратима» — в Версале. Это не спортивная площадка, а новая театральная сцена, где главными героями в окружении исторических интерьеров станут не актёры, а грациозные лошади.
«Конный театр — это составляющая культурной традиции страны, это искусство. Искусство конной езды стоит в одном ряду с искусством оперы и балета. Те, кто хоть раз видел выступление конного театра, поймут, о чём я говорю», — отметил Рыжков.
Отметим, ранее во Всеволожском районе появился драматический театр под открытым небом, актёрами в котором стали лошади. Однако в Петергофе театр будет куда больших масштабов, ведь его постановки должны выйти на мировую арену.
В отреставрированных императорских конюшнях будут показывать захватывающие представления, в которых воедино сольются искусство конной езды, музыка и безупречная игра актёров.
16 и 17 ноября в петербургском Доме архитектора состоится конференция «Историко-культурное конное наследие России и Европы. Экономика, спорт, туризм и окружающая среда», где представители Версаля и ГМЗ «Петергоф» подпишут интересное соглашение о сотрудничестве: с этого момента конюшни Версаля и Петергофа станут побратимами.
«На первый взгляд, не очень важный документ — ну какие-то две конюшни подписывают соглашение. Однако всё совсем не так», — сказал руководитель конной секции Санкт-Петербургского культурного форума Олег Рыжков, отметив, что после подписания документа в Петергофе займутся созданием конного театра.
После реставрации ансамбля конюшен Петергофа там планируется создать конный театр, который будет выступать не только в России, но и на площадке «побратима» — в Версале. Это не спортивная площадка, а новая театральная сцена, где главными героями в окружении исторических интерьеров станут не актёры, а грациозные лошади.
«Конный театр — это составляющая культурной традиции страны, это искусство. Искусство конной езды стоит в одном ряду с искусством оперы и балета. Те, кто хоть раз видел выступление конного театра, поймут, о чём я говорю», — отметил Рыжков.
Отметим, ранее во Всеволожском районе появился драматический театр под открытым небом, актёрами в котором стали лошади. Однако в Петергофе театр будет куда больших масштабов, ведь его постановки должны выйти на мировую арену.