This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2017-12-12
Channels
- # adventofcode (112)
- # architecture (1)
- # beginners (55)
- # boot (26)
- # cider (19)
- # cljs-dev (19)
- # cljsjs (1)
- # cljsrn (7)
- # clojure (140)
- # clojure-android (3)
- # clojure-austin (3)
- # clojure-china (3)
- # clojure-gamedev (1)
- # clojure-greece (43)
- # clojure-spec (75)
- # clojure-sweden (5)
- # clojure-uk (21)
- # clojurescript (66)
- # core-async (2)
- # core-logic (1)
- # cursive (63)
- # datascript (5)
- # datomic (4)
- # devcards (2)
- # duct (13)
- # editors (5)
- # emacs (9)
- # figwheel (4)
- # fulcro (42)
- # graphql (25)
- # immutant (7)
- # jobs (29)
- # leiningen (13)
- # lumo (7)
- # numerical-computing (3)
- # off-topic (22)
- # om (2)
- # onyx (25)
- # pedestal (3)
- # re-frame (14)
- # reagent (20)
- # remote-jobs (1)
- # ring-swagger (3)
- # rum (12)
- # shadow-cljs (9)
- # uncomplicate (1)
- # unrepl (6)
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?
anaferome se auto https://arxiv.org/abs/1712.01208
"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 εντυπωσιασμου" που πολλες εταιριες κανουν συχνα
"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."
>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.
To mellon fenete na einai ASICS gia linear algebra kai ta agapimena mas for, if, recursion me to stagonometro
they're already in our CPUs - https://www.amd.com/en/technologies/sense-mi
>This section lays out the Q# type model and describes the syntax for specifying and working with types.