1. Куча / Говнокод #23280

    −5

    1. 1
    Никто не в курсе где сейчас  Clerk с wasm.

    tyrin, 18 Августа 2017

    Комментарии (10)
  2. Куча / Говнокод #23266

    +2

    1. 1
    Программисты, а вы на работе вообще программируете?

    Я вот только костыли для старых багов пилю, программировать пока не доводилось.

    sos, 14 Августа 2017

    Комментарии (12)
  3. Куча / Говнокод #23262

    +2

    1. 1
    2. 2
    3. 3
    4. 4
    5. 5
    6. 6
    Lemma use_prop_equality : forall {X} (f : X -> Prop) a b,
        a = b -> f a -> f b.
    Proof.
      intros X f a b He Ha.
      destruct He. apply Ha.
    Qed.

    Тактика rewrite не нужна.

    CHayT, 12 Августа 2017

    Комментарии (14)
  4. Куча / Говнокод #23259

    −1

    1. 01
    2. 02
    3. 03
    4. 04
    5. 05
    6. 06
    7. 07
    8. 08
    9. 09
    10. 10
    11. 11
    12. 12
    13. 13
    14. 14
    15. 15
    16. 16
    17. 17
    18. 18
    19. 19
    20. 20
    21. 21
    22. 22
    23. 23
    24. 24
    25. 25
    26. 26
    27. 27
    <script type="text/javascript" >
    
    var h_hght = 155; // высота шапки
    
    var h_mrg = 0;   
                     
    $(function(){
     
        var elem = $('#fix');
        var top = $(this).scrollTop();
         
        if(top > h_hght){
            elem.css('top', h_mrg);
        }           
         
        $(window).scroll(function(){
            top = $(this).scrollTop();
             
            if (top+h_mrg < h_hght) {
                elem.css('top', (h_hght-top));
            } else {
                elem.css('top', h_mrg);
            }
        });
     
    });
    </script>

    snegoviktlt, 10 Августа 2017

    Комментарии (3)
  5. Куча / Говнокод #23256

    −3

    1. 1
    ethereum

    кто нить зарабатывает майнингом ethereum?

    Хочу себе фарму сделать, а то скучно мне

    ASD_77, 10 Августа 2017

    Комментарии (6)
  6. Куча / Говнокод #23231

    0

    1. 1
    2. 2
    3. 3
    Телефон Страйкера: +79653583864
    Скоро на всех гей-порталах страны.
    Админ, можешь уже выбрасывать симку.

    strtr, 31 Июля 2017

    Комментарии (4)
  7. Куча / Говнокод #23206

    −1

    1. 01
    2. 02
    3. 03
    4. 04
    5. 05
    6. 06
    7. 07
    8. 08
    9. 09
    10. 10
    11. 11
    12. 12
    13. 13
    То, что находится ниже - очередная розовобегемотная вакансия, предложенная "креативщиками" от IT-индустрии.
    Интересно, когда они осознают, что к ним идут зарабатывать земное, бренное бабло, а не "сворачивать горы", и что на их прожекты всем, кроме них самих, глубоко похуй?
    
    
    
    "Сейчас – тот самый момент, когда в нашу КОМАНДУ МЕЧТЫ ищется Full-stack PHP-разработчик, 
    творческий человек и высококлассный профессионал. 
    Тебя ждет яркий проект, безлимитный драйв и атмосфера настоящего большого стартапа!  
    То, что мы делаем – используют миллионы,  
    почувствуй себя создателем новой технологии, творцом новой жизни.  
    Мы здесь чтобы сворачивать горы, будь с нами и ты не пожалеешь! 
    
    Обязанности:  [радужное описание рутинной хуеты]"

    AnalPerOral, 20 Июля 2017

    Комментарии (1)
  8. Куча / Говнокод #23179

    −3

    1. 1
    2. 2
    Камерунские нигеры ебут админа этого сайта в четыре ствола; но, что любопытно, нельзя сказать, чтобы это ему как-то прямо уж так-таки и не нравилось.
    Извиваться-то ужом он, положим, извивается; да только вопли из его глотки летят далеко не страдальческие...

    AnalPerOral, 12 Июля 2017

    Комментарии (4)
  9. Куча / Говнокод #23153

    0

    1. 1
    Тем временем, в Яунде двадцать четыре градуса тепла.

    AnalPerOral, 04 Июля 2017

    Комментарии (0)
  10. Куча / Говнокод #23148

    −1

    1. 1
    [color=green][s][u][b][size=20]ДАВАЙТЕ ФЛУДИТЬ И ТРОЛЛИТЬ[/size][/color][/b][/u][/s]

    ДАВАЙТЕ ФЛУДИТЬ И ТРОЛЛИТЬ

    antipattern, 27 Июня 2017

    Комментарии (73)