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

    0

    1. 1
    Псст. А где здесь говнокод "подопьём и разговариваем про всякое"? Я, признаться, совсем одичал за последние полгода.

    bakagaijin, 19 Августа 2017

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

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

    −5

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

    tyrin, 18 Августа 2017

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

  3. Куча / Говнокод #23266

    +2

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

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

    sos, 14 Августа 2017

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

  4. Куча / Говнокод #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)

  5. Куча / Говнокод #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)

  6. Куча / Говнокод #23256

    −3

    1. 1
    ethereum

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

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

    ASD_77, 10 Августа 2017

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

  7. Куча / Говнокод #23231

    0

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

    strtr, 31 Июля 2017

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

  8. Куча / Говнокод #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)

  9. Куча / Говнокод #23179

    −3

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

    AnalPerOral, 12 Июля 2017

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

  10. Куча / Говнокод #23153

    0

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

    AnalPerOral, 04 Июля 2017

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