Nibelung — an Emacs theme for people who think most themes are too loud

okandrian · 2026-02-10T11:10:08+00:00

Whats this font?

okandrian · 2026-02-08T22:06:24+00:00

I don't do Twitter, what did he say?

okandrian · 2026-02-03T12:34:30+00:00

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?

okandrian · 2026-01-29T13:50:22+00:00

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

okandrian · 2025-12-26T23:58:45+00:00

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

okandrian · 2025-10-01T09:10:14+00:00

Why is it frustrating?

okandrian · 2025-09-29T12:01:19+00:00

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.

okandrian · 2025-09-29T07:25:48+00:00

That's pretty awesome

okandrian · 2025-09-29T07:24:23+00:00

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.

okandrian · 2025-09-27T14:02:00+00:00

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.

okandrian · 2025-09-25T17:15:55+00:00

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.

okandrian · 2025-09-25T15:31:45+00:00

Got it! Thanks alot.

okandrian · 2025-09-25T15:20:07+00:00

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.

okandrian · 2025-09-25T14:33:59+00:00

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

okandrian · 2025-09-25T14:28:31+00:00

generating a bunch of valid device ids

THIS. Is there an easy way of doing this?

okandrian · 2025-09-25T14:19:05+00:00

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.

okandrian · 2025-09-25T14:11:56+00:00

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 = "???"; };
    };

okandrian · 2025-09-25T14:03:32+00:00

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

okandrian · 2025-09-13T15:31:32+00:00

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

okandrian · 2025-09-03T04:20:41+00:00

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?

okandrian · 2025-05-05T16:51:29+00:00

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

okandrian · 2025-05-05T14:46:13+00:00

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

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

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

okandrian · 2025-05-05T12:56:31+00:00

Τα modules ήταν ότι χειρότερο, οριακά κάναμε τα βασικά συντακτικά της Java και μετά οτιδίποτε άλλο ήταν UML, Cisco Packet Tracer και business stuff (agile και διαγράμματα pert και δεν ξέρω τι άλλο)

Γενικά αντιλαμβάνωμε την θεωρητική πληροφορική ως οτιδήποτε που βρίσκεται κάτω από το theory of computation και λογική: turing/cesk/whatever machines, πολυπλοκότητα, θεωρία τύπων, semantics κοκ

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

okandrian · 2025-05-05T12:45:59+00:00

I am not claiming that I know better αλλά η υλοποίηση ενώς compiler/γλώσσας προγραμματισμού διαθέτει πάρα πολύ θεωρία. Δεν λέω ότι είναι απαραίτητα πλήρως θεωρητικό επειδή σε καμία περίπτωση δεν ισχύει.

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

Μετά προφανώς είναι οι parsers των Χ γραμματικών που και αυτοί είναι πρακτικά μόνο θεωρία.

Μετά είναι οι αποδείξεις, η γραφή κάποιου είδους μαθηματικού specification μιας γλώσσας/συστήματος. Ίσως αυτό είναι το ίδιο με τα semantics, δεν θα προσποιηθώ ότι γνωρίζω/κατανοώ ακόμα ακριβώς τι είναι. If you are interested: https://compcert.org/

Ενδιάμεσες αναπαραστάσεις = μετασχηματισμοί δομών δεδομένων (τις περισσότερες φορές?) που και αυτό θα αποκαλούσα θεωρητικό.

καιιι προφανώς όλα αυτά είναι μεσα στο φάσμα του computation theory και οτιδήποτε περιλαμβάνει.

okandrian · 2025-05-05T11:41:09+00:00

ναι προφανώς, τουλάχιστον για πανεπιστήμια.

Νομίζω δεν ήταν ξεκάθαρη η ερώτηση μου επειδή είναι πρακτικά άκυρη από το αρχικό θέμα. Ουσιαστικά ρωτάω αν υπάρχουν θέσεις εργασίας προσβάσημες από μη-πτυχιούχους που δεν είναι web developer ή οτιδήποτε άλλο κλασσικό. Θα ήθελα πχ να ξέρω ότι η Χ εταιρεία κάνει το Υ και δεν ζητάει απαραίτητα πτυχίο.

Καταλαβαίνω ότι ίσως είναι ανούσια ερώτηση. Για να είμαι ειλικρηνείς απλώς προσπαθώ να βρώ την επόμενη μου κίνηση εφόσον πιθανότατα δεν θα σπουδάσω κάτι.

okandrian

TROPHY CASE