Я тут универсальный язычок программирования разрабатываю.. Вернее, абстрактную машину. И пришел к выводу что одной из ее инструкций должно быть сгенерировать произвольный объект, удовлетворяющий заданным предикатам (ну или в более общей форме, фитнесс-функции). Предикаты задаются как обычные функции этой абстр. машины.

Возникает вопрос как компилятор все это будет реализовывать. То есть не прийдется ли ему во всех случаях, кроме заранее захардкоденных просто перебирать все счетное мн-во объектов в поисках подходящего. Хотелось бы как можно больше расширить ту область, в которой компилятор мог бы поступать умно.

Кто что знает почитать на эту тему? Правильно ли я понимаю что перед языками типа пролога стоит та же задача, и там можно почерпуть идей?

Преамбула: очередные ОСописатели. 15-17 летние донецкие пацаны. Один из разработчиков -- Денис Абрамов -- не умеющее себя достойно вести безграмотное быдло. ОС называется StreamOS -- почти ПаровОС.

Сайт: http://streamos.land.ru

Собственная лицензия: http://streamos.land.ru/UPL%20(license).txt

сейчас обновился (NetBSD), посмотрел CHANGES:

/rescue: Add tetris. [lukem 20050401]

давно пора прикрутить к темам в форуме такую же разбивалку как в новостях. Чтобы можно было посмотреть тему кусками по N сообщений. Нередко бывают темы по 200-300 сообщений -- как их смотреть?

http://handhelds.freshmeat.net/articles/view/581/

я ее хотел в ссылки запостить, но там все на русском..

http://www.linux.org.ru/jump-message.jsp?msgid=841184

Часто нужно одним письмом ответить сразу на несколько писем. То есть чтобы при этом цитировались все письма, ну и адресатами делались все участники группы писем. mutt так умеет?

сейчас любое свое сообщение можно удалить только в течение часа. Для комментариев это хорошо, Но для неподтвержденных новостей плохо. Для них лучше никакого таймаута не делать.

есть общее мнение, что sendmail хорошо подходит для enterprise использования и запросто может обрабатывать сотни писем в секунду. Но у меня, когда я вытягиваю письма fetchmail'ом а потом их sendmail доставляет в локальный ящик (sendmail запущен в "deferred lookup" режиме -- это -O DeliveryMode=d) sendmail доставляет письма со скоростью не больше 1 письма в секунду. Почему?

мне нужны такие вещи:

(1) нужно чтобы при нажатии на что-нибудь выполнялась моя процедура -- а именно письма удовлетворяющие определенным критериям, например адресованные в какой-то список рассылки перемещались в определенные фолдеры.

(2) нужно чтобы я мог выделить кучу писем и переместить их в определенную папку

(3) нужно чтобы я мог переместить прочитанные сообщения из /var/mail/user в mbox. Сейчас для этого приходится change folder в какой-нибудь а потом обратно в /var/mail/user

Кто как борется с СУБЖ??

Просто после рождения очередных шедевров типа:

# quotates stdin arguments, intersperses $1 between them and writes to stdout
DEF_QU_INTERSPERSE='qu_intersperse() \
                    {                \
                        { xargs -n 1 printf "'"'"'\'"'"'%s\'"''"'"; echo; } | intersperse $1; \
                    }'

как-то становится страшно.  То ли шелл недоношенный, то ли я.  Причем о квотировании нужно думать везде -- например в том же xargs.

А отладка шелл-скриптов?  Это же ужас, стоит забыть кавычку и вы в жопе, неизвестно где искать.  Кроме того в шелл-скриптах полно неявной параллельности -- в тех же пайпах.  Вот у меня сейчас загадочным образом генерируется Broken pipe -- я в течении 2 часов не могу найти почему.

Вот есть алгоритмы с гарантированной сложностью. И есть алгоритмы которые хорошо работают в среднем, но могут просесть на некоторых данных. На практике обычно предпочтительны вторые, потому что они оказываются лучше и проще. Но злоумышленник легко может вызвать DOS, дав программе плохие данные. Поэтому такие алгоритмы нужно усложнять -- вводить случайные затравки, или использовать криптохэши.

