## Search found 474 matches

Fri Jan 27, 2012 8:30 am UTC
Forum: Fit Club
Topic: Effective bodyweight exercises - no equipment
Replies: 10
Views: 4898

### Re: Effective bodyweight exercises - no equipment

There are a few books that I see usually recommended for people trying to gain strength via bodyweight. They are "Convict Conditioning" (ignore the hypermasculine writing, and the prison thing is probably schtick, but the sequences are good) and "Building the Gymnastic Body" (guy...
Fri May 14, 2010 4:15 pm UTC
Forum: Computer Science
Replies: 9
Views: 2309

### Re: Computer Science Research Advice

CS grad students are the only ones I have seen. Maybe this generalizes, but I can't really say.
Fri May 14, 2010 4:10 pm UTC
Forum: Computer Science
Topic: Triviality of partial halting problem solutions
Replies: 6
Views: 4572

### Re: Triviality of partial halting problem solutions

Coq and other type theories are my field of research. They do something different. They don't find a proof themselves that a program terminates. Rather, we use a fact that we've proved on paper: every function definable in their language always terminates. In Coq, you cannot define every recursive ...
Fri May 14, 2010 6:11 am UTC
Forum: Computer Science
Replies: 9
Views: 2309

### Re: Computer Science Research Advice

Also look into taking graduate level classes. At least at my school they generally have a large project which is essentially light research, and you may be able to take them as an undergrad. Also, if you apply yourself you will look good to the professor (as grad students are surprisingly lazy in my...
Fri May 14, 2010 6:09 am UTC
Forum: Computer Science
Topic: Triviality of partial halting problem solutions
Replies: 6
Views: 4572

### Re: Triviality of partial halting problem solutions

Compilers do this all the time . A discussion of determining termination is here: http://blog.regehr.org/archives/140. There is a fair amount of work in what you can prove terminates, and it depends heavily on the logical system. If you want to play around with this, try playing with Coq or Isabelle...
Fri May 14, 2010 5:58 am UTC
Forum: Coding
Topic: Silverlight?
Replies: 13
Views: 2448

### Re: Silverlight?

Another thing to consider is that, since coming out in April 2007, Silverlight has already been through 4 major versions. I don't know about the compatibility between versions but it seems likely that the 60% of users could have different versions and it could potentially mean there is a lot of mai...
Fri May 14, 2010 5:55 am UTC
Forum: Coding
Topic: vb.net vs the world
Replies: 32
Views: 4884

### Re: vb.net vs the world

Nonetheless, both of them see (saw?) quite a bit of use in the business world. That might have something to do with it. Java is also quite common in business, and I think Java also receives similar ire. You're getting your causes reversed. Java and VB aren't unpopular because they're used in busine...
Sun May 09, 2010 8:41 pm UTC
Forum: Coding
Topic: Epic coding moments
Replies: 127
Views: 22474

### Re: Epic coding moments

Strictly speaking the precision is limited by memory. really? then what's this "overflow in mpz type" error i keep getting? I think the closest I've had to an epic programming moment was accidentally calculating two 800,000 ish digit Fibonacci numbers. Haskell was pumping out digits for w...
Sat May 08, 2010 4:30 am UTC
Forum: Coding
Topic: Epic coding moments
Replies: 127
Views: 22474

### Re: Epic coding moments

I think the closest I've had to an epic programming moment was accidentally calculating two 800,000 ish digit Fibonacci numbers. Haskell was pumping out digits for what felt like 5 minutes straight. I guess it really does have unlimited integer precision. The correct term is "arbitrary" p...
Sat May 08, 2010 4:24 am UTC
Forum: Computer Science
Topic: What will be my Course?
Replies: 16
Views: 2220

### Re: What will be my Course?

No. This is false. At my school the capstone theory course generally has a minimum pass level of 40-45%. This is not because everyone in CS likes math. Most people don't, and don't like it when they're forced into formal math. With any 1/2 decent CS school, you will do various algorithms and method...
Fri May 07, 2010 3:51 am UTC
Forum: Computer Science
Topic: What will be my Course?
Replies: 16
Views: 2220

### Re: What will be my Course?

achan1058 wrote:If you like coding, you automatically like math.

No. This is false. At my school the capstone theory course generally has a minimum pass level of 40-45%. This is not because everyone in CS likes math. Most people don't, and don't like it when they're forced into formal math.
Fri May 07, 2010 3:46 am UTC
Forum: School
Topic: Does studying computer science require I use a computer?
Replies: 10
Views: 2297

### Re: Does studying computer science require I use a computer?

The benefit of a laptop is that you can program anywhere. So when you're writing an OS with three other people you can spend all night debugging without bothering roommates or dealing with computer labs (they do close sometimes...). And if you're going to a decent school, you will be doing large gro...
Fri May 07, 2010 3:22 am UTC
Forum: Coding
Topic: Advice on coding a simple feature into Windows 7
Replies: 5
Views: 1305

### Re: Advice on coding a simple feature into Windows 7

So the problems still exhibit when you run it without desktop composition and visual themes? You could potentially do this in a powershell script, if you can find a way to command-line change the setting. Something like: turnoff 1 \ \ \ \ \ \vdots turnoff n maya turnon n \ \ \ \ \ \vdots turnon 1
Mon May 03, 2010 3:39 am UTC
Forum: Coding
Topic: Interview with an Adware Author
Replies: 25
Views: 3829

### Re: Interview with an Adware Author

Most of the adware information appears to be pre-Vista. From what the security people I know say, post-Vista is a whole different beast in terms of attack vectors. On the note of CreateRemoteThreadEx, it seems that you need specific rights to successfully execute it. I do not know what the default p...
Mon May 03, 2010 2:09 am UTC
Forum: Mathematics
Replies: 22
Views: 4011

### Re: Confused about countably/uncountably infintite...

No similar principle is true for the real numbers. There are too many real numbers to put them into bijection with the natural numbers, so there is no way of iterating through them. Thus it is entirely possible that there are real numbers with property P, but the particular countable subset you ite...
Sun May 02, 2010 9:40 pm UTC
Forum: Coding
Topic: OCaml Sockets library
Replies: 0
Views: 708

### OCaml Sockets library

I am thinking about doing a relatively large project in OCaml. However, I have hit a road block. I need some sort of sockets library, preferably one which will handle by "magic" multiple simultaneous connections. Are there any around? The closest I've found are the unix module (a little to...
Tue Mar 16, 2010 2:15 am UTC
Forum: Hardware
Topic: micros0ft tour. quesions?
Replies: 18
Views: 2178

### Re: microsoft tour. quesions?

Ask them what they were smoking when they made Century Edition, Millennium Edition, and 2000 within 3 years of each other. Because they were releasing three different products. ME was the last gasp of Windows 9x, and was intended for consumers. Windows 2000 was NT, and was intended for servers/busi...
Sun Mar 14, 2010 4:00 am UTC
Forum: Hardware
Topic: micros0ft tour. quesions?
Replies: 18
Views: 2178

### Re: microsoft tour. quesions?

Xbox is nothing like WinCE. It is a hypervisor.
Sat Mar 13, 2010 7:19 pm UTC
Forum: Coding
Topic: virtual machines
Replies: 10
Views: 1493

### Re: virtual machines

You need a lot of transistors to build certain kinds of structures. Right now, those transistors are better suited to making assembly faster, rather than implementing bizarre structures.

Also, you can't get rid of x86.
Mon Mar 01, 2010 6:08 pm UTC
Forum: Computer Science
Topic: Rant: Java's Type System
Replies: 56
Views: 12088

### Re: Rant: Java's Type System

I still strongly doubt this whole "money is always handled in ints" claim. Any proof on this? I don't see any reason whatsoever why money wouldn't be handled using something like BigDecimal (Java) Because BigDecimal works well in every way but one. Performance. Financial institutions are ...
Sat Feb 27, 2010 5:27 pm UTC
Forum: General
Replies: 29
Views: 10722

### Re: Rollerblades as Portable Transportation

For long distance over rough terrain, not much beats running.

If people look at you askance, just tell them you're training for an ultramarathon.
Fri Feb 19, 2010 3:09 pm UTC
Forum: Fit Club
Topic: Easy Mode diet
Replies: 8
Views: 2077

### Re: Easy Mode diet

As far as I can tell, (resistance) exercise is unnecessary for losing weight. However, it is necessary for losing fat. Or to ensure that you are mostly losing fat.
Thu Feb 18, 2010 4:03 pm UTC
Forum: Computer Science
Topic: Rant: Java's Type System
Replies: 56
Views: 12088

### Re: Rant: Java's Type System

Lazy evaluation makes so many things possible. I really need to get around to learning Haskell. *And* it has a nice type system too! (Thanks, Curry-Howard isomorphism) Just remember: Unlike the ML's (ocaml, sml), type annotations aren't always optional (a turing machine cannot always figure out the...
Sat Nov 07, 2009 1:16 am UTC
Forum: Fit Club
Topic: Increasing Muscle Mass
Replies: 36
Views: 5219

### Re: Increasing Muscle Mass

From what I've heard, the electrical impedance machines are really only useful to tell changes in bodyfat within a specific subject. You must also hold it exactly the same each time (as how you hold it can affect the result).

So take it's number with a grain of salt.
Thu Oct 15, 2009 4:57 pm UTC
Forum: General
Topic: Windows 7
Replies: 127
Views: 11098

### Re: Windows 7

Fact: Every release of windows (or major release, at least) has doubled the minimum amount of RAM, and similarly increased the processor speeds needed. Until 7, when they they stopped that. I've used Win 7 (the release). It's nice. I can't compare it to Vista (never really used it), but it is a sign...
Tue Apr 28, 2009 12:56 am UTC
Forum: Coding
Topic: C programming - a good IDE?
Replies: 18
Views: 3337

### Re: C programming - a good IDE?

One tip: Go to Intel's website and download icc, the intel c compiler.

It will save you massive amounts of time figuring out gcc's rather bizarre error messages.
Tue Apr 14, 2009 10:32 pm UTC
Forum: Coding
Topic: C programming - a good IDE?
Replies: 18
Views: 3337

### Re: C programming - a good IDE?

Also, if you have access to Visual Studio, it is pretty good. The debugger is far better than any you will have the (mis)fortune to use on linux (i.e. it's better than gdb).

The rest of it isn't bad enough to bring you down.
Sun Apr 12, 2009 4:43 am UTC
Forum: Computer Science
Topic: Unique and Complicated Sorting
Replies: 14
Views: 2635

### Re: Unique and Complicated Sorting

Look up Dijkstra's Smoothsort. It's a modified heapsort that takes advantage of sortedness in the incoming data. It's very fast (nlogn worst, n best), however it is quite complicated. Compared to the quicksort 5-10 liner, it is not quite so easy.
Sun Apr 12, 2009 4:36 am UTC
Forum: Coding
Replies: 87
Views: 7868

Extremely strict typing. You're not allowed to dereference a pointer unless you can prove that it isn't NULL. Functions have preconditions and postconditions, and it's a compiler error if a function's preconditions aren't provably met. And yes, I am well aware that the halting problem says that you...
Mon Mar 30, 2009 5:20 pm UTC
Forum: Computer Science
Topic: Fun OS ideas for old comp
Replies: 20
Views: 2480

### Re: Fun OS ideas for old comp

If you're interested in seeing how a Unix system is put together, Gentoo or FreeBSD. Sounds fun, but how much technical knowledge would it take? I don't know about *BSD but Gentoo requires exactly as much knowledge as the page on the Gentoo wiki called "installing Gentoo" (or something th...
Mon Mar 30, 2009 5:58 am UTC
Forum: Coding
Topic: Why doesn't printf have a binary %?
Replies: 26
Views: 31495

### Re: Why doesn't printf have a binary %?

The issue is that more complex hardware doesn't look like 0000001. It looks like 000000000000001. And suddenly needing to remember the width (or prefixing the hex with the width) is less of a pain than trying to keep track of 10+ bits (and where you are in the string). Maybe it's just me, but I woul...
Mon Mar 30, 2009 5:53 am UTC
Forum: Computer Science
Topic: Fun OS ideas for old comp
Replies: 20
Views: 2480

### Re: Fun OS ideas for old comp

I suppose I might try out Win3.1. DexOS? Wha?...looks up...well, unless it can run Java, it doesn't seem as if it would be particularly useful. Just looking at the Wikipedia page, hough, it seems like it'd be damn fast. Except that it's handwritten 486 assembly, not handwritten 686 assembly. So if ...
Sat Mar 28, 2009 7:33 am UTC
Forum: Computer Science
Topic: Fun OS ideas for old comp
Replies: 20
Views: 2480

### Re: Fun OS ideas for old comp

FreeDOS sounds fun, but where in the hell would I get Win3.1? How legal do you want to be? It's easy to find downloads; if you want to be legal about it you can buy a set of install disks off Ebay for \$10 or so, or you could check out garage sales, or you could ask around -- someone in your class p...
Sat Mar 28, 2009 7:31 am UTC
Forum: Religious Wars
Topic: Editors
Replies: 267
Views: 140770

### Re: Editors

The basic fact is that both emacs and vim have crippling faults. Emacs does some cool things, but decided on elisp as a language. Vim does some cool things, but is nowhere near modifiable enough. So we are at an impasse. Until YI, the most recursive editor comes up to snuff. It's written in Haskell ...
Sat Mar 28, 2009 6:48 am UTC
Forum: Computer Science
Topic: Fun OS ideas for old comp
Replies: 20
Views: 2480

### Re: Fun OS ideas for old comp

You could try out DexOS, the fastest OS on a 486.
(written by people who don't believe in -fast). And since your machine (probably?) doesn't have SSE, you aren't missing out on anything.
Sat Mar 28, 2009 6:40 am UTC
Forum: Coding
Topic: Why doesn't printf have a binary %?
Replies: 26
Views: 31495

### Re: Why doesn't printf have a binary %?

In general, binary is only useful for trivial hardware (having done a few projects in Mentor Graphics). Once you get into DFA's and more complicated circuits, the binary is just too big to deal with. Learn to deal with the hex, it will make your life better. (that is, you can learn to convert hex ->...
Wed Mar 18, 2009 12:26 am UTC
Forum: Coding
Topic: Any Suggestions for a Good First C++ Compiler?
Replies: 14
Views: 1606

### Re: Any Suggestions for a Good First C++ Compiler?

g++ is GNU and therefore a piece of crap. If you want a good c++ compiler, look at the intel ones.

The error messages don't suck, it has better optimizations. The only disadvantage is that it is not free for any use (free for personal noncommercial use though)
Mon Mar 09, 2009 7:00 am UTC
Forum: Coding
Topic: Absurd regular expressions
Replies: 37
Views: 6460

### Re: Absurd regular expressions

Yeah, emails are balancing neatly on the edge of what is regular languages and what isn't. I... I've never written particularly long or complex regexes. Most are on the order of twenty characters or less. I believe the regexs are more powerful than regexs. That is to say. Most regular expression li...
Mon Mar 09, 2009 6:56 am UTC
Forum: Coding
Topic: My teacher is teaching HORRIBLE THINGS
Replies: 78
Views: 5925

### Re: My teacher is teaching HORRIBLE THINGS

"PNG images aren't supported by all browsers", so they only use JPEG (lossy compression) and GIF (patent infringement). And they don't even know about SVG! JPEG is great. Understanding why it is great is far beyond an undergraduate course, however (at least at my school, information theor...
Mon Mar 02, 2009 6:35 pm UTC
Forum: General
Topic: Starting a Website Desiging Firm?
Replies: 13
Views: 1563

### Re: Starting a Website Desiging Firm?

You could also try using a web framework like Pylons. Combined with SQL Alchemy, it can make the DB parts of your work easier. It will also mean that you will write safer code with fewer (if you do it right) SQL injections.