vicious is currently certified at Master level.

Name: Jiri (George) Lebl
Member since: N/A

Homepage: http://www.jirka.org/

Notes:

Math geek, formerly software geek. This exhibits itself by putting latex code into C programs by mistake, rather than vice versa as used to happen previously.

Credentials: Mathematics: I have successfully used the Baire Category Theorem in actual research. See my UIUC page for more.
Coder: I have created more easter eggs in gnome software than anyone else at the time. For example, Wanda the fish, which appears in more than one place if you know where to look and what to press, gdm computing square root of 2 or pi by monte carlo method, asking for coins on login, killer gegls from outer space, and more... At various times I was actually paid for this by Eazel and RedHat.

Below it says I'm a developer in a buttload of projects, but I'm not really anymore on anything but genius, since I don't have much hacking time these days.

### Recent blog entries by vicious

Windows 8.1 innovations

I’ve just briefly glanced at what’s new in Windows 8.1, probably because I am procrastinating right now, not because I am actually interested, not having any plan of ever using Windows ever again in my life.  It was really amusing that new features are apparently that you can open more than two applications at once and also resize them on screen.  So maybe Windows 8.1 will finally catch up to Windows 1.0.

I feel I’m taking crazy pills here, because almost everyone is really into this trend.  First make the interface really bare (but graphically intensive) to make it look like a smartphone.  Then reintroduce very restrictive versions of these features and tout them as great achievements.  Chrome OS also at some point caught up with the 80s and added stacking windows.  I wonder when Windows will finally get into the 80s.

And while basic features like window management appear an insurmountable challenge in the new “iphone app” mentality, putting up a clock on your screen eats more CPU/GPU and memory than it would take to guide a spacecraft to Mars and back.  Not even that long ago did a calculator application not require 3D acceleration to reasonably run.

Good thing I’m using XFCE here.  Let’s see how I start a calculator: My non-accelerated desktop means that if I press Ctrl-Alt-R (which is my shortcut for terminal … R used to stand for rxvt long time ago) I immediately get a terminal.  Then I type “genius” press enter, and I’ve optimized the startup so I get a prompt immediately, there is essentially zero wait.  I type in a calculation, and out pops the answer.  Now if I attempt to do this on my phone, or in GNOME using the native calculator, there are several long waits either when some random nonsense is loading just for me to start the app and then there are these useless animations taking up time.  So for example if I have a student in my office and want to just quickly (note the word quickly) calculate something about their grade, I would definitely not do it on my phone.  Even try starting the native terminal in GNOME, it’s a few seconds wait on my machine from the time I get to start it (click a button, or whatnot).  So much for accelerated desktop. Just trying to phone someone on my phone is often a lot longer process than it used to be in the 90s when I got my first cellphone.  There is hardly a lack of power in the phone, it is just that it is so skillfully wasted.

This younger generation today must be really really patient (compared to us old fogies … you know 35 is old when it comes to technology) to put up with this.

Syndicated 2013-05-30 16:35:48 from The Spectre of Math

Computation update

On the scale of length of computations I’ve done, this probably counts as the longest so far.  If you look down a bit in the blog you’ll find the details.  I can now report that there is no degree 21 polynomial $p(x,y)$ with positive coefficients, with exactly 12 monomials (the least it can have), such that $p(x,y) = 1$ whenever $x+y=1$, and such that $xy$ is one of the monomials.  Now the conjecture is that there is only one such beast (up to switching variables), dropping the condition about $xy$, and the computation is well on its way to prove that.  That one monomial is a bit special since it appears in these sharp polynomials for a bunch of smaller degrees.  Anyway, a few more months and we’ll have the answer.

Syndicated 2013-05-28 16:45:05 from The Spectre of Math

Math is a series of trivial observations

Mathematical proof is essentially a series of completely trivial observations wrapped in complicated-sounding notation (not complicated on purpose hopefully). The trick is not to understand the proof once it is written, but to notice those trivial observations to write a proof in the first place. I think this is what’s sometimes discouraging people from research mathematics. You work for two weeks on something that feels like a very hard problem, and then the solution seems trivial once found. In my case there are two operations and a limit involved. And the things you are trying to bound are not continuous with respect to that limit, so you flail around trying to do all sorts of complicated schemes. Then last night I think … hey why not do these two operations in reverse. I get rid of the limit and the problem becomes almost trivial after a bit of linear algebra. It feels good. But on the other hand it feels like: Why didn’t I think of this two weeks ago.

