Fork me on GitHub
#clojure-greece
<
2017-12-12
>
stathissideris12:12:43

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

palladin13:12:17

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

stathissideris14:12:03

@palladin twra menei na peistei kai to industry 🙂

palladin14:12:02

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

stathissideris14:12:33

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

palladin14:12:14

tha prospathiso na ertho

palladin16:12:19

Einai entiposiako pos ta DNNs emfanizonte kai se systems

digiou16:12:49

blockchain ξεχασανε

digiou16:12:13

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

palladin16:12:59

Btw osoi filoi asxolounte etso kai ligo me to skaki

palladin16:12:20

prepei na doun ta pexnidia tou AlphaZero

palladin16:12:18

"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

digiou17:12:36

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

digiou17:12:33

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

digiou17:12:02

"just retrain it!"

digiou17:12:58

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

palladin17:12:14

Nai to thema tou hardware einai simantikos paragontas

palladin17:12:56

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

digiou17:12:55

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

digiou17:12:01

(και φθηνο)

digiou17:12:01

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

digiou17:12:07

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

digiou17:12:33

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

palladin17:12:00

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

digiou17:12:40

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

palladin17:12:28

eidika auto pou egine me to AlphaZero me exei sokarei

digiou17:12:11

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

digiou18:12:53

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

digiou18:12:13

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

palladin19:12:44

to idio kai stin haskell

palladin19:12:46

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

palladin19:12:22

auto pou den perimena na do einai Adjoint functors

palladin19:12:38

prepei na meletiso tin Q# perisotero

digiou20:12:57

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

digiou20:12:13

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