Никто не видел каких-нибудь книжек по этому поводу? Как борется с этим в своих программах DJB?

Предлагаю удалять темы форума с несодержательными названиями по которым не понять о чем там говорят. Таких ОЧЕНЬ много в форумах. Удалить сотню-другую и люди перевоспитаются

Допустим есть 2 шелловские функции func_1 и func_2.

Мне нужно сделать так чтобы я мог написать пайплайн:

some_command | func_1 | func_2

но при этом код возврата был тот что вернул func_1.

Понятно, что манипуляции с $? внутри func_2 бессмысленны..

эта новость (не моя) http://www.linux.org.ru/profile/dilmah/view-message.jsp?msgid=790959 была удалена. Почему она не тянет на новость??

Первый вопрос по sendmail -- он у меня не разговаривает
с другими машинами в локальной сети:

$ telnet flam 25
Trying 192.168.0.11...
telnet: Unable to connect to remote host: Connection refused

С самим собой разговаривает. Что нужно раскомментировать в sendmail.cf?:)
Но мне не нужен relay -- мне нужно просто чтобы почту для моей
машины могли ей доставить.

Второй вопрос по отправке писем. Пока я отправляю письма непосредственно
с моей машины на мэйлер адресата. Ну то есть у меня ставятся нужные From:
Reply-To: и Sender:. Со многими это проходит, но немалому
кол-ву людей я не могу так отправить почту, потому что мои письма
отвергаются как спам. То есть мне нужно использовать мейлер
моего бесплатного почтового провайдера как релей.
Как это настроить? Желательно чтобы mutt это сам делал.

Третий вопрос по раскидыванию писем по фолдерам. Мне нужно
чтобы все письма приходили в один фолдер, я их там просматривал,
а потом они автоматом раскидывались по другим. Ну а те что
не раскидаются автоматом, я руками раскидаю.
Раньше я пользовался nmh -- и тут проблем нет -- у меня был
простой скриптик который используя утилиты nmh: pick, refile
раскидывал их. А как это сделать в mutt?

Еще -- я поставил mutt 1.5.7i из cvs. У него изображение
барахлит:) На некоторых письмах -- на уведомлениях которые приходят
с ixbt -- он ошибается в числе строк -- и строки письма появляются
на и под статусной линией.

В связи с этим вопрос -- а mutt умеет скроллить не экранами,
а построчно?

Нужно загнать определение такой ф-ции:
 
test_proc_failed()
{
    if grep '^(return status = 1000)$' $1; then
        return 1
    fi
    return 0
}

в переменную окружения VAR, так чтобы если пишешь
$VAR
объявлялась эта функция. (Это нужно потому что экспортировать переменные можно, а функции нет..) 

