Search Results

Search found 42001 results on 1681 pages for 'type theory'.

Page 135/1681 | < Previous Page | 131 132 133 134 135 136 137 138 139 140 141 142  | Next Page >

• Using a 64bit Linux kernel, can't see more than 4GB of RAM in /proc/meminfo

  - by Chris Huang-Leaver

  I'm running my new computer which has 8GB of RAM installed, which is visable from BIOS page, does not show in /proc/meminfo uname -a Linux localhost 3.0.6-gentoo #2 SMP PREEMPT Sat Nov 19 10:45:22 GMT-- x86_64 AMD Phenom(tm) II X4 955 Processor AuthenticAMD GNU/Linux The result of /proc/meminfo is as follows: (thans Andrey) MemTotal: 4021348 kB MemFree: 1440280 kB Buffers: 23696 kB Cached: 1710828 kB SwapCached: 4956 kB Active: 1389904 kB Inactive: 841364 kB Active(anon): 1337812 kB Inactive(anon): 714060 kB Active(file): 52092 kB Inactive(file): 127304 kB Unevictable: 32 kB Mlocked: 32 kB SwapTotal: 8388604 kB SwapFree: 8047900 kB Dirty: 0 kB Writeback: 0 kB AnonPages: 492732 kB Mapped: 47528 kB Shmem: 1555120 kB Slab: 267724 kB SReclaimable: 177464 kB SUnreclaim: 90260 kB KernelStack: 1176 kB PageTables: 12148 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 10399276 kB Committed_AS: 3293896 kB VmallocTotal: 34359738367 kB VmallocUsed: 317008 kB VmallocChunk: 34359398908 kB AnonHugePages: 120832 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 23552 kB DirectMap2M: 3088384 kB DirectMap1G: 1048576 kB I have tried using mem=8G as a kernel boot parameter, I read a post about setting HIGHMEM64G to yes, before realising that only applies to 32bit kernels. Trying dmindecode -t memory SMBIOS 2.7 present. Handle 0x0026, DMI type 16, 23 bytes Physical Memory Array Location: System Board Or Motherboard Use: System Memory Error Correction Type: Multi-bit ECC Maximum Capacity: 32 GB Error Information Handle: Not Provided Number Of Devices: 4 Handle 0x0028, DMI type 17, 34 bytes Memory Device Array Handle: 0x0026 Error Information Handle: Not Provided Total Width: 64 bits Data Width: 64 bits Size: 4096 MB Form Factor: DIMM Set: None Locator: DIMM0 Bank Locator: BANK0 Type: <OUT OF SPEC> Type Detail: Synchronous Speed: 1333 MHz Manufacturer: Manufacturer0 Serial Number: SerNum0 Asset Tag: AssetTagNum0 Part Number: Array1_PartNumber0 Rank: Unknown Handle 0x002A, DMI type 17, 34 bytes Memory Device Array Handle: 0x0026 Error Information Handle: Not Provided Total Width: Unknown Data Width: 64 bits Size: No Module Installed Form Factor: DIMM Set: None Locator: DIMM1 Bank Locator: BANK1 Type: Unknown Type Detail: Synchronous Speed: Unknown Manufacturer: Manufacturer1 Serial Number: SerNum1 Asset Tag: AssetTagNum1 Part Number: Array1_PartNumber1 Rank: Unknown Handle 0x002C, DMI type 17, 34 bytes Memory Device Array Handle: 0x0026 Error Information Handle: Not Provided Total Width: 64 bits Data Width: 64 bits Size: 4096 MB Form Factor: DIMM Set: None Locator: DIMM2 Bank Locator: BANK2 Type: <OUT OF SPEC> Type Detail: Synchronous Speed: 1333 MHz Manufacturer: Manufacturer2 Serial Number: SerNum2 Asset Tag: AssetTagNum2 Part Number: Array1_PartNumber2 Rank: Unknown Handle 0x002E, DMI type 17, 34 bytes Memory Device Array Handle: 0x0026 Error Information Handle: Not Provided Total Width: Unknown Data Width: 64 bits Size: No Module Installed Form Factor: DIMM Set: None Locator: DIMM3 Bank Locator: BANK3 Type: Unknown Type Detail: Synchronous Speed: Unknown Manufacturer: Manufacturer3 Serial Number: SerNum3 Asset Tag: AssetTagNum3 Part Number: Array1_PartNumber3 Rank: Unknown

  Read the article