Syndicated 2013-03-29 16:38:56 from The Spectre of Math

Moving to Oklahoma

So, moving to OSU in Stillwater in the fall. This entails for the first time in my life quitting a job before it sort of naturally ends. The consulting gigs don’t really count I don’t think, and Eazel laid me off in the process of going under, so that counts as natural end of a job. At Red Hat it was just a summer gig, so there was no expectation of staying longer. Then at SDSU and UCSD I was a grad student, so any employment also ended when I graduated. In Urbana, they did make me send a “resignation letter”, but my appointment ended anyway as I stayed the whole 3 years I was hired for. At UCSD then I was hired for 1 year and stayed for one year. So now … I was hired for 3 and I am leaving after 2. Six years of postdoc in 3 different places are enough I think. One can always keep changing jobs every few years, but it’s nice to know I don’t have to now, I just can if I want to.

Syndicated 2013-03-11 20:06:18 from The Spectre of Math

The computation

So the computation has finished (actually a few days ago) for degree 19. I’ve only yesterday gotten around to finishing a short paper (addendum) to post to arxiv, which I’ve done yesterday, see arXiv:1302.1441. The really funky thing is that there are so many sharp polynomials in degree 19. Up to symmetry there are 16 in odd degrees up to degree 17, yet there are 13 in degree 19. And two of the new ones are symmetric, which is actually surprising, that seems it should be hard to achieve if you think about how they are constructed. There’s probably a bunch of interesting number theory that appears here. It should be fun to figure out what’s going on there.

This was the first time a paper of mine got reclassified to a different archive on arxiv. I put it into algebraic geometry because well, the motivation comes from geometry, but it got stuck into comutative algebra. Which actually makes a lot more sense. Especially since none of the motivation from geometry appears in this writeup.

Degree 21 has been running for about a week. It will probably be running for the next year or so at which point I really expect it to just spit out only one polynomial which is the group invariant one we already know about. Which would be also kind of funky since then there would be two degrees with as few polynomials as possible and in between there would be a degree with the most polynomials we have found so far in any degree.

Syndicated 2013-02-07 16:47:48 from The Spectre of Math

332 older entries...

vicious certified others as follows:

• vicious certified raph as Master
• vicious certified timj as Master
• vicious certified andersca as Journeyer
• vicious certified clahey as Journeyer
• vicious certified federico as Master
• vicious certified jacob as Master
• vicious certified notzed as Journeyer
• vicious certified yosh as Master
• vicious certified miguel as Master
• vicious certified terral as Journeyer
• vicious certified tigert as Journeyer
• vicious certified timg as Journeyer
• vicious certified lolo as Journeyer
• vicious certified hilaire as Journeyer
• vicious certified stric as Journeyer
• vicious certified aaronl as Apprentice
• vicious certified mjs as Master
• vicious certified pavlov as Journeyer
• vicious certified jrb as Master
• vicious certified jwz as Master
• vicious certified sopwith as Master
• vicious certified wichert as Master
• vicious certified ettore as Master
• vicious certified Darin as Master
• vicious certified eskil as Master
• vicious certified esr as Journeyer
• vicious certified alan as Master
• vicious certified uzi as Journeyer
• vicious certified mathieu as Journeyer
• vicious certified stephane as Apprentice
• vicious certified Guillaume as Journeyer
• vicious certified kelly as Journeyer
• vicious certified advogato as Master
• vicious certified lilo as Journeyer
• vicious certified jlbec as Journeyer
• vicious certified BrucePerens as Master
• vicious certified octobrx as Journeyer
• vicious certified hp as Master
• vicious certified ramiro as Master
• vicious certified jsh as Master
• vicious certified rebecka as Master
• vicious certified yakk as Journeyer
• vicious certified flawed as Apprentice
• vicious certified pepper as Journeyer
• vicious certified dcm as Master
• vicious certified Telsa as Journeyer
• vicious certified Carbamide as Apprentice
• vicious certified bartd as Apprentice
• vicious certified martin as Master
• vicious certified taj as Journeyer
• vicious certified riel as Master
• vicious certified gman as Journeyer
• vicious certified gramps as Master
• vicious certified Satan as Master

