praca naukowa

Odpowiedz Nowy wątek
2020-02-10 00:39

Rejestracja: 4 lata temu

Ostatnio: 1 godzina temu

2

kiedyś tam pewnie będę musiał dyploma popełnić i patrząc do przodu zastanawiam się nad tematem

risercz arijas które wydają mi się ciekawe

  • formalna weryfikacja kodu (języki wysokiego poziomu do modelowania) mam wątpliwości czy jest tu w ogóle o czym pisać na np. 70 stron

  • kompilatory z naciskiem na frontend + coś z llvm, ale obawiam się, że miną 3 miesiące, a ja nadal będę skakał pomiędzy artykułami i próbował posklejać "coś"

lub krud, żeby szybko zaklepać i nie ryzykować potrzeby przedłużania terminu oddania pracy

ma ktoś jakiegoś expa w tych tematach?

na pytanie @Silv

infa / software eng.

edytowany 15x, ostatnio: WeiXiao, 2020-02-10 01:21

Pozostało 580 znaków

2020-02-10 01:15

Rejestracja: 5 lat temu

Ostatnio: 1 miesiąc temu

Lokalizacja: Warszawa

0

Magisterka, jak rozumiem?


UPDATE: Jaka nazwa kierunku i specjalności?


edytowany 2x, ostatnio: Silv, 2020-02-10 01:22
Ach. To może dopisz w tytule. - Silv 2020-02-10 01:15
@Silv: dodałem tag ;) - WeiXiao 2020-02-10 01:16
OK (ja uważam, że tagi są mniej widoczne). - Silv 2020-02-10 01:16
@Silv: dodałem w poście, możesz "zmergować" swoje pytanie z tym postem :P - WeiXiao 2020-02-10 01:20

Pozostało 580 znaków

2020-02-10 01:50

Rejestracja: 8 lat temu

Ostatnio: 4 minuty temu

Lokalizacja: Grudziądz/Bydgoszcz

3

Wymyśl coś fajnego ale coś co uznasz, że dasz rade zrobić bez zbędnej zabawy i analizy. To tylko inżynierka. Rozwlekasz tekst o każdej drobnej rzeczy w kodzie i nagle wychodzi zbyt dużo tekstu :)

Pozostało 580 znaków

2020-02-10 08:20

Rejestracja: 1 rok temu

Ostatnio: 2 minuty temu

Lokalizacja: Kraków

2

Docsy LLVM mają nawet tutoriale do prostych customowych frontendów / backendów ;)

Jakbyś chciał stworzyć własny WeiXiao++ na inż to śmiało możesz się brać za frontend, dopóki nie masz własnej architektury to backendu nie musisz ruszać, z tego co kojarzę LLVM targetuje WASM :]

https://llvm.org/docs/tutoria[...]stLanguageFrontend/index.html


Nie znam się, ale się wypowiem
WeiXiao++ ;) - Silv 2020-02-10 14:07

Pozostało 580 znaków

2020-02-10 13:11
Moderator

Rejestracja: 16 lat temu

Ostatnio: 4 minuty temu

1

formalna weryfikacja kodu (języki wysokiego poziomu do modelowania) mam wątpliwości czy jest tu w ogóle o czym pisać na np. 70 stron

Jasne że jest, tylko że to jest dość trudna działka i może overkill na inż, ale zależy co konkretnie chciałbyś zrobić za analizę. Ewentualnie jak chcesz podkręcić level wyżej, to możesz zrobić analizę nie kodu źródłowego, tylko binarek, albo przynajmniej bytecodu LLVM, żeby zrobić coś bardziej uniwersalnego. To zresztą automatycznie łączy się z twoją drugą opcją, bo wtedy taki analizator może być pluginem do LLVM i masz np. step kompilacji który cośtam automatycznie analizuje.


Masz problem? Pisz na forum, nie do mnie. Nie masz problemów? Kup komputer...

Pozostało 580 znaków

2020-02-10 13:17

Rejestracja: 1 rok temu

Ostatnio: 19 minut temu

Lokalizacja: DC

WeiXiao napisał(a):

risercz arijas które wydają mi się ciekawe

Najpierw dostępni promotorzy i tematy które podejmą się z tobą prowadzić.

Promotor ma zawsze rację ale rzadko kiedy ma czas i jest dostępny itp itd

Dużo doktorów nie lubi zajmować się dyplomantami (lic inż) i traktuje to jako zło konieczne

TLDR;
Najpierw promotor. Z promotorem wybierzecie temat.


"Ktoś sobie uświadomił, że pisał pod pseudonimem rzeczy, które lepiej żeby w firmie nie wypatrzyli :-)"
"Kiedy wiedzieć czy zacząć nauke Springa? bo w czystej Javie to nic ciekawego nie zrobie chyba"
edytowany 1x, ostatnio: BraVolt, 2020-02-10 13:21
+1, promotor najważniejszy - Shalom 2020-02-10 13:34

