Κωνσταντίνος Χαφής
Μηχανικός Λογισμικού — Αττική, Ελλάδα
Αναπτύσσω full-stack εφαρμογές TypeScript στο Cloudflare edge, εκπαιδεύω μοντέλα μηχανικής μάθησης σε γεωχωρικά και βιολογικά δεδομένα, και ασχολούμαι με compilers και συστήματα — από παραγωγή JVM bytecode έως υπολογισμούς υψηλών επιδόσεων σε C. Η διπλωματική μου εργασία στην τοπική μοντελοποίηση πρόβλεψης δασικών πυρκαγιών ενσωματώθηκε στο έργο FireCastNet, και σχεδιάζω και υλοποιώ λογισμικό για τη βυζαντινή μουσική.
Επιλεγμένα έργα
Όλα τα έργα →Πλατφόρμα Σχολής Βυζαντινής Μουσικής
Μια πλατφόρμα παραγωγής για σχολή βυζαντινής μουσικής — δημόσιος ιστότοπος, εγγραφές, διαχείριση καθηγητών και βιβλίων, πληρωμές και admin panel, στο Cloudflare Pages με τυποποιημένο Valibot API.
FireCastNet — Τοπική Μοντελοποίηση (LAM)
Η διπλωματική μου εργασία: περιφερειακή πρόβλεψη δασικών πυρκαγιών με γραφικά νευρωνικά δίκτυα στην αρχιτεκτονική GraphCast του FireCastNet, με πλέγματα icosphere ανά περιοχή και γεωχωρικά σταθμισμένες συναρτήσεις απώλειας. Ενσωματώθηκε στους κλάδους lam και lam-visual.
Isokratis
Μια freemium PWA που παράγει τον σταθερό ήχο ισοκρατήματος για ψάλτες, βασισμένη σε μαθηματικά ορισμένο μουσικό μοντέλο moria και μηχανή ήχου Web Audio, τρέχοντας στο Cloudflare edge.
Google Drive Auto Backup
Ένα CLI σταδιακού backup στο Google Drive με εξαιρέσεις glob, ανίχνευση μετακινήσεων με επίλυση συγκρούσεων και χωρίς επαναφόρτωση αμετάβλητων αρχείων.
Compiler της Alan
Πλήρης compiler για τη γλώσσα Alan — λεκτικός αναλυτής JFlex, συντακτικός αναλυτής CUP LALR, τυποποιημένο AST με πίνακες συμβόλων και άμεση παραγωγή JVM bytecode μέσω ASM. Ένα δύσκολο, τεχνικό έργο από την αρχή έως το τέλος.
E-Calculator
Ένα ημερολόγιο βελτιστοποίησης επιδόσεων σε C: έντεκα υλοποιήσεις της σταθεράς Euler, καταλήγοντας σε ένα δισεκατομμύριο ψηφία σε ~2,8 ώρες σε φορητό υπολογιστή μέσω binary splitting, GMP και πολυνηματισμού με ουρές εργασιών.
Τελευταία από το blog
Όλες οι αναρτήσεις →Μια μηχανή ισοκρατήματος για τη βυζαντινή ψαλμωδία στο Web Audio API
Πώς το Isokratis μετατρέπει τη θεωρία της βυζαντινής μουσικής σε μηχανή σύνθεσης πραγματικού χρόνου — μοντέλο κλίμακας 72 moria, φωνές ταλαντωτή και δειγμάτων, περιβάλλοντα ADSR και μετατόπιση ύψους με τον τρόπο που την περιμένουν οι ψάλτες.
Από τον lexer στο JVM bytecode: γράφοντας compiler για τη γλώσσα Alan
Μια ματιά μέσα σε πλήρη compiler — λεκτικός αναλυτής JFlex, συντακτικός αναλυτής CUP LALR, τυποποιημένο AST με πίνακες συμβόλων και άμεση εκπομπή JVM bytecode μέσω ASM. Το πιο δύσκολο, τεχνικό έργο που απόλαυσα περισσότερο.