Slashdot Mirror

You know where I can get a 1960's quality University of Chicago education and not end up in debt?

Germany, England, France, Switzerland etc.

And I'm not just bragging about our European system here. I mean seriously - go study to Europe, the tuition is a fraction (and I mean a tiny fraction) of what you'd pay in the US, the quality of the top universities is high and a foreign degree will look cool in your CV. A lot of the universities even offer curricula in English.

There's a great variety of projects in there. Everything from serious academic theorem provers to even more serious things like helping people play Monkey Island

The article keeps going on about a single correlation number. That's only true if there are 2 mortgages, and the copula is a bivariate normal distribution (see page 14 of the paper )
Real CDO's have more than 2 assets, so the correlation matrix used is key. This is a reason why prices can't be agreed for CDO's. Everyone uses different correlation matrices. Option pricing has a market because Black Scholes only has a volatility parameter to trade around.

I was able to get in before it was fully slashdotted (it was crawling when there were only two posts here).

Here are some US mirrors:
CA ftp://mirrors.isc.org/pub/DragonFly/
TX ftp://mirror.evilprojects.net/pub/DragonFlyBSD/
VA ftp://ftp.theshell.com/pub/DragonFly/iso-images/

And some EU ones:
UK ftp://ftp.as6911.net/pub/DragonFly/
Germany ftp://chlamydia.fs.ei.tum.de/pub/DragonFly/

Here's the Release Notes:
Release Improvements

* A new DVD ISO release image is now available, in addition to the CD release.
* The new DVD release has a full X environment ready-to-go and many packages pre-installed.
* A full pkgsrc tar is now available on the CD/DVD in /usr.
* Full sources tar now available on the DVD (kernel sources only on the CD), in /usr.
* The nrelease build now trivializes package selection for people creating customized releases.
* The installer is now able to create a HAMMER filesystem setup.

Kernel changes

* First step towards AMD64 support (done by Jordan Gordeev during the Google Summer of Code 2008).
* The system control intr_mpsafe is enabled by default.
* Move /kernel to /boot/kernel and /modules to /boot/modules.
* Add RFC3542 support (done by Dashu Huang during the Google Summer of Code 2008).
* Add HW checksum support to the loopback interface, which doubles performance.
* acpi_cpu(4) update. It's now possible to use higher (lower power usage) C states than C1 in modern (multicore) CPUs.
* First steps to use network threads without the Big Giant Lock (this feature is considered experimental).
* Fixed CVE-2008-2476 IPv6 security issue with modified patches from NetBSD.
* bridge_input works now in parallel.
* Fix bugs in dealing with low-memory situations when the system has run out of swap or has no swap.
* Major rewrite of usched_bsd4 and related support logic, plus additional improvements to the LWKT scheduler.
* Major revamping of the pageout and low-memory handling code.
* suser_* replaced with priv_* implementation from FreeBSD.

HAMMER changes

* HAMMER is now considered production-capable. Many bug fixes and other improvements have been made.
* It is now possible to boot from a HAMMER-only disk. No need for a single UFS partition for /boot. However, for production systems we still recommend a small UFS /boot followed by swap followed by one large HAMMER partition.
* Add HAMMER read support to the boot loader.
* Now uses per-mount kmalloc pools for bulk data structures, particularly for inodes and records.

Hardware changes

* Add ACPI support module for IBM/Lenovo Thinkpad laptops (from FreeBSD).
* Add ACPI support module Asus laptops (from FreeBSD).
* Add acpi_video(4) - a driver for ACPI video extensions (from FreeBSD).
* It is possible to power down PCI devices during

HOL is said to be usable, but doesn't have the same opportunities for name abuse, though 2001 fans could come up with a whole bunch of new ideas. Isabelle, however, would provide such opportunities, if you were to combine it with the package that started this thread. ACL2 is the least abusable name of all, so is quite useless.

..and most of the challenges have little to do with math. Meanwhile, here's something which could lead to real progress in mathematics (From the Slashdot Firehose):

An anonymous reader writes:

"Cameron Freer, an instructor in pure mathematics at MIT, is working on an intriguing project called vdash.org (video from O'Reilly Ignite Boston 4): a math wiki which only allows true theorems to be added! Based on Isabelle, a free-software theorem prover, the wiki will state all of known mathematics in a machine-readable language and verify all theorems for correctness, thus providing a knowledge base for interactive proof assistants. In addition to its benefits for education and research, such a project could reveal undiscovered connections between fields of mathematics, thus advancing some fields with no further work being necessary."