Pozostało 580 znaków

2020-02-10 19:49

Rejestracja: 4 lata temu

Ostatnio: 1 godzina temu

1

@BraVolt:

Najpierw dostępni promotorzy i tematy które podejmą się z tobą prowadzić.

Teraz do mnie doszło, że z formalnej to chyba nawet nie miałbym go kogo pójść, bo nie kojarzę, aby ktokolwiek się tym zajmował :O

edytowany 1x, ostatnio: WeiXiao, 2020-02-10 19:50
Ja pisalem auto weryfikacje kodu asm na swoja maszyne vm ale to zupelnie nieformalnie. Bez zadnych wzorkow wiec sie nie nada do pracy. - vpiotr 2020-02-11 18:18
@vpiotr: chodziło o ludzi na uczelni :P - WeiXiao 2020-02-11 19:16

Pozostało 580 znaków

2020-02-10 19:53

Rejestracja: 1 rok temu

Ostatnio: 19 minut temu

Lokalizacja: DC

1
WeiXiao napisał(a):

Teraz do mnie doszło, że z formalnej to chyba nawet nie miałbym go kogo pójść, bo nie kojarzę, aby ktokolwiek się tym zajmował :O

Od razu sprawdź, czy fajni promotorzy od ciekawych dziedzin nie są już powybierani i nie mają wyczerpanego limitu dyplomantów na 2 lata do przodu.


"Ktoś sobie uświadomił, że pisał pod pseudonimem rzeczy, które lepiej żeby w firmie nie wypatrzyli :-)"
"Kiedy wiedzieć czy zacząć nauke Springa? bo w czystej Javie to nic ciekawego nie zrobie chyba"

Pozostało 580 znaków

2020-02-10 20:22

Rejestracja: 6 lat temu

Ostatnio: 37 minut temu

1

Inżynierka to luz, wg mnie nie ma co się wysilać. Pewnie starczy jakaś apka do zrobienia (ja robiłem prostą wersję strony typu futbolowo). Coś trudniejszego zostaw sobie na magisterkę.

Coś podejrzewam że akurat @WeiXiao niespieszno na magisterkę :P - superdurszlak 2020-02-10 20:23
@superdurszlak: CÓŻ TO ZA BEZPODSTAWNE POMÓWIENIA super D? ;) - WeiXiao 2020-02-10 20:23
@WeiXiao: oczywiście że bezpodstawne :D - superdurszlak 2020-02-10 21:05
<skojarzenie> Super D kontratakuje! </skojarzenie> - Silv 2020-02-10 23:31

Pozostało 580 znaków

2020-02-10 21:42
Moderator

Rejestracja: 16 lat temu

Ostatnio: 4 minuty temu

0

Inżynierka to luz, wg mnie nie ma co się wysilać. Pewnie starczy jakaś apka do zrobienia (ja robiłem prostą wersję strony typu futbolowo). Coś trudniejszego zostaw sobie na magisterkę.

Tylko czemu? Tak to przynajmniej ma się jakiś ciekawy projekt do wpisania w CV / do pochwalenia się, a można też myśleć o ciągnieciu tej tematyki dalej na mgr jeśli wyjdzie coś fajnego. Potem ludzie kończą studia, CV puste, a jak spytasz o inż to mówią że generic cruda z tutoriala robili. A potem jest płacz ze nie ma pracy dla juniorów!!!11 ;]


Masz problem? Pisz na forum, nie do mnie. Nie masz problemów? Kup komputer...

Pozostało 580 znaków

2020-02-10 21:52

Rejestracja: 1 rok temu

Ostatnio: 19 minut temu

Lokalizacja: DC

0
Shalom napisał(a):

Potem ludzie kończą studia, CV puste, a jak spytasz o inż to mówią że generic cruda z tutoriala robili.

Bo to trzeba sobie wyważyć, promotor, temat. W końcu lepszy inżynier crudem broniony od nieukończonych studiów bo "tak wyszło, nie złożyło się" i praca w końcu nie została napisana.

Jak się popatrzy dlaczego ludzie nie kończą studiów, to będą dwa powody. Pierwszy, wylecieli nie dając sobie rady (przez 2 lata) z zaliczeniem pierwszego roku. Drugi, nie obronili się bo nie napisali pracy, później weszły: w życiu praca a na uczelni różnice programowe i tak wyszło.


"Ktoś sobie uświadomił, że pisał pod pseudonimem rzeczy, które lepiej żeby w firmie nie wypatrzyli :-)"
"Kiedy wiedzieć czy zacząć nauke Springa? bo w czystej Javie to nic ciekawego nie zrobie chyba"

Pozostało 580 znaków

Odpowiedz

1 użytkowników online, w tym zalogowanych: 0, gości: 1, botów: 0