- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
Inductive my_bool :=
| my_false
| my_true.
Theorem shit_happens:
(if my_false then 42 else 100500) = 42.
Proof.
reflexivity.
Qed.
Нашли или выдавили из себя код, который нельзя назвать нормальным, на который без улыбки не взглянешь? Не торопитесь его удалять или рефакторить, — запостите его на говнокод.ру, посмеёмся вместе!
+2
Inductive my_bool :=
| my_false
| my_true.
Theorem shit_happens:
(if my_false then 42 else 100500) = 42.
Proof.
reflexivity.
Qed.
Какая типизация )))
+2
match group_shapes():
case [], [point := Point(x, y), *other]:
print(f"Got {point} in the second group")
process_coordinates(x, y)
https://www.python.org/dev/peps/pep-0622/
0
//библиотеки cuda_runtime.h и device_launch_parameters.h
//для работы с cyda
#include "cuda_runtime.h"
#include "device_launch_parameters.h"
#include<vector>
#include<string>//для getline
#include <stdio.h>
#include<fstream>
using namespace std;
__global__ void Upload_to_GPU(unsigned long long *Number,unsigned long long *Stepn, bool *Stop,unsigned long long *INPUT,unsigned long long *max) {
int thread = threadIdx.x;
unsigned long long MAX_DEGREE_OF = max[0];
int X = thread;
unsigned long long Calculated_number = 1;
unsigned long long Current_degree_of_number = 2;
unsigned long long Original_numberP = INPUT[0];
Stop[thread] = false;
bool BREAK = false;
if (X!=0&&X!=1) {
while (!BREAK) {
if (Current_degree_of_number <= MAX_DEGREE_OF) {
Calculated_number = 1;
for (int counter = 0; counter < Current_degree_of_number; counter++) {
Calculated_number *=X;
}
if (Calculated_number == Original_numberP) {
Stepn[thread] = Current_degree_of_number;
Number[thread] = X;
Stop[thread] = true;
BREAK = true;
}
Current_degree_of_number++;
}
else { BREAK = true; }
}
}
}
https://habr.com/post/525892/
> Сравнение времени выполнения алгоритма на CPU и GPU
+1
/// Checks if the token is number or not
bool is_number(char* test_val)
{
const char* ROW = "0123456789\0";
for (int i = 0; i < strlen(test_val); i++) {
for (int j = 0; j < strlen(ROW); j++) {
if (test_val[i] == ROW[j]) {
goto next;
}
}
return false;
next:
}
return true;
}
Попытка проверить строку на число в Си.
0
try
{
await storageClient.DownloadObjectAsync(Bucket, fileName, stream).ConfigureAwait(false);
}
catch(Exception ex)
{
throw new FileStorageException($"File '{fileName}' not found in a bucket '{Bucket}'", ex) { StatusCode = StatusCodes.Status404NotFound };
}
Сеньйор дот нет девелопер
0
/* Infinite loop */
/* USER CODE BEGIN WHILE */
while (1)
{
Master_Slave_Check();
if (CtrlBrd_Mode == 1) //MasterMode
{
SSPC_Check_Proc();
Read_ADC();
Logic();
RS_Enable();
Obmen_RS();
//CAN_Enable();
//Obmen_CAN();
//if (SoftFlag.Flag1.bit.History_Wr_Req)
//{
// SoftFlag.Flag1.bit.History_Wr_Req = 0;
// Write_History();
//}
HAL_IWDG_Refresh(&hiwdg); //Dog reset
Migalka(); //Working LED blink
}
else if (CtrlBrd_Mode == 0) //SlaveMode
{
Slave_DeInit();
while(1)
{
Master_Slave_Check();
if (CtrlBrd_Mode == 1) //если плата снова стала мастером, когда сдох основной мастер,
HW_RESET(); //делаем аппаратный сброс для перезапуска (нога выставляется в 1, отпирает транзюк VT9, который садит на землю вход управления тракой)
HAL_IWDG_Refresh(&hiwdg); //Dog reset
Migalka();
}
}
}
/* USER CODE END WHILE */
}
Так реализовал параллельную работу двух одинаковых плат управления, одна из которых висит в режиме ожидания.
0
doit({txs, [Tx]}) ->
X = tx_pool_feeder:absorb(Tx),
Y = case X of
ok -> hash:doit(testnet_sign:data(Tx));
_ -> <<"error">>
end,
{ok, Y};
Прекраснейший код на Erlang из великолепнейшей криптовалюты AMOVEO
Здесь мы видим эндпоинт для отправки транзакций в сеть, возвращающий в случае ошибки ["ok","ZXJyb3I="]
Приглядевшись можно увидеть закодированное в base64 слово «error»
+1
решение:
class Twofer {
String twofer(String name) {
if (name.equalsIgnoreCase("Alice")){
return "One for Alice, one for me.";
} else if (name.equalsIgnoreCase("Bob")) {
return "One for Bob, one for me.";
} else {
return "One for you, one for me.";
}
}
}
чтобы эти тесты проходили
задачка:
# Two Fer
`Two-fer` or `2-fer` is short for two for one. One for you and one for me.
```text
"One for X, one for me."
```
When X is a name or "you".
If the given name is "Alice", the result should be "One for Alice, one for me."
If no name is given, the result should be "One for you, one for me."
чувак решил не заморачиваться...
+2
for(i==1;i<=1000;i++)
https://youtu.be/Tzl0ELY_TiM?t=89
И эти люди хотят кого-то учить программированию?
+1873
function translate_a_name_of_the_winter_to_the_foreign_language(language: String): String;
begin
if language = 'авестийский' Result := 'zimō'
else if language = 'белорусский' Result := 'зіма'
else if language = 'болгарский' Result := 'зима'
else if language = 'верхнелужицкий' Result := 'zyma'
else if language = 'греческий' Result := 'χειμώνας'
else if language = 'древнепрусский' Result := 'semo'
else if language = 'латинский' Result := 'hiems'
else if language = 'латышский' Result := 'ziema'
else if language = 'литовский' Result := 'žiema'
else if language = 'македонский' Result := 'зима'
else if language = 'нижнелужицкий' Result := 'zyma'
else if language = 'осетинский' Result := 'зымӕг'
else if language = 'польский' Result := 'zima'
else if language = 'русский' Result := 'зима'
else if language = 'санскрит' Result := 'hima'
else if language = 'сербский' Result := 'зима'
else if language = 'словацкий' Result := 'zima'
else if language = 'словенский' Result := 'zima'
else if language = 'талышский' Result := 'зымыстон'
else if language = 'таджикский' Result := 'зимистон'
else if language = 'украинский' Result := 'зима'
else if language = 'хорватский' Result := 'zima'
else if language = 'чешский' Result := 'zima'
end;
Из одного очень серьёзного проекта.