Недавно стукнула мені в голову одна ідейка щодо memory protection у операційних системах. Мабуть, я перевинайшов якийсь велосипед або в цій ідеї є якась принципова хріновість, - це я і хочу зрозуміти за допомогою шановної публіки ( Read more... )

Вчора знову дорвався до свого коду і написав на Схемі аналізатор SECD-коду на стекову коректність. Штука невелика, але корисна, та і перша ластівка винесення статичного аналізу із сішного коду у схемівський (а то я намагався зробити аналіз на вільні змінні в сішному коді, вийшло не дуже гарно ( Read more... )

«Хто кров’ю й волею зціпить в цемент
Безвладний пісок міліонів...» (Ольжич)Непогана, обґрунтована стаття із несподіваної (і для багатьох дратівливої позиції) на Хвилі (вона в своєму репертуарі, кажу це як комплімент ( Read more... )

Їхав я вчора у поїзді, зі мною був нетбучик, і потягло мене на красноглазіє. Як клепати простий серверок на Happstack, який вміє генерувати html за допомогою blaze-html, я пам’ятав, і вирішив швиденько накидати клієнт-серверний морський бій ( Read more... )

...пішло непогано:

https://xss-game.appspot.com/

Правда, шостий рівень я зчітерив, розмістивши у себе на сервері pwn.js. Це нормально?

Цікава поведінка Guile (реалізація Схеми від GNU) на виразах ( . val): він просто повертає val, тоді як інші інтерпретатори видають синтаксичну помилку.

Ще виявив для себе існування таких форм лямбд: (lambda args (display (length args))). Раніше якось не задумувався, як завести лямбду із змінною кількісьтю аргументів без фіксованих початкових (як ( Read more... )

Стан справ у моїй віртуальній машині SECD: після того, як я таки наважився ввести в її пам’ять heap для масивів, все понеслось із великою швидкістю і зараз це уже більше Scheme, ніж PicoLisp ( Read more... )

Чому монади ніхто не порівнює із stream? Поки що всі приклади монад, які я знаю, більш-менш вкладаються в поняття stream, потоку:

• [a] - потік даних, потенційно нескінченний. Причому, як мені зараз здається, варто було б розрізняти список як тип даних і як скінченний об’єкт у eager-сенсі і як контрольну структуру для виконання, lazy stream (простий ( Read more... )

В процесі виконання завдань по курсу компіляторів на Coursera раптово відкрив для себе, що римські цифри описуються контекстно-вільною граматикою, ось її шматочок (in the second production of S, the first token is a lowercase L, тому що термінали, тобто самі римські цифри, тут позначаються маленькою літерою, нетермінали великою):

S productions ( Read more... )

Отут натрапив на досить близьке до мого розуміння того, яким має бути соціальний інтернет. Проект шановного Буника вкрай початківський, але може становити непогану платформу для обговорення людем, яким це може бути цікаво. Отже, сам проект (не жахайтесь інтерфейсу пре-альфа-версії):

http://bunykappi.appspot.com/
( невелика самоцитата >> )