< 1519087097 421107 :Melvar``!~melvar@dslb-178-006-162-033.178.006.pools.vodafone-ip.de QUIT :Ping timeout: 256 seconds < 1519087362 617932 :Cale_!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com NICK :Cale < 1519087883 63512 :Melvar``!~melvar@dslb-178-000-205-220.178.000.pools.vodafone-ip.de JOIN :#esoteric < 1519088053 479133 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1519089408 635345 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1519090156 293278 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1519091621 189779 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: What's your opinion on the higher-dimensional polynomial thing? < 1519091647 516869 :augur!~augur@65.48.130.123 QUIT :Remote host closed the connection < 1519091700 252784 :augur!~augur@65.48.130.123 JOIN :#esoteric < 1519092006 494623 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :What thing? < 1519092071 843482 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, any thing. How would you define these things? < 1519092142 500548 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can say, for instance, that a polynomial is something of the form f(x) = A + B(x) + C(x,x) + D(x,x,x) etc. < 1519092151 932191 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Where A,B,C,D are multilinear. < 1519092523 366850 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Of course you know you can define a polynomial ring in terms of an arbitrary other ring < 1519092564 342531 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :But your generalisation goes a bit farther than that I suppose < 1519092568 602188 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Does that work here? < 1519092582 687197 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :I... don't know what we're trying to do really :) < 1519092598 977117 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fair enough. < 1519092607 409259 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :But the usual way to define polynomials in multiple indeterminates is just to iterate the polynomial ring construction < 1519092616 9084 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Doesn't quite work for infinitely many < 1519092647 910759 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Even in finite-dimensional vector spaces I'd like some sort of answer. < 1519092666 418105 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, let's see. I was trying to figure out what the inverse of the Hessian matrix is. < 1519092679 928448 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Since people represent it as a matrix, but it "really" ought to be a quadratic form, right? < 1519092742 21529 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So say you have a generalized quadratic thing : R^n -> R < 1519092757 508133 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It'll be of the form f(x) = A + B(x) + C(x,x), right? < 1519092791 870897 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :yeah, it really makes more sense as something that eats a couple of vectors < 1519092809 987250 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Should I require C to be symmetric here? < 1519092843 53196 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you have a quadratic form like g(x,y) = ax^2 + bxy + cx^2, that seems to correspond to a symmetric tensor (/matrix). < 1519092908 92749 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, either way, the derivative of f if f'(x)(dx) = B(dx) + C(dx,x) + C(x,dx). Right? < 1519092980 744613 :Soni!SoniEx2@unaffiliated/soniex2 QUIT :Ping timeout: 276 seconds < 1519092984 925152 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Sounds plausible < 1519092999 342321 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(If C is symmeetric then it's just f'(x)(dx) = B(dx) + 2C(x,dx), of course.) < 1519093025 961693 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :dx here is a whole vector, not a basis covector or anything like that. < 1519093039 281536 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :right < 1519093048 992008 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway this is just like the "one-hole context" thing for type derivatives. < 1519093076 373436 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :yeah < 1519093086 87106 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The derivative of a multilinear form is the linear map you get when you substitute one linear parameter in at each possible spot. < 1519093111 876272 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That seems pretty nice. < 1519093147 406274 :Soni!SoniEx2@unaffiliated/soniex2 JOIN :#esoteric < 1519093200 951797 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can you *define* derivatives this way somehow, as "varying one occurrence of x linearly"? Presumably it at least works for polynomials and power series, assuming I know what those are. < 1519093234 509522 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So I was tryinng to figure out how they work. < 1519093395 781257 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, back to the derivative of the Hessian, is there a general notion of the derivative of a tensor? I think there should be, at least in some cases. < 1519093495 408817 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :f''(x)(dx)(dy) = C(dx,dy) + C(dy,dx) is a (0,2) tensor at each point. But you can probably represent it as a linear map : V -o (V -o F) and say that its inverse is a linear map : (V -o F) -o V. Which is a (2,0) tensor? < 1519093894 790331 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :So yeah, exactly, the space of linear maps is just another vector space, so it's totally possible to talk about derivatives of functions whose codomain is that < 1519093912 70313 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And of course you can talk about the (2,0) tensor which numerically has the same values as the inverse of the Hessian, and when contracted with the second derivative you get the (1,1) identity tensor : V -o V < 1519093965 651729 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :The derivative of a map V -> W is going to be a function V -> (V -o W), giving the best linear approximation to the original function at each point in V < 1519093980 615811 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :and then that (V -o W) can be your W < 1519094004 801699 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right, so you get f'' : V -> (V -o (V -o W)), or f'' : V -> (V⊗V -o W) < 1519094007 377737 :variable!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1519094012 79300 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I know that much. < 1519094015 183126 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :right < 1519094327 655357 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :There's a really cute thing I found you can do at one point... < 1519094330 839554 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1519094408 696251 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :(Just trying to remember it clearly enough to explain it properly... I also have some mathematica code... somewhere) < 1519094472 977344 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :But basically, you can take a curve (or generally one of these polynomial surfaces), and find the best lower degree approximation to it at any point < 1519094519 425128 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :which specialises to the tangent line in the case of finding a linear approximation (or the polar line in the case of conic sections and a point not on the curve) < 1519094700 738570 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How does that work? Is it something other than the truncated Taylor series? < 1519094722 702528 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :It's more like plain application :D < 1519094757 625161 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :You construct a symmetric tensor which results in the polynomial when applied repeatedly to the same vector < 1519094792 962991 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you have an example? < 1519094811 228275 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :yeah... actually, do you have/use mathematica? < 1519094828 510619 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No. < 1519094844 2829 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :I have a mathematica notebook which I might have to take a moment to decipher to remember what it was that I was actually doing < 1519094871 305816 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :(this was over a decade ago now) < 1519094924 181344 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :But actually, let's start with some context, because this is fun < 1519095050 95483 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Are you familiar with projective coordinates? < 1519095129 368724 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not very. < 1519095200 883899 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Okay, so here's the basic idea (I'm just going to talk about plane geometry because everything's kinda nice and easy there to start out) < 1519095257 248767 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :The projective plane has as its points the lines through the origin in R^3 < 1519095272 944151 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :and as its lines, the planes through the origin < 1519095304 657151 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :We'll use the coordinates of any nonzero point on such a line through the origin as coordinates for the point in the projective plane < 1519095337 499664 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :and we can think of the ordinary Euclidean R^2 as belonging to the projective plane by considering points with coordinates of the form (x,y,1) < 1519095404 53958 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :(i.e. lines through the origin which aren't parallel to z = 0) < 1519095554 338635 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK... < 1519095592 532062 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :So, let's think about the equation for a line: in Euclidean geometry, i.e. where z = 1, it's just a x + b y - c = 0. < 1519095609 428266 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :or even a x + b y + c = 0, let's not mess around with signs < 1519095654 487446 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Now what we'll do is make this a polynomial which is homogeneously of degree 1 (i.e. every term has the same degree of 1) in x, y, z, by adding z's < 1519095672 765876 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :a x + b y + c z = 0 < 1519095699 247681 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :which we could write as <(a,b,c), (x,y,z)> = 0 < 1519095718 66810 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :and this jives with what we said a projective line should be < 1519095742 813379 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :a plane through the origin consists of all the vectors (x,y,z) whose inner product with some (a,b,c) is 0 < 1519095812 54545 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :We'll take the [a,b,c] (with square brackets because I'll usually write it as a row vector rather than a column) to be the coordinates of the line < 1519095829 937874 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :and so it's easy to check if a point lies on our line, just take the dot product < 1519095851 161397 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Now, suppose we want to take two points with their projective coordinates and find the line through them < 1519095892 470775 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :e.g. say our points are (x,y,z) and (x',y',z') < 1519095915 462471 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :we want to find [a,b,c] such that [a,b,c](x,y,z) = 0 and [a,b,c](x',y',z') = 0 < 1519095928 429063 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1519095931 357537 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :and of course, this is well known, it's the cross product :) < 1519095966 215017 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :similarly, if we have two lines and want their intersection, it's the same thing, cross product again (but everything is transposed) < 1519095996 574920 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :okay, so that's phase 1 < 1519095998 532567 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This sounds believable though I should probably work through the detail. < 1519096005 521374 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Now conic sections... < 1519096073 984129 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :It turns out that you can represent conic sections really nicely < 1519096155 917379 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Given a symmetric matrix A, a conic section is just the set of points x for which x^t A x = 0 < 1519096173 462174 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :i.e. given a symmetric bilinear form B, it's just B(x,x) = 0 < 1519096186 990691 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :and the determinant tells you if the conic section is degenerate < 1519096209 469344 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 256 seconds < 1519096277 581087 :xkapastel!uid17782@gateway/web/irccloud.com/x-hsthbaigmammtsuy QUIT :Quit: Connection closed for inactivity < 1519096279 220245 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Given a conic section with matrix A, we can do the following cute thing: we can map points to lines by (x,y,z) |--> [x,y,z] A < 1519096302 277975 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :and we can map lines to points by [a,b,c] |--> A^-1 (a,b,c) < 1519096331 828655 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :It turns out that this computes what's known as the pole and polar < 1519096336 587306 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Pole_and_polar < 1519096448 629237 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :and, really, the important thing is that if the point happens to lie on the conic, then the line you get is the tangent line < 1519096479 994853 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :of course, you sort of already mentioned this in a different way :) < 1519096518 492334 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You mean that the derivative of x |-> C(x,x) is x |-> (dx |-> 2C(x,dx))? < 1519096527 869860 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Or something that leads to that -- differentiating a symmetric bilinear map looks kind of like partially applying it < 1519096530 280146 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :yeah < 1519096556 19894 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or equivalently the derivative of f(x) = x^T C x is f(x)(y) = x^T (C + C^T) y < 1519096562 581707 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or 2C if C is symmetric. < 1519096570 210171 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :especially so when you're then looking at zeroes of these things and so the 2 goes away < 1519096607 793202 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :So I was thinking about how to maybe do all this again, but with more interesting polynomials < 1519096618 480972 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Not just conic sections < 1519096644 77356 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :and it turns out that all this geometry of conic sections really does generalise < 1519096728 949398 :Remavas!~Remavas@unaffiliated/remavas QUIT :Remote host closed the connection < 1519096752 460318 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :So, what we want to do is to take our arbitrary polynomial, say something like x^4 + x^3 y - x^2 y^2 + y^4 - 1 < 1519096760 777074 :Remavas!~Remavas@unaffiliated/remavas JOIN :#esoteric < 1519096791 555850 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :By the way, I was reading a paper that talked about eigenvectors and an eigenbasis of a symmetric positive definite matrix representing a quadratic form. I suppose there's some eqeuivalent notion for quadratic forms represented with the "proper" variance? < 1519096844 707366 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :and then we homogenize that with z to get... well, I picked a kind of boring one, we just get x^4 + x^3 y - x^2 y^2 + y^4 - z^4 here... in general we'd multiply each term by a large enough power of z to make the total degree the same in each term < 1519096876 480607 :Remavas!~Remavas@unaffiliated/remavas QUIT :Read error: Connection reset by peer < 1519096882 695837 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1519096963 540844 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :and then we need to construct a corresponding symmetric tensor by taking each term and basically splitting it up over all the ways of permuting the word < 1519096988 597180 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :dividing by the number of permutations < 1519096997 900147 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :and adding things up < 1519096998 489773 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This is https://en.wikipedia.org/wiki/Symmetric_tensor#Symmetric_part_of_a_tensor , right? < 1519097033 884093 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Kind of, except we're building an appropriate tensor from our polynomial < 1519097078 500693 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1519097089 998572 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :The goal is to get a symmetric multilinear form such that B(v,v,...,v) is our polynomial again < 1519097152 952946 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :and then what you can do is just start to apply that thing, and then go back the other way to get lower-degree things < 1519097177 388132 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :if you apply it n-1 times to a point that lies on the original curve, you get a tangent line, remarkably < 1519097207 331723 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, this works because it's homogenized. < 1519097212 21330 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :yeah < 1519097233 801835 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The thing I was doing with "general" polynomials didn't work, or had to consider each term separately. < 1519097244 746018 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :and if you apply it n-2 times, you get a tangent... conic section < 1519097301 781913 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :I was just playing around with this in mathematica and making plots... really I should prove some things about it and write a paper or something, but lazy. < 1519097317 139169 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Even too lazy to check if someone else did it properly ;) < 1519097337 358519 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This is like how you represent can affine maps as linear by adding one dimension. < 1519097344 202931 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :can represent < 1519097364 671368 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :ah, yeah, that's related to this projective stuff < 1519097385 138613 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :(it is projective stuff) < 1519097389 39071 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I'm kind of surprised that one extra dimension can work for any degree. < 1519097446 102311 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Actually I shouldn't be very surprised. < 1519097557 385675 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So these homogenized multilinear things are special in that by doing n applications you get the same thing as taking the nth derivative. < 1519098922 958209 :variable!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1519099219 834572 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1519099497 790957 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1519104159 944723 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 248 seconds < 1519105677 883801 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1519106001 768585 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 268 seconds < 1519108939 10275 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1519110135 947342 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1519110623 889989 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 248 seconds < 1519112066 909735 :Melvar!~melvar@ip-2-203-72-199.web.vodafone.de JOIN :#esoteric < 1519112223 967500 :Melvar``!~melvar@dslb-178-000-205-220.178.000.pools.vodafone-ip.de QUIT :Ping timeout: 248 seconds < 1519114311 811258 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1519120403 721095 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1519120449 798139 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1519120450 815793 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1519120464 657745 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1519121640 296201 :augur!~augur@65.48.130.123 QUIT :Remote host closed the connection < 1519121653 745101 :augur!~augur@65.48.130.123 JOIN :#esoteric < 1519121709 538054 :Melvar!~melvar@ip-2-203-72-199.web.vodafone.de QUIT :Ping timeout: 256 seconds < 1519122510 850537 :Melvar!~melvar@dslb-178-006-160-130.178.006.pools.vodafone-ip.de JOIN :#esoteric < 1519122957 740993 :laerling!~laerling@unaffiliated/laerling JOIN :#esoteric < 1519123075 719079 :LKoen!~LKoen@2a01:e35:2eed:a430:6cb4:cdd3:f470:bdc3 JOIN :#esoteric < 1519124511 410508 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 JOIN :#esoteric < 1519124522 895579 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :Are you talking about conic sections in the projective 2-plane? < 1519124546 551922 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :I learnt some interesting facts about them that are rarely taught. < 1519124565 225773 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :Let me review your discussion < 1519124864 765658 :Melvar!~melvar@dslb-178-006-160-130.178.006.pools.vodafone-ip.de QUIT :Ping timeout: 256 seconds < 1519125221 831383 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :ah yes. symmetric tensor. sounds so much fancier than a quadratic form. < 1519125432 750585 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"symmetric tensor" can have a higher degree than quadratic. < 1519125456 278789 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :shachaf: yeah, though I think the context was a quadratic one < 1519125479 966997 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also it might not be a form, I guess. < 1519125530 226579 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Good to know. 'Britain will not be "plunged into a Mad Max-style world borrowed from dystopian fiction" after it leaves the EU, the Brexit secretary has said.' < 1519125536 932761 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`" < 1519125537 664960 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1015) Should I watch Watchmen or read Watchmen? [...] Please, who *watches* The Watchmen? \ 104) * Phantom_Hoover wonders where the size of the compiled Linux kernel comes from. To comply with the GFDL, there's a copy of Wikipedia in there. < 1519125573 25864 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :lol < 1519125586 768817 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :104 is nice < 1519125643 726808 :int-e!~noone@int-e.eu PRIVMSG #esoteric :
ACTION recently became aware of the fact that the kernel patches itself with various workarounds on bootup. Patching as in, actually replace fragments of code with something else... I thought they were only adjusting addresses.
< 1519125665 886884 :Melvar!~melvar@dslb-088-077-242-254.088.077.pools.vodafone-ip.de JOIN :#esoteric < 1519125813 808556 :augur!~augur@65.48.130.123 QUIT :Remote host closed the connection < 1519126132 740327 :laerling!~laerling@unaffiliated/laerling QUIT :Quit: Leaving < 1519126227 313844 :laerling!~laerling@unaffiliated/laerling JOIN :#esoteric < 1519126585 396537 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1519126731 321005 :AnotherTest!~turingcom@ptr-82l26zex1glfa1xy3qc.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1519127392 252202 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :fungot: nostril. < 1519127392 892545 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: compile it yourself? this isnt some kind of anonymous function, and just presented a big canvas on which to draw. < 1519127414 469398 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :fungot: no, I won't compile any of your organs. < 1519127414 744120 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: it's because i'm copying and pasting out of ' em. < 1519127426 150229 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :fungot: just how many nostrils do you have? < 1519127429 940517 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: w/ rt a screen shot no, not that < 1519128110 313454 :augur!~augur@pluto.cavehill.uwi.edu JOIN :#esoteric < 1519128358 428377 :AnotherTest!~turingcom@ptr-82l26zex1glfa1xy3qc.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 256 seconds < 1519128378 237980 :augur!~augur@pluto.cavehill.uwi.edu QUIT :Ping timeout: 240 seconds < 1519129334 955391 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: ARMOURED CHICKEN < 1519129349 328352 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :`recipe < 1519129350 67950 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :over the batter. Place on a lightly floured board in \ a bowl. Add the remaining ingredients in boiling water to combine. \ Cover and bake until the roasted to the boil. Stir in the cream \ of the liquid and spread with peanut oil in a small bowl. Pour into \ serving plate. Then, for a baking sheet and allow to cool. \ \ Preheat oven to 350. < 1519129355 710284 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :`starwars 8 < 1519129356 412369 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Moff Jerjerrod \ Captain Panaka \ Jyn Erso \ Jango Fett \ BB-9E \ Chirrut Îmwe \ Owen Lars \ Nute Gunray < 1519129386 945079 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :hmm, what's that in centigrades? < 1519129390 100861 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :`ftoc 350 < 1519129390 705130 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :350.00°F = 176.67°C < 1519129393 728252 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :ok < 1519129524 211221 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :onion's on 350 < 1519129529 456220 :Melvar!~melvar@dslb-088-077-242-254.088.077.pools.vodafone-ip.de QUIT :Ping timeout: 256 seconds < 1519129535 673460 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :whuh < 1519129558 899570 :Melvar!~melvar@dslb-088-077-242-254.088.077.pools.vodafone-ip.de JOIN :#esoteric < 1519129748 839469 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ask boily hth < 1519129815 245439 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :boily sounds like someone who knows a lot about high temperatures < 1519129824 585362 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :In particular their effects on liquids < 1519130558 463139 :augur!~augur@pluto.cavehill.uwi.edu JOIN :#esoteric < 1519130699 181781 :Melvar!~melvar@dslb-088-077-242-254.088.077.pools.vodafone-ip.de QUIT :Ping timeout: 276 seconds < 1519130821 462901 :augur!~augur@pluto.cavehill.uwi.edu QUIT :Ping timeout: 256 seconds < 1519131027 254984 :augur!~augur@plutocluster.cavehill.uwi.edu JOIN :#esoteric < 1519131439 925744 :Melvar!~melvar@ip-2-203-21-7.web.vodafone.de JOIN :#esoteric < 1519131777 231690 :Melvar!~melvar@ip-2-203-21-7.web.vodafone.de QUIT :Ping timeout: 260 seconds < 1519131806 993141 :Melvar!~melvar@ip-2-203-21-7.web.vodafone.de JOIN :#esoteric < 1519132407 322515 :LKoen!~LKoen@2a01:e35:2eed:a430:6cb4:cdd3:f470:bdc3 QUIT :Remote host closed the connection < 1519132480 358218 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :int-e: It's a low bar for what constitutes a successful brexit. < 1519133428 41257 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :It's possible for brexit to be successful? < 1519133429 855885 :skankyyoda!~dank@220.240.46.97 JOIN :#esoteric < 1519133587 450900 :skankyyoda!~dank@220.240.46.97 QUIT :Max SendQ exceeded < 1519133625 539746 :skankyyoda!~dank@220.240.46.97 JOIN :#esoteric < 1519133808 854863 :xkapastel!uid17782@gateway/web/irccloud.com/x-cbregtdyuccbunrn JOIN :#esoteric < 1519134711 204863 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Taneb: Apparently, avoiding the apocalypse is sufficient. < 1519134755 362380 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :fizzie: on the other hand, fewer cool car chases < 1519134935 230105 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :are you in the uk? < 1519134941 753954 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Yeah < 1519134945 202074 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :where? < 1519134949 906132 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Currently, Cambridge < 1519134953 192744 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :me too < 1519134955 840983 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric ::O < 1519134962 295929 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i moved here in november < 1519134979 693418 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :is anyone else in cambridge uk? < 1519134988 390423 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :we should have a #esoteric meeting < 1519134990 328082 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :I presume there's more people in the city than just us two < 1519134994 618750 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :no < 1519135000 213568 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :that's unreasonable < 1519135009 509708 :skankyyoda!~dank@220.240.46.97 QUIT :Ping timeout: 248 seconds < 1519135012 136022 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :But in the intersection of the population of Cambridge and of #esoteric? < 1519135016 34456 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :That's going to be smaller < 1519135037 403173 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :One of my coworkers used to commute from Cambridge to London until not long ago, but now lives in London. < 1519135062 219774 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :Taneb: you're studying or working? < 1519135066 469451 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :izabera: working < 1519135075 754013 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :at arm or microsoft? < 1519135078 996626 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :No < 1519135082 835931 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :where? < 1519135083 797143 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Small company called Myrtle < 1519135116 188997 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :We do neural networks to FPGAs via Haskell < 1519135130 413368 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :How about you? < 1519135130 819721 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :Taneb: oh, what are they for? < 1519135156 643662 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :wob_jonas: the neural networks? < 1519135161 729183 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i work in a company called undo and we do fancy debuggers < 1519135181 321101 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :Taneb: the neural networks, yes < 1519135186 644105 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :izabera: reverse debuggers? < 1519135189 604280 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :yes < 1519135213 264577 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :wob_jonas: mostly automotive applications but we're expanding into other areas, I can't really talk about i tmuch < 1519135228 714024 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :Taneb: I see < 1519135229 762255 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :*beep* #CONFIDENTIAL INFORMATION DETECTED < 1519135270 179951 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what is this page https://www.myrtlesoftware.com/no-access/ < 1519135291 811270 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :izabera: somewhat inaccessible < 1519135330 525571 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :izabera: I'd be up for an #esoteric meetup < 1519135337 725709 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :yay :D < 1519135350 72309 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :We might be able to convince fizzie to come up from London too < 1519135366 314629 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :Do you use neural networks on time series data where you need some short-term persistent state? < 1519135388 178592 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :That's a very specific question < 1519135405 909114 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Makes me think there's a reason for it other than curiosity < 1519135484 310041 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :Taneb: yeah. I'm curious because some of the hard recognition stuff I did at my job had time series input, and that is one reason why it's so difficult < 1519135496 235472 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :The answer is "not yet but soon" < 1519135498 293860 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :you can never tell how much of the past input is significant < 1519135522 202013 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :but automotive applications would probably also involve that < 1519135541 696672 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Everything's frustratingly early days yet < 1519135578 311745 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :I don't really trust neural network, or most other kinds of machine learning, I'm prejudiced against them < 1519135598 591844 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :I didn't enjoy when co-workers tried to use them < 1519135614 744598 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :although admittedly they do sometimes work, there are really good proofs that they are applicable in some situations < 1519135797 386259 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :They feel like suspicious magic and alchemy to me < 1519135831 91850 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Like, they work well enough that there's something going on, but there's no real science for when they work, what sort of architecture you need, etc < 1519135955 221524 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :Taneb: the reason I don't like them is because I feel they're overused as one of those magical bullets, used in situations when some more domain-specific solution would be much better < 1519135968 890751 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :same reason why I hate multi-threading, GPU computations, and JIT < 1519136030 984473 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :eh, I feel at least multi-threading and GPU computations are a lot better understood than neural networks with regards to when they're applicable < 1519136205 671634 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Although whether they're sufficiently well-understood by the people who put them into practise is another matter < 1519136251 109234 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :jit is the same as regular compiling < 1519136301 972525 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :Taneb: that's true < 1519136336 451006 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :I understand enough when they should be used that I can recognized they're often used in vain < 1519136357 794491 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :not that I'm immune to premature optimizations in other ways, mind you, not even close < 1519136367 569516 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :I just use other silver bullets < 1519136563 458303 :AnotherTest!~turingcom@d51A46C74.access.telenet.be JOIN :#esoteric < 1519137839 590934 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? procrastination < 1519137840 613367 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :The Procrastination is destined to rule the world... right after watching this last funny cat clip on youtube. < 1519137882 415004 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`slwd procrastination//sblastbfinalb < 1519137884 165461 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :procrastination//The Procrastination is destined to rule the world... right after watching this final funny cat clip on youtube. < 1519137941 263102 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: I completely agree that neural networks are alchemy. < 1519137968 902506 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :int-e: luckily for me, they're alchemy that some people are willing to pay a lot of money for < 1519138041 398828 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(http://neuralnetworksanddeeplearning.com/chap5.html and chap5.html helped me demystify "deep learning" a bit) < 1519138265 286825 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1519138417 380384 :int-e!~noone@int-e.eu PRIVMSG #esoteric :There *is* progress. But the solution to two fundamental challenges here is boring. I) deeper layers in deep networks learn slowly (solution: throw more computing power at the problem, oh, and reduce the number of coefficients by duplicating neurons ("convolutional networks")), and II) they are prone to overfitting to a much higher degree than very badly (solution: regularize by a) penalizing... < 1519138423 487376 :int-e!~noone@int-e.eu PRIVMSG #esoteric :...big coefficients and b) rerandomizing neurons in networks during training, and probably lots of other stuff, something that people have already done for shallow networks). Which explains why people see the real advances in recurrent networks and things like LSTM (a decaying memory whose appropriate decay can be trained by gradient descent) and other small innovations in network architecture. < 1519138480 440470 :int-e!~noone@int-e.eu PRIVMSG #esoteric : to a much higher degree than single hidden layer networks... sorry, my edit buffer was too short for this statement. < 1519138732 419287 :AnotherTest!~turingcom@d51A46C74.access.telenet.be QUIT :Ping timeout: 265 seconds < 1519139539 814849 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1519140302 641973 :LKoen!~LKoen@2a01:e35:2eed:a430:243c:6ed0:69a3:a57d JOIN :#esoteric < 1519142509 620312 :sparr!~sparr@pdpc/supporter/active/sparr QUIT :Quit: WeeChat 1.9.1 < 1519142618 36292 :Melvar`!~melvar@ip-2-203-91-59.web.vodafone.de JOIN :#esoteric < 1519142719 977050 :Melvar!~melvar@ip-2-203-21-7.web.vodafone.de QUIT :Ping timeout: 248 seconds < 1519142758 803407 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1519143766 333766 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1519144080 480322 :contrapumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1519144503 409377 :contrapumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1519145665 776406 :Melvar`!~melvar@ip-2-203-91-59.web.vodafone.de QUIT :Ping timeout: 268 seconds < 1519146445 827135 :Melvar`!~melvar@ip-2-203-19-208.web.vodafone.de JOIN :#esoteric < 1519146993 813618 :AnotherTest!~turingcom@ptr-82l26zex1glfa1xy3qc.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1519147109 27655 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 JOIN :#esoteric < 1519147127 752686 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :is there a free digital circuit simulator for windows? < 1519147152 560246 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :um... probably? < 1519147174 827357 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :I mean, there's got to be. That sounds like something someone would make if it doesn't exist yet. < 1519147224 443973 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :maybe < 1519147226 916037 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :but one that doesn't suck < 1519147233 99906 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :it's the suck part that not everybody can make < 1519147243 917138 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :then probably no < 1519147251 886542 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :there's logisim < 1519147253 720803 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :but you know < 1519147258 815327 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :I wanna do large scale stuff < 1519148244 877212 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :mroman: buy a fpga? < 1519148270 190794 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :\oren\: those are harder to debug than a software simulation < 1519148281 968107 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :i guess so < 1519148287 891884 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :lel < 1519148288 892491 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :I mean, I'm prejudiced, I'm a software guy < 1519148292 637383 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :logisim confuses east with west < 1519148315 50834 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :I believe the main advantage of hardware over software is that you can kick hardware when you're angry at it not working < 1519148359 734305 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :and north with south < 1519148364 345112 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :for some reason everything is flipped < 1519148364 901356 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :wth. < 1519148372 712485 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :wob_jonas: a reliable way to disable a hard disk is to dd /dev/zero to it and then hit it deveral times < 1519148393 696745 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :with the blunt end of a scewdriver < 1519148423 427420 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :ffpga would be cool. < 1519148493 988207 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :modelsim costs 1.5k or something < 1519148498 991935 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :too expensive. < 1519148595 322698 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :the only hardware I've ever hit and had it work better than before is the screen on my old old laptop < 1519148643 46534 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :which required taps to the bottom centre to keep it working < 1519148846 172094 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :industrial strength shredder will do the trick too < 1519148854 965689 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :wipe it, shred it < 1519149029 831592 :int-e!~noone@int-e.eu PRIVMSG #esoteric :
ACTION is so tempted to suggest the KONCTPYKTOP as a circuit simulator
< 1519149108 824204 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :logisim doesn't even have toggle buttons as input < 1519149113 665165 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :now I gotta write my own toggle button < 1519149163 700819 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :oh wait. pins are toggleable < 1519149164 895145 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :alright. < 1519149303 363687 :int-e!~noone@int-e.eu PRIVMSG #esoteric :mroman: the last four weeks had 4, 3, 80 and 4 accesses to the Burlesque shell. < 1519149414 190826 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :hm. but how do I combine 8 wires into one wire of width 8 < 1519149421 569320 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :seems logisim can only do the splitting part < 1519149424 42506 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :not the combining part. < 1519149465 413322 :int-e!~noone@int-e.eu PRIVMSG #esoteric :use a logic or of wires? < 1519149846 555674 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ah, stupid me. < 1519149909 551355 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :mroman: use a splitter backwards? < 1519149940 955369 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :reverse its polarity < 1519150021 554141 :int-e!~noone@int-e.eu PRIVMSG #esoteric :http://www.cburch.com/logisim/docs/2.7/en/html/guide/bundles/splitting.html suggests that this is possible indeed < 1519150122 568609 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(in fact the second example mixes directions on a single wire, IIUIC) < 1519150173 151882 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1519150243 14795 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :oh < 1519150247 895883 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :so a splitter can be used for both? < 1519150317 921482 :int-e!~noone@int-e.eu PRIVMSG #esoteric :this channel would probably call it a splerger. > 1519150413 663569 PRIVMSG #esoteric :14[[07Numberwang/Implementations14]]4 10 02https://esolangs.org/w/index.php?diff=54156&oldid=53777 5* 03Unt 5* (+71) 10Infinite recursion crash countermeasures. < 1519151267 404678 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :alright. < 1519151272 417814 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :I guess I can do a BF CPU with this. < 1519151471 132291 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :I kinda like hardware stufff. < 1519151597 868555 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :NOOOOO! < 1519151599 605876 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :why BF? < 1519151605 367027 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :seriously? < 1519151605 464375 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :what's with BF? < 1519151703 177180 :LKoen!~LKoen@2a01:e35:2eed:a430:243c:6ed0:69a3:a57d QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1519151911 109983 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :https://i.imgur.com/OarOcTl.png < 1519151912 394918 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric ::D < 1519151949 613805 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :It can count upwards a location in memory :D < 1519153080 570903 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :hm. < 1519153083 845756 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :but timing's a bitch. < 1519153471 922671 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :stupid postgresql < 1519153487 452901 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :why can't I transpose dimensions < 1519153596 620000 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :hu < 1519153613 700377 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :IN THE SUMMER TIME < 1519153882 613562 :LKoen!~LKoen@2a01:e35:2eed:a430:6108:c6:b66:5285 JOIN :#esoteric < 1519154391 978833 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I have data in the form < 1519154416 567883 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :name_of_foo, name_of_bar, 4.56 < 1519154420 370160 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :... < 1519154439 837259 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :and I want it to be a table with a column for each bar and a row for each foo < 1519154488 981885 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :\oren\: because it would break the type safety of your data model :-) < 1519154639 144076 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION wonders if postgres has an EVAL function he can pass a procedrually generated string to
< 1519155205 857707 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :to... > 1519155284 20753 PRIVMSG #esoteric :14[[07Hieroglyphics14]]4 10 02https://esolangs.org/w/index.php?diff=54157&oldid=54145 5* 03Plokmijnuhby 5* (+2233) 10 > 1519155333 126685 PRIVMSG #esoteric :14[[07Hieroglyphics14]]4 10 02https://esolangs.org/w/index.php?diff=54158&oldid=54157 5* 03Plokmijnuhby 5* (+17) 10 < 1519155345 331508 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I was planning to do a Befunge coprocessor for a computer hardware architecture course (which I think was about doing a MIPSy thing in VHDL, with a coprocessor as an extra-points objective), but I think I had to drop that course. < 1519156032 549619 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :a what? < 1519156038 941219 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :a befunge corpocessor? < 1519156054 292067 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 PRIVMSG #esoteric :I guess that might make slightly more sense than all that brainfuck thing < 1519156360 930320 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Remote host closed the connection < 1519156523 788681 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1519156985 386970 :augur!~augur@plutocluster.cavehill.uwi.edu QUIT :Remote host closed the connection < 1519157012 483738 :augur!~augur@pluto.cavehill.uwi.edu JOIN :#esoteric < 1519157281 576610 :augur!~augur@pluto.cavehill.uwi.edu QUIT :Ping timeout: 248 seconds > 1519158106 214672 PRIVMSG #esoteric :14[[07Hieroglyphics14]]4 M10 02https://esolangs.org/w/index.php?diff=54159&oldid=54158 5* 03Plokmijnuhby 5* (+270) 10 < 1519158416 749240 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :hcrh.pchr.rp.h < 1519158418 954362 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :how dare you < 1519158482 659879 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 PRIVMSG #esoteric :I'll create a CPU for 2D shit! < 1519158817 757892 :int-e!~noone@int-e.eu PRIVMSG #esoteric :like game of life? < 1519159026 120292 :S1R!~S1R@2a00:23c5:f86:9200:1c9c:1c78:e98b:1223 JOIN :#esoteric < 1519159219 475554 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wish machine learning people would stop using the word "neuron" and all brain analogies. < 1519159225 316994 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They are so bad. < 1519160682 1996 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1519161011 568001 :augur!~augur@104.153.134.5 JOIN :#esoteric < 1519161023 603930 :augur!~augur@104.153.134.5 QUIT :Remote host closed the connection > 1519161278 701677 PRIVMSG #esoteric :14[[07Bitter14]]4 10 02https://esolangs.org/w/index.php?diff=54160&oldid=54127 5* 03DMC 5* (-23) 10/* Description */ < 1519161393 334480 :izabera!~izabera@unaffiliated/izabera QUIT :Ping timeout: 264 seconds < 1519162083 626957 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1519163189 869451 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: This homogeneous polynomial thing is pretty neat. < 1519163697 819803 :Melvar`!~melvar@ip-2-203-19-208.web.vodafone.de QUIT :Ping timeout: 240 seconds < 1519163939 976593 :mroman!b2c5e2c4@gateway/web/freenode/ip.178.197.226.196 QUIT :Ping timeout: 260 seconds < 1519164500 581606 :Remavas!~Remavas@unaffiliated/remavas JOIN :#esoteric < 1519164515 863157 :Melvar`!~melvar@dslb-178-006-166-131.178.006.pools.vodafone-ip.de JOIN :#esoteric < 1519164787 727084 :moony!moony@unaffiliated/moonythedwarf PART :#esoteric < 1519164797 53075 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGIRL, dying... < 1519165606 851393 :izabera!~izabera@unaffiliated/izabera JOIN :#esoteric < 1519165611 72679 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :meow < 1519165692 589204 :laerling!~laerling@unaffiliated/laerling QUIT :Quit: Leaving < 1519166234 753547 :SIR!~S1R@2a00:23c5:f86:9200:1c9c:1c78:e98b:1223 JOIN :#esoteric < 1519166462 143782 :S1R!~S1R@2a00:23c5:f86:9200:1c9c:1c78:e98b:1223 QUIT :Ping timeout: 276 seconds < 1519166513 770768 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: So can you represent power series this way too? < 1519166702 893602 :Remavas!~Remavas@unaffiliated/remavas QUIT :Quit: Leaving < 1519166748 878295 :LKoen!~LKoen@2a01:e35:2eed:a430:6108:c6:b66:5285 QUIT :Remote host closed the connection < 1519167847 588863 :SIR!~S1R@2a00:23c5:f86:9200:1c9c:1c78:e98b:1223 QUIT :Read error: Connection reset by peer < 1519167871 361413 :SIR!~S1R@2a00:23c5:f86:9200:1c9c:1c78:e98b:1223 JOIN :#esoteric < 1519168004 267650 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1519168055 798804 :AnotherTest!~turingcom@ptr-82l26zex1glfa1xy3qc.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 276 seconds < 1519168498 724270 :moei!~moei@softbank221078042071.bbtec.net QUIT :Quit: Leaving... < 1519169431 451899 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :holy shitballs < 1519169438 335343 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :"Thanks, but in the future please just provide the information about how to reproduce a problem, not a suggested fix. I don't read suggested fixes," < 1519169579 819351 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Patches not welcome." < 1519169606 176709 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Pooches welcome. < 1519169748 1629 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Do you welcome patches? < 1519169748 184878 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: which one? i can't < 1519169758 628511 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Guess that's a no < 1519169832 944526 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot needs no patches < 1519169833 296519 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :shachaf: how do you implement the macro ellipse? in r5rs, but many people arn't. at least as well as < 1519169857 998146 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Those poor people that arn't in r5rs. < 1519169929 761011 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot is in r98rf, not r5rs < 1519169929 986373 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :shachaf: in bristol we'd say " fnord fnord < 1519170223 420134 :augur!~augur@65.48.130.123 JOIN :#esoteric < 1519170499 501414 :augur!~augur@65.48.130.123 QUIT :Ping timeout: 256 seconds < 1519170843 621452 :wob_jonas!b03f193f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.63 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client