praca naukowa

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.

0

Magisterka, jak rozumiem?


UPDATE: Jaka nazwa kierunku i specjalności?

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 :)

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/tutorial/MyFirstLanguageFrontend/index.html

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.

6
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.

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

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.

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ę.

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 ;]

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.

0

chce zrobic trading bota na inzynierke, ale cos mi sie wydaje, ze to moze byc niemozliwe, np probowalam uzywac lstm do przewidywania cen bitcoinow i wyniky wychodzily bardzo off

0

@lambdadziara gdyby wyniki giełdy dało się ot tak "przewidywać" to wszyscy by tak robili ;) Miałem na roku kogoś kto próbował na mgr coś takiego pisać, ale dużo bardziej rozbudowane, włączając w to takie rzeczy jak datamining na newsach giełdowych a także na informacjach "ze świata". Bo zauważ ze ceny na giełdach to nie jest jakaś magiczna funkcja którą da się zaaproksymować, tylko pochodna wydarzeń na świecie.
Generalnie odradzam, bo to trudne i spora szansa że nic sensownego z tego nie wyjdzie.

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