link

I agree with the "used" approach.

I spent $100 on a deal for two used Compaq Armada M300 machines (PIII) and a docking station. They're small (barely bigger than an Eee PC in one dimension, because the screen is 4:3 aspect), light (magnesium shell), 1024x768 12" displays, run various version of Linux and PCMCIA wifi with no problems, and even run Windows 2000 fine (I haven't tried XP). What more do I really need for web browsing and e-mail? These things aren't for gaming or heavy-duty stuff anyway. The only downside has been the battery life and the cost of it: ~$100 more for replacement batteries that give only ~2.5hrs, because the batteries that came with the units were dead. Still, 2 laptops for the price of one EeePC ain't bad, and the form factor is fairly similar. Oh, and the wifi sticking out of the PCMCIA slot looks a bit ugly, but so what.

BOINC, Tor, Freenet and/or I2P are good examples of things you can put your extra resources to some use. Here are the BOINC projects I would run if I had 100's of system's at my disposal.

Artificial Intelligence System, NanoHive@Home, Predictor@Home, Project TANPAKU, Spinhenge@Home, The Lattice Project, World Community Grid, SIMAP, Malaria Control, Proteins@Home and Rosetta@Home.

• Microsoft Outlook which positively encourages people to top quote.

Outlook QuoteFix! If I had any say whatsoever in IT, this would be installed on every PC.

In other words, "Outlook style" is the problem. Outlook QuoteFix is the solution.

Outlook QuoteFix. Quote sensibly, and the rest falls into place. You learn to appreciate the value of replying in context, and trimming out unnecessary stuff.

OTOH, I have been chastened by managers who told me "What's wrong with your emails???" *sigh*

This is not exactly new research. The German project SIPBILD is aiming for the complete recognition of facial expressions, body language and gestures http://www.forsip.de/index.php?show=projekte_sipbild2&page=1&lang=en.
The project has been running for several years now and the last publications date back from 2006.

More information on the recognition of facial expressions can be found at the TU Munich under http://vision.in.tum.de/projects/mimic_recognition/.
I am really fascinated by the research but why the hell did it take so long to figure this one out? The problem seems obvious and the solution cannot be that hard...

"As you can see by their actions, rather than their words... Notably at Stanford University, Washington University, Munich University, Scripps Research Institute, Oxford University etc.

http://folding.stanford.edu/about.html
http://boinc.bakerlab.org/rosetta/rah_about.php
http://boinc.bio.wzw.tum.de/boincsimap/project.php
http://predictor.scripps.edu/about_team.php
http://www.grid.org/projects/cancer/index.htm

So... Who are you again? Yeah, you're a guy reading Slashdot... Getting much research done?"

Grr....I can't let this go.....

I'm a guy who was once associated with one of labs/projects mentioned above. I was working on the problem for years, and have a great deal of expertise in the area.

I can also tell you that the project is complete and utter crap, from a scientific perspective. The PI routinely misrepresents the project goals, claiming "possible" results that could never, ever come from the type of research performed. In general, the "science" is poorly-conceived and improperly controlled, and most of the "experiments" are methodologically flawed. I can't post my name here...it would be career suicide.

As one of the authorities to whom you seem so desperate to appeal, let me assure you: if you are devoting your resources to this project, the world would be a better place if you simply turned your computer off.

As you can see by their actions, rather than their words... Notably at Stanford University, Washington University, Munich University, Scripps Research Institute, Oxford University etc.

http://folding.stanford.edu/about.html
http://boinc.bakerlab.org/rosetta/rah_about.php
http://boinc.bio.wzw.tum.de/boincsimap/project.php
http://predictor.scripps.edu/about_team.php
http://www.grid.org/projects/cancer/index.htm

So... Who are you again? Yeah, you're a guy reading Slashdot... Getting much research done?

Funnily enough the best for large stuff seems to be Outlook Express. Only that's basically unusable because it doesn't do quoting correctly and you have to manually edit the message (trying doing that when replying to a 500 line epic).

It's helping save my sanity until work gets my Mac ordered :)

I predict 2 years ago.

