Όλα τα θέματα

Λοιπά

906 άρθρα · 4 gems

Νέα

329
discord.com
2 λ.•πριν από 9 ημέρες

Discord: Η σταδιακή ενσωμάτωση των δημόσιων συζητήσεων στις μηχανές αναζήτησης

Το Discord επεκτείνει τη λειτουργικότητα των Discoverable Servers, επιτρέποντας την ευρετηρίαση δημόσιων μηνυμάτων και περιλήψεων συζητήσεων από το Google. Η αρχιτεκτονική αυτή προσέγγιση στοχεύει στη μετατροπή των κλειστών κοινοτήτων σε προσβάσιμες πηγές γνώσης, διατηρώντας παράλληλα αυστηρούς ελέγχους ιδιωτικότητας για τους χρήστες και τους διαχειριστές.

#Discord#Search#Privacy#Web Architecture
από DeepLogin
241
wired.com
2 λ.•πριν από 9 ημέρες

Η περίπτωση του 28χρονου στελέχους του DOGE που αποδόμησε τη USAID χωρίς επίσημη πρόσληψη

Η έρευνα αποκαλύπτει μια σοβαρή αστοχία στη διακυβέρνηση και τον έλεγχο πρόσβασης, όπου ένας 28χρονος συνδεόμενος με το Department of Government Efficiency (DOGE) άσκησε εκτεταμένες εξουσίες στη USAID, παρά το γεγονός ότι τα αρχεία ανθρώπινου δυναμικού δεν επιβεβαιώνουν ποτέ την απασχόλησή του.

#Government#Security#Governance#DOGE
236
cfsg.axiommath.ai
2 λ.•πριν από 9 ημέρες

Ολοκληρωμένη τυποποίηση της ταξινόμησης των πεπερασμένων απλών ομάδων στο Lean

Το έργο Axiom Math ολοκλήρωσε την πλήρη τυποποίηση (formalization) της απόδειξης του θεωρήματος ταξινόμησης των πεπερασμένων απλών ομάδων (Classification of Finite Simple Groups - CFSG) χρησιμοποιώντας το Lean theorem prover. Με 43,1 εκατομμύρια γραμμές κώδικα, το εγχείρημα επαληθεύει κάθε λογικό βήμα της απόδειξης, εντοπίζοντας παράλληλα σφάλματα στη βιβλιογραφία, όπως στο Unbalanced Group Theorem.

#Lean#Mathematics#Formal Verification#Group Theory
από pfdietz
173
wsj.com
3 λ.•πριν από 9 ημέρες

Το «τείχος χρέους» των 300 δισεκατομμυρίων δολαρίων και η κρίση στον κλάδο των private equity

Η κοινότητα του Hacker News αναλύει τις επιπτώσεις της συσσώρευσης χρέους σε εταιρείες που υποστηρίζονται από private equity, εν μέσω υψηλών επιτοκίων και του ανταγωνισμού από τους τεχνολογικούς κολοσσούς. Η ανάλυση υπογραμμίζει πώς η έλλειψη ρευστότητας και η απαξίωση λογισμικού λόγω της παραγωγικής τεχνητής νοημοσύνης (Generative AI) δημιουργούν ένα ασφυκτικό περιβάλλον για τον κλάδο.

#Finance#PrivateEquity#Macroeconomics#SoftwareIndustry
από JumpCrisscross
1065
wired.com
2 λ.•πριν από 9 ημέρες

Η αδιαφάνεια του αμερικανικού κράτους γύρω από μια απόρρητη δικαστική απόφαση για παρακολουθήσεις

Η αμερικανική κυβέρνηση κατηγορείται από γερουσιαστές για απόκρυψη απόρρητης δικαστικής απόφασης που αφορά το πλαίσιο παρακολούθησης πολιτών. Το ζήτημα αναδεικνύει τους κινδύνους του «μυστικού δικαίου» (secret law) εν μέσω πιέσεων για την ανανέωση του προγράμματος επιτήρησης Section 702.

#Surveillance#Privacy#FISA#Security
από helterskelter2
224
privacy.claude.com
3 λ.•πριν από 9 ημέρες

Πολιτική δεδομένων της Anthropic: Τι συμβαίνει όταν υποβάλλετε feedback στα chats

Ενώ η Anthropic διατηρεί αυστηρή πολιτική μη χρήσης εμπορικών δεδομένων για την εκπαίδευση των μοντέλων της, η ενεργός υποβολή feedback μέσω των κουμπιών αξιολόγησης (thumbs up/down) δίνει στοχευμένη άδεια αξιοποίησης ολόκληρου του ιστορικού της συνομιλίας. Οι μηχανικοί και οι διαχειριστές υποδομών οφείλουν να γνωρίζουν τις παραμέτρους αποθήκευσης και να αξιοποιούν τις διαθέσιμες ρυθμίσεις απενεργοποίησης σε επίπεδο επιχείρησης.

