Paul D. Anderson wrote:
I'm going to add Linux to my PC to get a dual-boot configuration. (I'm tired of
slw start ups and want to tap into the great tools available.) The tutorial
I'm looking at suggests Ubuntu. Is there a significant difference in Linux
implementations? Is Ubuntu one of t
Paul D. Anderson wrote:
> I'm going to add Linux to my PC to get a dual-boot configuration. (I'm
> tired of slw start ups and want to tap into the great tools
> available.) The tutorial I'm looking at suggests Ubuntu. Is there a
> significant difference in Linux implementations? Is Ubuntu one
http://www.nicta.com.au/news/home_page_content_listing/world-first_research_breakthrough_promises_safety-critical_software_of_unprecedented_reliability
NICTA announced the completion of the worlds first formal machine-checked
proof of a general-purpose operating system kernel, promising safety-c
On Aug 20, 2009, at 12:07 AM, Jason House wrote:
Ubuntu is the most popular Linux distro at the moment. It's easy to
install, keep up to date, and find help. I highly recommend it for
newcomers to Linux. I have not tried the other distro's recommended
in this thread but do like Ubuntu better
在 Thu, 20 Aug 2009 16:56:24 +0800，Kagamin 写道:
http://www.nicta.com.au/news/home_page_content_listing/world-first_research_breakthrough_promises_safety-critical_software_of_unprecedented_reliability
NICTA announced the completion of the world’s first formal
machine-checked proof of a general-
davidl Wrote:
> If so, they may need to further proof the compiler always
> generate correct binaries.
And that the processor doesn't have flaws either. This is what's called an
unprecedented level of reliability, I believe.
Robert Fraser wrote:
Eljay wrote:
Is there ANY use case where you'd need a 256-bit integer instead of a
BigInteger? Even 128 is a bit dodgy. UUIDs and what not are identifiers,
not numbers, so have no problem being stored in a struct wrapping a
ubyte[].
Fixed point arithmetic!!!
Seriously,
Kagamin wrote:
NICTA announced the completion of the world’s first formal machine-checked
proof of a general-purpose operating system kernel, promising safety-critical
software of unprecedented levels of reliability.
Yes, sort of what they proved was that the implementation was inline
with t
Justin:
>Is there a reason that the compiler makes the assumptions it does or is this a
>bug? I did try searching the bugzilla with a few different queries, but failed
>to turn up anything that looked likely.<
I don't know if it can be considered a bug, or just a design error. What I know
is t
Paul D. Anderson Wrote:
> I'm going to add Linux to my PC to get a dual-boot configuration. (I'm tired
> of slw start ups and want to tap into the great tools available.) The
> tutorial I'm looking at suggests Ubuntu. Is there a significant difference in
> Linux implementations? Is Ubuntu o
Chad J Wrote:
> Nick Sabalausky wrote:
> >
> > Which, of course, begs the question: What color should the bikeshed's
> > carpet
> > be? And what kind? Shag? Burbur (sp?)? With/without scotch-guarding?
> >
> >
>
> No carpet. Hard flooring all the way. I'm going to go with wood
> flooring.
Reply to Chad,
Nick Sabalausky wrote:
Which, of course, begs the question: What color should the bikeshed's
carpet be? And what kind? Shag? Burbur (sp?)? With/without
scotch-guarding?
No carpet. Hard flooring all the way. I'm going to go with wood
flooring. No sense doing it unless you're
On Thu, 20 Aug 2009 12:49:55 -0400, Paul D. Anderson
wrote:
Paul D. Anderson Wrote:
I'm going to add Linux to my PC to get a dual-boot configuration. (I'm
tired of slw start ups and want to tap into the great tools
available.) The tutorial I'm looking at suggests Ubuntu. Is there a
Lars T. Kyllingstad wrote:
Tip: If you have a 64-bit processor I would still recommend you install
the 32-bit version of Ubuntu if you intend to use it mainly for coding.
DMD is strictly a 32-bit compiler, and any library you want to use must
also be 32-bit. Keeping a separate tree of 32-bit li
Lars T. Kyllingstad wrote:
Tip: If you have a 64-bit processor I would still recommend you install
the 32-bit version of Ubuntu if you intend to use it mainly for coding.
DMD is strictly a 32-bit compiler, and any library you want to use must
also be 32-bit. Keeping a separate tree of 32-bit li
"Lutger" wrote in message
news:h6j06p$24v...@digitalmars.com...
>
> - how the distro deals with patented and closed source software. (mp3,
> dvd,
> flash, video drivers, etc)
That's a good point. Ubuntu doesn't have mp3, dvd, and (I think) flash
out-of-the-box, and I found them to be a royal p
On Thu, 20 Aug 2009 16:11:14 -0400, Nick Sabalausky wrote:
"Lutger" wrote in message
news:h6j06p$24v...@digitalmars.com...
- how the distro deals with patented and closed source software. (mp3,
dvd,
flash, video drivers, etc)
That's a good point. Ubuntu doesn't have mp3, dvd, and (I think)
Paul D. Anderson wrote:
> Lots of votes for Ubuntu, so I'll probably go with that. (I'm
encouraged
> that I don't have to make a decision "once and for all time".)
Hi,
With Ubuntu you can also have ldc daily builds packages...
http://www.dsource.org/projects/ldc/wiki/BuildInstructionsUbuntu ;
Tue, 18 Aug 2009 20:40:37 +0100, Stewart Gordon wrote:
> Sergey Gromov wrote:
>> Exactly. There is a 32-bit "style" known for every character, plus
>> another 32-bit field associated with every line. A lexer is free to use
>> these fields for any purpose, except the lower byte of a style defines
19 matches
Mail list logo