http://wwwcg.in.tum.de/Research/data/Publications/ sig03.pdf
http://www.cs.utexas.edu/~nav/rtgraphics.html
http://www.llnl.gov/computing/tutorials/performanc e_tools/HighPerformanceToolsTechnologiesLC.pdf

Every fiendish trick he tries blows up in his face and/or leaves him momentarily levitating over thousands of feet of empty air (followed by an amazing impact at speeds faster than that of sound in the rock he hit).

Wile E is particularly apt because he leaves everyone guessing about who is funding his unending stream of Acme contraptions, and because the bird is always too fast for him.

• corecode: Germany, 100Mbps

Or, at least you're wrong about modern programmable GPUs; you might have been right about the first generations of 3D cards.

See this paper for some examples which not only use the GPU simultaneously for graphics and number crunching, but which use the graphics to give real-time output of computational fluid results.

The only remaining problem I remember is that the bandwidth to current video cards is very asymmetric, which is fine for video games that just push a lot of data to the video card but not so good for numerical physics that also wants to ask for a lot of data back. I think at least one of the new PCI-Extended/Express/X/whatever standards is supposed to fix this.

1. 4NT - I am old enough to use the command line.
2. Visual Slickedit - my editor of choice. I started out with version 4 and I just sent off the money for the upgrade to version 9 yesterday.
3. Subversion - 'cause VCS is a must. The place where I work may not use it but I will.
4. Tortoise SVN - to make my life with a VCS even more easy.
5. Cygwin - mostly for GCC.
6. Linkstash - I think this is a much better way to manage bookmarks
7. Winzip - the latest version. And yes, I've paid for it.
8. Object Desktop - I've gotten addicted to Object Bar and Object Edit. No, I'm not into skinning...
9. OE-QuoteFix - makes Outlook Express a bearable newsreader.
10. ev41 - a free HP-41 emulation for when I need a real calculator. There is a Pocket PC version too.

Regardless of the name, it shall be known as Rupert, right?

Hitchhiker's Guide to the Galaxy (search for "Rupert")

Some were saying that this wasn't a software problem... Who wrote the specs such that anyone who gets past the volunteer(s) can register a valid vote in that district?

[rhetorical question]

Sigh bugs bugs and more bugs what is developer to do when handed faulty specs...

Outlook-quotefix!

Honestly, it's hard to believe that it took PHD "rocket scientists" to come to the conclusion that email is probably better interfaced as a forum. We've all known that for years.

Indeed: see gmane.org. (Which itself has a strong cultural inheritance from Gnus, the Emacs newsreader that lets you read mail and other things as though they were newsgroups.)

In the story, the supposed faults of electronic mail - that it is easy to view one message but hard to set it in context, to see who is saying what to whom - could be fixed or at least greatly reduced by proper quoting and attribution. If Microsoft changed Outlook and Outlook Express to make it easy and encouraged for users to do concise, non-Jeopardy quoting followed by a reply, rather than typing a few words then followed by masses of irrelevant autoappended gunk, they'd do the net a big favour.

