jesuslop

26 ms·

1. 301.▲
   by jesuslop 10y ago

   It's specialized but also very general (abstract) without contradiction. I'm finding NLP applications of monadic parsing as in "Monads for natural language semantics" by Chen though still theorical afaik. They thrive to
2. 302.▲
   by jesuslop 10y ago

   Oh my, a scribbled diagram of Coltrane as an application of Tymoczko. That would be a nice motivation to study him. Sweet video, I think in the end they show the moebius strip obtained by glueing opposite points, opposite meaning the two po
3. 303.▲
   by jesuslop 10y ago

   Holly cow, the torus is topologically the product of two circles S1*S1 so he must have been thinking of something cycling in two dimensions, not just one as the circle of fifhts or chord-scale theory.
4. 304.▲
   Ask HN: Computational Linguistics online forum?

   4 points by jesuslop 10y ago|0 comments
5. 305.▲
   by jesuslop 10y ago

   A time as good as any to revisit the "United breaks guitars" song and videoclip :-) at https://www.youtube.com/watch?v=5YGc4zOqozo
6. 306.▲
   by jesuslop 10y ago

   Now and since decades ago also, see https://en.wikipedia.org/wiki/Hilbert%E2%80%93P%C3%B3lya_con...
7. 307.▲
   by jesuslop 10y ago

   That behaviour was desribed by the old masters as 'ex falso quodlibet': from falsity whatever (when else am i having the chance to be this pedantic). In the uni I was taught that hippie-era AI dealt with that with things called no
8. 308.▲
   by jesuslop 10y ago

   Yeah I'm reading a nice book from Coecke and Kissinger [1] just issued and am loving it, it's the story of String Diagrams for a wider audience and with all the details fleshed out (not just hinted as in Baez TWFs). Monoidal categ
9. 309.▲
   by jesuslop 10y ago

   Mathmen are more Van Eyk than Pollok.
10. 310.▲
    by jesuslop 10y ago

    You know, propositions are types, proofs are programs :-), thanks to Howard & Haskell Curry, somewhat culprit of the functional frenzy.
11. 311.▲
    [Arxiv 1703.04368] Symbol Grounding via Chaining of Morphisms

    1 points by jesuslop 10y ago|0 comments
12. 312.▲
    by jesuslop 10y ago

    I wrote it wrong, I wanted to say that I vaguely remembered that the whenabouts of 1981 were wall's times, and referred to the computer design spreading.
13. 313.▲
    by jesuslop 10y ago

    Don't know R-type, but Rockman did speech [1] on a machine whose buzzer only admited 2 states (some sort of PWM?), and Uridium [2] did multicolored characters by changing colors in interrupts handled in controlled TV scan-lines. [1] h
14. 314.▲
    by jesuslop 10y ago

    There should still be Berlin wall. Love to see genuinely good things spreading.
15. 315.▲
    by jesuslop 10y ago

    yep I should have made the distinciton cartesian product and pair of elements, thanks.
16. 316.▲
    by jesuslop 10y ago

    That's true that categories are not going to find any special love there and that's sad. Much of the foundational tradition has been made in Set Theoretic language and its value cannot be ignored (think say on Gödel on CH), but it
17. 317.▲
    by jesuslop 10y ago

    I made this version for me of the relevant posts, too big for pastebin, hope permissions are ok: https://app.box.com/s/l36rfge3stx6go34or6l64m2eexijd26 Some initial posts are warmup.
18. 318.▲
    by jesuslop 10y ago

    If you want to hear of Friedman in real debate there is great discussion in the foundations of mathematics mailing list archives that are public. There there is real lively yet high-standards scholar figth of first rate experts from all vie
19. 319.▲
    by jesuslop 10y ago

    And there was also CoLinux, a linux kernel on top of windows, supersweet. http://www.colinux.org/
20. 320.▲
    by jesuslop 10y ago

    Why that site and not others.
21. 321.▲
    by jesuslop 10y ago

    thanks for the correction
22. 322.▲
    by jesuslop 10y ago

    A4 size, pdf scribbled annotations with stylus, synched with a 20GB Box.com account
23. 323.▲
    by jesuslop 10y ago

    Wine is a great project, and truly 'is not an emulator'. It takes the main win32 APIs and they are reimplemented natively by posix means, GDI, USER32, ADVAPI, and so on. Time ago I run an experiment to port Wine to windows and run
24. 324.▲
    by jesuslop 10y ago

    Poor Milhouse wasn't either :-) https://frinkiac.com/caption/S13E18/1058724
25. 325.▲
    by jesuslop 10y ago

    A depurated sense of will sprung from a cultivated naivette and protected capcity of awe, but having learnt to want only reachable things drawing aside mere hypotetical desires. That and living as a permanent act of choice, replete of respo
26. 326.▲
    by jesuslop 10y ago

    8tb sounds too much for just development.
27. 327.▲
    Addressing Pieces of State with Profunctors(blog.sigfpe.com)

    2 points by jesuslop 10y ago|0 comments
28. 328.▲
    by jesuslop 10y ago

    Yep, some dialog twists were the same as the older conversation between two avatarified cleverbots time ago, as when one says out of the blue that he's god.
29. 329.▲
    by jesuslop 10y ago

    Chemistry nobel Ilya Prigogine has defended the idea beautifully in his books embedding the hard science in a wider humanistic context, including biology, ecology, urbanism, societal, entomology and other examples. He kindled my interest in
30. 330.▲
    by jesuslop 10y ago

    Didn't knew that HookPad thing, thanks!