Search found 474 matches

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

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...
by Likpok
Fri May 14, 2010 4:15 pm UTC
Forum: Computer Science
Topic: Computer Science Research Advice
Replies: 9
Views: 2112

Re: Computer Science Research Advice

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

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 ...
by Likpok
Fri May 14, 2010 6:11 am UTC
Forum: Computer Science
Topic: Computer Science Research Advice
Replies: 9
Views: 2112

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...
by Likpok
Fri May 14, 2010 6:09 am UTC
Forum: Computer Science
Topic: Triviality of partial halting problem solutions
Replies: 6
Views: 4384

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...
by Likpok
Fri May 14, 2010 5:58 am UTC
Forum: Coding
Topic: Silverlight?
Replies: 13
Views: 2275

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...
by Likpok
Fri May 14, 2010 5:55 am UTC
Forum: Coding
Topic: vb.net vs the world
Replies: 32
Views: 4407

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...
by Likpok
Sun May 09, 2010 8:41 pm UTC
Forum: Coding
Topic: Epic coding moments
Replies: 127
Views: 20780

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...
by Likpok
Sat May 08, 2010 4:30 am UTC
Forum: Coding
Topic: Epic coding moments
Replies: 127
Views: 20780

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...
by Likpok
Sat May 08, 2010 4:24 am UTC
Forum: Computer Science
Topic: What will be my Course?
Replies: 16
Views: 2058

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...
by Likpok
Fri May 07, 2010 3:51 am UTC
Forum: Computer Science
Topic: What will be my Course?
Replies: 16
Views: 2058

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.
by Likpok
Fri May 07, 2010 3:46 am UTC
Forum: School
Topic: Does studying computer science require I use a computer?
Replies: 10
Views: 2152

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...
by Likpok
Fri May 07, 2010 3:22 am UTC
Forum: Coding
Topic: Advice on coding a simple feature into Windows 7
Replies: 5
Views: 1219

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
by Likpok
Mon May 03, 2010 3:39 am UTC
Forum: Coding
Topic: Interview with an Adware Author
Replies: 25
Views: 3373

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...
by Likpok
Mon May 03, 2010 2:09 am UTC
Forum: Mathematics
Topic: Confused about countably/uncountably infintite...
Replies: 22
Views: 3659

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...
by Likpok
Sun May 02, 2010 9:40 pm UTC
Forum: Coding
Topic: OCaml Sockets library
Replies: 0
Views: 654

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...
by Likpok
Tue Mar 16, 2010 2:15 am UTC
Forum: Hardware
Topic: micros0ft tour. quesions?
Replies: 18
Views: 1990

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...
by Likpok
Sun Mar 14, 2010 4:00 am UTC
Forum: Hardware
Topic: micros0ft tour. quesions?
Replies: 18
Views: 1990

Re: microsoft tour. quesions?

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

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.
by Likpok
Mon Mar 01, 2010 6:08 pm UTC
Forum: Computer Science
Topic: Rant: Java's Type System
Replies: 56
Views: 11098

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 ...
by Likpok
Sat Feb 27, 2010 5:27 pm UTC
Forum: General
Topic: Rollerblades as Portable Transportation
Replies: 29
Views: 9911

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.
by Likpok
Fri Feb 19, 2010 3:09 pm UTC
Forum: Fit Club
Topic: Easy Mode diet
Replies: 8
Views: 1919

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.
by Likpok
Thu Feb 18, 2010 4:03 pm UTC
Forum: Computer Science
Topic: Rant: Java's Type System
Replies: 56
Views: 11098

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...
by Likpok
Sat Nov 07, 2009 1:16 am UTC
Forum: Fit Club
Topic: Increasing Muscle Mass
Replies: 36
Views: 4875

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.
by Likpok
Thu Oct 15, 2009 4:57 pm UTC
Forum: General
Topic: Windows 7
Replies: 127
Views: 9500

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...
by Likpok
Tue Apr 28, 2009 12:56 am UTC
Forum: Coding
Topic: C programming - a good IDE?
Replies: 18
Views: 3050

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.
by Likpok
Tue Apr 14, 2009 10:32 pm UTC
Forum: Coding
Topic: C programming - a good IDE?
Replies: 18
Views: 3050

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.
by Likpok
Sun Apr 12, 2009 4:43 am UTC
Forum: Computer Science
Topic: Unique and Complicated Sorting
Replies: 14
Views: 2388

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.
by Likpok
Sun Apr 12, 2009 4:36 am UTC
Forum: Coding
Topic: Your perfect language?
Replies: 87
Views: 6912

Re: Your perfect language?

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...
by Likpok
Mon Mar 30, 2009 5:20 pm UTC
Forum: Computer Science
Topic: Fun OS ideas for old comp
Replies: 20
Views: 2223

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...
by Likpok
Mon Mar 30, 2009 5:58 am UTC
Forum: Coding
Topic: Why doesn't printf have a binary %?
Replies: 26
Views: 26503

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...
by Likpok
Mon Mar 30, 2009 5:53 am UTC
Forum: Computer Science
Topic: Fun OS ideas for old comp
Replies: 20
Views: 2223

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 ...
by Likpok
Sat Mar 28, 2009 7:33 am UTC
Forum: Computer Science
Topic: Fun OS ideas for old comp
Replies: 20
Views: 2223

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...
by Likpok
Sat Mar 28, 2009 7:31 am UTC
Forum: Religious Wars
Topic: Editors
Replies: 267
Views: 118191

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 ...
by Likpok
Sat Mar 28, 2009 6:48 am UTC
Forum: Computer Science
Topic: Fun OS ideas for old comp
Replies: 20
Views: 2223

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.
by Likpok
Sat Mar 28, 2009 6:40 am UTC
Forum: Coding
Topic: Why doesn't printf have a binary %?
Replies: 26
Views: 26503

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 ->...
by Likpok
Wed Mar 18, 2009 12:26 am UTC
Forum: Coding
Topic: Any Suggestions for a Good First C++ Compiler?
Replies: 14
Views: 1463

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)
by Likpok
Mon Mar 09, 2009 7:00 am UTC
Forum: Coding
Topic: Absurd regular expressions
Replies: 37
Views: 5766

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...
by Likpok
Mon Mar 09, 2009 6:56 am UTC
Forum: Coding
Topic: My teacher is teaching HORRIBLE THINGS
Replies: 78
Views: 5359

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...
by Likpok
Mon Mar 02, 2009 6:35 pm UTC
Forum: General
Topic: Starting a Website Desiging Firm?
Replies: 13
Views: 1323

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.

Go to advanced search