#Security#Privacy#Anthropic#AI Governance
από jonpizza
192
wiz.io
3 λ.•πριν από 9 ημέρες

Ανάλυση του exploit kit php2shell: Τεχνικά εμπόδια, προσπάθειες επίθεσης και τάσεις αποκατάστασης

Η ερευνητική ομάδα της Wiz αναλύει τα δεδομένα τηλεμετρίας γύρω από τις ευπάθειες PHP2Shell, καταγράφοντας μείωση των εκτεθειμένων συστημάτων κατά 67%. Τα διαθέσιμα δημόσια exploit kits καταφέρνουν να προκαλέσουν εξάντληση μνήμης, ωστόσο αποτυγχάνουν στα επόμενα στάδια διαρροής μνήμης και στοχευμένης εκτέλεσης κώδικα.

#PHP#Security#Vulnerabilities#Exploit
από acossta
141
reuters.com
2 λ.•πριν από 9 ημέρες

Συζήτηση στο Hacker News: Στο στόχαστρο εταιρείας spyware βρέθηκαν οι χρήστες του Starlink

Με βάση τη συζήτηση στην κοινότητα του Hacker News και τις σχετικές αναλύσεις του Citizen Lab, φημολογούμενη εταιρεία τεχνολογίας παρακολούθησης στόχευσε χρήστες του Starlink. Τα σχόλια επικεντρώνονται γύρω από τις μεθόδους εκμετάλλευσης διαφημιστικών δικτύων ως αγωγού (pipeline) για malware και τη χρήση δορυφορικού Internet από κυβερνητικούς και στρατιωτικούς φορείς.

#Cybersecurity#Spyware#Starlink#Privacy
από mmaia
193
blog.adrq.dev
3 λ.•πριν από 9 ημέρες

Here be monsters: Η διαχείριση συστημάτων στην εποχή των AI agents

Η έλευση των AI agents μεταβάλλει τον ρόλο του μηχανικού από δημιουργό κώδικα σε διαχειριστή συστημάτων. Η επιτυχία πλέον εξαρτάται από τη συνδυαστική ικανότητα θεμελιώδους γνώσης, ευρείας τεχνικής αντίληψης και της ικανότητας για εμβάθυνση υπό πίεση (just-in-time depth).

#AI Agents#Software Engineering#System Design#Leadership
333
bitlog.com
3 λ.•πριν από 9 ημέρες

Η ψευδαίσθηση της χρυσής εποχής: Γιατί το λογισμικό του παρελθόντος ήταν στην πραγματικότητα προβληματικό

Το άρθρο αποδομεί τη νοσταλγία για το λογισμικό των δεκαετιών '90 και '00, αναδεικνύοντας τις συστηματικές αστοχίες της εποχής, όπως η έλλειψη σταθερότητας, οι κρίσιμες ευπάθειες ασφαλείας και η απουσία μηχανισμών ανάκτησης δεδομένων. Παρά τα σύγχρονα προβλήματα bloatware και πολυπλοκότητας, η πρόοδος στις υποδομές και το tooling έχει βελτιώσει δραστικά την αξιοπιστία της εμπειρίας χρήστη.

#Software Engineering#History of Computing#Operating Systems#Architecture
από jakevoytko
147
eliasfarhan.ch
3 λ.•πριν από 10 ημέρες

Γιατί η διδασκαλία του OpenGL ES 3.0 παραμένει επίκαιρη

Παρά την κυριαρχία των σύγχρονων APIs όπως το Vulkan, το OpenGL ES 3.0 παραμένει ένα εξαιρετικό εκπαιδευτικό εργαλείο. Η διαλειτουργικότητα (interoperability) με το WebGL2 και η απλότητα στη διαχείριση του pipeline επιτρέπουν στους φοιτητές να εστιάσουν στις βασικές αρχές των γραφικών χωρίς την πολυπλοκότητα του boilerplate κώδικα.

#OpenGL#Graphics#Education#C++
από majorchord
145
github.com
2 λ.•πριν από 10 ημέρες

Εκτέλεση εφαρμογών 16-bit σε περιβάλλον 64-bit Windows μέσω του winevdm

Το winevdm αποτελεί μια εξειδικευμένη υλοποίηση που επιτρέπει την εκτέλεση παλαιότερων εφαρμογών 16-bit (Windows 1.x έως 3.1) σε σύγχρονα λειτουργικά συστήματα 64-bit. Το εργαλείο γεφυρώνει το χάσμα αρχιτεκτονικής μέσω ενός εξομοιωτή CPU και ενός μηχανισμού μετατροπής κλήσεων Win16 σε Win32.

