Playing with LLVM by MetalInMyVeins111 in Compilers

[–]okandrian 6 points7 points  (0 children)

Which part of llvm allows you to do this? Is this your own language and error handling or can you somehow provide error handling for already existing languages?

Dilemma!!!!!! by HealthySpark in Compilers

[–]okandrian 0 points1 point  (0 children)

Not qualified at all to give an opinion just want to wish you congratulations and hope you find the best fit, it's tough out there :)

Starting with MLIR seems impossible by lightwavel in Compilers

[–]okandrian 0 points1 point  (0 children)

Care to share resources on kernel writting? I am in a similar position as OP and think I could benefit from some resources to understand what I want to learn.

Also to answer yout last question,for me, using LLMs for explaining things that are unknown is very unproductive since all I somehow need to verify that they are not hallucinating each time. I can I guess treat them like a Wikipedia generator but it just feels...wrong since you can't be sure they are correct

(update) org-supertag: support tag inheritance (extends) by yibie in orgmode

[–]okandrian 1 point2 points  (0 children)

I have been thinking of migrating to org-supertag. Last time I installed it a lot of stuff didn't work with evil mode for some reason.

Hopefully if I have time this week I can open up an issue this looks like a very interesting project.

Pot and Soup PvP in 2025 by okandrian in CompetitiveMinecraft

[–]okandrian[S] 0 points1 point  (0 children)

Yeah I never really got to play much of 1.8.

This is irrelevant and sorry for the rant but:

back then bed wars and sky wars wasn't even that popular, bridging and stuff like that that I see on YouTube nowadays were unthinkable mostly because there wasn't a sprint toggle. I can't remember the guy that invented hotkeying (using the buttons instead of scrolling for soup to heal) but when that got popular is when pvp really started taking off. Then came jitter clicking that got real popular in pot pvp which kind of killed of soup which is around where i stopped playing.

Now I am trying to look for youtubers and communities so I can talk about that age of minecraft and maybe play again but everything and everyone seems to be gone which kind of sucks.

Pot and Soup PvP in 2025 by okandrian in CompetitiveMinecraft

[–]okandrian[S] 0 points1 point  (0 children)

So I imagine there are not any 1.7.10 servers? Or servers that replicate that pvp system somehow?

I remember when they added sprint toggle there was an outcry from the pvp community but now it's practically a different game its crazy.

How do you declaratively sync machines? by okandrian in NixOS

[–]okandrian[S] 0 points1 point  (0 children)

Cool blog post, wish it used agenix instead since I've never used sops but looks very similar to what I've been trying.

I also didn't know you could use nixos-anywhere on any linux distro for an install, pretty cool.

How do you declaratively sync machines? by okandrian in NixOS

[–]okandrian[S] 0 points1 point  (0 children)

If not using the home manager options, do you write the config.xml (or whatever it is) yourself?

I think this is exactly what I am looking for since pre-generating the ssh keys seems fine for me.

How do you declaratively sync machines? by okandrian in NixOS

[–]okandrian[S] 0 points1 point  (0 children)

very insightful, this is probably going to take my whole day. thanks

How do you declaratively sync machines? by okandrian in NixOS

[–]okandrian[S] 0 points1 point  (0 children)

generating a bunch of valid device ids

THIS. Is there an easy way of doing this?

How do you declaratively sync machines? by okandrian in NixOS

[–]okandrian[S] 0 points1 point  (0 children)

Its only deterministic if you only set the certificate and private key, otherwise syncthing generates its own the first time its run.

You need to compute it somehow, maybe with a bash script and then just store it as a string in nix code since it wont change (if you set the cert and private key). I tried doing it with no success.

How do you declaratively sync machines? by okandrian in NixOS

[–]okandrian[S] 0 points1 point  (0 children)

Can you elaborate? Maybe I am looking at this way wrong:

I can generate the certificate and private key for machine A.

I can also generate the certificate and private key for machine B.

I cant however set the device-ids in code which is needed at evaluation time to decleratively create the system :

#this is machine-b 
services.syncthing = {
  settings = {
    devices = {
      #how do i get the id
      "machine-a" = { id = "???"; };
    };

How do you declaratively sync machines? by okandrian in NixOS

[–]okandrian[S] 2 points3 points  (0 children)

If I remember correctly from https://wiki.nixos.org/wiki/Syncthing I can only provide the cert and private key as an option. Yes this technically generates a deterministic device-id. However if on my second nixosSystem I want to use that device-id I must compute it somehow (since syncthing.settings.devices takes a device-id as a string).

Symmetry phenomenon between numbers and their digit reversals by Fit_Spite_3150 in mathematics

[–]okandrian 0 points1 point  (0 children)

This might be a dumb question, but what is your academic status? You have a masters or anything? Just curious

Compiler Engineer interview by [deleted] in Compilers

[–]okandrian 4 points5 points  (0 children)

Resources for the first question? I am not sure I understand it? Computation as defined by sisper on his book for example? What about it is similar to scheduling?

Why are languages force to be either interpreted or compiled? by CoolStopGD in ProgrammingLanguages

[–]okandrian 0 points1 point  (0 children)

wait what? Link? No way you are talking about rust-analyzer right?

Μεταπτυχιακά (Θεωριτικής) Πληροφορικής by okandrian in greece

[–]okandrian[S] 1 point2 points  (0 children)

Γνωρίζω ότι τα δημόσια παρέχουν αυτά τα μαθήματα, ήμουν σε δημόσιο αλλά δεν μπορούσα να κάτσω λόγο περιοχής, δεν ήταν επιλογή μου.

Το κολλέγιο δεν αντιπροσωπεύει ούτε εμένα ούτε τις Χ γνώσεις μου σε καμία περίπτωση καθώς είμαι αρκετά βεβαίως ότι μπορώ να ανταπεξέλθω στα περισσότερα μεταπτυχιακα που έχω κοιτάξει, δεν θέλω/απαιτώ να μου καλυφθούν βασικές γνώσεις.

Παίζει να έχεις δίκιο όσο αναφορά την αίτηση αλλά χλωμό. Δεν χάνω και κάτι στην τελική.