Best viewed with LeechCraft on Microsoft Linux. Войти !bnw Сегодня Клубы
УНЯНЯ. У нас есть немножечко инфы об этом пользователе. Мы знаем, что он понаписал, порекомендовал и даже и то и другое сразу. А ещё у нас есть RSS.
Теги: Клубы:

а чего все носятся с хаскеллем как с непревзойденным достижением академической мысли, когда есть агда?
#UVJ803 (1+1) / @tempest / 1 день назад
> Benjamin Peters. How Not to Network a Nation: The Uneasy History of the Soviet Internet. — MIT Press, 2016. тот случай, когда автору очень хочется технокоммунизма. поэтому плановая экономика у него это как бы и ок, а во всем виноваты бюрократы. я не против технокоммунизма, но прежде чем внедрять с помощью насилия и принуждения (а иначе государство не умеет), пусть сперва хотя бы фондовые рынки решат. а то калькуляционный аргумент у них не аргумент, но при этом они по какой-то необъяснимой причине до сих пор не мультимиллионеры и проекты свои хотят финансировать из бюджета.
#LQVNXA (1+2) / @tempest / 3 дня назад
интересно что в совке вовсю практиковалось спортлото. как азартные игры с ценой билета больше математического ожидания выигрыша сочетаются с советской идеологией мне вот интересно (спойлер: идеально сочетаются)
#ALA3CJ (5+1) / @tempest / 35 дней назад
знаю что выглядит как генератор мамардашвили-текстов, но нет времени объяснять, надо заниматься делом
#FRO1Y8 (0) / @tempest / 38 дней назад
знаю, что грозилась не писать вам сюда больше, но важная мысль. мне кажется, идея ответственности очень важна. возможно, идея ответственности лежит в основании экономики; возможно экономика как дисциплина это развитие идеи ответственности; а экономика как практика это изживание идеи ответственности.
#BNUASG (3+1) / @tempest / 38 дней назад
прекращаю сюда писать, для хуесосов сайт и экономически нецелесообразно
#XWBTTA (5) / @tempest / 39 дней назад
> Think about it: the Haskell community, consisting largely of academic researchers concerned with mathematics, logics, theorem proving, pure functional programming, semantics-preserving compilation, type systems, and so on, is unable to implement their own specification. This is like a man wearing a tuxedo, walking around with toilet paper stuck to his shoe. For fifteen years! It would be funny if the same people weren’t convinced that monadic parser combinators solve all problems in parsing. As it is, I find it maddening. > Back to the point at hand. Since no one implements the spec, it doesn’t make sense to see whether the spec is context sensitive; that would be like flogging a dead horse, and, moreover, a dead horse that was never actually alive in the first place. > I’ll use GHC as my example. Here is the parser (which of course is not written using monadic parser combinators), and here is the lexer.
#51UPIT (0) / @tempest / 43 дня назад
http://dump.bitcheese.net/files/rusevun/tool.png tfw middle aged white suburban dad
#TIF2TZ (0) / @tempest / 48 дней назад
@stilleto, переименуй меня в 7empest, плиз https://www.youtube.com/watch?v=9D2R69gVyZ0
#FZDA5T (1) / @tempest / 48 дней назад
til "комперсия"
#9Z1ONB (3) / @tempest / 50 дней назад
ну и пока мы тут, https://waitbutwhy.com/story-of-us
#B6P31G (0) / @tempest / 50 дней назад
у @argonov вышел цикл постов про рынки прогнозов (обобщение рынка ставок, частный случай спекулятивного рынка). экономисты про них говорят давно, это эффективная система генерации и агрегации информации. введение: https://argonov.livejournal.com/226474.html научно: https://argonov.livejournal.com/226586.html политика: https://argonov.livejournal.com/226986.html (см. также http://mason.gmu.edu/~rhanson/futarchy.html) куда же без блокчейна: https://argonov.livejournal.com/227132.html
#S5LG09 (0+2) / @tempest / 50 дней назад
tldr две проблемы: - слишком мало экономики - слишком много политики
#X2XUHV (1+1) / @tempest / 51 день назад
парадокс ситуации в том, что лучшее, что экономический агент может сделать для минимизации убытков, это добавить требуемый кок. но полагать, что политизаторы на этом успокоятся и разойдутся по домам наивно. маленькая победа их только воодушевит. тебе продолжат навязывать политическую повестку, вынуждая тратить все больше ресурсов на удовлетворение ее требованиям. само по себе это не является проблемой, это то, как капитализм адаптируется под меняющиеся стандарты. процесс не будет продолжаться бесконечно, по мере радикализации требований происходит две вещи: возрастает цена их удовлетворения и уменьшается количество людей, которые разделяют их настоятельность. но здесь я хочу остановиться и просто обратить внимание на два момента. > возрастает цена их удовлетворения полезно помнить, что за все ресурсы, потраченные не на производство товара, предоставление сервиса или оказание услуги, платит в конечном итоге всегда потребитель. политизаторы не склонны посвящать осмыслению этого утверждения чересчур много мыслительных усилий. > уменьшается количество людей, которые разделяют их настоятельность чем более поляризовано и политизировано общество, тем сильнее эквилибриум отклоняется от оптимального.
#PCV6ND (0+1) / @tempest / 51 день назад
поясню. складывается странная ситуация, когда "why should we be involved in this?" перестает быть ответом, который незаинтересованный в политической возне агент может дать. твой сервис или услуга *будут* политизированы, будь это хоть игра, хоть библиотека для хаскелла. от тебя потребуют даже не политического высказывания, а политического манифеста определенного толка. твой кок теперь призван не просто обозначить конструктивные рамки коллаборации -- он должен решать проблемы мира и социализма. иначе он будет объявлен "vague" в лучшем случае и "...-ist" в худшем. сцена меняется и ты обнаруживаешь себя посреди шитшторма, волны которого, кроме всего прочего, приносят письма ненависти и угрозы. история охотно подхватывается медиа. твоя компания терпит убытки, а если компания не твоя, то твой контракт уже расторгнут. все это, важно заметить, никак не связано с качеством твоего сервиса или услуг.
#9T7VB8 (3) / @tempest / 51 день назад
обсудим реактгейт?
#EUOUXK (0) / @tempest / 51 день назад
> Hagoromo лучший мел, все математики хотят такой. потому что им лучше всего доказываются теоремы. был момент, когда япошки перестали его производить и комми злорадствовали, как обычно, мол, рыночек порешал. между тем, таки порешал. экономисты оказались правы, комми соснули, япошки продолжили производить мел, математики довольны, теоремы доказываются.
#7LCHM8 (8+3) / @tempest / 67 дней назад
чему равен `(-1)!`?
#ED9DE1 (6) / @tempest / 71 день назад
ничего-ничего, сейчас иронически обыграем
#ULTXH5 (0) / @tempest / 73 дня назад
ipv6 ready BnW для ведрофона BnW на Реформале Викивач Котятки

Цоперайт © 2010-2016 @stiletto.