D
Тогда двусторонний скотч
Minoru
«не той стороной» — это когда питание и сата смотрят в сторону передней панели?
Size: a a a
2021 February 17
g
sergevp
Minoru> https://www.codingame.com/training/hard/power-of-thor-episode-2
Я прошёл! https://pastebin.com/4qfFbRVD
Minoru> https://www.codingame.com/training/hard/power-of-thor-episode-2
Я прошёл! https://pastebin.com/4qfFbRVD
Не люблю оффлайн решения.
g
В разделе оптимизации любят оффлайн просчитывать, чтобы набрать побольше очков.
c
Minoru
я думаю, sergevp не всерёз это предлагает. Восклицательный знак — это новый смайлик!
я думаю, sergevp не всерёз это предлагает. Восклицательный знак — это новый смайлик!
c
Minoru
а вот на синтетических задачах это всё легко решается рандомизацией тестов :P
а вот на синтетических задачах это всё легко решается рандомизацией тестов :P
💮
termux-setup-storage
c
Minoru
tarmix startup mortgage!
tarmix startup mortgage!
K
охренеть, воркеры это так просто
O
O
внезапно
O
termux-setup-storage
ты не видишь, что там написано?
💮
ты не видишь, что там написано?
Ой, простите.
2021 February 18
t
нихера неудобно
а у меня вроде получалось. Правда, почему-то всё как в тумане. Я как-то умудрился общую папочку создать типа темпа с доступом для всех
t
я такие штуки жутки проворачиваю, когда прижмёт... Диву даюсь. Ну, моя жизнь не зависела от того, что я не могу просто так из термукса что-то достать, но всё равно, был какой-то стимул. Вспомнить бы какой.
t
t
Умвр
t
возможно, стоит дать термуксу доступ к папочкам твоим, когда он попросит. Ну или не попросит.
Dv
Хорошо, что его закопали
Не закапывали, с ним всё хорошо.
А с твоей стороны не очень красиво хейтить компилятор-конкурент вашего!
А с твоей стороны не очень красиво хейтить компилятор-конкурент вашего!
Dv
fun
fibats{n:nat}
(n: int (n))
: [r:int] (FIB (n, r) | int r) = let
//
fun
loop
{i:nat | i <= n}{r0,r1:int}
(
pf0: FIB(i, r0), pf1: FIB(i+1, r1)
| n_i: int(n-i), r0: int r0, r1: int r1
) : [r:int] (FIB(n, r) | int(r)) =
(
if (n_i > 0)
then
loop{i+1}
(
pf1, FIB2(pf0, pf1) | n_i-1, r1, r0+r1
) (* then *)
else (pf0 | r0)
// end of [if]
) (* end of [loop] *)
in
loop{0}(FIB0(*void*), FIB1(*void*) | n, 0, 1)
end // end of [fibats]Выглядит очень интересно.
Это что-то для описания доказательств?
Это что-то для описания доказательств?