(See OE-QuoteFix - but I don't know of an equivalent for Outlook.)

You could try Jigdo. Basically, it goes and gets all the packages needed and builds an up-to-date iso for you!

Jigdo

Expose is a feature of the OS you can't remove it, but you CAN turn it off. Safari is an app that includes a library (KHTML/WebKit) that a few other apps need in order to run - see SubEthaEdit. This will only get worse now that Safari, and it's libraries are included with the OS. Finder while an App separate from the OS, is not nearly as simple to get rid of as, say, iChat.

Saddly, it seems that apple is doing almost as much integration as Microsoft... :\

OE-Quotefix does a good job of fixing QE's quirks. Now if it removed the lines in the header identifing it as OE, life would good.

• System photos & screenshots
  
• Acorn Computers - A history
  
• Google Directory on Acorn
  
• The BBC Lives
  
• BBC info at the Cybervillage
  
• BBC Documentation project
  
• Beeb History @ Stairway To Hell
  

Whenever you add or modify a file, WinFS adds the file's attributes to its indexes. The attributes stored are customizable...

I keep wondering whether this sytem will incorporate any of the ideas being formulated by Prof. Rudolf Bayer and his team. The first paper in this series probably best summarizes the ideas being generated here. There's some really cool stuff here. From the abstract:

With the new method, a single UB-tree can replace an arbitrary number of secondary indexes. For updates this means that only one UB-tree must be managed instead of several secondary indexes. This reduces runtime and storage requirements substantially. For queries and in particular range queries the UB-tree has mul- tiplicative complexity instead of the additive complexity of multiple secondary indexes. This results in dramatic performance improvements over secondary indexes.

Now look at the list of partners.

Whenever you add or modify a file, WinFS adds the file's attributes to its indexes. The attributes stored are customizable...

I keep wondering whether this sytem will incorporate any of the ideas being formulated by Prof. Rudolf Bayer and his team. The first paper in this series probably best summarizes the ideas being generated here. There's some really cool stuff here. From the abstract:

With the new method, a single UB-tree can replace an arbitrary number of secondary indexes. For updates this means that only one UB-tree must be managed instead of several secondary indexes. This reduces runtime and storage requirements substantially. For queries and in particular range queries the UB-tree has mul- tiplicative complexity instead of the additive complexity of multiple secondary indexes. This results in dramatic performance improvements over secondary indexes.

Now look at the list of partners.

Whenever you add or modify a file, WinFS adds the file's attributes to its indexes. The attributes stored are customizable...

I keep wondering whether this sytem will incorporate any of the ideas being formulated by Prof. Rudolf Bayer and his team. The first paper in this series probably best summarizes the ideas being generated here. There's some really cool stuff here. From the abstract:

With the new method, a single UB-tree can replace an arbitrary number of secondary indexes. For updates this means that only one UB-tree must be managed instead of several secondary indexes. This reduces runtime and storage requirements substantially. For queries and in particular range queries the UB-tree has mul- tiplicative complexity instead of the additive complexity of multiple secondary indexes. This results in dramatic performance improvements over secondary indexes.

Now look at the list of partners.

So they can protect their precious secrets about the Oktoberfest and what Bavarian beer is really made of.

Another nice little postscript program can be found here

It's only about 10 lines long and creates a image with 2 bubbles and even reflections.

And if someone wants to learn Postscript:
A first Guide to Postscript

Financial institutions and browsers:

Financial Shames (Mozilla)
Online Banking with Konqueror
Banks and Browsers

That's why Debian can distribute uptodate CD and DVD images of "testing" and "unstable".

There are already CD images of Sarge about (pre-release of course, and at the moment they are not bootable - waiting on the new installer).

Something else of note to look at Re: Debian is Jigdo.

Jigdo basically downloads all the individual files from Debian mirrors, and "makes" the CD image. Jigdo can be used on mirrors to avoid having to transfer the whole CD image (and if you run a mirror, you'll probably have all the *.deb's on hand anyway), while still being available for use by end users. As the *.deb's are more likely to be cached, wether in a proxy or via a mirror, this can result in a speed-up for downloading an image. It also supports upgrading only the files that have changed (eg: for keeping up-to-date images of stable), without downloading the whole CD image. Much better than trying to do something silly like rsync against the old image.

You can find jigdo at http://home.in.tum.de/~atterer/jigdo/, and the pointers for .jigdo files for debian at http://www.debian.org/CD/jigdo-cd/.

PS: I don't believe that Jigdo is limited to use with Debian, but like apt, it's another tool that was produced to address a specific need within the Debian community.

You should really take a look at recent proof efforts before mouthing off like this.

If I may point you to two examples:

• proof of a Java compiler
• current attempt to prove a microkernel

Another point (and this is an important one): personal experiences don't generalise

• -Shane

No big news here. Linux has sufficient ACPI support for most uses, as does FreeBSD. The full, nasty, evil interpreter may not work, but that's not necessarily a bad thing.

Here's one thing that might brighten your day, if you've never found this before:

Linux ACPI support.

It appears that the 2.4 kernel series supports ACPI (with some tools, see link) but has to be compiled with the acpi option (marked as experimental). Do some research, you may be pleasantly surprised. :)

-- Reverius

This site has some more information about Acorn/RISC OS based machines in general, but also has a few screenshots of how RISC OS looks, right at the bottom of the page. RISC OS is alive and well, and can be found here.

Please note that the released version of Debian (2.2r5) ships with a 2.2 kernel exclusively. A 2.4 Kernel for Debian-2.2r5 is maintained by A. Bunk along with the required packages to run it.

Only the next release of Debian will feature a linux-2.4, still along with 2.2 (And 2.2 will be used by the installation routine).

