Speaking of static analysis. I managed to get an evaluation version of
this software:
http://www.eschertech.com/products/
It works by changing the level of representation at which you write
software. Instead of writing imperative programs you write declarative
specifications. The
On 9/27/05, QuantumG [EMAIL PROTECTED] wrote:
Speaking of static analysis. I managed to get an evaluation version of
this software:
http://www.eschertech.com/products/
It works by changing the level of representation at which you write
software. Instead of writing imperative programs
On Tue Sep 27, 2005 at 17:01:55 +1000, QuantumG wrote:
Speaking of static analysis. I managed to get an evaluation version of
this software:
http://www.eschertech.com/products/
It works by changing the level of representation at which you write
software. Instead of writing imperative
Benno wrote:
There is also Isabelle: http://isabelle.in.tum.de/ which is free.
I've seen this before but run away screaming because it is Emacs based.
Two options, I can try to learn Emacs (shudder) or I can try to figure
out how this thing is integrated with Emacs and use it without
hi
F-Spot rocks when it comes to photo management. Almost as good as
Google's picasa. :-)
does someone can suggest a good and fast(!) image browser for linux? sth
like acdsee for windows?
i cannot try f-spot because my debian box cannot resolve some depencies.
br, gottfried
--
SLUG -
People might be interested in this article and
the pdf listed therein:
Static Typing Where Possible, Dynamic Typing When Needed
http://lambda-the-ultimate.org/node/view/834
--
SLUG - Sydney Linux User's Group Mailing List - http://slug.org.au/
Subscription info and FAQs:
G'day Gottfried and all...
does someone can suggest a good and fast(!) image browser for linux? sth
like acdsee for windows?
i cannot try f-spot because my debian box cannot resolve some depencies.
gThumb image view under gnome is the most acdsee like...
# apt-get install gthumb
should
[EMAIL PROTECTED] [EMAIL PROTECTED] wrote:
3) cvs
That's ... if you have more than 1 person working on the code.
... or even if you're working alone.
As for programming languages I recommand:
C/C++ (gcc/g++)
perl
shell (script)
Java
Python
--
Sam Eddie Couter | mailto:[EMAIL
Bill wrote:
Have just tried an MSI M510c notebook with Kanotix (Debian) 2005.03 lite
and viewing the results of lspci determined that Kanotix found all of
the hardware.
Does this mean that I can expect that everything that was found will
work ? Or does it mean that hardware detection has
For some reason a process called iim-xbe is freezing firefox. Does
anyone know why, how, or how to fix it?
I find that after booting firefox is ok for several seconds and then
freezes and goes 'not responding'. If I get into the system monitor and
kill this iim-xbe process before this happens,
7:00pm (approx): General Talk
Matthew Palmer - Your own personal Mainframe: Virtual Machines for fun and
profit
8:00pm (approx): Break
Refreshments in the foyer, for a small covering charge.
8:20pm (approx): Split into two groups for:
* Special Interest Talk: Newbie Orientation
Hi all, I know I must first apologize that this is not
a Linux question so much as a Solaris one, however
Iâm pressed for time in a big way and have had a
brain seizure or something and cant recall the answer
and cant find it in the manual.
Running Solaris 10 on the network I need to FTP to the
On 27/09/2005, at 4:16 PM, Charles Gallagher wrote:
Running Solaris 10 on the network I need to FTP to the
internet to get updates to software.
However there is no DNS server for the internet and
gateway to the internet defined.
DNS == /etc/resolv.conf
gateway == /etc/defaultrouter (or
Hi all,
Well I have finally got debian up and running, well in a text mode at
least. How do I got it to boot into graphics mode.
thanks in advance.Paul
--
SLUG - Sydney Linux User's Group Mailing List - http://slug.org.au/
Subscription info and FAQs: http://slug.org.au/faq/mailinglists.html
youll need to install x and then gdm or xdm
apt-get install gdm
Dean
Paul Maloney wrote:
Hi all,
Well I have finally got debian up and running, well in a text mode at
least. How do I got it to boot into graphics mode.
thanks in advance.Paul
--
WWW: http://dean.bong.com.au LAN:
On 27/9/2005, Dean Hamstead [EMAIL PROTECTED] wrote:
youll need to install x and then gdm or xdm
apt-get install gdm
Or better yet, install Ubuntu instead of Debian. It will be a lot easier.
--
SLUG - Sydney Linux User's Group Mailing List - http://slug.org.au/
Subscription info and FAQs:
On 27/9/2005, Rev Simon Rumble [EMAIL PROTECTED] wrote:
Or better yet, install Ubuntu instead of Debian. It will be a lot easier.
Sorry, rather than be accused of being a religious nut, I'll point out
that Ubuntu has Debian under the hood.
--
SLUG - Sydney Linux User's Group Mailing List -
I want my USB back please.. Debian unstable, K2.6.11 (2.6.12 tried a
couple of times but it locked up in java)
I plug in my key and it comes up with uba1 as the device on the console.
There is nothing that suggests uba1 anywhere how do I create the device?
I have installed hotplug and autofs
QuantumG wrote:
Erik de Castro Lopo wrote:
You will notice that something like the Array.mapi function is
much less likely to contain errors than the C for loop.
What I noticed is that they invented syntax when they could have just as
easily have used C syntax. Way to knife your
that wouldnt really solve the problem
Dean
Rev Simon Rumble wrote:
On 27/9/2005, Dean Hamstead [EMAIL PROTECTED] wrote:
youll need to install x and then gdm or xdm
apt-get install gdm
Or better yet, install Ubuntu instead of Debian. It will be a lot easier.
--
WWW:
Erik de Castro Lopo wrote:
You will notice that something like the Array.mapi function is
much less likely to contain errors than the C for loop.
I can modify my C-program to remove that problem in the ff. So,
as to whether a C-program is more prone to error relies on the
manner and style
O Plameras wrote:
I can modify my C-program to remove that problem in the ff. So,
as to whether a C-program is more prone to error relies on the
manner and style of coding and not intrinsic to C-language. Don't
you think ?
I don't think its specific to the C language, I think its intrinsic
quote who=Carlo Sogono
I need to setup a local Ubuntu apt server but don't know where to start.
I need something that syncs with official Ubuntu servers but I only want
it to sync packages I define. Is this possible?
Definitely check out apt-proxy (as suggested by Matt and Mary), but if you
quote who=Ben Buxton
grip
Yep - agreed here. It just works and is simple.
You might want to try Sound Juicer some time. I don't tend to regard grip as
'just works' and 'simple', given s-j. ;-)
- Jeff
--
GNOME Summit: October 8th-10th http://live.gnome.org/Boston2005
Erik de Castro Lopo wrote:
O Plameras wrote:
I can modify my C-program to remove that problem in the ff. So,
as to whether a C-program is more prone to error relies on the
manner and style of coding and not intrinsic to C-language. Don't
you think ?
I don't think its specific to the
However, what is your use case for this? If it's the common
one that you have a bunch of machines and don't want to
download the same packages for each machine gets updated,
then you should look at using the apt-proxy program, which is
available on Ubuntu. apt-proxy works like
this:
Ye
Erik de Castro Lopo wrote:
Nice troll or was it?
read The End Of History And The Last Programming Language.
Best I can find for a web reference:
http://www.cs.iastate.edu/~leavens/ComS541Fall97/hw-pages/history/gabriel.html
Basically if your language is new and you don't have a C
Erik de Castro Lopo wrote:
All you've done is replace the for loop with a while loop. You are
still setting the start condition and the end condition for the
looping operation. These are things the compiler (or rather the
language) expect you to do.
In Io (a dynamically typed language)
On Mon, Sep 26, 2005 at 03:57:25PM EST, Grant Parnell wrote:
For starters what apps do you tend to use the most?
In no particular order:
links2 - web browsing.
mutt - email
nano - text/document editing.
pdftotext/html, catdoc etc - Utilities to convert PDF/word documents to
text for reading
On Tue, 2005-09-27 at 13:14 +1000, Bill wrote:
Does this mean that I can expect that everything that was found will work
? Or does it mean that hardware detection has worked and mileage may vary
in actually trying to utilise the hardware components?
I just recently discovered a great tool
On Mon, Sep 26, 2005 at 03:57:25PM EST, Grant Parnell wrote:
For starters what apps do you tend to use the most?
It seems a sad state of linux on the desktop where nearly everyone has
replied with what would be considered command-line apps. Or perhaps
there was a joke there I missed. I
On Wed Sep 28, 2005 at 09:01:00 +1000, Dave Kempe wrote:
On Mon, Sep 26, 2005 at 03:57:25PM EST, Grant Parnell wrote:
For starters what apps do you tend to use the most?
It seems a sad state of linux on the desktop where nearly everyone has
replied with what would be considered command-line
On Tue, 2005-09-27 at 18:25 +1000, Sam Couter wrote:
[EMAIL PROTECTED] [EMAIL PROTECTED] wrote:
3) cvs
That's ... if you have more than 1 person working on the code.
... or even if you're working alone.
One can argue that CVS is only useful if you are working alone ;0
Rob
--
GPG key
On Tue, Sep 27, 2005 at 11:46:20PM +1000, O Plameras wrote:
Erik de Castro Lopo wrote:
You will notice that something like the Array.mapi function is
much less likely to contain errors than the C for loop.
I can modify my C-program to remove that problem in the ff. So,
as to whether a
On 9/27/05, Rev Simon Rumble
[EMAIL PROTECTED] wrote:
On 27/9/2005, Rev Simon Rumble [EMAIL PROTECTED] wrote:
Or better yet, install Ubuntu instead of Debian. It will be a lot easier.
Sorry, rather than be accused of being a religious nut, I'll point out
that Ubuntu has Debian under the
quote who=Robert Collins
grip
Yep - agreed here. It just works and is simple.
You might want to try Sound Juicer some time. I don't tend to regard
grip as 'just works' and 'simple', given s-j. ;-)
If it did what I wanted, sure.
grip was - oh, 15 minutes to setup, about 3
On 9/28/05, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote:
That will get him a Ubuntu system, not a Debian system.
As much as Ubuntu is based on Debian, you are limited to Ubuntu's
world and can't practically install packages from Debian.
Not true.
Ubuntu by default has a (disabled) repository
On Tue, 2005-09-27 at 21:28 +1000, Dean Hamstead wrote:
youll need to install x and then gdm or xdm
apt-get install gdm
To expand on this slightly:
You'll need an X server with a couple of support packages, and having a
display manager like gdm is also a good idea.
First, I'd suggest
quote who=James Polley
But, Ubuntu is geared toward being a much nicer desktop system - whereas
stock Debian is geared to being flexible enough to be anything at all you
want it to be
Sort of... Ubuntu *happens* to be great for desktops, but it's appropriate
(and designed!) for more than just
Peter Hardy wrote:
Then you need an X server (the program responsible for accepting input
and actually drawing on the screen),
Which reminds me. Does anyone know the status of Gnome/DirectFB? Last
time I checked they were finding DirectFB a bit of a moving target.
Trent
--
SLUG -
On Wed, Sep 28, 2005 at 09:09:38AM +1000, Benno wrote:
On Wed Sep 28, 2005 at 09:01:00 +1000, Dave Kempe wrote:
On Mon, Sep 26, 2005 at 03:57:25PM EST, Grant Parnell wrote:
For starters what apps do you tend to use the most?
Personally I find mutt a better email client than any other mail
On Wednesday 28 September 2005 09:02, [EMAIL PROTECTED] wrote:
On Mon, Sep 26, 2005 at 03:57:25PM EST, Grant Parnell wrote:
For starters what apps do you tend to use the most?
It seems a sad state of linux on the desktop where nearly everyone has
replied with what would be considered
On 9/28/05, David [EMAIL PROTECTED] wrote:
If they are doing low volumes, I can't imagine a punter using mutt. It's
really hard to convince someone raised on gui that consoles are actually
easier.
Perhaps we could have a SLUG talk on mutt?
I've heard so many good things about mutt, so I'l
On Wed, Sep 28, 2005 at 11:29:29AM +1000, Bruce Badger wrote:
On 9/28/05, David [EMAIL PROTECTED] wrote:
If they are doing low volumes, I can't imagine a punter using mutt. It's
really hard to convince someone raised on gui that consoles are actually
easier.
Perhaps we could have a SLUG
* David [EMAIL PROTECTED] spake thus:
On Wed, Sep 28, 2005 at 11:29:29AM +1000, Bruce Badger wrote:
On 9/28/05, David [EMAIL PROTECTED] wrote:
If they are doing low volumes, I can't imagine a punter using mutt. It's
really hard to convince someone raised on gui that consoles are actually
On Wed, 2005-09-28 at 11:17 +1000, David wrote:
mutt for speed
squirrelmail for pictures, html, pdf, other gui crap, etc.
You might be interested in roundcube. OSS webmail like Squirrelmail,
except it doesn't look like arse.
http://www.roundcube.net/
Mike
--
SLUG - Sydney Linux User's
46 matches
Mail list logo
