jesuslop

22 ms·

241.
by jesuslop 8y ago
Also positioned as not anti proof assistants I meant.
242.
by jesuslop 8y ago
Surprising. Voeovdski also.
243.
by jesuslop 8y ago
Could use some Escher. Why the flagging.
244.
by jesuslop 8y ago
you' kiddin?
245.
by jesuslop 8y ago
Is there a daemonization API as such? I think there was only the "way of doing" shown in man 7 daemon.
246.
by jesuslop 8y ago
IIRC /dev/input/event* gives you that
247.
by jesuslop 8y ago
Could take you years :-b
248.
by jesuslop 8y ago
Really agree with the extra simplicity in the ReLU case. Liwen Zhang, Gregory Naitzat and Lek-Heng Lim showed last year that "the family of such neural networks is equivalent to the family of tropical rational maps", where rationa
249.
by jesuslop 8y ago
Possibly less sophisticatedly I think of them as a sandwich of affine maps and nonlinear isotropies (as those giving irregular rings in tree trunks). The affinities are represented nicely in GL(n+1) with a homogenous coordinates trick relat
250.
by jesuslop 8y ago
Interestingly, it's the same problem than to determine if live in a flat or curved space(-time). You can determine curvature by intrinsic means. I you go from north pole to Ecuador painting your direction, turn 90º, advance a quarter o
251.
by jesuslop 8y ago
woa, the water reflects
252.
by jesuslop 8y ago
https://frinkiac.com/caption/S14E18/369077 "Hey, we could go to Walter Gropius's!" bonus: the exhibitor is at Homer's because the "Take One" sign.
253.
by jesuslop 8y ago
Hmm, I'd bring convolution to this salad. I think in polynomial product when thinking about convolving.
254.
by jesuslop 8y ago
And for leisure, www.logicomix.com (a surprising graphical novel bio-"pic" of Russell and some episodes of the foundations saga).
255.
by jesuslop 8y ago
There is an interesting probabilistic angle of this classic AI story with Machine Learning applications here: https://github.com/imagry/aleph_star (paper, presentation, etc).
256.
by jesuslop 8y ago
Yea we can look back and be thankful to those that made possible to have nowadays an Electron hello world app with 115MB memory footprint :-)
257.
by jesuslop 8y ago
thanks! just bought one hs110 and was in serious tinkering needs ;-)
258.
by jesuslop 8y ago
Very much agreed, and V. Voevodski has expressed authentic concern from the working mathematician side that peer review needs machine help. Wiedijk writings are nice. I have taken a look at Mizar articles and they are a fantastic sample of
259.
by jesuslop 8y ago
goodbye and farewell
260.
by jesuslop 8y ago
Yes I was being sloppy. epsilon_0 as the limit of iterating ordinal exponentiation by omega. Also the correct volumen is number 3.
261.
by jesuslop 8y ago
In Gödel's collected works vol. 2 one has the detailed argument by transfinite induction up to the first inaccesible ordinal. Interesting to have this as guidemap.
262.
by jesuslop 8y ago
Question, why is DRAM still packed separately?
263.
by jesuslop 8y ago
Chris Heunen and cols. have thought about a workaround to make probabilistic categories cartesian closed , and then Lambek translation from CCC to simply typed lambda calculus should apply, so Elliot machinery should also enable to express
264.
by jesuslop 8y ago
alternatively https://mail.google.com/mail/?ui=html
265.
by jesuslop 8y ago
G. C. Rota has analysis of justifications of the univariate normal distribution in his Fubini lectures, problem 7. DOI https://doi.org/10.1007/978-88-470-2107-5_5 , a great place to sense borderline topics in the field.
266.
by jesuslop 8y ago
I disliked the lack of understanding of Terry Davis circumstance.
267.
by jesuslop 8y ago
It's not cynism, is how much things went. Meanwhile there is much genuine work in knowledge representation awaiting to be done and funded both in the foundations and the platform sides.
268.
by jesuslop 8y ago
Prigogine, I meant
269.
by jesuslop 8y ago
Rings a bell on Progogine parlance about Onsager relations.
270.
by jesuslop 8y ago
Bad interthread is tolerable as long as concurrent running from cache is good

More ›