Others have certified vicious as follows:

• timj certified vicious as Journeyer
• andersca certified vicious as Master
• campd certified vicious as Journeyer
• clahey certified vicious as Journeyer
• raph certified vicious as Journeyer
• yosh certified vicious as Journeyer
• frb certified vicious as Journeyer
• sjburges certified vicious as Journeyer
• Slow certified vicious as Master
• shawn certified vicious as Journeyer
• ole certified vicious as Master
• jamesh certified vicious as Master
• terral certified vicious as Journeyer
• notzed certified vicious as Journeyer
• xach certified vicious as Journeyer
• lolo certified vicious as Journeyer
• hilaire certified vicious as Master
• Acapnotic certified vicious as Journeyer
• kwayne certified vicious as Journeyer
• jayc certified vicious as Journeyer
• Iain certified vicious as Journeyer
• mjs certified vicious as Master
• harold certified vicious as Journeyer
• bombadil certified vicious as Journeyer
• mathieu certified vicious as Journeyer
• booch certified vicious as Journeyer
• listen certified vicious as Journeyer
• aaronl certified vicious as Journeyer
• duncan certified vicious as Journeyer
• matias certified vicious as Master
• jimmac certified vicious as Master
• jlbec certified vicious as Journeyer
• broonie certified vicious as Journeyer
• bagfors certified vicious as Master
• diskzero certified vicious as Journeyer
• harvey certified vicious as Master
• eskil certified vicious as Master
• dsueiro certified vicious as Master
• nils certified vicious as Master
• Satan certified vicious as Apprentice
• djcb certified vicious as Journeyer
• Guillaume certified vicious as Master
• alan certified vicious as Master
• nelsonrn certified vicious as Master
• NetHunter certified vicious as Master
• jsheets certified vicious as Master
• jae certified vicious as Journeyer
• synap certified vicious as Master
• timg certified vicious as Journeyer
• rtmfd certified vicious as Master
• whatever certified vicious as Master
• ettore certified vicious as Master
• pepper certified vicious as Master
• nixnut certified vicious as Master
• tetron certified vicious as Journeyer
• kimusan certified vicious as Master
• kanikus certified vicious as Master
• mfleming certified vicious as Master
• flawed certified vicious as Master
• jsh certified vicious as Master
• glenn certified vicious as Master
• jbowman certified vicious as Master
• inri certified vicious as Journeyer
• ErikLevy certified vicious as Master
• timur certified vicious as Master
• menthos certified vicious as Master
• lerdsuwa certified vicious as Master
• hadess certified vicious as Master
• gman certified vicious as Master
• rossigee certified vicious as Master
• viper certified vicious as Journeyer
• bneely certified vicious as Master
• taj certified vicious as Master
• MikeGTN certified vicious as Master
• jfleck certified vicious as Master
• cinamod certified vicious as Master
• gregf certified vicious as Master
• chrisime certified vicious as Master
• gleblanc certified vicious as Master
• Wilddev certified vicious as Master
• mikeszcz certified vicious as Journeyer
• rebecka certified vicious as Master
• Liedra certified vicious as Master
• monk certified vicious as Master
• auspex certified vicious as Journeyer
• jono certified vicious as Master
• skeezix certified vicious as Master
• ricardo certified vicious as Master
• fxn certified vicious as Master
• sulaiman certified vicious as Master
• sdodji certified vicious as Master
• cwinters certified vicious as Master
• jao certified vicious as Master
• typezero certified vicious as Master
• Hallski certified vicious as Master
• robster certified vicious as Master
• braden certified vicious as Master
• riggwelter certified vicious as Master
• tcurtis certified vicious as Master
• bratsche certified vicious as Master
• Rockwalrus certified vicious as Master
• Uraeus certified vicious as Master
• mitr certified vicious as Master
• lucasr certified vicious as Master
• murajov certified vicious as Master
• badvogato certified vicious as Master
• dangermaus certified vicious as Master new

[ Certification disabled because you're not logged in. ]