LINUX.ORG.RU

Сообщения UrbanSerj

 

Весна...

Форум — Talks

subj

>>>

UrbanSerj
()

[fp][theory]head normal form vs normal form

Форум — Development

в чем различие?

/me всегда думал что normal form - это когда не возможна β-редукция, а выражение в head normal form имеет вид (λ[x1]..[xn] . Y[M1]..[Mm]), где Y - не λ-абстракция и не свободная переменная

но википедия редиректит с "head normal form" на "beta normal form"

>>>

UrbanSerj
()

ЖЖкапец

Форум — Talks
UrbanSerj
()

[UTF8]rxvt-unicode

Форум — General

после апгрейда etch'а до lenny rxvt-unicode перестал реагировать на ввод не-аски-символов и выводит unicode в 8-bit

посмотрел в http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=444078

locale выдал POSIX(почему ???), сменил на en_us.UTF8, без изменений..

может кто сталкивался?

>>>

 

UrbanSerj
()

[fb] 1680x1050 intel945

Форум — Linux-hardware

возможно ли?

intelfb - не поднимается, uvesa - не предлагать, костыль...

>>>

UrbanSerj
()

RSS подписка на новые темы