jesuslop

8 ms·

61.
by jesuslop 1y ago
Ohh, daily driver here. You can configure external apps to open the pdf (in a given page) and choose your hotkey for it, and with some effort, that supercharges the reading. With some scripting and using the grand pymupdf library one can cu
62.
by jesuslop 1y ago
ah, so you can get row vectors with a type cast in C but not column ones. While in Fortran and friends is the converse (if they casted). Yep that is more mathy. Linear map evaluation is linear combination of columns. EDIT: type cast or just
63.
by jesuslop 1y ago
Think OpenGL used all those 2,3,4D critters at API level. It must be very hardware friendly to reduce your pipeline to matrix product. Also your scene graph (tree) is just this, you attach relative rotations and translations to graph nodes.
64.
by jesuslop 1y ago
Its of course the theory behind monads that since Eugenio Moggi are used to model computational effects in pure functional languages. Effects such as state, optional return types (used in turn for error handling) (maybe monad), input/o
65.
by jesuslop 1y ago
I remember being lured at the time by Irrlicht learning curve for a professional project and migrating to Ogre in the middle... How nightmarish was using assets coming from 3D authoring software. Repressed memories return about switching fr
66.
by jesuslop 1y ago
That's a damn good of an idea. I'd had uses for my old parents for something that came by snail mail, to notify sports events or what not.
67.
by jesuslop 1y ago
Section #7 is on the Langlands Conjectures. "Conjetures in a proof blueprint?" Curious about the role in the proof. "The { Wiles } modularity theorem { that cracked FLT } is a special case of more general conjectures due to R
68.
by jesuslop 1y ago
This has the perfect qoutation for the well known fact of the Galileo->Lorentz group overthrow from an indisputable source: "The theory of relativity introduced mathematical beauty to an unprecedented extent into the description of
69.
by jesuslop 1y ago
Things are kinda weird. We had a reasonable notion of "now", as in... a photo. Came 1905 relat. and that blows the idea up, there is no more a consensual concept of "now". But though not consensual, the photo definition,
70.
by jesuslop 1y ago
To be smothered in debts has nothing of spiritual.
71.
by jesuslop 1y ago
Declarative representations are also very groovy, I loved the HarmTrace guys [1] view of harmonic analysis as parsing by a grammar so the AST reflects the harmony of the piece (for instance secondary dominants are similar to subordinate cla
72.
by jesuslop 1y ago
If all you mind is the EE curriculum then ok. Or else there is an interesting work of Gerald Westendorp on the web [1] on how allowing other classical passive components (Ls & Cs) you can get discretizations (and hence alternative views
73.
by jesuslop 1y ago
You get those also doing a Pascal triangle mod 2, so a xor. Is a zoom-out fractal as oposed to Mandelbrot set.
74.
by jesuslop 2y ago
Wow, one of these should be at a museum or public institution.
75.
by jesuslop 2y ago
Leibniz wrote "I have often said: 'Aurum latere in stercore illo scholastico barbarico'; {there is gold hidden in all that barbaric scholastic crap} and I wish that some skillful man could be found, versed in this Irish and S
76.
by jesuslop 2y ago
Yep while this manifest v3 ugly thing is putting me on the brink of jumping ship (I compromise by having two browsers), as for your concern I found that Chrome is going to allow blacklisting extensions for sites, so now I can turn them off
77.
by jesuslop 2y ago
I concur. "Broken Code" book by Jeff Horwitz at the Wall Street Journal amply elaborates how business metric driven algorithms stir user attention at their convenience, that may or not agree with the user's. For one data poin
78.
by jesuslop 2y ago
and mathpix
79.
by jesuslop 2y ago
The irony is that this will zero the e-book purchases of people that read only in unsupported devices.
80.
by jesuslop 2y ago
There is also vintageish SCXML underwritten by the w3c, with the panoply of xml friends (an xsd schema hence validator, xpath queries and xslt transforms). Also being part of the uml chart family it should be xmi-borne, if you wondered.
81.
by jesuslop 2y ago
This! you can default to it in Chrome: settings->engine->search engines, edit default one and insert udm=14 magic fragment in the query template.
82.
by jesuslop 2y ago
It is an immune system overreaction causing inflammation causing then bronchial constriction and of more ramified aereal ducts reducing total air vol per breath. Inmune causes are routinely tested to be of allergic origin for external aller
83.
by jesuslop 2y ago
Bohr was a big shot, Nobel prized establishment authority. In Weimberg QFT book he recalls a fragment of Dirac's memoirs: "I remember once when I was in Copenhagen, that Bohr asked me what I was working on and I told him I was try
84.
by jesuslop 2y ago
The "Loeb Measures in Practice" book also by Cutland has a survey chapter.
85.
by jesuslop 2y ago
I jotted a time ago a Sage snippet for options pricing in elementary calculus terms, pasted here https://pastebin.com/tTMp6fPk . The idea is that the clean picture is done in terms of log-prices (not prices). Probability of
86.
by jesuslop 2y ago
Frodo fell in the Barrow-downs (it seems)
87.
by jesuslop 2y ago
I'm reading Ansible for devops (imperative, isn't it) but find declarative configuration management intriguing also. On paper NixOS premise is wow, super. But some random blogging say that not so much in real life. How's adop
88.
by jesuslop 2y ago
The homogeneous thing is very nice. As you know it let's you pack translations and self linear maps in K^n into the linear maps of K^(n+1). OpenGL uses it. Also if your perspective is isometric (the projection of the 3D canonic base re
89.
by jesuslop 2y ago
To add a bit, kudos to root-parent boil-down. Programmers have already the good representation, and call it n-dimensional array, that being a list of lists of lists ... (repeat n times) ... of lists of numbers. The only nuisance is that wha
90.
An Operational Semantics of Simply-Typed Lambda Calculus with String Diagrams(golem.ph.utexas.edu)
3 points by jesuslop 2y ago|1 comments

More ›