#Windows#Legacy#Emulation#Win32
από doener
131
kuow.org
2 λ.•πριν από 10 ημέρες

Η Microsoft προσφέρει εθελούσια έξοδο στο ένα τέταρτο του εργατικού δυναμικού της

Η Microsoft ανακοίνωσε ένα πρόγραμμα εθελούσιας αποχώρησης που αφορά περίπου 60.000 εργαζομένους, στο πλαίσιο μιας ευρύτερης στρατηγικής αναδιάρθρωσης. Η κίνηση αυτή στοχεύει στην προσαρμογή του ανθρώπινου δυναμικού στις μεταβαλλόμενες επιχειρησιακές ανάγκες, χωρίς ωστόσο να συνδέεται άμεσα με τις επενδύσεις στην παραγωγική τεχνητή νοημοσύνη (Generative AI).

#Microsoft#Business#Tech Industry#HR
από mooreds
306
motherjones.com
2 λ.•πριν από 10 ημέρες

Η EPA σχεδιάζει τον τερματισμό του ψηφιακού της αρχείου

Η Υπηρεσία Προστασίας Περιβάλλοντος (EPA) των ΗΠΑ ανακοίνωσε τον προγραμματισμένο τερματισμό του online αρχείου της για το τέλος του 2026. Η κίνηση αυτή απειλεί να εξαφανίσει δεκαετίες κρίσιμων περιβαλλοντικών δεδομένων, εγείροντας σοβαρά ζητήματα διαφάνειας και πρόσβασης σε ιστορικά τεκμήρια.

#Data Preservation#EPA#Transparency#Public Policy
από robtherobber
229
apnews.com
2 λ.•πριν από 10 ημέρες

Ανάλυση της κοινότητας του Hacker News για τον χαρακτηρισμό του ηλίου ως κρίσιμου υλικού στις ΗΠΑ

Με βάση τη συζήτηση στο Hacker News, η απόφαση των ΗΠΑ να χαρακτηρίσουν το ήλιο ως κρίσιμο υλικό προκάλεσε έντονο σκεπτικισμό στην κοινότητα. Οι μηχανικοί και οι αναλυτές σχολιάζουν την προηγούμενη εκποίηση των εθνικών αποθεμάτων σε χαμηλές τιμές, τις αναποτελεσματικές πρακτικές εξόρυξης και τις επιπτώσεις στην αγορά.

#Helium#SupplyChain#Economics#Hardware
από rbanffy
265
github.com
2 λ.•πριν από 10 ημέρες

Type Server Protocol: Αρχιτεκτονική ανάλυσης τύπων για Python

Το Type Server Protocol (TSP) αποτελεί ένα εξειδικευμένο πρωτόκολλο JSON-RPC, σχεδιασμένο για την απομόνωση και την κλιμάκωση της ανάλυσης τύπων σε περιβάλλοντα Python. Αξιοποιώντας τις συμβάσεις του Language Server Protocol (LSP), επιτρέπει την αποτελεσματική διαχείριση snapshots και την παράλληλη εκτέλεση ερωτημάτων μέσω πολλαπλών συνδέσεων.

#Python#LSP#Static Analysis#Architecture
από adamnemecek
327
panamericandispatch.org
2 λ.•πριν από 10 ημέρες

Εργαζόμενοι της Meta καταγγέλλουν προγραμματιστική παρέμβαση στις εκλογές της Βραζιλίας

Εργαζόμενοι της Meta, υπογράφοντες μέσω του συνδικαλιστικού οργάνου CWU στο Ηνωμένο Βασίλειο, καταδικάζουν ανοιχτά την ηγεσία της εταιρείας γιαροπληροφοριακό και προγραμματιστικό μεροληπτικό φλερτ προς την οικογένεια Bolsonaro. Προειδοποιούν ότι τέτοιες πρακτικές πλήττουν την αξιοπιστία των ψηφιακών πλατφορμών και θέτουν επικίνδυνα προηγούμενα για τη δημοκρατική διαδικασία.

#Meta#Ethics#Governance#Open Source
από guitcastro
523
blog.enlyth.com
3 λ.•πριν από 10 ημέρες

Αναζητώντας την παλαιότερη εφαρμογή GUI που εκτελείται σε Windows 11

Μια τεχνική διερεύνηση σχετικά με τα όρια της συμβατότητας προς τα πίσω (backwards compatibility) των Windows, αναζητώντας την παλαιότερη εφαρμογή 32-bit που παραμένει λειτουργική στο σύγχρονο περιβάλλον των Windows 11 χωρίς εξομοίωση.

#Windows#Retrocomputing#Architecture#Win32
από enlyth
313
404media.co
2 λ.•πριν από 10 ημέρες

Διαρροή ηχητικού ντοκουμέντου: Ο CEO της Flock υποβαθμίζει τις αντιδράσεις για το δίκτυο επιτήρησης

