Clojurians Log v2

https://www.youtube.com/watch?v=FDA2GLCyiKQ

to types-dynamic war mou thymizei to Atari ST-Amiga war

@stathissideris se academic conferences opos to ICFP den yparxei debate edo kai polla xronia

@palladin twra menei na peistei kai to industry 🙂

Kai to industry to vlepei ... akoma kai oi JS devs arxizoun kai vlepoun ta benefits ton types kai to vlepeis sto megalo adoption pou exei px i Typescript

nai sigoura

@palladin tha ertheis ayrio na trollareis gia to poso weak guarantees prosferei to spec?

tha prospathiso na ertho

🙂

Einai entiposiako pos ta DNNs emfanizonte kai se systems

anaferome se auto https://arxiv.org/abs/1712.01208

blockchain ξεχασανε

(το εχω δει το paper, ειναι ωραια ιδεα)

Btw osoi filoi asxolounte etso kai ligo me to skaki

prepei na doun ta pexnidia tou AlphaZero

"I always wondered how it would be if a superior species landed on earth and showed us how they play chess. I feel now I know. " Magnus Carlsen

καλα ειναι full debatable πως θα αντιμετωπισουν αποτελεσματικα τα false negatives στο παραπανω paper

αλλα με τα TPU και τις νεες Volta της Nvidia (εβλεπα κατι benchmark για την νεα Titan χθες) πραγματικα αυτο το paper παιζει να ειναι και κατι παραπανω απο "paper εντυπωσιασμου" που πολλες εταιριες κανουν συχνα

"just retrain it!"

μου θυμιζει το Spanner, εν μερει, στο οτι χρησιμοποιει εξειδικευμενο hardware

https://www.wired.com/2012/11/google-spanner-time/

Nai to thema tou hardware einai simantikos paragontas

"Furthermore, it was stated that GPUs will improve 1000× in performance by 2025, whereas Moore’s law for CPU essentially is dead [5]. By replacing branch-heavy index structures with neural networks, databases can benefit from these hardware trends."

ναι, τους ειναι τερμα ευκολο να κανουν re-train πλεον

(και φθηνο)

στο αρθρο του wired βεβαια, ο τονος ειναι διαφορετικος

>Rather than rely on outside clocks, Google equips its Spannerized data centers with its own atomic clocks and GPS (global positioning system) receivers, not unlike the one in your iPhone. Tapping into a network of satellites orbiting the Earth, a GPS receiver can pinpoint your location, but it can also tell time.

δορυφοροι, datacenter, εξειδικευμενο hardware για να μπορω να βλεπω διαφημισεις 😄

To mellon fenete na einai ASICS gia linear algebra kai ta agapimena mas for, if, recursion me to stagonometro

everything old is new again και θα ξαναπρογραμματιζουμε με λιγοστα resources ξανα

eidika auto pou egine me to AlphaZero me exei sokarei

they're already in our CPUs - https://www.amd.com/en/technologies/sense-mi

ολοι οι Ryzen ειναι ενσωματωμενοι με κατι τετοιο

https://docs.microsoft.com/en-us/quantum/quantum-qr-typemodel?view=qsharp-preview

>This section lays out the Q# type model and describes the syntax for specifying and working with types.

>Q# treats a singleton tuple as completely equivalent to a value of the enclosed type. That is, there is no difference between 5 and (5), or between 5 and (((5)))

😄

to idio kai stin haskell

Prelude> :t (((5))) (((5))) Num t => t

auto pou den perimena na do einai Adjoint functors

prepei na meletiso tin Q# perisotero

Λογικά το ΣΚ θα κάτσω να μελέτησω και εγώ περισσότερο

Ειδικά τα Pauli types (δεν έχω καταλάβει τι είναι ακόμα, με μια γρήγορη ματια που του έριξα στη δουλειά)