Michael

Look here http://www.fs.tum.de/~bunk/kernel-24.html
for everything you need to upgrade to kernel 2.4.x under potato.

This is quite different to quite a lot of other methods. It allows to backup encrypted files to e.g. CDROM and still have them mountable from there. Works quite well.

Following the advice of seasoned users

Be careful about people who call themselves "seasoned users", they often don't know what they're talking about.

upgraded to kernel 2.4.13, which required stuff from "unstable"

Adrian Bunk has prepared packages to run 2.4 kernels on stable, available here

a) download the files to my desktop Mandrake system over a slow phone line, following dependencies by hand while trying to remember what I had already downloaded to not duplicate effort

.
.
.
FWIW, I gave up on Debian last night and am installing Mandrake, which, yes, I was able to walk into a store and purchase off the shelf, and which I've installed on other systems before.

Allow me to tell you a parable:

A man wished to purchase a car. He had to choose between an offering from Ford and an offering from Mitsubishi. (no reason for choosing these, they're just the first car companies that spring to mind)

So, in search of expert advice, he went to the house of his friend Fred, the amateur mechanic. Fred put his own cars together from spare parts all the time, and the man knew that he would have the answers. He found Fred in his garage, tinkering with some unidentifiable piece of metal in an engine.

"Fred," the man said, "should I buy a Ford or a Mitsubishi?" Fred paused, wiping some grime off his face, and said, "well, my last couple cars were Fords. You can get 'em real cheap if you buy the spare parts the factories would throw away anyway. Got my last car that way, and she's a beaut!"

So the man headed off to the local car factory, planning to buy the parts. He faithfully bought each part on a list Fred had made. This was very hard, because he had to buy each part from a separate factory, and he had to carry the parts home by hand, not having a car. Worse, he had to return several parts when he bought the wrong one.

After spending much time and money, he finally decided that Fred was wrong. Going to a local car dealer, he walked in and said, "I want a Mitsubishi." The dealer was helpful and cooperative, and an hour later, the man drove away in his new Mitsubishi, vowing never to purchase Ford again.

Now, one would think this man did not do the most wise thing possible -- after all, who would try to buy a car in parts, then compare it to buying a car from a dealer? But that sort of comparison is exactly what you're making.

If you've got the laptop set up, you should probably just leave it. But in the future you might want to do some simple research, including finding vendors who sell CDs of Debian. I understand that CheapBytes is particularly popular.

You might consider waiting, however, until Woody is released, as it will be a major step forward in terms of included software. Currently, it looks like Woody will be released sometime in December or January...but don't quote me on that.

Daniel

8). stablity (i.e, Debian/stable)
9). the newest pacakges ALL the TIME (i.e, Debian/unstable)

I'd like both, please. That rules out Debian. I'm looking to move off RedHat, and I'd love to try apt/get, but how long must I wait for a 2.4 kernel Debian/stable? I'd rather not apply an unoffical patch

Hell, even with a 56k connection my system is current on at *least* a weekly basis.

apt-get update ; apt-get dist-upgrade

For a system where uptime and security are the #1 concerns, potato suits me just fine. My workstation runs woody/sid. Potato with the 2.4 kernel packages and security sources.list updates is quite a nice little system.

Just keep 'er updated every week or so, and you'll have no problems.

i have analyzed this new worm.

zipped IDA project file and plaintext file can be found at
http://www.eikon.tum.de/~simons/ida_root/.

cheerz
corecode

Debian Woody (aka testing) does have support for 2.4 kernels, glibc 2.2 and XFree86 4.0.2.

It is correct that none of these are in Potato. However, there are unofficial packages for running 2.4 kernels and XFree86 4 in Potato, both provided by Debian developers.

../linux/Documentation/Configure.help

Power Management support
CONFIG_PM...

ACPI Support
CONFIG_ACPI
ACPI/OSPM support for Linux is currently under development. As such, this support is preliminary and EXPERIMENTAL.

Advanced Powehttp://phobos.fs.tum.de/acpi/index.htmlr Management BIOS support
CONFIG_APM
APM is a BIOS specification for saving power using several different techniques.

etc...etc...etc...

• Intel Specs
• ACPI mailing list
• Kernel Documentation (pm.txt): Linux Power Management
• APMD
• ACPID

--