И я не могу экранировать: Пишу:
$ VAR='test_proc_failed() { if grep \'^(return status = 1000)\$\' $1; then return 1; fi; return 0; }'
syntax error: `\$\'' unexpected 

Расскажите пожалуйста своими словами как вы понимаете call-with-current-continuation, в чем его соль, как он ведет себя когда параллельно идут вычисления. И чем он отличается от setjmp/longjmp.

Есть две машины с NetBSD и Wi-Fi access point. Первая машина (flam)
подключена к access point (ap). Вторая машина (chup) по Wi-Fi беседует с ap.
Теперь я хочу настроить ipsec для flam и chup.
И я не могу врубиться какой режим здесь нужен -- tunnel или transport??

Например на flam ipsec.conf содержит:

add flam chup esp XXX -E blowfish-cbc 0xXXX -A hmac-sha1 0xXXX ;
add flam chup ah XXX -A hmac-sha2-512 0xXXX ;
add flam chup ipcomp XXX -C deflate -R ;

add chup flam esp XXX -E blowfish-cbc 0xXXX -A hmac-sha1 0xXXX ;
add chup flam ah XXX -A hmac-sha2-512 0xXXX ;
add chup flam ipcomp XXX -C deflate -R ;

spdadd 168.192.0.11 chup any -P out ipsec ipcomp/transport//use esp/transport//use ah/transport//use ;
spdadd chup 168.192.0.11 any -P in ipsec esp/transport//require ah/transport//require ;

Вопрос по строчкам с spdadd -- тут нужен transport или tunnel? И
соответственно, в них должен фигурировать только chup, или еще и ap?

Est 2 kompa s NetBSD -- flam i chup.  Est tochka dostupa
D-Link 2000AP+.  Tochka dostupa podklyuchena cherez ethernet k flam.

Sootwetstwenno na flam podnyat interfeys ex0:

flam# ifconfig -a
ex0: flags=8a63<UP,BROADCAST,NOTRAILERS,RUNNING,ALLMULTI,SIMPLEX,MULTICAST> mtu 1500
        address: 00:60:98:ef:e3:5d
        media: Ethernet 100baseTX
        status: active
        inet 192.168.0.11 netmask 0xffffff00 broadcast 192.168.0.255
        inet6 fe80::260:98ff:feef:e35d%ex0 prefixlen 64 scopeid 0x1
lo0: flags=8009<UP,LOOPBACK,MULTICAST> mtu 33196
        inet 127.0.0.1 netmask 0xff000000
        inet6 ::1 prefixlen 128
        inet6 fe80::1%lo0 prefixlen 64 scopeid 0x2
ppp0: flags=8051<UP,POINTOPOINT,RUNNING,MULTICAST> mtu 1500
        inet 172.19.212.71 -> 10.64.64.64 netmask 0xffff0000
        inet6 fe80::260:98ff:feef:e35d%ppp0 ->  prefixlen 64 scopeid 0x3

flam# cat /etc/hosts
::1                     localhost
127.0.0.1               localhost
127.0.0.1               flam.gado flam
192.168.0.11            flam.gado flam
192.168.0.50            ap.gado ap
192.168.0.22            chup.gado chup

flam# route show
Routing tables

Internet:
Destination       Gateway            Flags 
default           10.64.64.64        UG     
10.64.64.64       172.19.212.71      UH     
loopback          127.0.0.1          UGR    
localhost         127.0.0.1          UH     
gado              link#1             U      
ap                00:0f:3d:4c:a7:d2  UH     

Internet6:
Destination       Gateway            Flags 
::/104            localhost          UGR    
::/96             localhost          UGR    
localhost         localhost          UH     
::127.0.0.0       localhost          UGR    
::224.0.0.0       localhost          UGR    
::255.0.0.0       localhost          UGR    
::ffff:0.0.0.0    localhost          UGR    
2002::            localhost          UGR    
2002:7f00::       localhost          UGR    
2002:e000::       localhost          UGR    
2002:ff00::       localhost          UGR    
fe80::            localhost          UGR    
fe80::%ex0        link#1             U      
fe80::20c:f1ff:fe2f:c633%ex0 00:0c:f1:2f:c6:33  UH     
fe80::260:98ff:feef:e35d%ex0 00:60:98:ef:e3:5d  UH     
fe80::%lo0        fe80::1%lo0        U      
fe80::1%lo0       link#2             UH     
fe80::%ppp0       fe80::260:98ff:feef:e35d%ppp0 U      
fe80::260:98ff:feef:e35d%ppp0 link#3             UH     
fec0::            localhost          UGR    
ff01::            localhost          U      
ff02::%ex0        link#1             U      
ff02::%lo0        localhost          U      
ff02::%ppp0       fe80::260:98ff:feef:e35d%ppp0 U      

Na flam esche GPRS-internet podnyat.

S flam ya spokoyno vizhu access point (ap).  Zakhozhu na nee s
pomoschyu lynx.  Tam est nebolshaya problema chto AP ispolzuet
java-script, no ya nemnozhko porabotal parserom i delayu nastroyki
tipa tak:
lynx http://ap.gado/h_wireless.cgi?wep_type=0&ssid=gado_wifi&channel=4&apply=1

Wrode srabatywaet.