vicious is currently certified at Master level.

Name: Jiri (George) Lebl
Member since: N/A
Last Login: 2009-08-27 18:51:39

FOAF RDF Share This

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.

Projects

Articles Posted by vicious

Recent blog entries by vicious

Syndication: RSS 2.0

Diffy Qs notes at 20000 downloads

So the differential equations textbook just reached 20000 downloads from unique adresses. The real analysis textbook is close behind (despite being a year younger) at around 19200. The rate is growing, it started out at around 200 per week for both in the fall and is now pushing 400 a week. As an overwhelming percentage of the hits come from google I think google might have ranked the pages higher. So if you want to help out with the project of free textbooks: link to the books on your blog, page, whatever. And press those social buttons on the page, I guess that also does it.

It’s also interesting to see how ipv6 is doing. So far, 82 ipv6 adresses looked at the real analysis book and 43 for the diffyqs. As ipv6 was active for about half a year on the server, it’s still a very tiny percentage. There were about 6-7 thousand ipv4 addresses looking at the diffyqs book during that time frame and about 8-9 thousand for the real analysis book. But at least someone is using ipv6 (if I could get an internet provider that offered ipv6, I’d use them, but I didn’t find such in Madison).


Syndicated 2012-02-06 00:31:34 from The Spectre of Math

When will the beheading start

It is always good to know when will other people want to cut off your head. Let us look at when were most heads cut off: that was probably the French revolution. OK, what made people want to cut off other people’s heads? Extreme inequality. OK, what was the Gini coefficient? Well, one estimate is 59 [1]. OK, so if we look at the US Gini coefficient it seems to be rising approximately linearly since 1980. In particular, US Census Bureau (via Wikipedia [2]) has the following data:

1980 40.3
1990 42.8
2000 46.2
2009 46.8

Let us do linear regression to obtain:

2020 50.0
2030 52.4
2040 54.8
2050 57.1
2058 59.0
2060 59.5
2070 61.9
2080 64.3

So, I guess people will start trying to cut other people’s heads off around 2058. We’re all safe till then.

[1] Christian Morrison, Wayne Snyder The income inequality of France in historical perspective, European Review of Economic History, 4, 59-83.

[2] Wikipedia.org, Gini Coefficient.


Syndicated 2012-01-21 22:40:35 from The Spectre of Math

Biking

So, it was -15 celsius (barely positive farenheit) and snowing this morning, actually it’s still -15 and still snowing. Surely only a complete moron would bike to work today. Actually the ride was pretty good. Yesterday it was -18 and I think I can tell the difference (though it was not snowing). The downside of biking in this weather is that the gears are refusing to shift. The levers just sort of stick and nothing happens. Fortunately, I’m in a reasonable gear right now.

Another downside is that I have these cool hybrid tires on the mountain bike. Sort of like road tires with spikes only on the sides, which is reasonable in terrain and much smoother than regular mountain bike tire on the road. They were really good at the UCSD campus (San Diego) where I’d go off road often and it never snowed. Because they kind of suck on snow.


Syndicated 2012-01-20 22:02:19 from The Spectre of Math

Newspapers will be half the size on wednesday

With the Wikipedia blackout, what will journalists do? There will be a lot less in the wenesdays edition, though on the plus side it will have a better chance to be correct or at least original. Also, all school essays that were due wenesday will be turned in a day late.


Syndicated 2012-01-17 22:53:23 from The Spectre of Math

New chapter in real analysis notes

I finally posted a new version of the real analysis book with the new metric space chapter, it weighs in at 192 pages now (with 12pt font though). It also fixes a now record number of errata; though my standard for what is an erratum rather than just a simple obvious typo has dropped slightly. One thing that makes me feel better about errata is that it seems Rudin’s 3rd edition of principles still has some errata that is essentially the same as what I did (independently, not that I really worry about taking credit for errata:).

The differential equations book nowadays seems to be hitting fewer and fewer problems: 6 errata in the past year, 2 of which have been in new stuff added before the summer. This is despite several people using the books and one ongoing partial translation. So I guess they are rather “correct” by now.

My goal right now is to get them to be correct rather than perfect. So I haven’t really been reordering things or rewriting things that could be improved. I’ve been at most doing small improvements in exposition. The main thing is that I want to spend time doing other things too of course:)


Syndicated 2011-11-18 23:17:13 from The Spectre of Math

306 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

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

New Advogato Features

New HTML Parser: The long-awaited libxml2 based HTML parser code is live. It needs further work but already handles most markup better than the original parser.

Keep up with the latest Advogato features by reading the Advogato status blog.

If you're a C programmer with some spare time, take a look at the mod_virgule project page and help us with one of the tasks on the ToDo list!

X
Share this page