Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @tscholak
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @tscholak
-
Prikvačeni tweet
Here’s a fully functional convolutional neural network in Haskell. This API wraps libtorch, and the compiler checks your shapes, data types and physical devices, and it tells you how functions change them (see the hover box for unsqueeze).pic.twitter.com/1XRUv0ISl4
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
the n-ary version of this could be achieved with trchniques introduced by
@haskell_cat in his n-ary-functor libraryhttps://twitter.com/Jose_A_Alonso/status/1222823201073397760 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Torsten Scholak proslijedio/la je Tweet
Timely post on Jax’s vmap in Haskell by
@ezyang. Will have to give these ideas a try in@hasktorch!https://twitter.com/Jose_A_Alonso/status/1222823201073397760 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Torsten Scholak proslijedio/la je Tweet
Thanks for the
@hasktorch shout out :) It’s true that differentiable programming tech stacks take substantial effort. They also define the space of what gets built and researched. In this way they’re sort of a “narrow waist” in the systems sense.https://twitter.com/smdiehl/status/1220405055058251776 …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I am convinced that the answer to this question is yes.https://twitter.com/HilaCodes/status/1219998749734338560 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I wonder if and how this could be combined with neural approaches for program synthesis, e.g.
@pengchengyin and@gneubig's https://arxiv.org/abs/1704.01696 .https://twitter.com/HilaCodes/status/1220040540605034496 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Torsten Scholak proslijedio/la je Tweet
Always thought that generic-lens was a shining
#haskell library usability-wise but a straightforward application of GHC Generics. But after looking at the implementation... It is truly a work of art under the hood, w a LOT more going on than I had thoughthttps://hackage.haskell.org/package/generic-lens …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
there's a typo, the output type should have been `IO output`
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
after a few days of searching for the right abstractions, I got data parallelism working in
@hasktorchpic.twitter.com/ciVfZbsk1q
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
It is absolutely astonishing how quickly
@junjihashimoto3 was able to put this together:@hasktorch has fully migrated to libtorch 1.4.0! Thank you Junji!pic.twitter.com/3vAVfjr2mk
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Torsten Scholak proslijedio/la je Tweet
I found it very important to learn basics of LISP to start understanding symbolic AI literature. It seems like this programming language for many decades structured the way people thought and communicated with each other.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Torsten Scholak proslijedio/la je Tweet
type system applied to AI: - encode tensor dimensions in types (as value-types), express matrix calculus and let compiler check ops validity - encode location of tensors in types (Tensor @ CPU or @ GPU) and let the compiler warn that we can't manipulate resources not colocated.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Torsten Scholak proslijedio/la je Tweet
users of lang Y are stupid
creators of lang Y are stupid
your lang X is better than *
only X creates safe&sound code
If you believe and act on any of the above you burn the bridges I try to build organizing @_BusConf_ Stop it or Go Away.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Torsten Scholak proslijedio/la je Tweet
Fascinating benchmark study on using lambda calculus HOAS in several languages.https://github.com/AndrasKovacs/normalization-bench …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
type - safe tensor math
#SeduceSomeoneInFourWordspic.twitter.com/nNnwKRFSTZ
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Torsten Scholak proslijedio/la je Tweet
I often meet research scientists interested in open-sourcing their code/research and asking for advice. Here is a thread for you. First: why should you open-source models along with your paper? Because science is a virtuous circle of knowledge sharing not a zero-sum competitionpic.twitter.com/x16jgKmLFr
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.
Transformers? Here are a few additional tips
A. focus on one essential feature that your community really needs and no one provides
B. do it well
C. keep putting yourself in the shoes of people using your tool for the 1st time