oxij.org
Jan MalakhovskiThe homepage of Jan Malakhovski
http://www.oxij.org/
The homepage of Jan Malakhovski
http://www.oxij.org/
TODAY'S RATING
>1,000,000
Date Range
HIGHEST TRAFFIC ON
Saturday
LOAD TIME
0.5 seconds
16x16
32x32
Privacy Protection Service INC d/b/a PrivacyProtect.org
Domain Admin
C/O ID#1●●●●●●●●O Box 16
Nobb●●●●each , Queensland, QLD 4218
AU
View this contact
Privacy Protection Service INC d/b/a PrivacyProtect.org
Domain Admin
C/O ID#1●●●●●●●●O Box 16
Nobb●●●●each , Queensland, QLD 4218
AU
View this contact
Privacy Protection Service INC d/b/a PrivacyProtect.org
Domain Admin
C/O ID#1●●●●●●●●O Box 16
Nobb●●●●each , Queensland, QLD 4218
AU
View this contact
DomainContext, Inc. (R1744-LROR)
WHOIS : whois.publicinterestregistry.net
REFERRED :
PAGES IN
THIS WEBSITE
5
SSL
EXTERNAL LINKS
15
SITE IP
62.210.203.63
LOAD TIME
0.5 sec
SCORE
6.2
Jan Malakhovski | oxij.org Reviews
https://oxij.org
The homepage of Jan Malakhovski
Abductive Notation - Home
Reasoning without positive understanding. January, 16 2012 00:00. Fp, tt, agda. The Decent Way to Learn Functional Programming. This entry is the second one in a series of blog posts about Agda. It describes the most boring method of learning something called functional programming. The method is designed to be a fast way for people with perseverance (and masochistic propensity) or background in maths and/or computer science (and a hard humiliating way for everyone else). December, 22 2011 00:00.
Functional Programming in Haskell and Proof Checking with Agda
http://oxij.org/activity/itmo/fp
Functional Programming in Haskell and Proof Checking with Agda. There is also a very related TTFV activity. If you are able to and everything below you’ll get. Prove simple things in Agda and do Fusions in Haskell A;. Only one of the above B;. Fluently translate given problem domain into Haskell C;. Write ADTs and operations for common data structures, write custom monads D or E. Experience is not enough. Homework #2 and etc. Groups: 28 year2009; 38, 39 year2010.
Activity
http://oxij.org/activity
Type Theory for Vegetables. Courses at NRU ITMO. Functional Programming and Proof Checking.
TTFV
http://oxij.org/activity/ttfv
Type Theory for Vegetables. Seminar and crash course on advanced type theory and formal logic (for vegetables). Start date: April 12, 2012. This page is to be updated on the way. Seminar meetings: every Friday at 19:30. Implementation meetings: from time to time. Place: near 147A at the main building of NRU ITMO, Kronverkskiy pr. 49, Saint Petersburg, Russia. Type Theory For Vegetables at Google Groups. In English) and/or @neoxij. Not only in English). Implementation language: Agda [1]. Λ-term as a tree.
Notes Index
http://oxij.org/note
This page is going to replace the blog. Subpages here are generated from a version control system (dates are off for now since VCS file tree structure is not fixed yet) and use shared bibliography, literate Haskell and Agda files are going to be treated as modules (it would be possible to import a note from another note) and have their types checked. March, 14 2013 01:22 (v. 7). Brutal [Meta]Introduction to Dependent Types in Agda. December, 11 2012 13:59 (v. 1). February, 04 2013 00:00 (v. 7).
Operating Systems
http://oxij.org/activity/itmo/os
If you are able to and everything below you’ll get. Write (in vim) a) scripts in bash, b) primitive C programs with POSIX syscalls, and c) explain what’s going on behing the scenes (from these syscalls to CPU caches) A;. One of {a), b), c)} is missing B or C;. Only one of {a), b), c)} is peresent D or E. To start. Do all other homeworks (better, everything) in. Tab autocompletion function InsertTabWrapper() let col = col(.) - 1 if! Col getline(.)[col - 1]! Markers are mandatory settings.
TOTAL PAGES IN THIS WEBSITE
5
/^.in$/
http://oxij.livejournal.com/tag/random
Website (/me (домен, хотящийся в углу комнаты). You're looking at the latest 32 entries. Then simply jump back 32 entries. November 20th, 2011. Европа почти как военные сборы. В прошлом году в конце лета были военные сборы. В этом году мне вдруг впёрло прокатить по, по возможности, всей интересующей меня Европе. Трудно сказать, что из нижеследующего было основной целью, но:. Хотелось хоть на какое-то время вырвать себя из среды, где в бытовой речи используются славянские языки;. December 22nd, 2010.
/^.in$/
http://oxij.livejournal.com/tag/встретимся%20в%20аду
Website (/me (домен, хотящийся в углу комнаты). You're looking at the latest 1 entries. August 22nd, 2012. XSS, CSRF, AJAX, HTTP, HTML, современный веб вообще и охреневшие чуваки из подмосковья в частности должны гореть в аду. Всем спасибо. WithComments $ arr (take 4). Website (/me (домен, хотящийся в углу комнаты). You're looking at the latest 1 entries.
/^.in$/
http://oxij.livejournal.com/tag/idraw
Website (/me (домен, хотящийся в углу комнаты). You're looking at the latest 8 entries. November 11th, 2010. Я заметил, что у меня какая-то страсть постить в сильно ночное время, не смотря на то, что я знаю, что статистика показывает, что если я запощу этот пост днём, то он соберёт в полтора раза больше просмотров. Моко, надеюсь, будет в начале следующего месяца, Сувако я пока крутых не видел. Оставшиеся две я осилил обработать. 1) Делаем стенд, которым удобно пользоваться. 2) Берём фотоаппарат с CHDK на...
/^.in$/
http://oxij.livejournal.com/tag/travel
Website (/me (домен, хотящийся в углу комнаты). You're looking at the latest 12 entries. November 20th, 2011. Европа почти как военные сборы. В прошлом году в конце лета были военные сборы. В этом году мне вдруг впёрло прокатить по, по возможности, всей интересующей меня Европе. Трудно сказать, что из нижеследующего было основной целью, но:. Хотелось хоть на какое-то время вырвать себя из среды, где в бытовой речи используются славянские языки;. Хотелось попробовать пожить в режиме постоянных переездов.
/^.in$/
http://oxij.livejournal.com/tag/метки
Website (/me (домен, хотящийся в углу комнаты). You're looking at the latest 1 entries. October 11th, 2011. Если бы я помнил какие тут у меня были. Почти три месяца event mask is 110111, not able to describe 4th event. Откровенно говоря, в половине случаев, когда я хотел о чём-то написать в жж, меня больше сдерживал сам жж своей свинской реабилити, нежели остальные обстоятельства. Три месяца это много. Из того, что произошло за это время ярко выделяются:. Защита магистерской диссертации,. Любовь к NixOS;.
oxij - Profile
http://oxij.livejournal.com/profile
И всё-таки она шликает. в /var/blog. Created on 12 November 2005 (#8778611). Last updated on 22 August 2012. Me (домен, хотящийся в углу комнаты). Свободно думаю на двух с половиной языках, говорю на четырёх, плохо понимаю пять или шесть. Люблю всё симметричное, формальное, регулярное и рекурсивное. Обладаю страшно обострённым чувством справедливости. Умею подписывать электронную почту. Чаще всего френдю сам, зафрендил читаю, надоело расфрендил. Ships and battleships, touhou. Делишез флат чезт, десу.
/^.in$/
http://oxij.livejournal.com/tag/fun%20spam
Website (/me (домен, хотящийся в углу комнаты). You're looking at the latest 1 entries. October 18th, 2011. Нашёл в спаме и обрадовался. Good day,my name is Pavel Khodorkovsky,son of Mikhail Khodorkovsky the former head of the Yukos oil company.Yukos oil company was once. Russia's largest oil producer.Please I want you to carefully read my letter as it means a lot to not only me but my entire family.I dont. Deposited by my father,in dollars some years back with a finance institute (bank)in Italy which no...
/^.in$/
http://oxij.livejournal.com/tag/если%20бы%20я%20помнил%20какие%20тут%20у%20меня%20были
Website (/me (домен, хотящийся в углу комнаты). You're looking at the latest 1 entries. October 11th, 2011. Если бы я помнил какие тут у меня были. Почти три месяца event mask is 110111, not able to describe 4th event. Откровенно говоря, в половине случаев, когда я хотел о чём-то написать в жж, меня больше сдерживал сам жж своей свинской реабилити, нежели остальные обстоятельства. Три месяца это много. Из того, что произошло за это время ярко выделяются:. Защита магистерской диссертации,. Любовь к NixOS;.
TOTAL LINKS TO THIS WEBSITE
15
Welcome to OXIIXO.COM
Sorry, there are no results for your search. Search again:. This page is provided courtesy of GoDaddy.com, LLC.
oxij (Jan) - DeviantArt
Window.devicePixelRatio*screen.width 'x' window.devicePixelRatio*screen.height) :(screen.width 'x' screen.height) ; this.removeAttribute('onclick')" class="mi". Window.devicePixelRatio*screen.width 'x' window.devicePixelRatio*screen.height) :(screen.width 'x' screen.height) ; this.removeAttribute('onclick')". Join DeviantArt for FREE. Forgot Password or Username? I'm an okishiki! Deviant for 7 Years. This deviant's full pageview. Last Visit: 5 weeks ago. I'm an okishiki! You can drag and drop to rearrange.
enuhrkm.pw
/^.in$/
Website (/me (домен, хотящийся в углу комнаты). You're looking at the latest 32 entries. Then simply jump back 32 entries. January 19th, 2037. Тхис жж ис врыттен ин тхе хопе тхат ит вилл бе усефул,. Бут ВИТХОУТ АНЫ ВАРРАНТЫ; витхоут евен тхе имплиед варранты оф. МЕРЧАНТАБИЛИТЫ ор ФИТНЕСС ФОР А ПАРТИЦУЛАР ПУРПОСЕ. РЫД АТ ЁОУР ОВН РЫСК! Все упоминаемые в данном жж действующие лица вымышленны и не имеют связи с реальными людьми или событиями. Тексты и рисунки в этом жж, если в самом посте. Если в самом посте.
熟妇终于_五月天qvod_爆操大奶美女_东京色情网_美国十次了快播_幼幼乱伦_淫荡妈妈
欢迎来到熟妇终于 五月天qvod 爆操大奶美女 东京色情网 美国十次了快播 幼幼乱伦 淫荡妈妈,一起分享电影给我们带来的快乐。 公告 熟妇终于 五月天qvod 爆操大奶美女 东京色情网 美国十次了快播 幼幼乱伦 淫荡妈妈 如果喜欢本站,请推荐给你的小伙伴. 爱斯基摩人传奇 Lumaaq: An Eskimo Legend(1975). 三只盲鼠 The Three Blind Mice(1945). 汉尼拔的真实故事 The True Story of Hannibal(2005). 回到十六岁 Plötzlich wieder 16(2003). 太空少女在贝佛利 Space Girls in Beverly Hills(2009). 贝佛利恐怖行动 Terror in Beverly Hills(1989). 韩国人在好莱坞 Korean Report: Young Man Kang Goes to Hollywood(2004). 抚摸 Touch My Girl(2004). 幸福之旅 The Film Emotional Atyachar(2010). 主演 比尔·法默 Bill F...
Jan Malakhovski
Is sometimes somewhere around at National Research University of Information Technologies, Mechanics and Optics. NRU ITMO), Saint-Petersburg. Interests (in the order of preference):. Logics, type theory and related systems,. Functional programming and program analysis,. Mathematics in general,. Security and operating systems. If not stated otherwise, every link I post anywhere was carefully read by me (every bit of it) and considered useful. If there is a link, it’s worth clicking.
ilkvlpx.pw
oxijeeansv - Ana Sayfa
Cs'nin En İyi Merkezi(95.173.173.96). 1 Ağustos 2011'de Toplantı. 304;stanbul-Hayati.tr.gg. Admin Bölümü. Tema Tasarım by İstanbul-Hayati. Webmaster by Furkan Çekin. Yeni sayfanın başlığı. Bugün 0 ziyaretçi (0 klik) kişi burdaydı! 304;stanbul Radyo (Canlı). 304;stanbul-Hayati.tr.gg. Tema Tasarım by İstanbul-Hayati. Webmaster by Furkan Çekin. Sen de ücretsiz bir internet sitesi kurmak ister misin? O zaman burayı tıkla!
کمی اکسیژن
نسخه RSS وبلاگ :. نسخه ATOM وبلاگ :. نامه به مدیر وبلاگ. وضعیت در یاهو مسنجر :. آذر 1391 ( 1. تیر 1391 ( 1. اردیبهشت 1391 ( 2. فروردین 1391 ( 2. بهمن 1390 ( 1. آبان 1390 ( 2. مهر 1390 ( 1. شهریور 1390 ( 2. مرداد 1390 ( 2. تیر 1390 ( 1. خرداد 1390 ( 1. اردیبهشت 1390 ( 3. فروردین 1390 ( 1. بهمن 1389 ( 1. آذر 1389 ( 2. شهریور 1389 ( 2. مرداد 1389 ( 1. فروردین 1389 ( 2. دی 1388 ( 1. مرداد 1388 ( 1. 1593;مومي ( 426. قالب های پارسی : . دانلود نرم افزار و بازی. 18 18 18 18. به همان اندازه که می خواهیم خوشبختیم.
SOCIAL ENGAGEMENT