Σε πρόσφατη ιδιωτική εκδήλωση, ο διευθύνων σύμβουλος της Flock, Garrett Langley, απέρριψε τις έντονες κοινωνικές αντιδράσεις κατά της εταιρείας του, αποδίδοντάς τες σε δράση bots και οργανωμένη προπαγάνδα. Η στάση αυτή έρχεται σε μια περίοδο όπου η τεχνολογία αυτόματης αναγνώρισης πινακίδων (ALPR) της εταιρείας δέχεται κριτική για ζητήματα ιδιωτικότητας και κατάχρησης από τις αρχές επιβολής του νόμου.

#Surveillance#Privacy#Ethics#ALPR
από Frieren
217
muratbuffalo.blogspot.com
2 λ.•πριν από 10 ημέρες

John von Neumann: Η τέχνη της αφαίρεσης και η κληρονομιά ενός οραματιστή

Ο John von Neumann υπήρξε μια μοναδική διάνοια που θεμελίωσε σύγχρονους τομείς, από την αρχιτεκτονική υπολογιστών και τη θεωρία παιγνίων έως την κβαντομηχανική. Η προσέγγισή του βασιζόταν στην ικανότητα να απομονώνει την ουσία ενός προβλήματος μέσω της αφαίρεσης (abstraction), μετατρέποντας χαοτικά συστήματα σε αυστηρά μαθηματικά μοντέλα.

#Computer Science#History#Mathematics#Abstraction
από aray07

GitHub Gems

11,845
TrendingΛοιπά
C++•πριν από 7 ημέρες

Ένα ανοιχτού κώδικα framework που αναπτύχθηκε στο Jet Propulsion Laboratory της NASA για τη γρήγορη ανάπτυξη και deployment εφαρμογών διαστημικών πτήσεων και embedded συστημάτων.

Γιατί ξεχωρίζει

Συνδυάζει αρχιτεκτονική βασισμένη σε components με ισχυρά εργαλεία μοντελοποίησης για την αυτόματη παραγωγή κώδικα (code generation), έχοντας αποδεδειγμένη πορεία σε πραγματικές διαστημικές αποστολές.

1,790•
Ανάλυση
3,024
TrendingΛοιπά
Go•πριν από 15 ημέρες

Το OSV (Open Source Vulnerability) αποτελεί μια κατανεμημένη βάση δεδομένων και υπηρεσία triage για ευπάθειες λογισμικού, σχεδιασμένη να παρέχει ακριβή πληροφόρηση για open-source οικοσυστήματα μέσω ενός ενοποιημένου API.

Γιατί ξεχωρίζει

Ξεχωρίζει για την ικανότητά του να συγχωνεύει δεδομένα από πολλαπλές πηγές σε ένα κοινό format, προσφέροντας υψηλή διαλειτουργικότητα (interoperability) και υποστήριξη για σύγχρονα formats όπως SBOMs.

12,996
TrendingΛοιπά
Python•πριν από 22 ημέρες

Το YuE2 είναι ένα frontier σύστημα γενετικής μουσικής που ενώνει συμβολικό και ηχητικό μοντέλο, επιτρέποντας σύνθεση σε συμβολική μορφή και δημιουργία high-fidelity ήχου, με zero-shot covers και agentic επεξεργασία.

Γιατί ξεχωρίζει

Δistingue για την πρόσβαση σε state-of-the-art ποιότητα χωρίς ανάγκη εκπαίδευσης σε συγκεκριμένα τραγούδια (zero-shot) και για τη δυνατότητα επεξεργασίας μουσικής μέσω φυσικής γλώσσας ή συμβολικών εντολών (agentic). Είναι ανοιχτό κώδικα, με προεκπαιδευμένα μοντέλα στο HuggingFace και διαδραστικές demos online.

1,498•
Ανάλυση
3,326
TrendingΛοιπά
Kotlin•πριν από 22 ημέρες

Το NuvioTV είναι ένα ελεύθερο, ανοιχτό κώδικα media app για Android TV, smartphone και desktop που επιτρέπει στους χρήστες να προσθέτουν τις δικές τους πηγεία περιεχομένου και να τα οργανώνει σε βιβλιοθήκη με εικονίδια, βαθμολογίες, υποτίτλους και αποθηκευμένη θέση σε όλες τις οθόνες.

Γιατί ξεχωρίζει

Χρησιμοποιεί το moderno Kotlin με Jetpack Compose, TV Material 3 και το Media3 framework, προσφέροντας αδιάκοπες UI και εύκολη ενσωμάτωση πηγών χωρίς περιττές εξαρτήσεις, ενώ ωφελείται από τις zero‑cost abstractions του Kotlin και την αποδοτική garbage collection του ART runtime.