DS
где у кого?
См. про "компьютеры пятого поколения"
Size: a a a
2020 June 10
DS
И около
b
витгенштейн как и был нишевым андерграундом, так и остался. американская школа аналит философии полный ацтой
b
они вообще ни о чем
DS
они вообще ни о чем
Примерно те же подходы
b
См. про "компьютеры пятого поколения"
какая-то японская движуха непонятная, вообще впервые слышу
b
молодцы что пролог брали, можно сказать опередили свое время
b
Примерно те же подходы
например
r
Вчера, кстати, закончили верификацию seL4 для RISC-V. Заодно доказали невозможность защиты от утечки информации через covert timing channel на существующем железе.
DF
Верифицировали но ещё не запускали?
DF
Простите)
DF
Люблю шутки про risc v
DF
Впрочем это хорошая новость. Я и за сел4 и за верификацию обоими руками
ЕС
говорит, что вернет такой инт, что вызов фунции myFunc на нём возвращает 10
func: x where myFunc x == 10
Или же
func: (x: myFunc x == 10)
Или же
func: (x: myFunc x == 10)
ЕС
Перевожу на человеческий:
Не читал очередного балабола философа, который не сделал ничего путного за всю свою коротенькую и полную страданий жизнь.
Не читал очередного балабола философа, который не сделал ничего путного за всю свою коротенькую и полную страданий жизнь.
Ты чё? Философы придумали науку, математику, и логику. Или ты за возвращение в каменный век?
AZ
func: x where myFunc x == 10
Или же
func: (x: myFunc x == 10)
Или же
func: (x: myFunc x == 10)
и какой тип у x?
ЕС
и какой тип у x?
x: myFunc x == 10
DS
Ты чё? Философы придумали науку, математику, и логику. Или ты за возвращение в каменный век?
Просто тогда философами называли всех подряд.
Все рабочие на практике формальные системы теперь сидят не в философии, а в той же математике.
Все рабочие на практике формальные системы теперь сидят не в философии, а в той же математике.
AZ
x: myFunc x == 10
если myFunc это генерик вида a -> a, то откуда он должен понять какой тип a ?
ЕС
Просто тогда философами называли всех подряд.
Все рабочие на практике формальные системы теперь сидят не в философии, а в той же математике.
Все рабочие на практике формальные системы теперь сидят не в философии, а в той же математике.
наука вышла как отдельное направление философии - материализма.