• IKE Phase 1 Aggressive Mode exchange does not complete

  - by Isaac Sutherland

  I've configured a 3G IP Gateway of mine to connect using IKE Phase 1 Aggressive Mode with PSK to my openswan installation running on Ubuntu server 12.04. I've configured openswan as follows: /etc/ipsec.conf: version 2.0 config setup nat_traversal=yes virtual_private=%v4:10.0.0.0/8,%v4:192.168.0.0/16,%v4:172.16.0.0/12 oe=off protostack=netkey conn net-to-net authby=secret left=192.168.0.11 [email protected] leftsubnet=10.1.0.0/16 leftsourceip=10.1.0.1 right=%any [email protected] rightsubnet=192.168.127.0/24 rightsourceip=192.168.127.254 aggrmode=yes ike=aes128-md5;modp1536 auto=add /etc/ipsec.secrets: @left.paxcoda.com @right.paxcoda.com: PSK "testpassword" Note that both left and right are NAT'd, with dynamic public IP's. My left ISP gives my router a public IP, but my right ISP gives me a shared dynamic public IP and dynamic private IP. I have dynamic dns for the public ip on the left side. Here is what I see when I sniff the ISAKMP protocol: 21:17:31.228715 IP (tos 0x0, ttl 235, id 43639, offset 0, flags [none], proto UDP (17), length 437) 74.198.87.93.49604 > 192.168.0.11.isakmp: [udp sum ok] isakmp 1.0 msgid 00000000 cookie da31a7896e2a1958->0000000000000000: phase 1 I agg: (sa: doi=ipsec situation=identity (p: #1 protoid=isakmp transform=1 (t: #1 id=ike (type=enc value=aes)(type=keylen value=0080)(type=hash value=md5)(type=auth value=preshared)(type=group desc value=modp1536)(type=lifetype value=sec)(type=lifeduration len=4 value=00015180)))) (ke: key len=192) (nonce: n len=16 data=(da31a7896e2a19582b33...0000001462b01880674b3739630ca7558cec8a89)) (id: idtype=FQDN protoid=0 port=0 len=17 right.paxcoda.com) (vid: len=16) (vid: len=16) (vid: len=16) (vid: len=16) 21:17:31.236720 IP (tos 0x0, ttl 64, id 0, offset 0, flags [DF], proto UDP (17), length 456) 192.168.0.11.isakmp > 74.198.87.93.49604: [bad udp cksum 0x649c -> 0xcd2f!] isakmp 1.0 msgid 00000000 cookie da31a7896e2a1958->5b9776d4ea8b61b7: phase 1 R agg: (sa: doi=ipsec situation=identity (p: #1 protoid=isakmp transform=1 (t: #1 id=ike (type=enc value=aes)(type=keylen value=0080)(type=hash value=md5)(type=auth value=preshared)(type=group desc value=modp1536)(type=lifetype value=sec)(type=lifeduration len=4 value=00015180)))) (ke: key len=192) (nonce: n len=16 data=(32ccefcb793afb368975...000000144a131c81070358455c5728f20e95452f)) (id: idtype=FQDN protoid=0 port=0 len=16 left.paxcoda.com) (hash: len=16) (vid: len=16) (pay20) (pay20) (vid: len=16) However, my 3G Gateway (on the right) doesn't respond, and I don't know why. I think left's response is indeed getting through to my gateway, because in another question, I was trying to set up a similar scenario with Main Mode IKE, and in that case it looks as though at least one of the three 2-way main mode exchanges succeeded. What other explanation for the failure is there? (The 3G Gateway I'm using on the right is a Moxa G3150, by the way.)

  Read the article

• What type are the screw needed to fix PCI slots?

  - by Charles Brossollet

  Hi, I miss screws to fix a PCI board in my PC, however I can't find out what type of screw it is. Any hints? Charles

  Read the article

• What type are the screw needed to fix PCI boards?

  - by Charles Brossollet

  Hi, I miss screws to fix a PCI board in my PC, however I can't find out what type of screw it is. Any hints? Charles

  Read the article

• Why does my computer beep when i type <shift>-DE quickly?

  - by Bedwyr Humphreys

  I'm writing a report on developing EJBs in Jdeveloper and every time i type "IDE" my laptop beeps twice in quick succesion. Actually, whilst typing this I've worked out that any combination of shift plus two adjacent keys, one from the row that starts qwerty and one from the row that starts asdfg will beep. It's really quite annoying. It's a hp laptop. Anyone know how I can make it stop?

  Read the article

• How can I sort ls -l /dev by type and major and minor device number?

  - by Dennis Williamson

  How can I sort the /dev directory by type and major and minor device number when doing ls -l? The best way I've found so far is: ls -l /dev | sort -k 1.1,1.2 -k 5n -k 6n | less Is there a better way?

  Read the article

• from root login in my newly installed fedora 8 . when i type startx i get black screen

  - by user28665

  from root login in my newly installed fedora 8 . when i type startx i get black screen. I have solved this before . its something like i just need chose the display as a standar VGA or something . but i dont remember how to select the display . any help appreciated.

  Read the article

• When I type in a nonexistent command my machine stalls for about 5 seconds before returning to the s

  - by Nick Brooks

  When I type in a nonexistent command it says "Command not found." and then waits for about 5 seconds before showing the prompt again. How do I fix that? I'm using Fedora.

  Read the article

• A rapid way to type funny characters from Scalaz ?

  - by Green Hyena

  Is there any easy and fast way to type the funny characters (like ?, ?, °, ? etc) from Scalaz? (I am using Ubuntu 9.04)

  Read the article

• Where can I buy Server Type Motherboards with more than 2 Processor Sockets?

  - by roygbiv

  I'm looking for server type motherboards that have more than 2 processor sockets. Where can I find these types of boards? Edit - Prefer Intel Xeon based if possible, however, AMD Opteron is ok too.

  Read the article

• When I type in a nonexistent command my machine hangs up?

  - by Nick Brooks

  When I type in a nonexistent command it says "Command not found." and then waits for about 5 seconds before showing the prompt again. How do I fix that?

  Read the article

• How do I change the application associated with a file type but keep its icon.

  - by yngvedh

  Hi I want to change the default application for some file extensions but doing so also changes the icons (and file type information). Is there any way to do this without also changing its icon? Alternatively, I can change the application and then change only the icon back afterwards. How would I go about doing this?

  Read the article

• From root login in my newly installed Fedora 8. When I type startx I get a black screen

  - by user28665

  From root login in my newly installed Fedora 8. When I type startx I get a black screen. I have solved this before. It's something like I just need to chose the display as a standard VGA or something. But I don't remember how to select the display. How can I fix it?

  Read the article

• Is there a non-type-erased generics extension to the Java Compiler available as a 3rd party library?

  - by Chris

  I'm becoming increasingly frustrated with the limits of type-erased Java generics. I was wondering if there was a library that provided a full version of generics without the quirks associated with type-erasure? Chris

  Read the article

• System.ServiceModel.Syndication.SyndicationFeed determine feed type (RSS vs Atom)?

  - by Josh

  Is it possible to determine from the syndicationfeed class what type of syndicationfeed is being read? If all I have is the url (blahblah.com/feed) it might be rss or atom, and depending on the type I want to do one thing or the other. Is there a simple way to tell without parsing the document and looking for specific characters?

  Read the article

• Can T-SQL function return user-defined table type?

  - by abatishchev

  I have my own type: CREATE TYPE MyType AS TABLE ( foo INT ) and a function receiving it as a parameter: CREATE FUNCTION Test ( @in MyType READONLY ) RETURNS @return MyType AS ... can it return MyType or only TABLE repeating MyType's structure: CREATE FUNCTION Test ( @in MyType READONLY ) RETURNS @return TABLE (foo INT) AS ... ?

  Read the article

• Resource interpreted as other but transferred with MIME type text/javascript?

  - by Joey

  I keep getting "Resource interpreted as other but transferred with MIME type text/javascript.", but everything seems to be working fine. This only seems to be happening in Safari 4 on my Mac. I was advised to add "meta http-equiv="content-script-type" content="text/javascript" to the header, although that did nothing.

  Read the article

• how get the date and time of the last modified particular TYPE file in that directory in c#

  - by Arunachalam

  how get the date and time of the last modified particular TYPE file in that directory let me explain with an example there are many files in directory say y:\tempfiles now i want to get the date and time of last modified file of txt format files like 9-03-2010 11.35 arun.reo 9-03-2010 11.31 arun1.reo 9-03-2010 11.31 arun.txt 9-03-2010 11.31 arun.avi now i want the out put as 9-03-2010 11.35 which is last modified file for reo type files .

  Read the article

• CollectionEditor leads to "Object does not match target type."

  - by smwikipedia

  I have a custom control which has a property of type Collection< System.Drawing.Point . When I use CollectionEditor to edit this property, the CollectionEditor window shows "Object does not match target type." for the "X" and "Y" properties. But if I use System.Drawing.PointF instead, there's no failure. Could anyone tell me why?

  Read the article

• What about optional generic type parameters in C# 5.0?

  - by Lars Corneliussen

  Just a thought. Wouldn't it be useful to have optional type parameters in C#? This would make life simpler. I'm tired of having multiple classes with the same name, but different type parameters. Also VS doesn't support this very vell (file names) :-) This would eliminate the need for a non-generic IEnumerable: interface IEnumerable<out T=object>{ IEnumerator<T> GetEnumerator() } What do you think?

  Read the article

• In Zend studio, how to tell the ide the type of a variable, so I have auto completion?

  - by Itay Moav

  In php we use includes. So variables defined in one file and then their scope spans included files too. Zend studio has no idea how to get the type of the variable I am using inside an included file, this is very annoying when the variable type is a big class. Is there a way to hint the ide about variable types? in included files?

  Read the article

• How to determine if a .NET Type is a custom struct?

  - by SztupY

  Hi! How to write a simple method, that checks whether a concrete type is a custom struct (created with public struct { };) or not. Checking Type.IsValueType is not enough, because it is also true to int, long, etc, and adding a check to !IsPrimitiveType won't exclude decimal, DateTime and maybe some other value types. I know that most of the built in value types are actually "structs", but I only want to check for "custom structs" These questions are mostly the same but without the answer I need: #1 #2 #3

  Read the article

• Is there any open source user-guide type creation software available?

  - by Jon

  Is there any open source user-guide type creation software available? Or is it best to use wiki type systems? We want to be able to create user guides on the fly through a web front end and accessible on the net. Or is this best achieved using Wikis? Thanks

  Read the article

• Where are value types defined in a reference type stored (heap or stack) ?

  - by Hemanshu Bhojak

  Are the value types defined inside a reference type stored on the heap or on the stack? If stored on the heap, then when are value types stored on the stack? If stored on the stack, then what goes inside the heap as everything ends at a value type in the end?

  Read the article

• LINQ Group By to project into a non-anonymous type?

  - by vikp

  Hi, I have the following LINQ example: var colorDistribution = from product in ctx.Products group product by product.Color into productColors select new { Color = productColors.Key, Count = productColors.Count() }; All this works and makes perfect sense. What I'm trying to achieve is to group by into a strong type instead of anonymous type. For example I have a ProductColour class and I would like to Group into a List<ProductColour> Is this possible? Thank you

  Read the article

< Previous Page | 131 132 133 134 135 136 137 138 139 140 141 142  | Next Page >