- 1
- 2
- 3
- 4
- 5
- 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.-
Лучший говнокод
- В номинации:
-
- Лучший рейтинг
- Самый комментируемый
- За время:
-
- за сегодня
- за неделю
- за месяц
- за всё время
-
Куча / Говнокод #23262
+2
Тактика rewrite не нужна.
CHayT,
12 Августа 2017
Комментарии (14) -
Си / Говнокод #23246
+2
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
- 40
- 41
- 42
- 43
- 44
- 45
- 46
- 47
- 48
- 49
- 50
- 51
- 52
- 53
- 54
- 55
- 56
- 57
- 58
- 59
- 60
- 61
- 62
#include <stddef.h> #include <stdio.h> #include <stdlib.h> #include <string.h> char *concat(char *a, char *b) { char *ptr = malloc(strlen(a)+strlen(b)+6); if (ptr == NULL) { fprintf(stderr, "da ty ohuel!\n"); exit(-1); } sprintf(ptr, "(%s)*(%s)", a, b); return ptr; } char *govno[255] = {"a"}; void printfshit(const size_t pow, const char *mul_stuff) { printf("double pow_%zu(double a) {return %s;}\n\n", pow, mul_stuff); } void genshit(void) { //printfshit(0,"1"); size_t end_ind = 1; size_t prev_stop = 0; size_t end_ind_tmp = 1; while (end_ind < 255) { for (size_t ind1 = 0; ind1 < end_ind_tmp; ind1++) { for (size_t ind2 = prev_stop; ind2 < end_ind_tmp; ind2++) { if ( ((ind1+1) + (ind2+1) < 256) && (govno[(ind1+1) + (ind2+1)-1] == NULL) ) { govno[(ind1+1) + (ind2+1)-1] = concat(govno[ind1], govno[ind2]); end_ind++; } } } prev_stop = end_ind_tmp; end_ind_tmp = end_ind; } printfshit(1,govno[0]); for (size_t i = 1; i < 255; i++ ) { printfshit(i+1,govno[i]); free(govno[i]); } } int main(void) { genshit(); return 0; }Кодогенератор, написаный специально для Antervis
http://govnokod.ru/23227#comment388895
j123123,
08 Августа 2017
Комментарии (38) -
Си / Говнокод #23236
+2
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
#define UM8(CONST_FLOAT,CHISLO_INT) \ ((CONST_FLOAT+1.0/16)<(1.0/8))?((CHISLO_INT*0)>>3):\ (((CONST_FLOAT+1.0/16)<(2.0/8))?((CHISLO_INT*1)>>3):\ (((CONST_FLOAT+1.0/16)<(3.0/8))?((CHISLO_INT*2)>>3):\ (((CONST_FLOAT+1.0/16)<(4.0/8))?((CHISLO_INT*3)>>3):\ (((CONST_FLOAT+1.0/16)<(5.0/8))?((CHISLO_INT*4)>>3):\ (((CONST_FLOAT+1.0/16)<(6.0/8))?((CHISLO_INT*5)>>3):\ (((CONST_FLOAT+1.0/16)<(7.0/8))?((CHISLO_INT*6)>>3):\ (((CONST_FLOAT+1.0/16)<(8.0/8))?((CHISLO_INT*7)>>3):\ (CHISLO_INT)\ )\ )\ )\ )\ )\ )\ )https://habrahabr.ru/post/334758/
inho,
02 Августа 2017
Комментарии (6) -
1C / Говнокод #23234
+2
- 1
- 2
- 3
- 4
- 5
Если ЭтоНовыйОбъект Тогда Если Найти(НРег(ЭтотОбъект.ТекстЗаявки),"принтер") > 0 Тогда ЭтотОбъект.ВидОбращения = Справочники.ИТ_ПричинаОбращения.НайтиПоНаименованию("Принтер"); КонецЕсли; КонецЕсли;Если в тексте заявки есть "принтер", значит это по принтеру, если в тексте "Замените картридж" - peaceDa рулю.
M1CE,
02 Августа 2017
Комментарии (1) -
JavaScript / Говнокод #23218
+2
- 1
- 2
- 3
- 4
- 5
- 6
- 7
+ switch (fov) { + case 15: return size * 7.595754112725151; + case 30: return size * 3.732050807568878; + case 45: return size * 2.414213562373095; + case 60: return size * 1.732050807568877; + default: return size / Math.tan(fov / 2 * Math.PI / 180); + }оптимизация!
makc3d,
25 Июля 2017
Комментарии (0) -
Си / Говнокод #23180
+2
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 13
- 14
- 15
- 16
#include <stdint.h> #include <stdio.h> char a[] = {35,105,110,99,108,117,100,101,32,60,115,116,100,105,110,116,46,104,62,10,35,105,110,99,108,117,100,101,32,60,115,116,100,105,111,46,104,62,10,10,99,104,97,114,32,97,91,93,32,61,32,123,0,125,59,10,10,105,110,116,32,109,97,105,110,40,118,111,105,100,41,10,123,10,32,32,105,110,116,32,98,59,10,32,32,98,32,61,32,112,114,105,110,116,102,40,34,37,115,34,44,32,97,41,59,10,32,32,102,111,114,32,40,99,104,97,114,32,42,105,32,61,32,97,59,32,105,32,60,32,97,32,43,32,115,105,122,101,111,102,40,97,41,59,32,105,43,43,41,10,32,32,123,10,32,32,32,32,112,114,105,110,116,102,40,34,37,105,44,34,44,32,42,105,41,59,10,32,32,125,10,32,32,112,114,105,110,116,102,40,34,37,115,34,44,32,97,43,98,43,49,41,59,10,32,32,114,101,116,117,114,110,32,48,59,10,125,10,}; int main(void) { int b; b = printf("%s", a); for (char *i = a; i < a + sizeof(a); i++) { printf("%i,", *i); } printf("%s", a+b+1); return 0; }куайн на сишечке
j123123,
12 Июля 2017
Комментарии (4) -
PHP / Говнокод #23174
+2
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
/** * "Smart" Escape String * * Escapes data based on type * Sets boolean and null types */ function escape($str) { if (is_string($str)) { $str = "'".$this->escape_str($str)."'"; } elseif (is_bool($str)) { $str = ($str === FALSE) ? 0 : 1; } elseif (is_null($str)) { $str = 'NULL'; } return $str; }CodeIgniter 2, "Smart"
Fike,
11 Июля 2017
Комментарии (0) -
1C / Говнокод #23173
+2
- 1
- 2
- 3
- 4
defmodule Utils.String do @moduledoc false def comma_split(str), do: String.split(str, " ", trim: true) end
AndrewDryga,
10 Июля 2017
Комментарии (7) -
Python / Говнокод #23168
+2
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
- 40
- 41
- 42
- 43
- 44
- 45
- 46
- 47
- 48
- 49
- 50
- 51
- 52
- 53
- 54
- 55
- 56
- 57
- 58
class StreamRailBase: __metaclass__ = ABCMeta def __init__(self): pass # @abstractmethod # def create_connection(self): pass # # @abstractmethod # def send_to_sr(self, method, path, params=None): pass # @abstractmethod # def get_advertisers(self): pass # # @abstractmethod # def get_targeting_conditions(self, env, geos, os, size, white_list, black_list): pass # # @abstractmethod # def create_ad_source(self, name, price, partner, tag_url, env, geos, os, size, req_cap, imp_cap, white_list=None, black_list=None): pass # # @abstractmethod # def create_sr_tag(self, tag_instance): pass # # @abstractmethod # def create_domain_list(self, f, list_type, adsource_name): pass # # @abstractmethod # def activate_adsource(self, adsource_id): pass # # @abstractmethod # def deactivate_adsource(self, adsource_id): pass # # @abstractmethod # def set_caps(self, params, new_req_cap, new_imp_cap): pass # # @abstractmethod # def set_geos(self, params, new_geos): pass # # @abstractmethod # def edit_domain_list(self, f, list_id): pass # # @abstractmethod # def set_list(self, params, new_list, list_type): pass # # @abstractmethod # def set_size(self, params, size): pass # # @abstractmethod # def edit_adsource(self, tag_instance, form_data): pass # # @abstractmethod # def create_new_partner(self, name): pass # # @abstractmethod # def sync_tag(self, tag_instance): pass # # @abstractmethod # def add_new_tag_to_template(self, tag_name, price, tag_id, adv_id): passВ человеке умер рахитектор, и в отчаянии, он закомитил эту хуйню в мастер.
wvxvw,
09 Июля 2017
Комментарии (4) -
C++ / Говнокод #23162
+2
- 001
- 002
- 003
- 004
- 005
- 006
- 007
- 008
- 009
- 010
- 011
- 012
- 013
- 014
- 015
- 016
- 017
- 018
- 019
- 020
- 021
- 022
- 023
- 024
- 025
- 026
- 027
- 028
- 029
- 030
- 031
- 032
- 033
- 034
- 035
- 036
- 037
- 038
- 039
- 040
- 041
- 042
- 043
- 044
- 045
- 046
- 047
- 048
- 049
- 050
- 051
- 052
- 053
- 054
- 055
- 056
- 057
- 058
- 059
- 060
- 061
- 062
- 063
- 064
- 065
- 066
- 067
- 068
- 069
- 070
- 071
- 072
- 073
- 074
- 075
- 076
- 077
- 078
- 079
- 080
- 081
- 082
- 083
- 084
- 085
- 086
- 087
- 088
- 089
- 090
- 091
- 092
- 093
- 094
- 095
- 096
- 097
- 098
- 099
- 100
switch (address & 0xF000) { case 0x0000: case 0x1000: case 0x2000: case 0x3000: return rom[address]; case 0x4000: case 0x5000: case 0x6000: case 0x7000: return rom[address + 0x4000 * (bank_index - 1)]; case 0x8000: case 0x9000: return vram[address - 0x8000]; case 0xA000: case 0xB000: return sram[address - 0xA000]; case 0xC000: case 0xD000: return wram[address - 0xC000]; case 0xE000: case 0xF000: switch (address & 0x0F00) { case 0x0000: case 0x0100: case 0x0200: case 0x0300: case 0x0400: case 0x0500: case 0x0600: case 0x0700: case 0x0800: case 0x0900: case 0x0A00: case 0x0B00: case 0x0C00: case 0x0D00: return wram[address - 0xF000]; case 0x0E00: switch (address & 0x00F0) { case 0x0000: case 0x0010: case 0x0020: case 0x0030: case 0x0040: case 0x0050: case 0x0060: case 0x0070: case 0x0080: case 0x0090: return oam[address - 0xFE00]; case 0x00A0: case 0x00B0: case 0x00C0: case 0x00D0: case 0x00E0: case 0x00F0: return 0b00; } case 0x0F00: switch (address & 0x00F0) { case 0x0000: case 0x0010: case 0x0020: case 0x0030: case 0x0040: case 0x0050: case 0x0060: case 0x0070: return io_regs[address - 0xFF00]; case 0x0080: case 0x0090: case 0x00A0: case 0x00B0: case 0x00C0: case 0x00D0: case 0x00E0: case 0x00F0: switch (address & 0x000F) { case 0x0000: case 0x0001: case 0x0002: case 0x0003: case 0x0004: case 0x0005: case 0x0007: case 0x0008: case 0x0009: case 0x000A: case 0x000B: case 0x000C: case 0x000D: case 0x000E: return hram[address - 0xFF80]; case 0x000F:
jangolare,
06 Июля 2017
Комментарии (18)
Follow us!