Size: a a a

2020 October 15

b

badtrousers in rust_offtopic
источник

SP

Stanislav Popov in rust_offtopic
Stanislav Popov
теорем прувер на го
они есть кек
источник

H

Hirrolot in rust_offtopic
Stanislav Popov
теорем прувер на го
у меня в списке дел которые я должен сделать за свою жизнь есть теорем прувер на препроцессоре
источник

SP

Stanislav Popov in rust_offtopic
прочитал как на вордпрессе
источник

EG

Emmanuel Goldstein in rust_offtopic
Hirrolot
у меня в списке дел которые я должен сделать за свою жизнь есть теорем прувер на препроцессоре
Напиши брейнфак на препроцессоре
Компилируй Rust в LLVM IR
Декомпилируй LLVM IR в C
И вновь компилируй C в брейнфак
https://github.com/arthaud/c2bf
источник

H

Hirrolot in rust_offtopic
это муторно но неинтересно
источник

H

Hirrolot in rust_offtopic
а с CoC на препроцессоре я смогу инволютивность переворота списка доказывать
источник

SP

Stanislav Popov in rust_offtopic
главное чтобы гомоэпично
источник

SP

Stanislav Popov in rust_offtopic
гомоиконично
источник

H

Hirrolot in rust_offtopic
no homo
источник

EG

Emmanuel Goldstein in rust_offtopic
full homo
источник

b

badtrousers in rust_offtopic
ну вы пока занимайтесь своими экспериментами
источник

b

badtrousers in rust_offtopic
один хуй к 2022 году все на логосе писать будете
источник

b

badtrousers in rust_offtopic
запишите этот твит
источник

SP

Stanislav Popov in rust_offtopic
на делфи и 1с
источник

EG

Emmanuel Goldstein in rust_offtopic
На poica 2
источник

SP

Stanislav Popov in rust_offtopic
вот delphi formal verification ваще не гуглится
источник

H

Hirrolot in rust_offtopic
poica 2 будет
на этот  раз на агонии и с карри ховардом
источник

SP

Stanislav Popov in rust_offtopic
ты б уже нормальный язык написал пока пойку пишешь
источник

b

badtrousers in rust_offtopic
Emmanuel Goldstein
На poica 2
ну то есть ты понимаешь, что если христианство это последняя религия, то логос это последний язык программирования
источник