Emacs Artificial General Intelligence AI: Artificial Intelligence lab Algorithmic Game Theory: Prediction Markets (po polsku) Systemy Inteligentnych Agentów
|
Main.HomePage HistoryHide minor edits - Show changes to markup Changed line 6 from:
Welcome on my “professional” homepage. The sidebar to the left is the site map. Some Polish-only material, might get translated into English eventually. You will find here: Pages as Functional Programming are lectures and/or labs in English, pages like Kurs Pascala — Polish only. Pages as Artificial General Intelligence are my personal notes and slides for informal meetings. Type Inference are unpublished results in invariant inference for functional languages (awaiting implementation and better presentation). Toss is a project I participate in (publications). Emacs mode I use to edit this wiki pmwiki-mode. to:
Welcome on my “professional” homepage. The sidebar to the left is the site map. Some Polish-only material, might get translated into English eventually. You will find here: Pages as Functional Programming are lectures and/or labs in English, pages like Kurs Pascala — Polish only. Pages as Artificial General Intelligence are my personal notes and slides for informal meetings. Type Inference are unpublished results in invariant inference for functional languages. Toss is a project I participate in (publications). Emacs mode I use to edit this wiki pmwiki-mode. November 23, 2013, at 12:41 AM
by - on the personal side
Added lines 8-9:
(:if userlang pl:)Aby poznać mnie od strony osobistej, możesz sprawdzić http://google.com/+LukaszStafiniak. (:if userlang en:)To get to know me on the personal side, you can visit http://google.com/+LukaszStafiniak.(:if:) Changed line 4 from:
Witaj na mojej “zawodowej” stronie domowej. Większość materiałów jest tylko po angielsku, część tylko po polsku. Pasek po lewej to mapa. Znajdziesz tu: Strony jak Functional Programming to wykłady i/lub ćwiczenia które przygotowałem po angielsku, lub jak Kurs Pascala — po polsku. Strony jak Artificial General Intelligence to moje notatki i slajdy na nieformalne spotkania. Type Inference to nieopublikowane wyniki teoretyczne z inferencji niezmienników dla języków funkcyjnych (czekają na implementację i skuteczniejszą prezentację). Toss to projekt w którym uczestniczę (publikacje). Tryb do Emacsa do edycji tej wiki pmwiki-mode. to:
Witaj na mojej “zawodowej” stronie domowej. Pasek po lewej to mapa. Większość materiałów jest tylko po angielsku, część tylko po polsku. Znajdziesz tu: Strony jak Functional Programming to wykłady i/lub ćwiczenia które przygotowałem po angielsku, lub jak Kurs Pascala — po polsku. Strony jak Artificial General Intelligence to moje notatki i slajdy na nieformalne spotkania. Type Inference to nieopublikowane wyniki teoretyczne z inferencji niezmienników dla języków funkcyjnych (czekają na implementację i skuteczniejszą prezentację). Toss to projekt w którym uczestniczę (publikacje). Tryb do Emacsa do edycji tej wiki pmwiki-mode. Changed line 6 from:
Welcome on my “professional” homepage. Some Polish-only material, might get translated into English eventually. The sidebar to the left is the site map. You will find here: Pages as Functional Programming are lectures and/or labs in English, pages like Kurs Pascala — Polish only. Pages as Artificial General Intelligence are my personal notes and slides for informal meetings. Type Inference are unpublished results in invariant inference for functional languages (awaiting implementation and better presentation). Toss is a project I participate in (publications). Emacs mode I use to edit this wiki pmwiki-mode. to:
Welcome on my “professional” homepage. The sidebar to the left is the site map. Some Polish-only material, might get translated into English eventually. You will find here: Pages as Functional Programming are lectures and/or labs in English, pages like Kurs Pascala — Polish only. Pages as Artificial General Intelligence are my personal notes and slides for informal meetings. Type Inference are unpublished results in invariant inference for functional languages (awaiting implementation and better presentation). Toss is a project I participate in (publications). Emacs mode I use to edit this wiki pmwiki-mode. Changed line 6 from:
Welcome on my “professional” homepage. Some Polish-only material, might get translated into English eventually. The sidebar to the left is the site map. You will find here: Pages as Functional Programming are lectures and/or labs in English, pages like Kurs Pascala — Polish only. Pages as Artificial General Intelligence are my personal notes and slides for informal meetings. Type Inference are unpublished results for invariant inference for functional languages (awaiting implementation and better presentation). Toss is a project I participate in (publications). Emacs mode I use to edit this wiki pmwiki-mode. to:
Welcome on my “professional” homepage. Some Polish-only material, might get translated into English eventually. The sidebar to the left is the site map. You will find here: Pages as Functional Programming are lectures and/or labs in English, pages like Kurs Pascala — Polish only. Pages as Artificial General Intelligence are my personal notes and slides for informal meetings. Type Inference are unpublished results in invariant inference for functional languages (awaiting implementation and better presentation). Toss is a project I participate in (publications). Emacs mode I use to edit this wiki pmwiki-mode. Changed line 4 from:
Witaj na mojej stronie “zawodowej” domowej. Większość materiałów jest tylko po angielsku, część tylko po polsku. Pasek po lewej to mapa. Znajdziesz tu: Strony jak Functional Programming to wykłady i/lub ćwiczenia które przygotowałem po angielsku, lub jak Kurs Pascala — po polsku. Strony jak Artificial General Intelligence to moje notatki i slajdy na nieformalne spotkania. Type Inference to nieopublikowane wyniki teoretyczne z inferencji niezmienników dla języków funkcyjnych (czekają na implementację i skuteczniejszą prezentację). Toss to projekt w którym uczestniczę (publikacje). Tryb do Emacsa do edycji tej wiki pmwiki-mode. to:
Witaj na mojej “zawodowej” stronie domowej. Większość materiałów jest tylko po angielsku, część tylko po polsku. Pasek po lewej to mapa. Znajdziesz tu: Strony jak Functional Programming to wykłady i/lub ćwiczenia które przygotowałem po angielsku, lub jak Kurs Pascala — po polsku. Strony jak Artificial General Intelligence to moje notatki i slajdy na nieformalne spotkania. Type Inference to nieopublikowane wyniki teoretyczne z inferencji niezmienników dla języków funkcyjnych (czekają na implementację i skuteczniejszą prezentację). Toss to projekt w którym uczestniczę (publikacje). Tryb do Emacsa do edycji tej wiki pmwiki-mode. December 10, 2012, at 12:35 AM
by - main page overhaul
Changed line 4 from:
Witaj na zaczątkach mojej strony. Z mojego lenistwa, jest ona w części tylko po angielsku. to:
Witaj na mojej stronie “zawodowej” domowej. Większość materiałów jest tylko po angielsku, część tylko po polsku. Pasek po lewej to mapa. Znajdziesz tu: Strony jak Functional Programming to wykłady i/lub ćwiczenia które przygotowałem po angielsku, lub jak Kurs Pascala — po polsku. Strony jak Artificial General Intelligence to moje notatki i slajdy na nieformalne spotkania. Type Inference to nieopublikowane wyniki teoretyczne z inferencji niezmienników dla języków funkcyjnych (czekają na implementację i skuteczniejszą prezentację). Toss to projekt w którym uczestniczę (publikacje). Tryb do Emacsa do edycji tej wiki pmwiki-mode. Changed line 6 from:
Welcome on my homepage. It still waits for more thorough translation into English. to:
Welcome on my “professional” homepage. Some Polish-only material, might get translated into English eventually. The sidebar to the left is the site map. You will find here: Pages as Functional Programming are lectures and/or labs in English, pages like Kurs Pascala — Polish only. Pages as Artificial General Intelligence are my personal notes and slides for informal meetings. Type Inference are unpublished results for invariant inference for functional languages (awaiting implementation and better presentation). Toss is a project I participate in (publications). Emacs mode I use to edit this wiki pmwiki-mode. Changed line 9 from:
(:if userlang en:) Miscelaneous slides (:if userlang pl:) Slajdy… (:if:)to:
(:if userlang en:) Miscelaneous slides — old ones. (:if userlang pl:) Różne slajdy — stare. (:if:)Deleted lines 15-19:
(:if userlang pl:) Linki do ciekawych rzeczy: (:if userlang en:) Links you might find interesting: (:if:)
May 23, 2008, at 11:53 PM
by - cleanup 1
Changed line 9 from:
(:if userlang en:) My slides (:if userlang pl:) Moje slajdy (:if:)to:
(:if userlang en:) Miscelaneous slides (:if userlang pl:) Slajdy… (:if:)Deleted lines 16-25:
Work in progressFull type inference for GADTsI should soon have some working code. For now, I can present some poor and unclear slides Δ (source Δ), and a description of the algorithm from module Solve Δ. Genetic Programming in Typed Languages (translation)Finally I’ve started translating my master thesis Genetic Programming in Typed Languages Δ (source Δ). Here are definitions and theorems from subchapter 2.2: Damas-Milner Type System: type inference and term generation Δ. Changed line 10 from:
to:
February 01, 2008, at 03:13 AM
by - Papug Tutor slides
Added line 10:
January 24, 2008, at 01:30 AM
by - Coq slides example source link
Changed line 10 from:
to:
January 24, 2008, at 01:14 AM
by - Coq slides
Added line 10:
October 07, 2007, at 03:52 AM
by - work in progress (GADTs and my old GP)
Added lines 15-24:
Work in progressFull type inference for GADTsI should soon have some working code. For now, I can present some poor and unclear slides Δ (source Δ), and a description of the algorithm from module Solve Δ. Genetic Programming in Typed Languages (translation)Finally I’ve started translating my master thesis Genetic Programming in Typed Languages Δ (source Δ). Here are definitions and theorems from subchapter 2.2: Damas-Milner Type System: type inference and term generation Δ. October 02, 2007, at 04:25 PM
by - cleanup
Changed line 4 from:
Witaj na zaczątkach mojej strony. to:
Witaj na zaczątkach mojej strony. Z mojego lenistwa, jest ona w części tylko po angielsku. Changed line 9 from:
My slidesto:
(:if userlang en:) My slides (:if userlang pl:) Moje slajdy (:if:)Changed lines 18-20 from:
to:
October 02, 2007, at 03:19 PM
by - Ideas on EAs
Added line 10:
Changed lines 10-13 from:
to:
Changed line 10 from:
to:
Changed lines 9-10 from:
(:if userlang pl:) Linki do ciekawych rzeczy: (:if userlang en:) Links you might find interesting: (:if:)to:
My slides
(:if userlang pl:) Linki do ciekawych rzeczy: (:if userlang en:) Links you might find interesting: (:if:)Changed lines 18-22 from:
Linki od L.K.Wykład dotyczący projektu CyC: Computers versus Common Sense Remote-Control Self to:
May 19, 2007, at 11:29 AM
by - welcom
Changed line 6 from:
Welcome on my homepage. to:
Welcome on my homepage. It still waits for more thorough translation into English. May 09, 2007, at 07:24 PM
by - alligator
Changed lines 11-12 from:
Being Productive With Emacs to:
Added lines 9-10:
(:if userlang pl:) Linki do ciekawych rzeczy: (:if userlang en:) Links you might find interesting: (:if:)Changed lines 9-12 from:
Wykład dotyczący projektu CyC: Computers versus Common Sense to:
Linki od L.K.Wykład dotyczący projektu CyC: Computers versus Common Sense Remote-Control Self Changed lines 9-10 from:
Zajęcia z Przetwarzania Języka Naturalnego 25 stycznia (zamiast piątku 26, w który jest środa) w czwartek po wykładzie. to:
Ś Added line 2:
Added line 1:
(:if userlang pl:) Changed lines 3-6 from:
to:
(:if userlang en:) Welcome on my homepage. (:if:) Changed line 5 from:
Wykład dotyczący projektu : Computers versus Common Sense to:
Wykład dotyczący projektu CyC: Computers versus Common Sense Added line 4:
Changed lines 3-4 from:
Zajęcia z Przetwarzania Języka Naturalnego 25 stycznia (zamiast piątku 26, w który jest środa) w czwartek po wykładzie. W tym tygodniu ćwiczenia w piątek lista c5. to:
Zajęcia z Przetwarzania Języka Naturalnego 25 stycznia (zamiast piątku 26, w który jest środa) w czwartek po wykładzie. Changed lines 3-4 from:
Zajęcia z Przetwarzania Języka Naturalnego 18 stycznia (zamiast zajęć 19 stycznia) i 25 stycznia (zamiast piątku 26, w który jest środa) w czwartek po wykładzie. W tym tygodniu ćwiczenia w piątek lista c5. to:
Zajęcia z Przetwarzania Języka Naturalnego 25 stycznia (zamiast piątku 26, w który jest środa) w czwartek po wykładzie. W tym tygodniu ćwiczenia w piątek lista c5. Changed lines 3-5 from:
Zajęcia z Przetwarzania Języka Naturalnego 18 stycznia (zamiast zajęć 19 stycznia) i 25 stycznia (zamiast piątku 26, w który jest środa) w czwartek po wykładzie. W tym tygodniu ćwiczenia w piątek lista c5. to:
Zajęcia z Przetwarzania Języka Naturalnego 18 stycznia (zamiast zajęć 19 stycznia) i 25 stycznia (zamiast piątku 26, w który jest środa) w czwartek po wykładzie. W tym tygodniu ćwiczenia w piątek lista c5. Wykład dotyczący projektu : Computers versus Common Sense Added lines 2-3:
Zajęcia z Przetwarzania Języka Naturalnego 18 stycznia (zamiast zajęć 19 stycznia) i 25 stycznia (zamiast piątku 26, w który jest środa) w czwartek po wykładzie. W tym tygodniu ćwiczenia w piątek lista c5. Deleted lines 1-2:
W piątek 8. grudnia zajęcia z NLP bez zmian w godz. 10.15 - 12.00. Deleted lines 2-3:
We wtorek 5. grudnia zajęcia z programowania funkcjonalnego w godz. 12.00 - 13.30. Added lines 2-5:
We wtorek 5. grudnia zajęcia z programowania funkcjonalnego w godz. 12.00 - 13.30. W piątek 8. grudnia zajęcia z NLP bez zmian w godz. 10.15 - 12.00. Changed lines 1-3 from:
Witaj na zaczątkach mojej strony. to:
Witaj na zaczątkach mojej strony. Changed lines 1-12 from:
Welcome to PmWiki! A local copy of PmWiki’s documentation has been installed along with the software, and is available via the documentation index. To continue setting up PmWiki, see initial setup tasks. The basic editing page describes how to create pages in PmWiki. You can practice editing in the wiki sandbox. More information about PmWiki is available from http://www.pmwiki.org . to:
Witaj na zaczątkach mojej strony. |